#BEGIN: [Tue Sep 26 02:45:21 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance018_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph001_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_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat c /benchmark/random_instance/random_instance018_graph001.col c /benchmark/random_instance/random_instance018_graph001_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 187 204 51 137 163 90 32 196 189 153 73 140 157 31 26 224 207 119 213 84 126 106 93 158 56 142 6 102 82 171 5 228 201 70 133 88 226 37 191 198 95 227 87 29 132 160 131 64 7 215 59 156 66 28 122 47 135 42 206 211 67 104 128 194 192 150 105 75 69 81 164 216 4 220 130 t 88 89 14 190 220 195 23 82 150 18 13 4 136 6 44 139 53 85 222 126 204 146 8 35 159 167 211 73 172 32 123 224 227 163 198 116 40 26 95 39 112 96 98 173 114 1 219 233 105 138 122 194 38 218 160 179 59 164 192 193 230 191 36 125 52 2 75 225 106 144 140 153 128 130 212 a YES a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 230 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 230 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 232 a 2 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 196 198 201 204 207 211 213 215 216 220 224 226 227 228 232 a 2 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 191 192 196 198 201 204 207 211 213 215 216 220 224 226 227 228 232 a 2 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 191 192 196 198 201 204 207 211 213 215 216 220 226 227 228 232 a 2 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 118 119 122 126 128 130 131 132 133 137 140 142 150 153 156 157 160 163 164 171 181 187 191 192 196 198 201 204 207 211 213 215 216 220 226 227 228 232 a 2 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 118 119 122 126 128 130 131 132 133 137 140 142 150 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 207 211 213 215 216 220 226 227 228 a 2 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 118 119 122 126 128 130 131 132 133 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 211 213 215 216 220 226 227 228 a 2 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 211 213 215 216 220 226 227 228 a 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228 a 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 208 211 213 215 216 220 226 227 228 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 208 211 213 215 216 220 224 226 227 228 a 4 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 208 211 213 215 216 220 224 226 227 228 a 4 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 208 211 213 215 216 220 226 227 228 a 4 6 7 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 119 122 126 128 130 131 132 133 134 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 206 208 211 213 215 216 220 226 227 228 a 2 4 6 7 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 119 122 126 128 130 131 132 133 134 135 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 208 211 213 215 216 220 226 227 228 a 2 4 6 7 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 140 142 150 152 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 208 211 213 215 216 220 226 227 228 a 2 4 6 7 8 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 140 142 150 153 156 157 160 163 164 171 181 187 191 192 194 196 198 201 204 208 211 213 215 216 220 226 227 228 a 2 4 6 7 8 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 140 142 146 150 153 157 160 163 164 171 181 187 191 192 194 196 198 201 204 208 211 213 215 216 220 226 227 228 a 2 4 6 7 8 26 28 29 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 139 140 142 146 150 153 157 160 163 164 171 181 187 191 192 194 198 201 204 208 211 213 215 216 220 226 227 228 a 2 4 6 7 8 26 28 30 31 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 139 140 142 146 150 153 157 160 163 164 171 181 187 191 192 194 198 201 204 208 211 213 215 216 219 220 226 227 228 a 2 4 6 7 8 26 28 30 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 139 140 142 146 150 153 157 160 163 164 171 181 187 191 192 194 198 201 204 208 211 212 213 215 216 219 220 226 227 228 a 2 4 6 7 8 26 28 30 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 134 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 226 227 228 a 2 4 6 7 8 26 28 30 37 42 47 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 133 134 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 226 227 228 a 2 4 6 7 8 26 28 30 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 134 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 226 227 228 a 2 4 6 7 8 26 28 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 134 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 228 a 2 4 6 7 8 26 28 32 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 84 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 228 a 2 4 6 7 8 26 28 32 36 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 142 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 228 a 2 4 6 7 8 14 26 28 32 36 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 146 150 153 157 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 228 a 2 4 6 7 8 14 18 26 28 32 36 37 40 42 47 56 59 64 66 67 69 70 73 75 81 82 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 228 a 2 4 6 7 8 14 18 26 28 32 36 37 40 42 44 47 56 59 64 66 67 69 70 73 75 81 82 86 87 88 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 a 2 4 6 7 8 14 18 26 28 32 36 37 40 42 44 47 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 104 105 106 112 118 119 122 126 128 130 131 132 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 a 2 4 6 7 8 14 18 26 28 32 36 37 38 40 42 44 47 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 126 128 130 131 132 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 a 2 4 6 7 8 14 18 26 28 32 36 37 38 40 42 44 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 a 2 4 6 7 8 13 14 18 26 28 32 36 37 38 40 44 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 201 204 208 211 212 213 215 216 219 220 224 226 227 a 2 4 6 7 8 13 14 18 26 28 32 36 37 38 40 44 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 181 191 192 194 198 204 208 211 212 213 215 216 218 219 220 224 226 227 a 2 4 6 7 8 13 14 18 26 28 32 36 37 38 40 44 56 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 194 198 204 208 211 212 213 215 218 219 220 224 226 227 a 2 4 6 7 8 13 14 18 26 28 32 36 37 38 40 44 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 194 198 204 208 211 212 213 215 218 219 220 224 226 227 a 2 4 6 8 13 14 18 26 28 32 36 37 38 40 44 53 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 194 198 204 208 211 212 213 215 218 219 220 224 226 227 a 2 4 6 8 13 14 18 26 28 32 36 38 40 44 53 59 64 66 67 70 73 75 81 82 86 87 88 89 90 95 102 103 105 106 112 118 119 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 194 198 204 208 211 212 213 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 64 66 67 70 73 75 81 82 86 87 88 89 95 102 103 105 106 112 118 119 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 194 198 204 208 211 212 213 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 64 66 67 70 73 75 81 82 86 87 88 89 95 102 103 105 106 112 118 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 193 194 198 204 208 211 212 213 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 64 66 67 73 75 81 82 86 87 88 89 95 102 103 105 106 112 118 122 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 213 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 64 66 67 73 75 81 82 86 87 88 89 95 102 103 105 106 112 118 122 123 125 126 128 130 131 132 136 137 139 140 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 64 66 67 73 75 81 82 86 87 88 89 95 102 103 105 106 112 118 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 226 227 230 a 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 66 67 73 75 81 82 86 87 88 89 95 96 102 103 105 106 112 118 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 66 67 73 75 81 82 86 87 88 89 95 96 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 66 67 73 75 82 86 87 88 89 95 96 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 66 73 75 82 86 87 88 89 95 96 98 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 36 38 40 44 53 59 66 73 75 82 87 88 89 95 96 98 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 167 171 173 179 181 191 192 193 194 195 198 204 208 211 212 215 218 219 220 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 53 59 66 73 75 82 87 88 89 95 96 98 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 160 163 164 167 171 173 179 181 191 192 193 194 195 198 204 211 212 215 218 219 220 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 53 59 66 73 75 82 88 89 95 96 98 102 103 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 159 160 163 164 167 171 173 179 181 191 192 193 194 195 198 204 211 212 215 218 219 220 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 53 59 66 73 75 82 88 89 95 96 98 102 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 159 160 163 164 167 171 173 179 181 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 53 59 66 73 75 82 88 89 95 96 98 102 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 159 160 163 164 167 171 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 52 53 59 66 73 75 82 88 89 95 96 98 102 105 106 112 122 123 125 126 128 130 131 136 137 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 52 53 59 66 73 75 82 88 89 95 96 98 102 105 106 112 116 122 123 125 126 128 130 136 137 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 40 44 52 53 59 66 73 75 82 85 88 89 95 96 98 102 105 106 112 116 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 66 73 75 82 85 88 89 95 96 98 102 105 106 112 116 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 66 73 75 82 85 88 89 95 96 98 105 106 112 116 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 66 73 75 82 85 88 89 95 96 98 105 106 112 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 66 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat" User time (seconds): 602.90 System time (seconds): 10.05 Percent of CPU this job got: 212% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:47.79 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): 24271564 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7782332 Voluntary context switches: 790146 Involuntary context switches: 2020 Swaps: 0 File system inputs: 0 File system outputs: 488 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:50:09 2023]