#BEGIN: [Mon Sep 4 11:58:15 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance020_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph001_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_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat c /benchmark/random_instance/random_instance020_graph001.col c /benchmark/random_instance/random_instance020_graph001_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.189 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 66 21 50 92 123 159 25 142 243 143 138 196 189 227 93 3 41 55 12 83 54 15 107 33 180 48 184 133 65 63 17 168 118 232 104 126 163 99 238 260 42 59 255 191 198 244 96 154 78 10 112 150 75 74 97 162 20 5 46 76 61 11 120 32 28 215 172 22 100 210 181 239 199 254 114 235 241 130 58 146 152 t 107 186 160 165 154 143 65 184 240 81 119 28 212 75 169 179 226 117 64 244 220 95 171 158 193 108 80 87 49 140 37 205 58 146 123 19 163 92 215 22 144 115 162 187 225 223 39 133 114 245 217 85 40 35 161 260 72 82 202 177 15 214 59 97 242 21 20 241 110 175 96 124 106 1 232 102 237 206 191 56 70 a YES a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 195 198 199 210 215 227 232 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 195 198 199 210 215 225 232 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 210 215 225 232 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 210 215 225 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 191 198 199 210 215 225 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 191 198 199 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 93 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 191 195 198 199 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 191 195 198 199 201 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 195 199 201 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 112 114 118 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 195 199 201 210 213 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 199 201 210 213 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 199 201 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 199 201 210 215 232 238 239 241 243 244 249 254 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 199 201 210 215 232 238 239 241 243 244 245 249 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 191 199 201 202 210 215 232 238 239 241 243 244 245 249 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 199 201 202 205 210 215 232 238 239 241 243 244 245 249 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 201 202 205 210 215 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 201 202 205 210 215 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 49 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 118 119 120 123 127 130 133 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 202 205 210 215 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 49 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 119 120 123 127 130 133 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 33 41 42 46 49 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 119 120 123 127 133 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 226 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 41 42 46 49 50 54 55 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 119 120 123 127 133 142 143 146 150 152 154 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 225 226 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 25 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 104 107 110 112 114 119 120 123 127 133 142 143 146 150 152 154 160 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 225 226 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 100 102 104 107 110 112 114 119 120 123 127 133 142 143 146 150 152 154 160 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 225 226 232 238 239 241 243 244 245 255 260 a 3 5 10 12 15 17 20 21 22 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 112 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 225 226 232 238 239 241 243 244 245 255 260 a 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 112 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 168 172 180 181 184 191 193 199 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 112 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 168 172 175 180 184 191 193 199 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 112 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 168 175 180 184 191 193 199 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 56 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 168 175 180 184 191 193 199 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 56 58 59 61 63 65 66 67 74 75 76 78 83 85 92 95 96 97 99 102 104 107 110 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 165 168 175 184 191 193 199 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 56 58 59 61 63 65 66 67 74 75 76 78 83 85 87 92 95 96 97 99 102 104 107 110 114 119 120 123 127 133 140 142 143 146 150 152 154 160 161 162 163 165 168 175 184 191 193 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 255 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 56 58 59 61 63 65 66 67 74 75 76 78 83 85 87 92 95 96 97 99 102 104 107 110 114 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 168 175 184 191 193 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 50 54 56 58 59 61 63 65 66 67 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 107 110 114 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 175 184 191 193 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 260 a 1 3 5 10 15 17 20 21 22 28 32 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 107 110 114 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 175 184 191 193 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 260 a 1 3 5 10 15 17 20 21 22 28 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 107 110 114 117 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 175 184 191 193 202 205 210 212 215 223 225 226 232 238 239 241 243 244 245 260 a 1 3 5 10 15 17 20 21 22 28 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 175 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 5 15 17 20 21 22 28 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 120 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 171 175 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 5 15 17 20 21 22 28 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 78 80 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 171 175 179 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 5 15 17 20 21 22 28 39 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 80 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 171 175 179 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 15 17 20 21 22 28 39 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 123 124 127 133 140 142 143 146 150 152 154 160 161 162 163 165 171 175 179 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 15 17 20 21 22 28 39 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 123 124 127 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 191 193 202 205 210 212 215 223 225 226 232 238 241 243 244 245 260 a 1 3 15 17 20 21 22 28 39 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 99 102 104 106 107 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 191 193 202 205 210 212 215 217 223 225 226 232 238 241 243 244 245 260 a 1 3 15 17 20 21 22 28 39 41 42 46 49 54 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 191 193 202 205 210 212 215 217 223 225 226 232 238 241 243 244 245 260 a 1 3 15 17 20 21 22 28 39 41 42 46 49 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 210 212 215 217 223 225 226 232 238 241 243 244 245 260 a 1 3 15 20 21 22 28 39 41 42 46 49 56 58 59 61 63 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 210 212 215 217 223 225 226 232 238 240 241 243 244 245 260 a 1 3 15 20 21 22 28 35 39 41 42 46 49 56 58 59 61 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 210 212 215 217 223 225 226 232 238 240 241 243 244 245 260 a 1 3 15 20 21 22 28 35 39 41 42 46 49 56 58 59 61 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 142 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 215 217 223 225 226 232 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 42 46 49 56 58 59 61 65 66 67 72 74 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 214 215 217 223 225 226 232 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 42 46 49 56 58 59 61 65 66 67 72 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 42 49 56 58 59 61 65 66 67 72 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 61 65 66 67 72 75 76 80 82 83 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 61 64 65 66 67 72 75 76 80 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 64 65 66 67 72 75 76 80 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 160 161 162 163 165 169 171 175 179 184 186 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 64 65 66 72 75 76 80 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 179 184 186 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 64 65 66 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 179 184 186 187 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 39 41 49 56 58 59 64 65 66 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 3 15 20 21 22 28 35 37 39 49 56 58 59 64 65 66 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 15 20 21 22 28 35 37 39 49 56 58 59 64 65 66 70 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 15 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 152 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 238 240 241 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 104 106 107 108 110 114 115 117 119 123 124 133 140 143 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat" User time (seconds): 843.63 System time (seconds): 12.96 Percent of CPU this job got: 233% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.14 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): 33626976 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 10744759 Voluntary context switches: 718653 Involuntary context switches: 2790 Swaps: 0 File system inputs: 0 File system outputs: 328 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:04:22 2023]