#BEGIN: [Mon Sep 4 12:42:56 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance013_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat c /benchmark/random_instance/random_instance013_graph002.col c /benchmark/random_instance/random_instance013_graph002_01.dat s 62 131 156 91 39 109 153 88 76 160 84 141 159 8 61 70 38 48 126 105 3 7 108 137 106 147 150 78 67 169 104 35 25 79 74 40 68 24 130 143 110 164 166 132 33 107 149 53 1 145 63 6 89 142 152 41 t 23 47 166 36 138 112 128 12 54 46 161 68 152 89 97 118 76 65 29 163 21 164 148 28 58 3 122 169 56 107 114 1 110 66 40 147 100 142 130 120 77 125 25 62 116 33 102 13 151 70 39 61 91 155 98 10 a YES a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 130 131 137 141 142 143 145 147 149 150 152 153 155 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 130 131 137 141 142 143 145 147 149 150 152 153 155 156 159 160 163 164 166 169 a 1 3 6 7 24 25 33 35 36 38 39 40 41 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 130 131 137 141 142 143 145 147 149 150 152 153 155 156 159 160 163 164 166 169 a 1 3 6 7 24 25 33 35 36 38 39 40 41 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 120 130 131 137 141 142 143 145 147 149 152 153 155 156 159 160 163 164 166 169 a 1 3 6 7 24 25 33 35 36 38 39 40 41 46 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 120 130 131 137 141 142 143 147 149 152 153 155 156 159 160 163 164 166 169 a 1 3 6 7 23 24 25 33 35 36 38 39 40 41 46 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 120 130 131 137 141 142 143 147 149 152 153 155 159 160 163 164 166 169 a 1 3 6 7 23 24 25 33 35 36 38 39 40 41 46 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 104 106 107 108 109 110 120 122 130 131 137 141 142 143 147 149 152 153 155 159 160 163 164 166 169 a 1 3 6 7 13 23 24 25 33 35 36 38 39 40 41 46 48 53 61 62 63 68 70 74 76 77 78 79 84 88 89 91 106 107 108 109 110 120 122 130 131 137 141 142 143 147 149 152 153 155 159 160 163 164 166 169 a 1 3 6 7 10 13 23 24 25 33 35 36 38 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 88 89 91 106 107 108 109 110 120 122 130 131 137 141 142 143 147 149 152 153 155 159 160 163 164 166 169 a 1 3 6 7 10 13 23 24 25 33 35 36 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 88 89 91 97 106 107 108 109 110 120 122 130 131 137 141 142 143 147 149 152 153 155 159 160 163 164 166 169 a 1 3 6 7 10 13 23 24 25 33 35 36 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 89 91 97 106 107 108 109 110 120 122 130 131 137 141 142 143 147 148 149 152 153 155 159 160 163 164 166 169 a 1 3 6 10 13 23 24 25 33 35 36 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 89 91 97 98 106 107 108 109 110 120 122 130 131 137 141 142 143 147 148 149 152 153 155 159 160 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 89 91 97 98 106 107 108 109 110 120 122 130 131 137 141 142 143 147 148 149 152 153 155 159 160 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 48 53 61 62 68 70 74 76 77 78 79 84 89 91 97 98 102 106 107 108 109 110 120 122 130 131 137 141 142 143 147 148 149 152 153 155 159 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 53 61 62 68 70 74 76 77 78 79 84 89 91 97 98 102 106 107 108 109 110 116 120 122 130 131 137 141 142 143 147 148 149 152 153 155 159 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 53 58 61 62 68 70 74 76 77 78 79 84 89 91 97 98 102 106 107 108 109 110 116 120 122 130 131 137 141 142 143 147 148 149 152 155 159 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 53 58 61 62 68 70 74 76 77 78 79 84 89 91 97 98 102 107 108 109 110 116 120 122 130 131 137 141 142 143 147 148 149 152 155 159 161 163 164 166 169 a 1 3 6 10 13 23 24 25 29 33 36 39 40 41 46 53 58 61 62 68 70 74 76 77 79 84 89 91 97 98 102 107 108 109 110 114 116 120 122 130 131 137 141 142 143 147 148 149 152 155 159 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 74 76 77 79 84 89 91 97 98 102 107 108 109 110 114 116 120 122 130 131 137 141 142 143 147 148 149 152 155 159 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 74 76 77 79 84 89 91 97 98 100 102 107 108 109 110 114 116 120 122 130 131 141 142 143 147 148 149 152 155 159 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 74 76 77 79 84 89 91 97 98 100 102 107 108 109 110 114 116 120 122 128 130 131 141 142 143 147 148 149 152 155 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 76 77 79 84 89 91 97 98 100 102 107 108 109 110 112 114 116 120 122 128 130 131 141 142 143 147 148 149 152 155 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 76 77 79 89 91 97 98 100 102 107 108 109 110 112 114 116 120 122 128 130 131 141 142 143 147 148 149 151 152 155 161 163 164 166 169 a 1 3 10 13 23 24 25 29 33 36 39 40 41 46 53 54 58 61 62 68 70 76 77 89 91 97 98 100 102 107 108 109 110 112 114 116 118 120 122 128 130 131 141 142 143 147 148 149 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 29 33 36 39 40 41 46 53 54 56 58 61 62 68 70 76 77 89 91 97 98 100 102 107 108 109 110 112 114 116 118 120 122 128 130 131 141 142 143 147 148 149 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 28 29 33 36 39 40 41 46 53 54 56 58 61 62 68 70 76 77 89 91 97 98 100 102 107 108 109 110 112 114 116 118 120 122 128 130 131 141 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 28 29 33 36 39 40 41 46 53 54 56 58 61 62 68 70 76 77 89 91 97 98 100 102 107 108 109 110 112 114 116 118 120 122 125 128 130 131 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 28 29 33 36 39 40 41 46 47 53 54 56 58 61 62 68 70 76 77 89 91 97 98 100 102 107 108 110 112 114 116 118 120 122 125 128 130 131 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 28 29 33 36 39 40 46 47 53 54 56 58 61 62 66 68 70 76 77 89 91 97 98 100 102 107 108 110 112 114 116 118 120 122 125 128 130 131 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 13 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 66 68 70 76 77 89 91 97 98 100 102 107 108 110 112 114 116 118 120 122 125 128 130 131 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 128 130 131 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 128 130 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 161 163 164 166 169 c Step: 34 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat" User time (seconds): 0.42 System time (seconds): 0.04 Percent of CPU this job got: 133% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.35 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): 53980 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 29721 Voluntary context switches: 992 Involuntary context switches: 9 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 12:42:57 2023]