#BEGIN: [Tue Sep 26 02:44:26 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance015_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph005_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_instance015_graph005.col /benchmark/random_instance/random_instance015_graph005_01.dat c /benchmark/random_instance/random_instance015_graph005.col c /benchmark/random_instance/random_instance015_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 37 133 81 84 11 62 13 147 105 127 139 173 140 19 25 194 182 115 175 51 123 75 109 26 10 30 38 118 95 138 169 153 192 16 137 92 20 54 88 50 42 146 185 176 187 47 60 189 76 21 39 104 58 179 85 6 122 74 64 66 181 98 9 59 t 59 144 4 5 184 116 46 54 102 125 74 40 178 194 106 111 75 152 32 155 73 135 177 62 104 174 161 17 85 143 147 34 169 138 108 154 51 148 107 127 66 31 97 79 26 180 67 11 55 183 103 3 115 78 76 25 146 61 118 39 52 58 153 172 a YES a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 73 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 73 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 183 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 183 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 98 104 105 109 115 118 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 186 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 73 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 82 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 6 9 10 13 16 19 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 82 84 85 88 92 98 104 105 109 115 118 122 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 185 186 187 189 192 194 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 82 84 85 88 92 98 104 105 109 115 118 122 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 185 186 187 189 192 194 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 82 84 85 88 92 98 104 105 109 115 118 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 194 a 6 9 10 11 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 84 85 88 92 98 104 105 109 115 118 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 194 a 6 9 10 11 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 84 85 88 92 93 98 104 105 109 115 118 123 127 133 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 a 6 9 10 11 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 84 85 88 92 93 98 104 105 109 118 123 127 133 134 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 60 62 64 66 72 73 74 75 76 81 82 84 85 88 92 93 98 104 105 109 118 123 127 133 134 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 72 73 74 75 76 81 82 84 85 88 92 93 98 104 105 109 118 123 127 128 133 134 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 189 192 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 72 73 74 75 76 81 82 84 85 88 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 146 147 153 169 173 175 176 179 181 182 183 185 186 187 192 a 6 9 10 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 146 147 153 169 173 175 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 141 146 147 153 169 173 175 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 72 73 74 75 76 81 82 84 85 88 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 141 146 147 153 169 173 175 176 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 118 123 127 128 133 134 137 138 139 141 146 147 153 169 173 175 176 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 21 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 118 123 127 128 133 134 137 138 139 141 146 147 153 169 173 175 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 25 26 30 37 38 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 141 146 147 153 169 173 175 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 141 146 147 152 153 169 173 175 179 181 182 183 185 186 187 192 a 6 9 13 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 109 118 123 127 128 133 134 137 138 139 141 146 147 152 153 169 172 173 175 179 181 182 183 186 187 192 a 6 9 13 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 109 115 118 123 127 128 133 137 138 139 141 146 147 152 153 169 172 173 175 179 181 182 183 186 187 192 a 5 6 9 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 81 82 84 85 88 90 92 93 98 103 104 105 109 115 118 123 127 128 133 137 138 139 141 146 147 152 153 169 172 173 175 179 181 182 183 186 187 192 a 5 6 9 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 78 81 82 84 85 88 90 92 93 98 103 104 105 109 115 118 123 127 128 133 137 138 139 141 146 147 152 153 169 172 173 175 179 181 182 183 186 187 a 5 6 9 14 16 20 25 26 30 37 39 47 50 51 54 58 59 62 64 66 69 72 73 74 75 76 78 81 82 84 85 88 90 92 93 98 103 104 105 109 115 118 123 127 128 133 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 186 187 a 5 6 9 14 16 20 25 26 30 37 39 47 51 54 58 59 62 64 66 69 72 73 74 75 76 78 81 82 84 85 88 90 92 93 98 103 104 105 109 115 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 186 187 a 5 6 9 14 16 25 26 30 37 39 47 51 54 58 59 62 64 66 69 72 73 74 75 76 78 81 82 84 85 88 90 92 93 98 103 104 105 109 115 116 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 186 187 a 5 6 9 14 16 25 26 30 37 39 47 51 54 58 59 62 64 66 69 72 73 74 75 76 78 81 82 84 85 88 90 92 93 98 103 104 105 108 109 115 116 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 187 a 5 6 9 14 16 25 26 30 32 37 39 47 51 54 58 59 62 64 66 69 72 73 74 75 76 78 82 84 85 88 90 92 93 98 103 104 105 108 109 115 116 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 187 a 5 6 9 16 25 26 30 32 37 39 47 51 54 58 59 61 62 64 66 69 72 73 74 75 76 78 82 84 85 88 90 92 93 98 103 104 105 108 109 115 116 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 182 183 187 a 5 6 9 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 72 73 74 75 76 78 82 84 85 88 90 92 93 98 103 104 105 108 109 115 116 118 123 127 128 133 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 183 187 a 5 6 9 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 72 73 74 75 76 78 82 84 85 88 90 92 93 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 183 187 a 5 6 9 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 82 84 85 88 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 141 146 147 148 152 153 169 172 173 175 181 183 187 a 5 6 9 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 82 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 141 146 147 148 152 153 169 172 173 175 178 181 183 187 a 5 6 9 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 82 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 173 175 178 181 183 187 a 5 6 9 11 16 25 26 30 31 32 37 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 173 175 178 181 183 187 a 5 6 9 11 16 25 26 30 31 32 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 173 175 178 181 183 187 a 5 6 9 11 16 25 26 30 31 32 39 47 51 54 58 59 61 62 64 66 69 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 173 174 178 181 183 187 a 5 6 9 11 16 17 25 26 30 31 32 39 51 54 58 59 61 62 64 66 69 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 173 174 178 181 183 187 a 5 6 9 11 16 17 25 26 30 31 32 39 46 51 54 58 59 61 62 64 66 69 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 174 178 181 183 187 a 5 9 11 16 17 25 26 30 31 32 39 46 51 54 55 58 59 61 62 64 66 69 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 174 178 181 183 187 a 5 9 11 16 17 25 26 30 31 32 39 46 51 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 92 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 174 178 180 181 183 187 a 5 9 11 16 17 25 26 30 31 32 34 39 46 51 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 93 97 98 103 104 105 108 109 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 161 169 172 174 178 180 181 183 187 a 5 9 11 16 17 25 26 30 31 32 34 39 46 51 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 93 97 98 103 104 105 108 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 154 161 169 172 174 178 180 181 183 187 a 5 9 11 16 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 93 97 98 103 104 105 108 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 154 161 169 172 174 178 180 181 183 a 5 9 11 16 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 93 97 102 103 104 105 108 111 115 116 118 123 127 128 135 137 138 139 146 147 148 152 153 154 161 169 172 174 178 180 181 183 a 5 9 11 16 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 97 102 103 104 105 108 111 115 116 118 123 127 128 135 137 138 139 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 a 5 9 11 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 73 74 75 76 78 79 84 85 90 97 102 103 104 105 107 108 111 115 116 118 123 127 128 135 137 138 139 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 a 5 9 11 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 84 85 90 97 102 103 104 105 107 108 111 115 116 118 123 127 135 137 138 139 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 a 5 9 11 17 25 26 30 31 32 34 39 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 84 85 97 102 103 104 105 107 108 111 115 116 118 123 127 135 137 138 139 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 194 a 5 9 11 17 25 26 30 31 32 34 39 40 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 84 85 97 102 103 104 105 107 108 111 115 116 118 123 127 135 137 138 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 194 a 3 5 11 17 25 26 30 31 32 34 39 40 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 84 85 97 102 103 104 105 107 108 111 115 116 118 123 127 135 137 138 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 194 a 3 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 84 85 97 102 103 104 105 107 108 111 115 116 118 123 125 127 135 137 138 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 194 a 3 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 85 97 102 103 104 105 107 108 111 115 116 118 123 125 127 135 137 138 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 184 194 a 3 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 64 66 67 73 74 75 76 78 79 85 97 102 103 104 105 106 107 108 111 115 116 118 125 127 135 137 138 144 146 147 148 152 153 154 161 169 172 174 178 180 181 183 184 194 a 3 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 105 106 107 108 111 115 116 118 125 127 135 137 138 144 146 147 148 152 153 154 155 161 169 172 174 178 180 181 183 184 194 a 3 4 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 105 106 107 108 111 115 116 118 125 127 135 138 144 146 147 148 152 153 154 155 161 169 172 174 178 180 181 183 184 194 a 3 4 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 107 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 174 178 180 181 183 184 194 a 3 4 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 107 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 174 177 178 180 183 184 194 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance015_graph005.col /benchmark/random_instance/random_instance015_graph005_01.dat" User time (seconds): 339.30 System time (seconds): 5.90 Percent of CPU this job got: 248% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:19.02 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): 12774264 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4004470 Voluntary context switches: 616655 Involuntary context switches: 1012 Swaps: 0 File system inputs: 0 File system outputs: 408 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:46:45 2023]