#BEGIN: [Mon Sep 4 12:42:58 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance014_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph003_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_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat c /benchmark/random_instance/random_instance014_graph003.col c /benchmark/random_instance/random_instance014_graph003_01.dat s 157 71 68 84 145 106 95 148 51 47 144 176 67 127 113 15 120 37 94 115 105 80 69 49 149 129 171 98 178 16 40 21 88 75 143 6 136 43 126 66 89 18 153 96 173 119 61 150 24 158 134 58 91 26 14 130 142 42 133 63 59 t 95 110 77 91 113 169 85 151 59 12 166 7 112 156 179 20 11 18 158 140 106 171 89 121 108 14 97 175 61 42 126 81 16 71 170 62 10 124 109 102 129 17 177 144 125 119 66 149 40 53 130 19 15 127 63 147 6 82 78 67 176 a YES a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 82 84 88 89 91 94 95 96 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 82 84 88 89 91 94 95 96 97 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 82 88 89 91 94 95 96 97 105 106 108 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 82 88 89 91 94 95 96 97 106 108 110 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 78 80 82 88 89 91 94 95 96 97 106 108 110 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 78 80 82 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 158 171 173 176 178 a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 158 171 173 176 178 a 6 14 15 16 18 20 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 143 144 145 148 149 150 153 158 171 173 176 178 a 6 14 15 16 18 20 24 26 40 42 43 47 49 51 58 59 61 63 66 67 68 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 143 144 145 148 149 150 153 158 171 173 176 177 178 a 6 14 15 16 18 20 24 26 40 42 43 47 49 51 58 59 61 63 66 67 68 71 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 143 144 145 147 148 149 150 153 158 171 173 176 177 178 a 6 14 15 16 18 20 24 26 40 42 43 47 49 51 58 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 115 119 120 126 127 129 130 133 134 136 143 144 145 147 148 149 150 153 158 171 173 176 177 178 a 6 11 14 15 16 18 20 24 26 40 42 43 47 49 51 58 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 115 119 120 126 127 129 130 133 134 136 143 144 147 148 149 150 153 158 171 173 176 177 178 a 6 11 12 14 15 16 18 20 24 26 40 42 43 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 115 119 120 126 127 129 130 133 134 136 143 144 147 148 149 150 153 158 171 173 176 177 178 a 6 10 11 12 14 15 16 18 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 115 119 120 126 127 129 130 133 134 136 143 144 147 148 149 150 153 158 171 173 176 177 178 a 6 10 11 12 14 15 16 18 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 120 126 127 129 130 133 134 136 143 144 147 148 149 150 153 158 171 173 176 177 178 179 a 6 10 11 12 14 15 16 18 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 120 125 126 127 129 130 133 134 136 144 147 148 149 150 153 158 171 173 176 177 178 179 a 6 10 11 12 14 15 16 18 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 133 134 136 144 147 148 149 150 153 158 166 171 173 176 177 178 179 a 6 10 11 12 14 15 16 18 19 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 133 134 136 144 147 148 149 150 158 166 171 173 176 177 178 179 a 6 10 11 12 14 15 16 18 19 20 24 26 40 42 47 49 51 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 134 136 144 147 148 149 150 158 166 170 171 173 176 177 178 179 a 6 10 11 12 14 15 16 18 19 20 24 26 40 42 47 49 51 53 59 61 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 134 136 144 147 148 149 150 158 166 170 171 173 176 177 179 a 6 10 11 12 14 15 16 18 19 20 24 26 40 42 47 49 51 53 59 61 62 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 134 136 144 147 149 150 158 166 170 171 173 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 51 53 59 61 62 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 125 126 127 129 130 134 136 144 147 149 150 158 166 170 171 173 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 51 53 59 61 62 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 129 130 136 144 147 149 150 158 166 170 171 173 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 53 59 61 62 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 129 130 136 144 147 149 150 158 166 169 170 171 173 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 53 59 61 62 63 66 67 68 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 147 149 150 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 53 59 61 62 63 66 67 71 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 147 149 150 151 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 53 59 61 62 63 66 67 71 78 80 82 85 89 91 95 96 97 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 147 149 151 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 47 49 53 59 61 62 63 66 67 71 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 147 149 151 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 24 40 42 49 53 59 61 62 63 66 67 71 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 147 149 151 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 66 67 71 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 136 140 144 147 149 151 158 166 169 170 171 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 136 140 144 147 149 151 158 166 169 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 136 140 144 147 149 151 156 158 166 169 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 169 170 171 175 176 177 179 c Step: 33 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat" User time (seconds): 0.49 System time (seconds): 0.05 Percent of CPU this job got: 140% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.39 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): 55524 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 30115 Voluntary context switches: 1121 Involuntary context switches: 8 Swaps: 0 File system inputs: 0 File system outputs: 144 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:42:59 2023]