#BEGIN: [Mon Sep 4 10:43:03 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 --existent --na /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 *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! 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 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 127 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 13 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 78 79 84 88 89 91 105 106 107 108 109 110 126 127 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 13 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 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 13 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 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 13 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 77 78 79 84 88 89 91 105 106 107 108 109 110 127 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 13 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 78 79 84 88 89 91 105 106 107 108 109 110 126 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 5 6 7 8 13 24 25 35 38 39 40 41 48 53 61 63 67 68 70 74 76 78 79 84 88 89 91 105 106 107 108 109 110 126 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 48 53 61 63 67 68 70 74 76 78 79 84 88 89 91 105 106 107 108 109 110 126 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 48 53 61 63 67 68 70 74 76 77 78 79 84 88 89 91 105 106 107 108 109 110 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 5 6 8 13 14 25 35 38 39 40 41 48 53 61 63 67 68 70 74 76 77 78 79 84 88 89 91 105 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 5 6 8 13 14 25 35 38 39 40 41 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 105 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 8 13 14 25 35 38 39 40 41 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 145 147 149 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 163 164 166 169 a 1 3 5 6 7 8 13 24 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 163 164 166 169 a 1 3 5 6 7 8 13 24 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 24 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 108 109 110 127 130 131 132 137 141 142 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 108 109 110 127 130 131 132 137 141 142 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 79 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 163 164 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 153 156 159 160 163 164 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 61 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 127 130 131 132 137 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 84 88 89 91 92 106 107 108 109 114 127 130 131 132 137 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 56 63 68 70 74 76 77 84 88 89 91 92 106 107 108 109 110 114 127 130 131 132 137 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 56 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 110 127 130 131 132 137 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 6 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 110 127 130 131 132 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 78 84 88 89 91 92 106 107 108 109 110 127 128 130 131 132 141 142 143 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 78 84 88 89 91 92 100 106 107 108 109 110 127 128 130 131 132 141 142 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 127 128 130 131 132 141 142 144 145 147 149 150 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 48 53 56 61 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 127 128 130 131 132 141 142 145 147 149 150 151 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 53 54 56 61 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 127 128 130 131 132 141 142 145 147 149 150 151 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 25 35 38 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 128 130 131 132 141 142 145 147 149 150 151 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 21 25 35 38 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 128 130 132 141 142 145 147 149 150 151 152 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 21 25 35 38 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 128 130 141 142 145 147 149 150 151 152 155 156 159 160 163 164 166 169 a 1 3 5 7 8 13 14 21 23 25 35 38 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 100 106 107 108 109 110 114 128 130 141 142 145 147 149 150 151 152 155 159 160 163 164 166 169 a 1 3 5 7 8 13 14 21 23 25 35 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 97 100 106 107 108 109 110 114 128 130 141 142 145 147 149 150 151 152 155 159 160 163 164 166 169 a 1 3 5 7 8 13 14 21 23 25 35 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 97 100 106 107 108 109 110 114 120 128 130 141 142 145 147 149 151 152 155 159 160 163 164 166 169 a 1 3 5 7 13 14 21 23 25 35 36 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 97 100 106 107 108 109 110 114 120 128 130 141 142 145 147 149 151 152 155 159 160 163 164 166 169 a 1 3 5 7 13 14 21 23 25 29 36 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 97 100 106 107 108 109 110 114 120 128 130 141 142 145 147 149 151 152 155 159 160 163 164 166 169 a 1 3 5 7 13 14 21 23 25 29 36 39 40 41 44 53 54 56 61 62 63 68 70 74 76 77 84 88 89 91 92 97 100 107 108 109 110 114 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 5 7 13 14 21 23 25 29 36 39 40 41 44 53 54 56 61 62 63 65 68 70 74 76 77 84 88 89 91 92 97 100 107 109 110 114 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 5 7 13 14 21 23 25 29 36 39 40 41 44 53 54 56 61 62 63 65 68 70 74 76 77 84 89 91 92 97 100 107 109 110 114 116 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 5 7 13 14 21 23 25 29 36 39 40 41 44 53 54 56 58 61 62 63 65 68 70 74 76 77 84 89 91 97 100 107 109 110 114 116 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 7 13 14 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 63 65 68 70 74 76 77 84 89 91 97 100 107 109 110 114 116 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 7 13 14 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 63 65 68 70 74 76 77 89 91 97 100 107 109 110 114 116 118 120 128 130 141 142 145 147 149 151 152 155 159 160 161 163 164 166 169 a 1 3 7 13 14 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 100 107 109 110 114 116 118 120 128 130 141 142 145 147 148 149 151 152 155 159 160 161 163 164 166 169 a 1 3 7 12 13 14 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 100 107 109 110 114 116 118 120 128 130 141 142 145 147 148 149 151 152 155 159 161 163 164 166 169 a 1 3 12 13 14 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 109 110 114 116 118 120 128 130 141 142 145 147 148 149 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 109 110 114 116 118 120 128 130 141 142 145 147 148 149 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 109 110 114 116 118 120 122 128 130 141 142 147 148 149 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 44 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 109 110 114 116 118 120 122 128 130 141 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 46 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 109 110 114 116 118 120 122 128 130 141 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 46 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 102 107 109 110 114 116 118 120 122 128 130 141 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 46 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 102 107 110 114 116 118 120 122 128 130 138 141 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 102 107 110 114 116 118 120 122 128 130 138 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 41 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 102 107 110 114 116 118 120 122 125 128 130 138 142 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 74 76 77 89 91 97 98 100 102 107 110 114 116 118 120 122 125 128 130 138 142 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: 61 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat" User time (seconds): 359.21 System time (seconds): 1.36 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.61 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): 5086604 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1572918 Voluntary context switches: 27 Involuntary context switches: 2105 Swaps: 0 File system inputs: 0 File system outputs: 248 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:49:04 2023]