#BEGIN: [Mon Sep 4 15:06:03 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance013_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat c /benchmark/random_instance/random_instance013_graph005.col c /benchmark/random_instance/random_instance013_graph005_01.dat s 46 134 92 73 7 59 43 84 137 34 32 149 130 79 5 54 75 15 145 150 157 78 99 101 13 26 12 44 31 52 141 3 93 71 107 109 120 135 161 115 103 128 126 163 138 105 146 89 147 65 33 142 90 t 69 32 21 151 144 100 39 51 134 12 50 37 10 5 155 83 129 35 121 79 105 133 108 47 54 34 114 57 60 143 15 150 99 132 26 136 107 38 85 13 3 23 161 81 89 63 41 148 91 18 119 137 160 a YES a 3 5 7 12 13 15 26 31 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 59 63 65 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 57 59 63 65 73 75 78 79 84 89 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 57 63 65 73 75 78 79 84 89 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 136 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 26 32 33 34 43 46 52 54 57 63 65 73 75 78 79 84 89 92 93 99 101 105 107 109 115 120 121 126 128 129 130 134 135 136 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 92 93 99 101 105 107 109 115 120 121 126 128 129 130 134 135 136 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 92 93 99 105 107 109 115 120 121 126 128 129 130 133 134 135 136 137 138 142 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 92 93 99 105 107 109 115 120 121 126 129 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 91 93 99 105 107 109 115 120 121 126 129 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 91 93 99 105 107 109 115 119 120 121 126 129 130 133 134 135 136 137 138 142 143 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 91 93 99 105 107 109 115 119 121 126 129 130 133 134 135 136 137 138 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 75 79 84 89 91 93 99 105 107 109 114 115 119 121 126 129 130 133 134 136 137 138 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 73 79 84 85 89 91 93 99 105 107 109 114 115 119 121 126 129 130 133 134 136 137 138 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 79 84 85 89 91 93 99 105 107 108 109 114 115 119 121 126 129 130 133 134 136 137 138 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 79 84 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 130 133 134 136 137 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 79 81 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 130 133 134 136 137 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 57 63 65 79 81 83 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 10 12 13 15 21 23 26 32 33 34 46 52 54 57 63 65 79 81 83 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 142 143 144 145 147 148 149 150 157 161 163 a 3 5 7 10 12 13 15 21 23 26 32 33 34 38 46 52 54 57 63 65 79 81 83 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 142 143 144 145 147 148 149 150 161 163 a 3 5 7 10 12 13 15 21 23 26 32 33 34 38 46 52 54 57 63 65 69 79 81 83 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 161 163 a 3 5 7 10 12 13 15 21 23 26 32 33 34 38 46 52 54 57 63 69 79 81 83 85 89 91 93 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 151 161 163 a 3 5 7 10 12 13 15 21 23 26 32 33 34 35 38 46 52 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 109 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 151 161 163 a 3 5 7 10 12 13 15 18 21 23 26 32 33 34 35 38 46 52 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 151 161 163 a 3 5 7 10 12 13 15 18 21 23 26 32 33 34 35 38 46 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 151 161 163 a 3 5 7 10 12 13 15 18 21 23 26 32 33 34 35 38 46 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 147 148 149 150 151 160 161 163 a 3 5 7 10 12 13 15 18 21 23 26 32 33 34 35 38 46 47 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 129 133 134 136 137 143 144 147 148 149 150 151 160 161 163 a 3 5 7 10 12 13 15 18 21 23 26 32 33 34 35 37 38 46 47 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 133 134 136 137 143 144 147 148 149 150 151 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 33 34 35 37 38 46 47 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 147 148 149 150 151 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 33 34 35 37 38 39 46 47 50 54 57 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 33 34 35 37 38 39 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161 c Step: 35 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat" User time (seconds): 0.30 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.33 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 36196 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 26187 Voluntary context switches: 19 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 136 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:06:04 2023]