#BEGIN: [Mon Sep 4 11:52:07 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance016_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph005_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_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat c /benchmark/random_instance/random_instance016_graph005.col c /benchmark/random_instance/random_instance016_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.087 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 66 4 205 62 156 36 116 35 75 104 99 158 152 78 198 11 145 91 97 120 2 71 194 42 203 50 168 139 161 34 13 180 187 46 133 166 135 33 94 174 84 140 192 5 160 10 181 90 28 40 165 98 55 108 23 184 102 147 77 131 127 26 186 101 162 54 193 150 129 188 115 196 t 46 200 70 171 192 19 62 5 52 122 137 177 48 25 110 4 135 44 134 194 43 120 147 170 92 114 51 99 58 208 55 60 169 189 100 138 37 32 108 121 89 91 191 183 142 42 56 11 6 196 145 139 64 129 69 3 166 109 186 88 118 175 102 98 57 53 31 181 72 184 36 123 a YES a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 52 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 101 102 104 108 112 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 139 140 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 23 26 28 33 34 35 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 23 26 28 33 34 35 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 23 26 28 33 34 35 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 204 a 2 4 10 11 13 14 17 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 101 102 104 108 110 112 115 116 120 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 204 a 2 4 10 11 14 17 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 94 97 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 204 a 2 4 10 11 14 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 69 71 75 77 78 84 90 91 94 97 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 204 a 2 4 10 11 14 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 69 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 69 71 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 28 33 35 40 41 42 46 48 52 54 55 66 69 71 72 75 77 78 84 90 91 94 97 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 28 33 35 40 41 42 46 48 52 54 55 60 66 69 71 72 75 77 78 84 90 91 94 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 33 35 40 41 42 46 48 52 54 55 58 60 66 69 71 72 75 77 78 84 90 91 94 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 46 48 52 54 55 58 60 66 69 71 72 75 77 78 84 90 91 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 52 54 55 58 60 66 69 71 72 75 77 78 84 90 91 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 174 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 52 54 55 58 60 64 66 69 71 72 75 77 78 84 90 91 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 143 145 147 156 158 160 162 165 166 168 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 52 54 55 58 60 64 66 69 71 72 75 77 78 84 90 91 98 101 102 104 108 110 112 115 116 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 158 160 162 165 166 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 52 54 55 58 60 64 66 69 71 72 75 77 84 90 91 98 101 102 104 108 110 112 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 158 160 162 165 166 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 52 54 55 58 60 64 66 69 71 72 75 77 84 89 90 91 98 101 102 104 108 110 112 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 162 165 166 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 51 52 54 55 58 60 64 66 69 71 72 75 77 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 162 165 166 180 181 184 186 187 188 194 196 204 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 77 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 162 165 166 180 181 184 186 187 188 194 196 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 162 165 166 170 180 181 184 186 187 188 194 196 a 2 4 5 10 11 23 25 26 32 33 35 40 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 165 166 170 180 181 184 186 187 188 194 196 a 3 4 5 10 11 23 25 26 32 33 35 40 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 165 166 170 180 181 184 186 187 188 194 196 a 3 4 5 10 11 23 25 26 32 33 40 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 165 166 170 180 181 183 184 186 187 188 194 196 a 3 4 5 10 11 23 25 26 32 33 40 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 121 123 127 129 131 133 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 188 194 196 a 3 4 5 10 11 23 25 26 32 33 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 121 123 127 129 131 133 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 188 194 196 a 3 4 5 6 10 11 23 25 26 32 33 41 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 188 194 196 a 3 4 5 6 10 11 23 25 26 32 33 42 43 44 46 48 51 52 54 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 188 192 194 196 a 3 4 5 6 10 11 23 25 26 32 33 42 43 44 46 48 51 52 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 188 192 194 196 a 3 4 5 6 10 11 19 23 25 26 32 33 42 43 44 46 48 51 52 55 58 60 62 64 66 69 71 72 75 84 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 192 194 196 a 3 4 5 6 11 19 23 25 26 32 33 42 43 44 46 48 51 52 55 58 60 62 64 66 69 71 72 75 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 160 165 166 170 181 183 184 186 187 192 194 196 a 3 4 5 6 11 19 23 25 26 32 33 42 43 44 46 48 51 52 55 58 60 62 64 66 69 71 72 75 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 131 134 135 137 138 139 140 142 143 145 147 156 165 166 170 171 181 183 184 186 187 192 194 196 a 3 4 5 6 11 19 23 25 26 32 33 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 75 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 143 145 147 156 165 166 170 171 181 183 184 186 187 192 194 196 a 3 4 5 6 11 19 23 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 75 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 143 145 147 156 165 166 170 171 181 183 184 186 187 191 192 194 196 a 3 4 5 6 11 19 23 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 75 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 156 165 166 170 171 181 183 184 186 187 191 192 194 196 208 a 3 4 5 6 11 19 23 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 156 165 166 170 171 175 181 183 184 186 187 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 156 165 166 170 171 175 181 183 184 186 187 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 101 102 104 108 110 112 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 165 166 170 171 175 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 99 101 102 104 108 110 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 165 166 170 171 175 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 99 101 102 104 108 110 114 115 118 120 121 123 127 129 134 135 137 138 139 140 142 145 147 166 170 171 175 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 99 101 102 104 108 110 114 115 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 99 102 104 108 110 114 115 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 177 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 71 72 84 88 89 90 91 92 98 99 102 104 108 110 114 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 177 181 183 184 186 187 189 191 192 194 196 208 a 3 4 5 6 11 19 25 26 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 71 72 84 88 89 90 91 92 98 99 102 104 108 110 114 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 71 72 84 88 89 90 91 92 98 99 100 102 104 108 110 114 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 100 102 104 108 110 114 118 120 121 122 123 127 129 134 135 137 138 139 142 145 147 166 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 100 102 104 108 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 91 92 98 99 100 102 104 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 104 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 187 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat" User time (seconds): 1089.85 System time (seconds): 6.19 Percent of CPU this job got: 300% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.35 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): 19736416 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 6394512 Voluntary context switches: 94841 Involuntary context switches: 2735 Swaps: 0 File system inputs: 0 File system outputs: 296 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:58:12 2023]