#BEGIN: [Tue Sep 26 02:43:36 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-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 -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 0.465 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 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 60 64 66 67 71 75 90 94 96 97 100 101 102 103 107 108 116 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 75 90 94 96 100 101 102 103 107 108 116 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 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 60 64 66 67 71 75 90 94 96 97 100 101 102 103 107 108 116 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 43 51 60 64 66 67 71 75 90 94 97 100 101 102 103 107 108 116 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 43 51 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 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 43 47 51 57 60 64 66 67 71 75 90 94 100 101 102 103 107 108 116 122 126 127 133 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 22 23 24 29 32 34 35 39 40 41 43 47 51 57 60 64 66 67 71 75 87 90 94 100 101 102 103 107 108 116 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 15 18 22 23 24 29 32 34 35 39 40 41 43 47 51 57 60 64 66 67 71 75 87 90 94 100 101 102 103 107 108 116 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 15 18 22 23 24 29 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 75 87 90 94 100 101 102 103 107 108 116 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 15 18 22 23 24 29 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 75 87 90 93 100 101 102 103 107 108 116 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 15 18 22 23 24 29 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 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 170 171 172 174 178 181 a 3 5 6 8 12 15 18 22 23 24 25 29 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 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 170 171 172 178 181 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 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 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 70 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 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 70 75 87 90 93 100 101 102 103 107 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 178 180 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 70 75 87 90 94 100 101 102 103 107 116 122 126 127 133 134 135 136 137 139 140 152 154 155 161 165 167 171 172 178 180 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 70 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 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 66 67 70 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 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 67 70 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 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 43 47 48 51 57 60 64 67 70 75 87 90 93 100 101 102 103 107 108 116 122 126 127 133 134 135 136 137 138 139 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 67 70 75 87 90 93 100 102 103 107 108 116 122 126 127 133 134 135 136 137 138 139 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 12 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 67 70 75 87 90 93 100 102 103 107 108 116 122 123 126 127 133 134 135 136 137 138 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 67 70 75 87 90 93 100 102 103 107 108 115 116 122 123 126 127 133 134 135 136 137 138 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 75 87 90 93 100 102 103 107 108 115 116 122 123 126 127 133 134 135 136 137 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 87 90 93 100 102 103 107 108 115 116 119 122 123 126 127 133 134 135 136 137 140 152 154 155 161 167 171 172 174 178 181 a 3 6 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 87 90 93 100 102 107 108 115 116 119 122 123 126 127 133 134 135 136 137 140 152 154 155 161 167 170 171 172 174 178 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 87 90 93 100 102 107 108 115 116 119 122 123 126 127 133 134 135 136 137 140 152 154 155 161 167 170 171 172 174 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 87 90 93 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 152 154 155 161 167 170 171 172 174 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 57 60 64 66 67 70 87 90 91 93 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 155 161 167 170 171 172 174 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 39 40 41 43 47 48 51 55 57 60 64 66 67 70 87 90 91 93 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 161 167 170 171 172 174 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 40 41 43 47 48 51 55 57 60 64 66 67 70 87 90 91 93 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 161 167 170 171 172 174 175 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 40 41 43 47 48 51 55 57 60 64 66 67 70 86 87 90 91 93 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 161 170 171 172 174 175 181 a 3 6 7 8 15 18 22 23 24 25 29 31 32 34 35 37 40 43 47 48 51 55 57 60 64 66 67 70 86 87 90 91 93 98 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 161 170 171 172 174 175 181 a 3 6 7 8 13 15 18 22 23 24 25 29 31 32 34 35 37 40 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 100 102 107 108 114 115 116 119 122 123 126 127 133 134 136 137 140 154 161 170 171 172 174 175 181 a 3 6 7 8 13 15 18 22 23 24 25 29 31 32 34 35 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 100 102 107 108 114 115 116 119 122 123 126 127 134 136 137 140 154 161 170 171 172 174 175 181 a 3 6 7 8 13 15 18 22 23 24 25 29 31 32 34 35 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 107 108 111 114 115 116 119 122 123 126 127 134 136 137 140 154 161 170 171 172 174 175 181 a 3 6 7 8 13 15 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 107 108 111 114 115 116 119 122 123 126 127 134 136 137 140 146 154 161 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 107 108 111 114 115 116 119 122 123 126 127 134 136 137 140 146 154 161 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 107 108 111 114 115 119 122 123 126 127 131 134 136 137 140 146 154 161 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 107 108 111 114 115 119 120 122 123 126 127 131 134 136 137 146 154 161 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 86 87 90 91 93 98 102 106 107 108 111 114 115 119 120 122 123 126 127 131 134 136 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 83 86 87 90 91 93 98 106 107 108 111 114 115 119 120 122 123 126 127 131 134 136 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 30 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 83 86 87 90 91 93 98 106 107 108 111 114 115 119 120 122 123 126 127 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 30 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 83 86 90 91 93 98 106 107 108 109 111 114 115 119 120 122 123 126 127 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 22 23 24 25 29 30 31 32 34 37 40 42 43 47 51 55 57 60 64 66 67 70 81 83 86 90 91 93 98 106 107 108 109 111 114 115 119 120 122 123 126 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 20 22 23 24 25 29 30 31 32 34 37 40 42 43 47 51 55 57 60 64 66 70 81 83 86 90 91 93 98 106 107 108 109 111 114 115 119 120 122 123 126 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 20 22 23 24 25 30 31 32 34 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 93 98 106 107 108 109 111 114 115 119 120 122 123 126 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 18 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 134 137 146 154 170 171 172 174 175 181 a 3 6 7 8 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 57 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 137 146 154 168 170 171 172 174 175 181 a 3 6 7 8 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 137 146 154 168 170 171 172 174 175 181 182 a 3 7 8 11 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 137 146 154 168 170 171 172 174 175 181 182 a 3 7 8 11 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 126 130 131 137 146 166 168 170 171 172 174 175 181 182 a 3 7 8 11 13 14 20 22 23 25 30 31 32 34 37 40 42 43 46 47 51 55 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 130 131 137 143 146 166 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 31 32 34 37 40 42 46 47 51 55 60 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 130 131 137 143 146 166 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 31 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 93 98 106 107 108 109 111 114 115 119 120 122 123 130 131 137 143 146 166 168 170 171 172 174 175 181 182 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 98 106 107 108 109 111 114 115 119 120 122 123 130 131 137 143 146 160 166 168 170 171 172 174 175 181 182 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 96 98 106 107 108 109 111 114 115 119 120 122 123 130 131 137 143 146 160 166 168 170 171 172 174 175 181 182 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 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 172 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 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 172 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 108 109 111 114 115 119 120 123 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): 1296.79 System time (seconds): 4.87 Percent of CPU this job got: 358% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.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): 14258488 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4211835 Voluntary context switches: 233862 Involuntary context switches: 2741 Swaps: 0 File system inputs: 0 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 02:49:39 2023]