#BEGIN: [Mon Sep 4 13:12:33 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance014_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance014_graph005.col /benchmark/random_instance/random_instance014_graph005_01.dat c /benchmark/random_instance/random_instance014_graph005.col c /benchmark/random_instance/random_instance014_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 111 110 75 92 137 69 167 171 53 117 142 22 101 38 72 135 27 123 49 147 79 106 150 7 133 178 52 145 177 25 91 66 2 45 73 154 63 98 136 120 175 124 169 37 121 43 116 181 115 90 20 130 88 89 81 12 113 t 179 158 25 93 86 122 22 49 104 169 147 80 47 112 52 107 21 131 99 32 140 10 105 141 149 76 117 91 74 50 30 90 83 150 73 61 60 159 123 88 11 115 14 125 151 43 48 164 110 98 177 146 57 124 38 154 168 a YES a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 12 20 22 25 27 37 38 45 49 52 53 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 132 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 12 20 22 25 27 37 38 45 49 52 53 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 132 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 132 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 5 7 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 123 124 130 132 133 135 136 137 142 145 147 150 154 167 171 175 177 178 181 a 5 7 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 123 124 130 132 133 134 135 136 137 142 145 147 150 154 167 175 177 178 181 a 5 7 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 167 175 177 178 179 181 a 5 7 12 22 25 27 37 38 45 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 115 116 117 120 123 124 130 132 133 134 135 136 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 115 116 117 123 124 130 132 133 134 135 136 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 115 116 117 123 124 130 132 133 134 135 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 110 111 113 115 116 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 54 63 66 67 69 71 72 73 75 79 80 81 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 81 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 137 145 147 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 81 88 89 90 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 130 132 133 134 135 137 145 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 90 91 92 98 101 103 106 111 113 114 115 116 117 120 123 124 130 132 133 134 135 137 145 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 111 113 114 115 116 117 120 123 124 126 130 132 133 134 135 137 145 150 154 167 175 177 178 179 181 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 130 132 133 134 135 137 145 150 154 167 175 177 178 179 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 130 132 133 134 135 137 145 147 150 154 167 177 178 179 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 130 132 133 134 137 145 147 150 154 159 167 177 178 179 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 130 132 133 134 137 145 147 150 154 159 167 175 177 178 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 154 159 167 175 177 178 a 5 12 22 25 27 37 38 45 49 50 52 53 54 63 66 67 69 71 72 73 75 79 80 81 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 154 159 167 177 178 179 a 5 12 22 25 27 37 38 45 49 50 52 53 54 61 63 66 67 69 71 72 73 75 79 80 88 89 91 92 98 101 103 106 110 111 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 154 159 167 177 178 179 a 5 12 22 25 27 37 38 45 49 50 52 53 54 60 61 63 66 67 69 71 72 73 75 79 80 88 89 91 92 98 101 103 106 110 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 154 159 167 177 178 179 a 5 12 22 25 27 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 72 73 75 79 80 88 89 91 92 98 101 103 106 110 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 154 159 167 177 178 179 a 5 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 72 73 75 79 80 88 89 91 92 98 101 103 106 110 113 114 115 116 117 120 123 124 126 132 133 134 135 137 145 147 150 151 154 159 167 177 178 179 a 5 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 72 73 75 79 80 88 89 90 91 92 98 101 103 106 110 113 114 115 116 117 120 123 124 132 133 134 135 137 145 147 150 151 154 159 167 177 178 179 a 5 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 73 75 79 80 88 89 90 91 92 98 101 103 106 110 113 114 115 116 117 120 123 124 125 132 133 134 135 137 145 147 150 151 154 159 167 177 178 179 a 5 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 73 75 79 80 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 120 123 124 125 132 133 134 135 137 145 147 150 151 154 159 167 177 178 179 a 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 73 75 79 80 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 120 123 124 125 132 133 134 135 137 145 147 150 151 154 159 167 169 177 178 179 a 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 73 75 79 80 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 120 123 124 125 132 133 134 135 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 37 38 45 47 49 50 52 53 54 60 61 66 67 69 71 73 75 79 80 83 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 120 123 124 125 132 134 135 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 37 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 120 123 124 125 132 134 135 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 37 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 98 101 103 106 110 112 113 114 115 116 117 123 124 125 131 132 134 135 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 37 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 101 103 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 101 103 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 145 147 150 151 154 158 159 169 177 178 179 a 12 22 25 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 101 103 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 141 147 150 151 154 158 159 169 177 178 179 a 12 22 25 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 103 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 169 177 178 179 a 10 12 22 25 38 43 45 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 169 177 178 179 a 10 12 22 25 38 43 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 105 106 110 112 113 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 169 177 178 179 a 10 12 22 25 38 43 47 49 50 52 53 54 60 61 66 69 71 73 75 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 38 43 47 48 49 50 52 53 54 60 61 66 69 73 75 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 38 43 47 48 49 50 52 54 57 60 61 66 69 73 75 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 38 43 47 48 49 50 52 54 57 60 61 69 73 75 76 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 30 38 43 47 48 49 50 52 54 57 60 61 73 75 76 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 137 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 30 38 43 47 48 49 50 52 54 57 60 61 73 74 75 76 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 132 134 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 12 22 25 30 32 38 43 47 48 49 50 52 54 57 60 61 73 74 75 76 79 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 134 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 11 12 22 25 30 32 38 43 47 48 49 50 52 54 57 60 61 73 74 75 76 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 134 141 146 147 150 151 154 158 159 168 169 177 178 179 a 10 11 12 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 75 76 80 83 88 90 91 92 93 98 99 105 106 110 112 114 115 116 117 123 124 125 131 134 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 12 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 92 93 98 99 105 106 107 110 112 114 115 116 117 123 124 125 131 134 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 12 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 92 93 98 99 105 106 107 110 112 114 115 116 117 123 124 125 131 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 12 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 92 93 98 99 105 107 110 112 114 115 116 117 123 124 125 131 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 92 93 98 99 105 107 110 112 114 115 116 117 123 124 125 131 140 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 88 90 91 92 93 98 99 105 107 110 112 114 115 116 117 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 105 107 110 112 114 115 116 117 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 104 105 107 110 112 115 116 117 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 104 105 107 110 112 115 117 122 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance014_graph005.col /benchmark/random_instance/random_instance014_graph005_01.dat" User time (seconds): 359.10 System time (seconds): 1.57 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.70 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): 5845704 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1891570 Voluntary context switches: 26 Involuntary context switches: 2024 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 13:18:34 2023]