#BEGIN: [Tue Sep 26 01:40:53 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance015_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph001_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_instance015_graph001.col /benchmark/random_instance/random_instance015_graph001_01.dat c /benchmark/random_instance/random_instance015_graph001.col c /benchmark/random_instance/random_instance015_graph001_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.065 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 10.146 seconds s 118 88 55 106 140 150 171 50 168 98 73 131 156 134 11 127 82 70 176 21 108 56 80 65 139 59 30 123 84 36 166 61 79 147 13 14 158 41 126 191 78 26 195 99 114 100 45 102 54 3 42 10 121 162 53 40 24 27 105 179 18 170 t 68 78 93 71 10 8 92 148 50 127 46 167 152 112 13 188 80 30 192 87 187 77 191 76 1 63 118 58 154 165 164 6 70 193 45 88 7 190 42 113 98 32 40 84 35 27 178 60 153 124 61 25 185 11 140 179 115 173 96 20 91 69 a YES a 3 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 108 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 58 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 58 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 108 114 118 121 123 126 127 131 134 139 140 147 150 156 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 108 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 10 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 58 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 70 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 126 127 131 134 139 140 147 150 156 162 166 168 170 171 176 179 183 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 70 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 139 140 147 148 150 156 162 166 168 170 171 176 179 183 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 139 140 147 148 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 183 191 195 a 3 11 13 14 18 21 22 24 26 27 28 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 183 195 a 3 11 13 14 18 21 22 24 26 27 28 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 121 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 195 a 3 11 13 14 18 21 22 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 195 a 3 11 13 14 18 21 22 24 25 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 65 66 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 25 26 27 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 191 195 a 3 11 13 14 18 21 22 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 102 105 108 114 118 123 127 131 134 135 139 140 147 148 150 156 162 166 168 170 171 176 179 195 a 3 11 13 14 18 21 22 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 102 105 108 114 115 118 123 127 131 134 135 139 140 147 148 150 156 166 168 170 171 176 179 195 a 3 11 13 14 18 21 22 24 25 26 27 28 30 36 40 41 42 45 50 52 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 99 100 102 105 108 114 115 118 123 127 131 134 135 139 140 147 148 150 156 166 168 170 171 176 179 195 a 3 11 13 14 18 21 22 24 25 26 27 28 30 36 40 41 42 45 50 52 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 99 100 102 105 108 114 115 118 123 127 130 131 134 135 139 140 147 148 150 156 166 168 170 176 179 195 a 1 3 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 99 100 102 105 108 114 115 118 123 127 130 131 134 135 139 140 147 148 150 156 166 168 170 176 179 195 a 1 3 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 55 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 135 139 140 147 148 150 156 166 168 170 176 179 195 a 1 3 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 56 57 58 59 61 65 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 135 139 140 147 148 150 156 166 168 170 173 176 179 195 a 1 3 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 56 57 58 61 65 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 135 139 140 147 148 150 156 166 168 170 173 176 179 188 195 a 1 3 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 56 57 58 61 65 70 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 139 140 147 148 150 156 166 168 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 36 40 41 42 45 50 52 53 54 56 58 61 65 70 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 139 140 147 148 150 156 166 168 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 54 56 58 61 65 70 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 123 127 130 131 134 139 140 147 148 150 156 166 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 54 56 58 60 61 65 70 73 78 79 80 82 84 88 98 99 100 105 108 114 115 118 127 130 131 134 139 140 147 148 150 156 166 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 54 56 58 60 61 65 70 73 78 79 80 82 84 87 88 98 99 100 105 108 114 115 118 127 130 134 139 140 147 148 150 156 166 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 54 56 58 60 61 65 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 156 164 166 170 173 176 179 188 195 a 1 3 10 11 13 14 18 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 156 164 166 170 173 176 179 188 195 a 1 3 6 10 11 13 14 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 156 164 166 170 173 176 179 188 195 a 1 3 6 10 11 13 14 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 153 156 164 166 170 173 179 188 195 a 1 6 10 11 13 14 21 22 24 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 68 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 153 156 164 166 170 173 179 188 195 a 1 6 10 11 13 14 21 22 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 68 70 73 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 139 140 147 148 150 152 153 156 164 166 170 173 179 188 195 a 1 6 10 11 13 14 21 22 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 68 70 73 77 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 140 147 148 150 152 153 156 164 166 170 173 179 188 195 a 1 6 10 11 13 14 21 22 25 27 28 30 32 36 40 41 42 45 50 52 53 56 58 60 61 63 65 68 70 73 77 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 140 147 148 150 152 153 154 156 164 166 170 173 179 188 a 1 6 10 11 13 14 20 21 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 73 77 78 79 80 82 84 87 88 98 99 100 105 114 115 118 127 130 134 140 147 148 150 152 153 154 156 164 166 170 173 179 188 a 1 6 10 11 13 14 20 21 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 82 84 87 88 93 98 99 100 105 114 115 118 127 130 134 140 147 148 150 152 153 154 156 164 166 170 173 179 188 a 1 6 7 10 11 13 14 20 21 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 82 84 87 88 93 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 156 164 166 170 173 179 188 a 1 6 7 10 11 13 14 20 21 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 82 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 166 170 173 179 188 a 1 6 7 10 11 13 14 20 21 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 82 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 170 173 179 188 190 a 1 6 7 10 11 13 14 20 22 25 27 28 30 32 36 40 42 45 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 82 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 165 170 173 179 188 190 a 1 6 7 10 11 13 14 20 22 25 27 28 30 32 36 40 42 45 46 50 52 53 56 58 60 61 63 65 68 70 77 78 79 80 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 165 170 173 179 188 190 a 1 6 7 10 11 13 14 20 22 25 27 28 30 32 36 40 42 45 46 50 52 53 56 58 60 61 63 68 70 77 78 79 80 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 165 167 170 173 179 188 190 a 1 6 7 10 11 13 20 22 25 27 28 30 32 36 40 42 45 46 50 52 53 56 58 60 61 63 68 70 77 78 79 80 84 87 88 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 165 167 170 173 179 188 190 193 a 1 6 7 10 11 13 20 22 25 27 28 30 32 36 40 42 45 46 50 53 56 58 60 61 63 68 70 77 78 79 80 84 87 88 92 93 96 98 99 100 105 114 115 118 127 130 134 140 148 150 152 153 154 164 165 167 170 173 179 188 190 193 a 1 6 7 10 11 13 20 22 25 27 28 30 32 36 40 42 45 46 50 53 56 58 60 61 63 68 70 77 78 79 80 84 87 88 91 92 93 96 98 99 100 105 114 115 118 127 130 140 148 150 152 153 154 164 165 167 170 173 179 188 190 193 a 1 6 7 10 11 13 20 22 25 27 28 30 32 36 40 42 45 46 50 53 56 58 60 61 63 68 70 77 78 79 80 84 87 88 91 92 93 96 98 99 100 114 115 118 127 130 140 148 150 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 53 56 58 60 61 63 68 70 76 77 78 79 80 84 87 88 91 92 93 96 98 99 100 114 115 118 127 130 140 148 150 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 53 56 58 60 61 63 68 70 76 77 78 79 80 84 87 88 91 92 93 96 98 99 100 114 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 53 58 60 61 63 68 69 70 76 77 78 79 80 84 87 88 91 92 93 96 98 99 100 114 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 53 58 60 61 63 68 69 70 71 76 77 78 79 80 84 87 88 91 92 93 96 98 99 100 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 8 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 53 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 99 100 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 187 188 190 193 a 1 6 7 8 10 11 13 20 25 27 28 30 32 36 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 99 100 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 185 187 188 190 193 a 1 6 7 8 10 11 13 20 25 27 28 30 32 35 36 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 99 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 185 187 188 190 193 a 1 6 7 8 10 11 13 20 25 27 28 30 32 35 36 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 185 187 188 190 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 35 36 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 113 115 118 124 127 130 140 148 152 153 154 164 165 167 170 173 179 185 187 188 190 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 35 36 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 113 115 118 124 127 140 148 152 153 154 164 165 167 170 173 179 185 187 188 190 191 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 35 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 113 115 118 124 127 140 148 152 153 154 164 165 167 170 173 178 179 185 187 188 190 191 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 35 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 112 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 187 188 190 191 192 193 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance015_graph001.col /benchmark/random_instance/random_instance015_graph001_01.dat" User time (seconds): 1272.58 System time (seconds): 5.19 Percent of CPU this job got: 342% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:12.76 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): 13936704 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 5 Minor (reclaiming a frame) page faults: 4298957 Voluntary context switches: 237417 Involuntary context switches: 2754 Swaps: 0 File system inputs: 832 File system outputs: 264 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:47:07 2023]