#BEGIN: [Mon Sep 4 11:51:37 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance016_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat c /benchmark/random_instance/random_instance016_graph004.col c /benchmark/random_instance/random_instance016_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 192 67 41 24 56 68 205 141 100 202 145 105 109 159 64 36 121 179 20 35 203 28 18 6 75 60 77 186 136 74 37 92 134 148 48 152 178 59 138 129 163 95 180 89 208 16 190 161 166 111 155 139 168 10 183 57 164 54 65 87 104 47 42 81 120 26 t 185 22 139 88 15 34 36 154 120 37 132 31 141 163 180 6 118 69 164 203 62 39 93 95 66 4 32 183 104 49 175 186 159 116 190 157 18 26 147 46 67 79 91 109 17 208 197 124 121 40 74 16 89 176 129 178 195 94 87 123 57 125 54 196 59 8 a YES a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 108 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 95 100 104 105 108 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 64 65 67 68 75 76 77 81 87 89 93 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 23 24 26 28 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 23 24 26 28 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 184 190 192 202 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 159 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 10 16 18 20 23 24 26 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 140 141 145 148 159 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 10 16 18 23 24 26 35 36 37 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 140 141 145 148 159 161 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 10 16 18 23 24 26 35 36 37 40 41 42 47 48 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 141 145 148 159 161 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 10 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 75 76 77 81 87 89 91 93 94 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 168 171 178 183 184 190 192 202 205 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 108 109 111 113 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 171 178 183 184 190 192 202 205 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 111 113 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 171 178 180 183 184 190 192 202 205 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 111 113 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 171 175 178 180 183 184 190 192 202 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 111 113 118 120 122 129 132 134 136 138 139 141 145 159 161 163 164 166 171 175 178 180 183 184 190 202 208 a 3 6 7 16 18 23 24 26 35 36 37 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 113 118 120 122 123 129 132 134 136 138 139 141 145 159 161 163 164 166 171 175 178 180 183 184 190 202 208 a 3 6 7 16 18 23 24 26 36 37 39 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 113 118 120 122 123 129 132 134 136 138 139 141 145 159 161 163 164 166 171 175 178 180 183 184 190 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 113 118 120 122 123 129 132 134 136 138 139 141 145 159 161 163 164 166 171 175 178 180 183 184 190 195 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 47 48 54 56 57 59 64 65 66 67 68 74 75 76 77 81 87 89 91 93 94 95 100 104 105 109 113 118 120 122 123 129 132 134 136 138 139 141 145 159 161 163 164 171 175 178 180 183 184 190 195 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 47 48 54 56 57 59 64 65 66 67 68 74 76 77 81 87 89 91 93 94 95 100 104 105 109 113 118 120 122 123 129 132 134 136 138 139 141 145 147 159 161 163 164 171 175 178 180 183 184 190 195 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 47 48 54 56 57 59 64 65 66 67 68 74 76 77 81 87 89 91 93 94 95 100 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 171 175 178 180 183 184 190 195 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 46 47 48 54 56 57 59 64 65 66 67 68 74 76 77 81 87 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 171 175 178 180 183 184 190 195 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 46 47 48 54 56 57 59 64 66 67 68 74 76 77 81 87 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 171 175 178 180 183 184 190 195 196 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 46 47 48 54 56 57 59 64 66 67 68 74 76 77 81 87 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 161 163 164 171 175 178 180 183 184 190 195 196 202 208 a 3 6 7 16 18 23 26 36 37 39 40 41 42 46 47 48 54 56 57 59 64 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 202 208 a 6 7 16 18 23 26 34 36 37 39 40 41 42 46 47 48 54 56 57 59 64 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 202 208 a 6 7 16 18 23 26 34 36 37 39 40 41 42 46 47 48 54 56 57 59 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 197 202 208 a 6 7 16 18 23 26 34 36 37 39 40 42 46 47 48 54 56 57 59 62 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 56 57 59 62 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 118 120 122 123 125 129 132 134 136 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 56 57 59 62 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 116 118 120 122 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 178 180 183 184 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 56 57 59 62 66 67 68 74 76 77 81 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 176 178 180 183 184 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 76 77 79 81 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 176 178 180 183 184 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 81 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 176 178 180 183 184 186 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 176 178 180 183 184 185 186 190 195 196 197 202 208 a 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 134 138 139 141 147 157 159 163 164 171 175 176 178 180 183 185 186 190 195 196 197 202 203 208 a 4 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 113 116 118 120 123 125 129 132 138 139 141 147 157 159 163 164 171 175 176 178 180 183 185 186 190 195 196 197 202 203 208 a 4 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 125 129 132 138 139 141 147 157 159 163 164 171 175 176 178 180 183 185 186 190 195 196 197 202 203 208 a 4 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 138 139 141 147 157 159 163 164 171 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 16 17 18 26 34 36 37 39 40 42 46 47 48 49 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 138 139 141 147 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 26 34 36 37 39 40 42 46 47 48 49 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 26 34 36 37 39 40 42 46 47 49 54 57 59 62 66 67 68 74 77 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 26 32 34 36 37 39 40 42 46 47 49 54 57 59 62 66 67 68 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 26 32 34 36 37 39 40 42 46 47 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 26 31 32 34 36 37 39 40 46 47 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 7 8 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 c Step: 58 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat" User time (seconds): 882.40 System time (seconds): 13.17 Percent of CPU this job got: 315% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:43.48 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): 14996152 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4675944 Voluntary context switches: 3692630 Involuntary context switches: 2199 Swaps: 0 File system inputs: 0 File system outputs: 400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:56:21 2023]