#BEGIN: [Mon Sep 4 14:12:02 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance014_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance014_graph004.col /benchmark/random_instance/random_instance014_graph004_01.dat c /benchmark/random_instance/random_instance014_graph004.col c /benchmark/random_instance/random_instance014_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.013 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 7 66 44 85 149 178 148 20 10 31 179 77 97 76 72 9 94 39 144 91 30 25 156 95 128 130 41 21 147 38 150 90 3 107 71 58 6 24 92 131 122 164 87 64 53 124 180 4 103 121 119 182 50 78 45 16 t 91 49 88 79 78 137 168 169 62 173 90 141 131 26 158 112 30 69 68 104 56 143 46 122 40 17 140 174 149 55 123 39 93 147 159 64 50 10 110 111 117 99 8 66 45 71 145 25 128 94 153 42 13 24 132 57 a YES a 3 4 6 7 9 10 16 20 21 24 25 30 31 38 39 41 44 45 50 53 58 64 66 71 72 76 77 78 85 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 28 30 31 38 39 41 44 45 50 53 58 64 66 72 76 77 78 85 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 28 30 31 38 39 41 44 45 50 53 58 64 66 72 76 77 78 85 87 90 91 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 162 164 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 28 30 31 38 39 41 44 45 50 58 64 66 72 76 77 78 85 87 90 91 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 162 164 168 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 30 31 38 39 41 44 45 50 58 64 66 71 72 76 77 78 85 87 90 91 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 162 164 168 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 30 31 36 38 39 41 44 45 50 58 64 66 71 72 76 77 78 85 87 90 91 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 150 156 162 164 168 178 179 180 182 a 3 4 6 7 9 10 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 58 64 66 72 76 77 78 85 87 90 91 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 150 156 162 164 168 178 179 180 182 a 4 6 7 9 10 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 58 64 66 72 76 77 78 85 87 90 91 94 95 97 103 107 108 119 121 122 124 128 130 131 144 147 148 150 156 162 164 168 178 179 180 182 a 4 6 7 9 10 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 58 64 66 72 76 77 78 85 87 90 91 94 95 103 107 108 111 119 121 122 124 128 130 131 144 147 148 150 156 162 164 168 178 179 180 182 a 4 6 7 9 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 58 64 66 72 76 77 78 85 87 90 91 94 95 103 107 108 111 119 121 122 124 128 130 131 133 144 147 148 150 156 162 164 168 178 179 180 182 a 4 6 7 9 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 54 58 64 66 72 76 77 78 85 87 90 91 94 95 103 107 111 119 121 122 124 128 130 131 133 144 147 148 150 156 162 164 168 178 179 180 182 a 4 6 7 9 16 20 21 24 25 28 30 31 36 38 39 41 44 45 50 54 58 64 66 72 76 77 78 85 87 90 91 94 95 103 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 164 168 172 178 179 180 182 a 4 6 7 9 16 20 21 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 164 168 172 178 179 180 182 a 4 6 7 9 16 20 21 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 182 a 4 6 7 9 10 16 20 21 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 144 147 148 156 162 168 172 178 179 180 182 a 4 6 7 9 10 16 20 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 182 a 4 6 7 9 10 16 20 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 111 119 121 122 124 128 130 131 133 144 147 148 152 156 162 168 172 178 179 180 182 a 4 6 7 9 10 15 16 20 24 25 30 31 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 111 119 121 122 124 128 130 131 133 144 147 148 152 156 162 168 172 178 179 180 182 a 4 6 7 9 10 15 16 20 24 25 30 31 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 41 44 45 50 54 58 64 66 71 72 76 77 78 85 87 90 91 94 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 66 71 72 76 77 78 84 85 87 90 91 94 103 104 107 111 119 121 122 124 128 130 131 133 144 147 148 156 162 168 172 178 179 180 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 66 71 72 76 77 78 84 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 144 147 148 156 162 168 172 178 179 180 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 66 71 72 76 77 78 84 85 87 90 91 94 95 103 104 107 111 119 121 122 124 128 130 131 144 147 148 156 162 168 172 178 179 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 66 72 76 77 78 84 85 87 90 91 94 95 96 103 104 107 111 119 121 122 124 128 130 131 144 147 148 156 162 168 172 178 179 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 65 66 72 76 77 78 84 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 162 168 172 178 179 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 65 66 72 76 77 78 84 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 162 172 178 179 180 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 44 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 162 172 178 179 180 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 162 168 172 178 179 180 182 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 162 168 172 173 178 179 180 a 4 6 7 9 10 15 16 20 21 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 95 96 103 104 107 111 119 122 124 128 130 131 144 147 148 156 159 162 168 172 173 178 180 a 4 6 7 9 10 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 95 96 99 103 104 107 111 119 122 124 128 130 131 144 147 148 156 159 162 168 172 173 178 180 a 4 6 7 9 10 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 96 99 103 104 107 111 119 122 124 128 130 131 143 144 147 148 156 159 162 168 172 173 178 180 a 4 6 7 9 10 13 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 96 99 103 104 107 111 119 122 124 128 130 131 143 144 147 148 156 159 162 168 172 173 178 a 6 7 9 10 13 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 94 96 99 103 104 107 111 119 122 124 128 130 131 140 143 144 147 148 156 159 162 168 172 173 178 a 6 7 9 10 13 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 90 91 93 94 96 99 103 104 107 111 119 122 124 128 130 131 140 143 147 148 156 159 162 168 172 173 178 a 6 7 9 10 13 15 16 20 24 25 30 31 36 38 39 45 50 54 58 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 119 122 124 128 130 131 140 143 147 148 156 159 162 168 172 173 178 a 6 7 9 10 13 15 16 20 24 25 30 31 36 38 39 45 50 58 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 7 9 10 13 15 16 20 24 25 30 31 36 39 45 50 58 62 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 7 9 10 13 15 20 24 25 30 31 36 39 45 50 58 62 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 112 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 7 9 10 13 15 24 25 30 31 36 39 45 50 57 58 62 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 112 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 7 10 13 15 24 25 30 31 36 39 45 49 50 57 58 62 64 65 66 71 72 76 77 78 85 87 88 90 91 93 94 96 99 104 107 111 112 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 24 25 30 31 36 39 45 49 50 57 58 62 64 65 66 71 72 76 77 78 79 85 87 88 90 91 93 94 96 99 104 107 111 112 119 122 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 24 25 30 31 36 39 45 49 50 57 58 62 64 65 66 71 72 76 78 79 85 87 88 90 91 93 94 96 99 104 107 111 112 119 122 123 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 24 25 26 30 31 36 39 45 49 50 57 58 62 64 65 66 71 72 76 78 79 85 87 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 24 25 26 30 31 36 39 45 49 50 55 57 58 62 64 65 66 71 72 76 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 24 25 26 30 31 36 39 45 49 50 55 57 58 62 64 65 66 71 76 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 17 24 25 26 30 31 36 39 45 49 50 55 57 58 62 64 65 66 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 148 153 156 159 162 168 172 173 178 a 6 10 13 15 17 24 25 26 30 31 36 39 45 49 50 55 57 58 62 64 65 66 68 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 148 153 156 159 162 168 172 173 a 6 10 13 15 17 24 25 26 30 31 36 39 45 49 50 55 57 62 64 65 66 68 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 148 153 156 159 162 168 172 173 174 a 6 8 10 13 15 17 24 25 26 30 31 39 45 49 50 55 57 62 64 65 66 68 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 148 153 156 159 162 168 172 173 174 a 6 8 10 13 15 17 24 25 26 30 31 39 45 49 50 55 57 62 64 65 66 68 69 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 130 131 140 141 143 147 153 156 159 162 168 172 173 174 a 6 8 10 13 15 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 65 66 68 69 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 131 140 141 143 147 153 156 159 162 168 172 173 174 a 6 8 10 13 15 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 66 68 69 71 78 79 85 88 90 91 93 94 99 104 107 111 112 119 122 123 124 128 131 140 141 143 145 147 153 156 159 162 168 172 173 174 a 6 8 10 13 15 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 66 68 69 71 78 79 85 88 90 91 93 94 99 104 107 111 112 122 123 124 128 131 140 141 143 145 147 153 156 158 159 162 168 172 173 174 a 6 8 10 13 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 66 68 69 71 78 79 85 88 90 91 93 94 99 104 107 111 112 122 123 124 128 131 140 141 143 145 147 149 153 156 158 159 162 168 172 173 174 a 6 8 10 13 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 107 111 112 117 122 123 124 128 131 140 141 143 145 147 149 153 156 158 159 162 168 172 173 174 a 6 8 10 13 17 24 25 26 30 31 39 40 45 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 124 128 131 140 141 143 145 147 149 153 156 158 159 162 168 172 173 174 a 6 8 10 13 17 24 25 26 30 31 39 40 42 45 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 140 141 143 145 147 149 153 156 158 159 162 168 172 173 174 a 6 8 10 13 17 24 25 26 30 31 39 40 42 45 46 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 140 141 143 145 147 149 153 156 158 159 162 168 173 174 a 8 10 13 17 24 25 26 30 31 39 40 42 45 46 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 140 141 143 145 147 149 153 156 158 159 162 168 173 174 a 8 10 13 17 24 25 26 30 31 39 40 42 45 46 49 50 55 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 140 141 143 145 147 149 153 156 158 159 168 169 173 174 a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 55 56 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 140 141 143 145 147 149 153 156 158 159 168 169 173 174 a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 55 56 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 168 169 173 174 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance014_graph004.col /benchmark/random_instance/random_instance014_graph004_01.dat" User time (seconds): 1285.24 System time (seconds): 18.03 Percent of CPU this job got: 359% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.20 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): 8183424 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 2516954 Voluntary context switches: 5973458 Involuntary context switches: 2883 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 14:18:04 2023]