#BEGIN: [Mon Sep 4 14:15:27 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance016_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance016_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_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat c /benchmark/random_instance/random_instance016_graph002.col c /benchmark/random_instance/random_instance016_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 191 98 164 150 157 39 128 50 123 124 202 19 105 69 138 22 175 64 110 63 73 91 97 62 141 188 112 38 177 74 71 85 113 137 180 176 35 148 144 60 40 190 121 108 129 4 48 194 77 104 153 115 59 125 84 43 42 139 58 82 111 156 200 192 96 45 t 175 204 195 34 166 171 164 69 121 156 95 191 138 55 206 154 91 193 117 64 155 174 126 32 90 6 97 94 152 103 139 7 71 11 49 107 192 199 134 137 59 148 168 147 38 118 186 198 81 180 162 63 48 105 88 123 106 111 101 165 119 45 158 120 47 114 a YES a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 84 85 86 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 75 77 82 84 85 86 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 202 a 4 12 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 75 77 82 84 85 86 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 202 a 4 12 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 77 82 84 85 86 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 127 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 188 190 191 192 194 200 202 a 4 12 19 20 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 127 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 188 190 192 194 200 202 a 4 12 19 20 22 35 38 39 40 42 43 45 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 127 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 188 190 192 200 202 a 4 12 19 20 22 35 38 39 40 42 43 45 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 113 115 121 123 124 125 127 128 129 137 138 139 141 144 145 148 150 153 156 157 164 175 176 177 188 190 192 200 202 a 4 12 19 20 22 35 38 39 40 42 43 45 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 113 115 121 123 124 125 127 128 129 137 138 139 141 144 145 148 150 153 156 157 164 175 176 177 188 190 192 194 200 202 a 4 12 19 20 22 35 38 39 40 42 43 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 139 141 144 145 148 150 153 156 157 164 175 176 177 188 190 192 194 200 202 a 4 12 19 20 22 35 38 39 40 42 43 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 188 190 192 194 200 202 a 4 12 19 20 22 35 38 39 40 42 43 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 188 190 192 194 200 a 4 12 19 20 22 31 35 38 39 40 42 43 48 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 188 190 192 194 200 a 4 12 19 20 22 31 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 188 190 192 200 a 4 12 15 19 20 22 31 35 38 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 188 190 192 200 a 4 12 15 19 20 22 31 35 38 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 190 192 200 a 4 12 15 19 20 22 31 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 175 176 177 190 192 200 a 4 12 15 19 20 22 31 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 95 96 97 98 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 153 156 157 164 175 176 177 190 192 195 200 a 4 12 15 19 20 22 31 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 95 96 97 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 152 153 156 157 164 175 176 177 190 192 195 200 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 95 96 97 104 105 106 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 152 153 156 157 164 175 176 177 190 192 195 200 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 152 153 156 157 164 175 176 190 192 195 200 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 136 137 138 141 144 145 148 150 152 153 156 157 164 175 190 192 195 200 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 137 138 141 144 145 148 150 152 153 156 157 164 166 175 190 192 195 200 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 137 138 141 144 145 147 148 150 152 153 156 157 164 166 175 190 192 195 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 62 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 137 138 139 141 144 145 147 148 150 152 153 156 157 164 166 175 192 195 a 4 11 12 15 19 20 22 35 38 39 40 42 43 48 53 58 59 60 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 121 123 124 125 127 128 129 137 138 139 141 144 145 147 148 150 152 153 155 156 157 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 48 53 58 59 60 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 117 121 123 124 125 127 128 129 137 138 139 141 144 145 147 148 150 152 153 155 156 157 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 48 49 53 58 59 60 63 69 71 73 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 117 121 123 124 125 127 128 129 137 138 139 141 144 145 147 148 150 152 153 155 156 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 45 48 49 53 58 59 60 63 69 71 74 77 84 85 91 94 95 96 97 104 105 106 107 108 110 111 113 115 117 121 123 124 125 127 128 129 137 138 139 141 144 145 147 148 150 152 153 155 156 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 45 48 49 53 58 59 60 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 115 117 121 123 124 125 127 128 129 137 138 139 141 145 147 148 150 152 153 155 156 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 45 48 49 53 58 59 60 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 117 118 121 123 124 125 127 128 129 137 138 139 141 145 147 148 150 152 153 155 156 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 42 43 45 47 48 49 53 58 59 60 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 117 118 121 123 124 125 127 128 129 137 138 139 141 145 147 148 152 153 155 156 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 43 45 47 48 49 53 58 59 60 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 117 118 121 123 124 125 127 128 129 137 138 139 141 145 147 148 152 153 155 156 162 164 166 175 192 195 a 4 11 12 15 19 20 22 38 39 40 43 45 47 48 49 53 58 59 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 117 118 121 123 124 125 127 128 129 137 138 139 141 145 147 148 152 153 155 156 162 164 166 174 175 192 195 a 4 11 12 15 20 22 38 39 40 43 45 47 48 49 53 58 59 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 110 111 113 117 118 121 123 124 125 127 128 129 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 192 195 a 4 11 12 15 20 22 38 39 40 43 45 47 48 49 53 58 59 63 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 113 117 118 121 123 124 125 126 127 128 129 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 192 195 a 4 11 15 20 22 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 113 117 118 121 123 124 125 126 127 128 129 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 192 195 a 4 11 15 20 22 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 113 117 118 121 123 124 125 126 127 128 134 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 192 195 a 4 11 15 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 117 118 121 123 124 125 126 127 128 134 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 192 195 a 4 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 117 118 121 123 124 125 126 127 128 134 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 186 192 195 a 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 117 118 121 123 124 125 126 127 128 134 137 138 139 141 145 147 148 152 153 155 156 158 162 164 166 174 175 186 192 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 85 91 94 95 96 97 101 104 105 106 107 108 111 117 118 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 91 94 95 96 97 101 104 105 106 107 108 111 117 118 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 84 91 94 95 96 97 101 105 106 107 108 111 117 118 120 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 58 59 63 64 69 71 74 77 91 94 95 96 97 101 105 106 107 108 111 117 118 119 120 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 96 97 101 105 106 107 108 111 117 118 119 120 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 38 39 40 43 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 96 97 101 105 106 107 111 114 117 118 119 120 121 123 124 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 34 38 39 40 43 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 96 97 101 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 a 11 20 22 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 96 97 101 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 174 175 186 192 193 195 198 206 a 11 20 22 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 97 101 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 206 a 11 20 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 74 77 88 91 94 95 97 101 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 7 11 20 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 74 88 91 94 95 97 101 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 145 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 7 11 20 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 74 88 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 7 11 20 32 34 38 39 40 45 47 48 49 53 59 63 64 69 71 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 7 11 20 32 34 38 40 45 47 48 49 53 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 127 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 6 7 11 20 32 34 38 40 45 47 48 49 53 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 206 a 6 7 11 20 32 34 38 45 47 48 49 53 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 186 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 53 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 180 186 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 174 175 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 153 154 155 156 158 162 164 165 166 171 174 175 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat" User time (seconds): 341.18 System time (seconds): 32.44 Percent of CPU this job got: 240% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:35.63 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): 15181320 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4712418 Voluntary context switches: 14957946 Involuntary context switches: 1114 Swaps: 0 File system inputs: 0 File system outputs: 424 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]