#BEGIN: [Mon Sep 4 13:12:01 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /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 *** Info : (clingo): INTERRUPTED by signal! 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 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 172 173 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 172 173 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 149 150 153 157 158 164 171 172 173 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 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 142 143 144 145 148 149 150 153 157 158 164 171 172 173 178 a 6 14 15 16 18 21 24 26 28 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 142 143 144 145 148 150 153 157 158 164 171 172 173 178 a 6 14 15 16 18 21 24 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 150 153 157 158 164 171 172 173 178 a 6 14 15 16 18 21 24 26 28 37 40 42 43 47 49 51 58 59 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 150 153 157 158 159 164 171 172 173 178 a 6 14 15 16 18 21 24 26 28 37 40 42 43 47 49 51 58 59 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 150 157 158 159 164 171 172 173 178 a 6 14 15 16 18 21 24 26 28 37 40 42 43 47 49 51 58 59 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 120 123 126 127 129 130 133 134 142 143 144 145 150 157 158 159 164 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 37 40 42 43 47 49 51 58 59 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 123 126 127 129 130 133 134 142 143 144 145 150 157 158 159 164 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 37 40 42 43 47 49 51 58 59 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 123 126 127 129 130 133 134 142 143 144 145 150 157 158 159 164 171 172 173 178 a 6 15 16 18 19 21 24 26 28 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 123 126 127 129 130 133 134 142 143 144 145 150 157 158 159 164 171 172 173 178 a 6 15 16 18 19 21 24 26 28 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 126 127 129 130 133 134 142 143 144 145 148 150 157 158 159 164 171 172 173 178 a 6 15 16 18 19 21 24 26 28 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 126 127 129 130 133 134 142 143 144 145 148 150 157 158 159 164 166 171 172 173 178 a 6 15 16 18 19 21 24 26 28 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 106 113 119 126 127 129 130 133 134 136 142 143 144 145 148 150 157 158 159 166 171 172 173 178 a 6 15 16 18 19 21 24 26 28 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 95 96 98 100 105 113 119 126 127 129 130 132 133 134 136 142 143 144 145 148 150 157 158 159 166 171 172 173 178 a 6 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 96 98 100 105 113 119 126 127 129 130 132 133 134 136 142 143 144 145 148 150 157 158 159 166 171 172 173 178 a 6 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 96 98 100 105 113 119 126 127 129 130 132 133 134 136 142 143 144 145 148 150 157 158 159 171 172 173 178 a 6 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 96 98 100 105 106 113 119 126 127 129 130 133 134 136 142 143 144 145 148 150 157 158 159 171 172 173 178 a 6 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 96 98 100 105 106 113 119 123 126 127 129 130 133 134 136 142 143 144 145 150 157 158 159 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 84 88 89 91 94 96 98 100 106 113 119 123 126 127 129 130 133 134 136 142 143 144 145 150 157 158 159 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 84 88 89 91 94 96 100 106 113 119 123 126 127 129 130 133 134 136 142 143 144 145 150 157 158 159 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 43 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 84 88 89 91 94 96 100 106 113 119 121 123 126 127 129 130 133 134 136 142 143 144 145 157 158 159 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 84 88 89 91 94 96 100 106 113 119 121 123 126 127 129 130 133 134 136 142 143 144 145 157 158 159 166 171 172 173 178 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 84 88 89 91 94 96 100 106 113 119 121 123 126 127 129 130 133 134 136 142 143 144 157 158 159 166 171 172 173 178 179 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 88 89 91 94 96 100 106 108 113 119 121 123 126 127 129 130 133 134 136 142 143 144 157 158 159 166 171 172 173 178 179 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 88 89 91 94 96 100 106 108 113 119 121 123 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 172 173 178 179 a 6 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 58 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 96 100 106 108 113 119 121 123 125 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 172 173 178 179 a 6 10 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 96 100 106 108 113 119 121 123 125 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 172 173 178 179 a 6 10 14 15 16 18 19 21 24 26 28 30 37 40 42 47 49 51 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 96 100 106 108 113 119 121 123 125 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 12 14 15 16 18 19 24 26 28 30 37 40 42 47 49 51 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 96 100 106 108 113 119 121 123 125 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 12 14 15 16 18 19 24 26 28 37 40 42 47 49 51 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 95 96 100 106 108 113 119 121 123 125 126 127 129 130 133 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 24 26 28 37 40 42 47 49 51 59 60 62 63 65 67 68 69 71 75 80 82 89 91 94 95 96 100 106 108 113 119 121 123 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 24 26 28 37 40 42 47 49 51 53 59 60 62 63 65 67 68 69 71 75 80 82 89 91 95 96 100 106 108 113 119 121 123 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 24 26 28 37 40 42 47 49 51 53 59 60 62 63 65 67 68 69 71 75 80 81 82 89 91 95 96 106 108 113 119 121 123 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 24 26 28 37 40 42 47 49 51 53 59 60 62 63 65 67 68 69 71 75 80 81 82 89 91 95 96 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 26 28 37 40 42 47 49 51 53 59 60 62 63 65 66 67 68 69 71 75 80 81 82 89 91 95 96 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 176 178 179 a 6 10 11 12 14 15 16 18 19 26 28 37 40 42 47 49 51 53 59 60 62 63 65 66 67 68 69 71 75 80 81 82 89 91 95 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 157 158 159 166 170 171 173 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 28 37 40 42 47 49 51 53 59 60 62 63 65 66 67 68 69 71 75 80 81 82 89 91 95 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 157 158 166 170 171 173 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 28 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 80 81 82 85 89 91 95 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 157 158 166 170 171 173 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 80 81 82 85 89 91 95 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 149 157 158 166 170 171 173 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 78 80 81 82 85 89 91 95 106 108 110 113 119 121 125 126 127 129 130 134 136 142 144 149 158 166 170 171 173 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 78 80 81 82 85 89 91 95 106 108 109 110 113 119 121 125 126 127 129 130 134 136 142 144 149 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 78 80 81 82 85 89 91 95 102 106 108 109 110 113 119 121 125 126 127 129 130 136 142 144 149 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 37 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 78 80 81 82 85 89 91 95 102 106 108 109 110 113 119 121 125 126 127 129 130 136 140 144 149 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 40 42 47 49 51 53 59 62 63 65 66 67 68 69 71 75 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 149 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 40 42 47 49 51 53 59 62 63 65 66 67 69 71 75 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 149 151 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 40 42 49 51 53 59 62 63 65 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 149 151 158 166 170 171 175 176 178 179 a 6 10 11 12 14 15 16 18 19 20 26 40 42 49 51 53 59 61 62 63 65 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 149 151 158 166 170 171 175 176 179 a 6 7 10 11 12 14 15 16 18 19 20 26 40 42 49 51 53 59 61 62 63 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 136 140 144 149 151 158 166 170 171 175 176 179 a 6 7 10 11 12 14 15 16 18 19 20 26 40 42 49 51 53 59 61 62 63 66 67 69 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 149 151 158 166 170 171 175 176 179 a 6 7 10 11 12 14 15 16 18 19 20 26 40 42 49 51 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 149 151 158 166 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 26 40 42 49 51 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 149 151 158 166 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 51 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 170 171 175 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: 57 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat" User time (seconds): 151.81 System time (seconds): 2.40 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:34.23 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): 6937032 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2177325 Voluntary context switches: 26 Involuntary context switches: 465 Swaps: 0 File system inputs: 0 File system outputs: 368 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:14:35 2023]