#BEGIN: [Tue Sep 26 00:55:48 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #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 /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): INTERRUPTED by signal! 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 15 18 21 22 23 24 29 32 34 35 39 40 41 51 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 51 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 47 51 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 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 15 18 21 22 23 24 29 32 34 35 39 40 41 47 48 51 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 47 48 51 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 48 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 57 60 64 66 67 70 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 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 57 60 64 66 67 70 71 90 94 100 101 102 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 15 18 21 22 23 24 29 32 34 35 39 40 41 44 47 57 60 64 66 67 70 71 90 94 100 101 102 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 152 154 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 12 15 18 21 22 23 24 29 32 34 35 39 40 41 47 51 57 60 64 66 67 70 71 90 94 100 101 102 103 107 108 114 116 119 122 126 127 133 134 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 29 32 34 35 39 40 41 47 51 57 60 64 66 67 70 71 87 90 94 100 101 102 103 107 108 114 116 119 122 126 127 133 134 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 29 32 34 35 39 40 41 47 51 57 60 64 66 67 70 71 87 90 94 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 152 154 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 51 57 60 61 64 66 67 70 71 87 90 94 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 152 154 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 51 57 60 61 64 66 67 70 71 87 90 94 96 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 152 154 155 161 165 167 170 171 172 174 178 a 3 5 6 8 12 15 18 22 23 24 29 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 90 94 96 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 152 154 155 161 165 167 170 171 172 174 178 a 3 5 6 8 12 15 18 22 23 24 29 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 90 94 96 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 149 152 155 161 165 167 170 171 172 174 178 a 3 5 6 8 12 15 18 22 23 24 29 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 90 94 96 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 15 18 22 23 24 29 31 32 34 35 39 40 41 48 51 57 60 61 64 67 70 87 90 94 96 100 101 102 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 67 70 87 90 94 96 100 101 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 61 64 66 67 70 87 90 94 96 100 101 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 167 170 171 172 174 a 3 5 6 8 12 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 155 161 165 167 170 171 172 174 181 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 155 161 165 170 171 172 174 181 a 3 5 6 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 57 60 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 127 133 134 136 137 140 145 149 152 155 161 165 170 171 172 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 57 60 61 64 66 67 70 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 133 134 136 137 140 145 149 152 155 161 165 170 171 172 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 57 60 61 64 66 67 70 81 87 89 90 94 96 100 103 107 108 116 119 122 123 126 133 134 136 137 140 145 149 152 155 161 165 170 171 172 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 81 87 89 90 94 96 100 103 107 108 116 119 122 123 126 133 134 136 137 140 145 149 152 155 161 165 170 171 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 57 60 61 64 66 67 70 81 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 133 134 136 137 140 145 149 152 161 165 170 171 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 39 40 41 48 51 55 57 60 61 64 66 67 70 81 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 133 134 136 137 140 145 152 161 165 170 171 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 40 41 48 51 55 57 60 61 64 66 67 70 81 86 87 89 90 94 96 100 103 107 108 114 116 119 122 123 126 133 134 136 137 140 145 152 161 165 170 171 174 181 a 3 5 6 7 8 12 15 18 22 23 24 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 70 81 86 87 89 90 96 100 103 107 108 114 116 119 122 123 126 133 134 136 137 140 145 152 161 165 170 171 174 181 a 3 5 6 7 8 12 15 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 70 81 86 87 89 90 96 100 103 107 108 114 116 119 122 123 126 130 133 134 136 137 140 145 152 161 165 170 171 174 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 70 81 83 86 87 89 90 96 100 103 107 108 114 116 119 122 123 126 130 133 134 136 137 140 145 152 161 165 170 171 174 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 70 81 83 86 87 89 90 96 100 103 107 108 114 116 119 122 123 126 130 133 134 136 137 140 152 161 165 168 170 171 174 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 70 81 83 86 87 89 90 96 100 103 107 108 114 116 119 122 123 126 130 133 134 136 137 140 161 165 168 170 171 174 175 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 89 90 96 100 103 107 108 114 116 119 123 126 130 133 134 136 137 140 161 165 168 170 171 174 175 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 41 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 89 90 91 96 100 103 107 108 114 116 119 123 126 130 134 136 137 140 161 165 168 170 171 174 175 181 a 3 5 6 7 8 12 18 22 23 25 29 31 32 34 35 37 40 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 89 90 91 96 98 100 103 107 108 114 116 119 123 126 130 134 136 137 140 161 165 168 170 171 174 175 181 a 3 5 6 7 8 12 22 23 25 29 31 32 34 35 37 40 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 89 90 91 92 96 98 100 103 107 108 114 116 119 123 126 130 134 136 137 140 161 165 168 170 171 174 175 181 a 3 5 7 8 12 22 23 25 29 31 32 34 35 37 40 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 89 90 91 92 96 98 100 103 107 108 114 116 119 123 126 130 134 136 137 140 143 161 165 168 170 171 174 175 181 a 3 5 7 8 12 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 107 108 114 116 119 123 126 130 134 136 137 140 143 161 165 168 170 171 174 175 181 a 3 5 7 8 12 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 107 108 114 119 123 126 130 131 134 136 137 140 143 161 165 168 170 171 174 175 181 a 3 5 7 8 12 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 106 107 108 114 119 123 126 130 131 134 136 137 140 143 165 168 170 171 174 175 181 a 3 5 7 8 12 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 106 107 108 114 119 120 123 126 130 131 134 136 137 143 165 168 170 171 174 175 181 a 3 5 7 8 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 106 107 108 114 115 119 120 123 126 130 131 134 136 137 143 165 168 170 171 174 175 181 a 3 5 7 8 11 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 87 90 91 92 96 98 100 103 106 107 108 114 115 119 120 123 126 130 131 134 137 143 165 168 170 171 174 175 181 a 3 5 7 8 11 22 23 25 29 31 32 34 35 37 40 42 48 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 103 106 107 108 109 114 115 119 120 123 126 130 131 134 137 143 165 168 170 171 174 175 181 a 3 4 5 7 8 11 22 23 25 29 31 32 34 35 37 40 42 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 103 106 107 108 109 114 115 119 120 123 126 130 131 134 137 143 165 168 170 171 174 175 181 a 3 4 5 7 8 11 22 23 25 29 31 32 34 37 40 42 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 103 106 107 108 109 114 115 119 120 123 126 130 131 134 137 143 146 165 168 170 171 174 175 181 a 3 4 5 7 8 11 22 23 25 30 31 32 34 37 40 42 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 103 106 107 108 109 114 115 119 120 123 126 130 131 134 137 143 146 165 168 170 171 174 175 181 a 3 4 5 7 8 11 22 23 25 30 31 32 34 37 40 42 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 103 106 107 109 114 115 119 120 123 126 130 131 134 137 143 146 165 166 168 170 171 174 175 181 a 3 4 5 7 8 11 14 22 23 25 30 31 32 34 37 40 42 51 55 57 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 146 165 166 168 170 171 174 175 181 a 3 4 5 7 8 11 14 22 23 25 30 31 32 34 37 40 42 46 51 55 57 60 61 64 66 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 146 165 166 168 170 171 174 175 181 a 3 4 5 7 8 11 13 14 22 23 25 30 31 32 34 37 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 146 165 166 168 170 171 174 175 181 a 3 4 5 7 8 11 13 14 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 146 165 166 168 170 171 174 175 181 a 3 4 5 7 8 9 11 13 14 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 137 143 146 165 166 168 170 171 174 175 181 a 3 4 7 8 9 11 13 14 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 100 106 107 109 114 115 119 120 123 126 130 131 137 143 146 165 166 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 22 23 25 30 31 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 114 115 119 120 123 126 128 130 131 137 143 146 165 166 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 22 23 25 30 31 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 126 128 130 131 137 143 146 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 126 128 130 131 137 143 146 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: 63 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat" User time (seconds): 60.49 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.53 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): 69728 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 28468 Voluntary context switches: 21 Involuntary context switches: 79 Swaps: 0 File system inputs: 0 File system outputs: 232 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 00:56:49 2023]