#BEGIN: [Mon Sep 25 16:40:28 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph001_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-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat s 97 115 47 40 71 59 88 6 32 7 91 150 72 55 10 142 136 184 200 22 131 61 204 35 201 13 111 190 69 177 1 123 31 140 208 189 83 186 132 58 36 121 76 133 206 89 41 29 171 34 183 162 11 191 124 144 33 17 141 51 120 78 127 53 86 148 207 154 t 193 58 149 41 15 126 53 161 12 190 71 180 115 140 33 186 133 84 95 23 47 146 118 31 35 68 121 27 128 181 52 122 6 156 40 132 177 188 46 191 62 169 105 111 125 18 34 108 147 67 100 29 144 200 179 114 207 11 36 173 78 21 94 69 50 124 184 137 a YES a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 188 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 188 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 146 148 150 154 162 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 111 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 162 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 10 11 12 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 111 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 162 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 10 11 12 13 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 111 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 11 12 13 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 76 78 83 86 88 91 111 114 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 11 12 13 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 78 83 86 88 91 111 114 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 11 12 13 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 78 83 86 88 108 111 114 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 11 12 13 15 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 78 86 88 108 111 114 115 120 121 123 124 131 132 133 136 140 141 142 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 7 11 12 13 15 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 78 86 88 108 111 114 115 120 121 123 124 131 132 133 136 140 141 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 13 15 18 21 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 78 86 88 108 111 114 115 120 121 123 124 131 132 133 136 140 141 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 78 86 88 108 111 114 115 120 121 123 124 131 132 133 136 140 141 144 146 148 149 150 154 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 78 86 108 111 114 115 120 121 123 124 131 132 133 136 140 141 144 146 148 149 150 154 156 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 86 94 108 111 114 115 120 121 123 124 131 132 133 136 140 141 144 146 148 149 150 154 156 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 86 94 108 111 114 115 120 121 123 124 128 132 133 136 140 141 144 146 148 149 150 154 156 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 86 94 105 108 111 114 115 121 123 124 128 132 133 136 140 141 144 146 148 149 150 154 156 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 86 94 100 105 108 111 114 115 121 123 124 128 132 133 136 140 141 144 146 148 149 154 156 161 162 169 171 177 179 183 184 186 188 189 190 191 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 86 94 100 105 108 111 114 115 121 123 124 128 132 133 136 140 141 144 146 148 149 154 156 161 169 171 177 179 183 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 84 86 94 100 105 108 111 114 115 121 123 124 128 132 133 136 140 141 144 146 148 149 154 156 161 169 177 179 183 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 51 53 58 59 67 69 71 78 84 86 94 100 105 108 111 114 115 121 123 124 128 132 133 136 137 140 141 144 146 148 149 154 156 161 169 177 179 183 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 51 53 58 59 67 69 71 78 84 86 94 100 105 108 111 114 115 121 123 124 128 132 133 136 137 140 141 144 146 148 149 154 156 161 169 177 179 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 59 67 69 71 78 84 86 94 100 105 108 111 114 115 121 123 124 126 128 132 133 136 137 140 141 144 146 148 149 154 156 161 169 177 179 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 59 62 67 69 71 78 84 86 94 100 105 108 111 114 115 121 123 124 126 128 132 133 136 137 140 141 144 146 149 154 156 161 169 177 179 184 186 188 189 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 59 62 67 69 71 78 84 86 94 100 105 108 111 114 115 118 121 123 124 126 128 132 133 136 137 140 141 144 146 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 62 67 69 71 78 84 86 94 100 105 108 111 114 115 118 121 123 124 126 128 132 133 136 137 140 141 144 146 147 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 53 58 62 67 69 71 78 84 86 94 100 105 108 111 114 115 118 121 123 124 126 128 132 133 136 137 140 144 146 147 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 204 206 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 53 58 62 67 69 71 78 84 86 94 100 105 108 111 114 115 118 121 123 124 125 126 128 132 133 136 137 140 144 146 147 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 206 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 53 58 62 67 68 69 71 78 84 86 94 100 105 108 111 114 115 118 121 123 124 125 126 128 132 133 137 140 144 146 147 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 206 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 100 105 108 111 114 115 118 121 123 124 125 126 128 132 133 137 140 144 146 147 149 154 156 161 169 177 179 184 186 188 190 191 193 200 201 206 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 100 105 108 111 114 115 118 121 123 124 125 126 128 132 133 137 140 144 146 147 149 154 156 161 169 177 179 181 184 186 188 190 191 193 200 201 207 208 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 100 105 108 111 114 115 118 121 123 124 125 126 128 132 133 137 140 144 146 147 149 154 156 161 169 173 177 179 181 184 186 188 190 191 193 200 201 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 154 156 161 169 173 177 179 181 184 186 188 190 191 193 200 201 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 156 161 169 173 177 179 181 184 186 188 190 191 193 200 201 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat" User time (seconds): 1733.72 System time (seconds): 6.86 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.65 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): 31380608 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8510432 Voluntary context switches: 23 Involuntary context switches: 10984 Swaps: 0 File system inputs: 0 File system outputs: 376 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 17:09:29 2023]