#BEGIN: [Tue Sep 26 03:14:14 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance014_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance014_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_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat c /benchmark/random_instance/random_instance014_graph002.col c /benchmark/random_instance/random_instance014_graph002_01.dat s 64 155 60 108 107 152 35 172 12 171 6 71 134 97 133 96 24 165 174 116 66 94 29 127 170 135 67 90 178 126 23 39 161 100 102 101 40 32 21 8 34 122 139 51 181 136 18 15 5 137 41 149 3 119 167 103 13 22 140 t 91 181 160 114 32 61 143 137 115 83 70 9 64 25 107 4 146 8 92 14 22 13 3 30 23 60 98 46 130 55 128 111 38 123 81 119 182 86 166 174 109 106 120 90 66 131 7 51 171 40 168 20 170 37 69 175 96 42 11 a YES a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 25 29 32 34 35 39 40 41 51 60 64 66 67 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 25 29 32 34 35 39 40 41 51 60 64 66 67 70 90 94 96 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 25 29 32 34 35 39 40 51 60 64 66 67 70 90 94 96 98 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 25 29 32 34 35 39 40 51 55 60 64 66 67 70 90 94 96 98 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 12 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 55 60 64 66 67 70 90 96 98 100 101 102 103 107 108 116 119 122 126 127 133 135 136 137 139 140 149 152 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 55 60 64 66 67 70 90 96 98 100 101 102 103 107 108 115 116 119 122 126 127 133 135 136 137 139 140 149 152 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 55 60 64 66 67 70 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 13 15 18 21 22 23 24 25 29 32 34 35 37 40 51 55 60 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 161 165 167 170 171 172 174 181 182 a 3 5 6 7 8 13 15 18 21 22 23 24 25 29 32 34 35 37 40 51 55 60 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 21 22 23 24 25 29 32 34 35 37 40 42 51 55 60 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 136 137 139 140 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 24 25 29 32 34 35 37 40 42 51 55 60 61 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 136 137 139 140 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 24 25 29 32 34 35 37 40 42 51 55 60 61 64 66 67 70 86 90 96 98 100 101 102 103 107 108 109 114 115 116 119 122 126 127 137 139 140 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 24 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 96 98 100 101 102 103 107 108 109 114 115 116 119 122 126 127 137 139 140 146 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 24 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 116 119 122 126 127 137 139 146 149 161 165 167 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 116 119 122 126 127 137 139 146 149 161 165 167 168 170 171 172 174 175 181 182 a 3 5 6 7 8 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 116 119 122 123 126 127 137 146 149 161 165 167 168 170 171 172 174 175 181 182 a 3 5 7 8 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 116 119 122 123 126 127 137 143 146 149 161 165 167 168 170 171 172 174 175 181 182 a 3 7 8 11 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 116 119 122 123 126 127 137 143 146 149 161 165 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 119 122 123 126 127 137 143 146 149 161 165 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 119 122 123 126 127 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 15 18 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 96 98 100 101 102 103 107 108 109 114 115 119 122 123 126 130 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 15 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 102 103 107 108 109 114 115 119 122 123 126 130 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 102 103 107 108 109 114 115 119 120 122 123 126 130 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 102 107 108 109 114 115 119 120 122 123 126 130 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 102 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 161 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 102 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 30 32 34 37 40 42 51 55 60 61 64 66 67 70 86 90 91 92 96 98 100 101 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 30 32 34 37 40 42 51 55 60 61 64 66 70 81 86 90 91 92 96 98 100 101 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 30 32 34 37 40 42 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 100 101 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 101 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 114 115 119 120 122 123 126 130 131 137 143 146 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 137 143 146 166 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 126 130 131 137 143 146 166 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182 c Step: 39 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat" User time (seconds): 0.70 System time (seconds): 0.09 Percent of CPU this job got: 136% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.58 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): 60524 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 35254 Voluntary context switches: 1096 Involuntary context switches: 19 Swaps: 0 File system inputs: 0 File system outputs: 160 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:14:15 2023]