#BEGIN: [Tue Sep 26 01:40:52 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance014_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph002_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_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat c /benchmark/random_instance/random_instance014_graph002.col c /benchmark/random_instance/random_instance014_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 1.352 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 64 155 60 108 107 152 35 172 12 171 6 71 134 97 133 96 24 165 174 116 66 94 29 127 170 135 67 90 178 126 23 39 161 100 102 101 40 32 21 8 34 122 139 51 181 136 18 15 5 137 41 149 3 119 167 103 13 22 140 t 91 181 160 114 32 61 143 137 115 83 70 9 64 25 107 4 146 8 92 14 22 13 3 30 23 60 98 46 130 55 128 111 38 123 81 119 182 86 166 174 109 106 120 90 66 131 7 51 171 40 168 20 170 37 69 175 96 42 11 a YES a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 57 60 64 66 67 71 90 94 96 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 47 51 57 60 64 66 67 71 90 94 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 57 60 64 66 67 71 90 94 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 57 60 64 66 67 71 90 94 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 43 44 47 57 60 64 66 67 71 90 94 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 43 44 47 57 60 64 66 67 71 75 90 94 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 181 a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 43 44 47 53 57 60 64 66 67 71 75 90 94 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 43 44 47 53 57 60 64 66 67 70 71 75 90 94 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 90 94 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 6 8 12 13 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 87 90 94 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 6 8 12 13 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 5 6 8 12 13 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 71 75 87 90 93 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 5 6 8 12 13 15 18 22 23 24 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 71 75 87 90 93 100 102 103 107 108 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 71 75 87 90 93 100 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 39 40 41 47 51 53 57 58 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 51 53 57 58 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 51 53 57 58 60 64 66 67 70 71 75 87 90 93 96 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 51 57 58 60 64 66 67 70 71 75 87 90 93 96 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 161 165 167 171 172 174 178 181 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 47 51 57 58 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 161 165 167 171 172 174 178 181 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 47 51 53 57 58 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 152 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 70 71 75 87 90 93 100 101 102 103 107 115 116 122 126 127 133 134 135 136 137 139 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 25 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 115 116 122 126 127 133 134 135 136 137 139 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 25 29 32 34 35 37 39 40 41 43 47 51 53 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 115 116 122 123 126 127 133 134 135 136 137 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 25 29 32 34 35 37 39 40 41 43 47 51 53 55 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 115 116 122 123 126 133 134 135 136 137 140 152 154 161 165 167 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 25 32 34 35 37 39 40 41 43 47 51 53 55 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 115 116 122 123 126 133 134 135 136 137 140 152 154 161 165 167 170 171 172 174 178 a 3 5 6 8 13 15 18 22 23 24 25 32 34 35 37 39 40 41 43 47 51 53 55 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 114 115 116 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 178 a 3 5 6 7 8 13 15 18 22 23 24 25 32 34 35 37 39 40 41 43 47 51 53 55 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 114 115 116 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 a 3 5 6 7 8 13 15 18 22 23 24 25 32 34 35 37 39 40 41 43 47 51 53 55 57 60 64 66 67 70 87 90 93 100 101 102 103 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 a 3 5 6 7 8 13 15 18 22 23 24 25 32 34 35 37 39 40 43 47 51 53 55 57 60 64 66 67 70 87 90 93 98 100 101 102 103 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 a 3 5 6 7 8 13 15 18 22 23 24 25 32 34 35 37 39 40 43 47 51 53 55 57 60 64 66 67 70 81 87 90 93 98 100 101 103 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 a 3 5 6 7 8 13 18 22 23 24 25 32 34 35 37 39 40 43 47 51 53 55 57 60 64 66 67 70 81 83 87 90 93 98 100 101 103 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 a 3 5 6 7 8 13 18 22 23 24 25 32 34 35 37 39 40 43 47 51 55 57 60 64 66 67 70 81 83 87 90 93 98 100 101 103 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 181 a 3 5 6 7 8 13 14 18 22 23 24 25 32 34 35 37 39 40 43 47 51 55 57 60 64 66 67 70 81 83 87 90 93 98 100 101 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 181 a 3 5 6 7 8 13 14 18 22 23 24 25 32 34 35 37 40 43 47 51 55 57 60 64 66 67 70 81 83 86 87 90 93 98 100 101 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 170 171 172 174 181 a 3 5 6 7 8 13 14 18 22 23 25 32 34 35 37 40 43 47 51 55 57 60 64 66 67 70 81 83 86 87 90 93 98 100 101 107 114 115 116 119 122 123 126 133 134 136 137 140 152 154 161 165 167 168 170 171 172 174 181 a 3 6 7 8 13 14 18 22 23 25 32 34 35 37 40 43 47 51 55 57 60 64 66 67 70 81 83 86 87 90 93 98 100 101 107 114 115 116 119 122 123 126 130 133 134 136 137 140 152 154 161 165 167 168 170 171 172 174 181 a 3 6 7 8 13 14 22 23 25 32 34 35 37 40 43 47 51 55 57 60 64 66 67 70 81 83 86 87 90 92 93 98 100 101 107 114 115 116 119 122 123 126 130 133 134 136 137 140 152 154 161 165 167 168 170 171 172 174 181 a 3 6 7 8 13 14 22 23 25 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 87 90 92 93 98 100 101 107 114 115 116 119 122 123 126 130 133 134 136 137 140 152 154 161 165 167 168 170 171 172 174 181 a 3 7 8 13 14 22 23 25 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 87 90 92 93 98 100 101 107 114 115 116 119 122 123 126 130 133 134 136 137 140 143 152 154 161 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 22 23 25 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 87 90 92 93 98 100 101 107 114 115 116 119 122 123 126 130 133 134 137 140 143 152 154 161 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 22 23 25 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 101 107 109 114 115 116 119 122 123 126 130 133 134 137 140 143 152 154 161 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 22 23 25 30 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 101 107 109 114 115 116 119 122 123 126 130 133 134 137 140 143 152 154 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 107 109 114 115 116 119 122 123 126 130 133 134 137 140 143 152 154 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 106 107 109 114 115 119 122 123 126 130 133 134 137 140 143 152 154 165 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 106 107 109 114 115 119 122 123 126 130 133 134 137 140 143 152 165 166 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 106 107 109 114 115 119 122 123 126 130 131 133 134 137 140 143 165 166 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 92 93 98 100 106 107 109 114 115 119 122 123 126 130 131 134 137 140 143 165 166 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 92 93 98 100 106 107 109 114 115 119 123 126 130 131 134 137 140 143 165 166 167 168 170 171 172 174 181 a 3 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 92 93 98 100 106 107 109 114 115 119 123 126 130 131 134 137 143 165 166 167 168 170 171 172 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 46 47 51 55 57 60 64 66 70 81 83 86 90 91 92 93 98 100 106 107 109 114 115 119 123 126 130 131 134 137 143 165 166 167 168 170 171 172 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 91 92 93 98 100 106 107 109 114 115 119 123 126 130 131 134 137 143 165 166 167 168 170 171 172 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 91 92 93 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 166 167 168 170 171 172 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 91 92 93 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 166 167 168 170 171 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 35 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 126 130 131 134 137 143 166 167 168 170 171 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 126 130 131 134 137 143 146 166 167 168 170 171 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 126 128 130 131 134 137 143 146 166 167 168 170 171 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 128 130 131 134 137 143 146 160 166 167 168 170 171 174 175 181 a 3 4 7 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 167 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 167 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat" User time (seconds): 1239.63 System time (seconds): 31.88 Percent of CPU this job got: 349% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.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): 9387516 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 3 Minor (reclaiming a frame) page faults: 2958053 Voluntary context switches: 16292495 Involuntary context switches: 2861 Swaps: 0 File system inputs: 768 File system outputs: 256 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:46:56 2023]