#BEGIN: [Sat Sep 9 13:03:06 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph003_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat s 210 10 216 104 75 144 73 191 169 130 119 179 5 123 168 159 105 204 190 219 145 115 62 151 167 118 152 96 186 193 27 61 201 102 170 211 55 218 175 64 58 50 131 195 172 165 26 203 30 37 101 184 12 149 133 13 84 35 44 146 72 91 188 78 1 139 49 128 160 22 42 33 114 t 208 218 144 140 40 132 55 114 51 87 135 146 89 129 195 5 201 166 190 186 215 102 27 173 107 205 92 157 199 138 196 150 72 180 174 184 136 124 22 32 170 147 96 10 77 131 61 211 65 37 41 188 84 112 158 152 127 151 95 202 139 94 193 110 178 176 101 68 172 90 58 30 1 a YES a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 12 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 75 78 84 91 95 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 12 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 123 128 130 131 133 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 123 128 130 131 133 138 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 133 138 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 167 168 169 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 92 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 167 169 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 26 27 30 33 37 42 44 49 50 55 58 61 62 64 72 78 84 90 91 92 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 27 30 33 37 42 44 49 50 51 55 58 61 62 64 72 78 84 90 91 92 95 96 101 102 104 105 110 114 115 118 119 128 130 131 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 27 30 33 37 42 44 49 50 51 55 58 61 62 64 72 78 84 90 92 95 96 101 102 104 105 110 114 115 118 119 128 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 27 30 33 37 42 44 49 50 51 55 58 61 62 64 72 78 84 90 92 95 96 101 102 104 105 110 114 115 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 191 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 27 30 33 37 42 44 49 50 51 55 58 61 62 64 65 72 78 84 90 92 95 96 101 102 104 105 110 114 115 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 193 195 199 201 203 204 210 211 215 216 218 219 a 1 5 10 22 27 30 33 37 42 44 49 50 51 55 58 61 62 64 65 72 78 84 90 92 95 96 101 102 104 105 107 110 114 115 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 193 195 199 201 203 210 211 215 216 218 219 a 1 5 10 22 27 30 37 42 44 49 50 51 55 58 61 62 64 65 72 77 78 84 90 92 95 96 101 102 104 105 107 110 114 115 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 193 195 199 201 203 210 211 215 216 218 219 a 1 5 10 22 27 30 37 44 49 50 51 55 58 61 62 64 65 72 77 78 84 90 92 95 96 101 102 104 105 107 110 114 115 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 175 179 184 186 188 190 193 195 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 44 49 50 51 55 58 61 62 64 65 72 77 78 84 90 92 95 96 101 102 104 105 107 110 114 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 174 175 179 184 186 188 190 193 195 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 44 49 50 51 55 58 61 64 65 72 77 78 84 90 92 95 96 101 102 104 105 107 110 114 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 174 175 179 184 186 188 190 193 195 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 44 49 50 51 55 58 61 64 65 72 77 78 84 89 90 92 95 96 101 102 104 107 110 114 118 119 127 130 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 174 175 179 184 186 188 190 193 195 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 44 49 50 51 55 58 61 64 65 72 77 78 84 89 90 92 95 96 101 102 104 107 110 114 118 119 127 131 132 135 138 139 144 145 146 147 149 150 151 152 158 167 170 172 173 174 175 179 184 186 188 190 193 195 196 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 44 49 50 51 55 58 61 64 65 72 77 78 84 89 90 92 95 96 101 102 104 107 110 114 118 119 127 131 132 135 138 139 144 146 147 149 150 151 152 158 167 170 172 173 174 175 178 179 184 186 188 190 193 195 196 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 49 50 51 55 58 61 64 65 72 77 78 84 89 90 92 95 96 101 102 104 107 110 114 118 119 127 131 132 135 138 139 144 146 147 149 150 151 152 158 167 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 49 50 51 55 58 61 64 65 68 72 77 78 84 89 90 92 95 96 101 102 107 110 114 118 119 127 131 132 135 138 139 144 146 147 149 150 151 152 158 167 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 49 50 51 55 58 61 64 65 68 72 77 78 84 89 90 92 95 96 101 102 107 110 114 118 119 127 131 132 135 138 139 144 146 147 150 151 152 158 167 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 49 50 51 55 58 61 64 65 68 72 77 78 84 89 90 92 95 96 101 102 107 110 114 118 119 127 131 132 135 138 139 144 146 147 150 151 152 158 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 50 51 55 58 61 64 65 68 72 77 78 84 89 90 92 95 96 101 102 107 110 114 118 119 124 127 131 132 135 138 139 144 146 147 150 151 152 158 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 50 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 114 118 119 124 127 131 132 135 138 139 144 146 147 150 151 152 158 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 114 118 119 124 127 129 131 132 135 138 139 144 146 147 150 151 152 158 170 172 173 174 175 176 178 179 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 114 118 119 124 127 129 131 132 135 138 139 144 146 147 150 151 152 158 166 170 172 173 174 176 178 179 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 114 118 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 184 186 188 190 193 195 196 199 201 203 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 112 114 118 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 184 186 188 190 193 195 196 199 201 205 208 210 211 215 216 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 112 114 118 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 184 186 188 190 193 195 196 199 201 205 208 211 215 216 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 64 65 68 72 77 84 89 90 92 94 95 96 101 102 107 110 112 114 118 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 118 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 119 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 124 127 129 131 132 135 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 219 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 124 127 129 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat" User time (seconds): 3470.50 System time (seconds): 10.78 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.61 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): 27730176 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9267901 Voluntary context switches: 68457 Involuntary context switches: 14363 Swaps: 0 File system inputs: 0 File system outputs: 600 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 13:32:06 2023]