#BEGIN: [Mon Sep 4 14:10:34 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -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 *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.021 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds 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 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 77 78 79 84 88 89 91 104 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 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 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 79 84 88 89 91 104 105 106 107 108 109 110 123 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 22 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 79 84 88 89 91 104 105 106 107 108 109 110 123 126 130 131 132 137 141 142 143 145 147 149 150 152 153 159 160 164 166 169 a 1 3 6 7 8 22 24 25 33 35 38 39 40 41 48 53 61 62 63 68 70 74 76 79 84 88 89 91 104 105 106 107 108 109 110 123 126 130 131 132 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 6 7 8 22 24 25 33 35 38 39 40 41 48 53 55 61 62 63 70 74 76 79 84 88 89 91 104 105 106 107 108 109 110 123 126 130 131 132 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 6 7 8 22 24 25 33 35 38 39 40 41 48 53 55 61 62 63 70 74 76 77 79 84 88 89 91 104 105 106 107 108 109 110 123 130 131 132 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 6 7 8 22 24 25 33 35 38 39 40 41 48 53 55 61 62 63 70 74 76 77 79 84 88 89 91 92 104 106 107 108 109 110 123 130 131 132 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 6 7 8 22 23 24 25 33 35 38 39 40 41 48 53 55 61 62 63 70 74 76 77 79 84 88 89 91 92 104 106 107 108 109 110 123 130 131 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 7 8 22 23 24 25 33 35 38 39 40 41 48 53 55 61 62 63 70 74 76 77 79 84 85 88 89 91 92 104 106 107 108 109 110 123 130 131 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 7 8 22 23 24 25 33 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 104 106 107 108 109 110 123 130 131 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 7 8 13 22 23 24 25 33 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 145 147 149 150 152 153 159 160 163 164 166 169 a 3 7 8 13 14 22 23 25 33 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 144 145 147 149 150 152 153 159 160 163 164 166 169 a 3 7 8 13 14 22 23 25 33 35 38 39 40 41 44 48 53 55 61 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 141 142 143 144 145 147 149 150 152 153 159 160 163 164 166 169 a 3 5 7 8 13 14 22 23 25 35 38 39 40 41 44 48 53 55 61 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 141 142 143 144 145 147 149 150 152 153 159 160 163 164 166 169 a 3 5 7 8 13 22 23 25 35 38 39 40 41 44 48 53 55 61 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 144 145 147 149 150 152 153 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 38 39 40 41 44 48 53 55 61 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 130 131 137 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 24 25 35 38 39 40 41 44 48 53 55 62 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 24 25 35 38 39 40 41 44 48 53 55 63 70 74 76 77 79 84 85 88 89 91 92 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 24 25 35 39 40 41 44 48 53 55 63 70 74 76 77 79 84 85 88 89 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 39 40 41 44 48 53 55 63 70 74 76 77 79 84 85 88 89 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 39 40 41 44 48 53 55 56 63 70 74 76 77 84 85 88 89 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 3 5 7 8 13 14 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 89 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 89 91 92 97 106 107 108 109 110 114 123 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 109 110 114 128 130 131 141 142 143 144 145 147 149 150 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 53 55 56 62 63 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 109 110 114 120 128 130 131 141 142 143 144 145 147 149 152 159 160 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 53 55 56 61 62 63 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 109 110 114 120 128 130 131 141 142 143 144 145 147 149 152 159 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 53 55 56 61 62 63 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 110 114 120 128 130 131 141 142 143 144 145 147 149 151 152 159 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 55 56 61 62 63 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 110 114 120 128 130 131 138 141 142 143 144 145 147 149 151 152 159 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 56 61 62 63 68 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 110 114 120 128 130 131 138 141 142 143 144 145 147 149 151 152 159 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 56 61 62 63 68 70 74 76 77 84 85 88 89 91 92 97 100 106 107 108 110 114 120 128 130 131 138 141 142 143 144 145 147 149 151 152 155 163 164 166 169 a 1 3 5 7 8 13 22 23 25 35 39 40 41 44 48 56 61 62 63 68 70 74 76 77 84 85 88 89 91 92 97 100 107 108 110 114 120 128 130 131 138 141 142 143 144 145 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 13 22 23 25 33 35 39 40 41 44 48 56 61 62 63 68 70 74 76 77 84 85 88 89 91 92 97 100 107 108 110 114 120 128 130 131 138 141 142 143 144 145 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 13 22 23 25 33 35 39 40 41 44 48 56 61 62 63 68 70 74 76 77 85 88 89 91 92 97 100 107 108 110 114 118 120 128 130 131 138 141 142 143 144 145 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 22 23 25 33 35 39 40 41 44 48 56 61 62 68 70 74 76 77 85 88 89 91 92 97 100 107 108 110 114 118 120 128 130 131 138 141 142 143 144 145 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 22 23 25 33 35 39 40 41 44 48 56 61 62 68 70 74 76 77 85 88 89 91 92 97 100 107 108 110 114 118 120 122 128 130 131 138 141 142 143 144 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 22 23 25 33 35 39 40 41 44 48 56 61 62 68 70 74 76 77 85 88 89 91 92 97 100 102 107 108 110 114 118 120 122 128 130 131 138 141 142 144 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 35 39 40 41 44 48 56 61 62 68 70 74 76 77 85 88 89 91 92 97 100 102 107 108 110 114 118 120 122 128 130 138 141 142 144 147 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 35 39 40 41 44 48 56 61 62 68 70 74 76 77 85 89 91 92 97 100 102 107 108 110 114 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 35 39 40 41 44 54 56 61 62 68 70 74 76 77 85 89 91 92 97 100 102 107 108 110 114 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 39 40 41 44 54 56 61 62 68 70 74 76 77 85 89 91 92 97 100 102 107 108 110 114 116 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 39 40 41 44 54 56 61 62 68 70 76 77 85 89 91 92 97 100 102 107 108 110 112 114 116 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 13 21 22 23 25 33 39 40 41 44 54 56 58 61 62 68 70 76 77 85 89 91 97 100 102 107 108 110 112 114 116 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 12 13 21 22 23 25 33 39 40 41 44 54 56 58 61 62 68 70 76 77 85 89 91 97 100 102 107 110 112 114 116 118 120 122 128 130 138 141 142 144 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 12 13 21 22 23 25 33 39 40 41 44 54 56 58 61 62 65 68 70 76 77 85 89 91 97 100 102 107 110 112 114 116 118 120 122 128 130 138 141 142 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 12 13 21 22 23 25 33 39 40 41 44 47 54 56 58 61 62 65 68 70 76 77 85 89 91 97 100 102 107 110 112 114 116 118 120 122 128 130 138 142 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 12 13 21 22 23 25 33 39 40 44 47 54 56 58 61 62 65 66 68 70 76 77 85 89 91 97 100 102 107 110 112 114 116 118 120 122 128 130 138 142 147 148 149 151 152 155 161 163 164 166 169 a 1 3 7 8 10 12 13 21 22 23 25 33 39 40 44 47 54 56 58 61 62 65 66 68 70 76 77 85 89 91 97 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 a 1 3 8 10 12 13 21 22 23 25 28 33 39 40 44 47 54 56 58 61 62 65 66 68 70 76 77 85 89 91 97 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 a 1 3 10 12 13 21 22 23 25 28 33 39 40 44 47 54 56 58 61 62 65 66 68 70 76 77 85 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 a 1 3 10 12 13 21 22 23 25 28 33 36 39 40 44 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 a 1 3 10 12 13 21 22 23 25 28 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 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: 60 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat" User time (seconds): 1312.21 System time (seconds): 2.49 Percent of CPU this job got: 363% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.99 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): 7810744 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2382491 Voluntary context switches: 59798 Involuntary context switches: 2583 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:16:37 2023]