#BEGIN: [Fri Sep 8 00:22:43 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph002_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=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat s 27 198 201 34 83 193 131 166 186 120 59 47 183 65 179 72 220 43 147 194 116 66 85 41 2 168 144 35 62 132 154 24 68 4 213 200 8 216 187 167 75 100 42 38 32 71 188 19 180 61 33 139 122 114 6 143 90 81 22 7 111 137 181 26 88 164 5 196 60 t 156 61 198 191 202 131 212 162 44 158 51 119 137 50 148 12 147 153 42 108 129 64 71 99 66 19 207 83 216 116 139 163 187 179 174 84 90 31 117 29 160 63 181 112 5 110 10 188 159 27 59 20 169 8 140 197 210 189 18 164 199 88 193 79 6 176 142 48 73 a YES a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 33 34 35 38 41 42 43 47 48 59 60 61 62 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 34 35 38 41 42 43 47 48 59 60 61 62 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 34 35 38 41 42 43 47 48 59 60 61 62 66 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 34 35 38 41 42 43 47 48 59 60 61 62 66 71 75 81 83 85 88 90 100 110 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 34 35 38 41 42 43 47 48 59 60 61 62 66 71 73 75 83 85 88 90 100 110 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 26 27 29 32 34 35 38 41 42 43 47 48 59 60 61 62 66 71 73 75 83 88 90 100 110 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 27 29 32 34 35 38 41 42 43 47 48 51 59 60 61 62 66 71 73 75 83 88 90 100 110 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 27 29 32 34 35 38 41 42 43 47 48 51 59 60 61 62 66 71 73 75 83 88 90 100 110 111 114 116 119 122 131 132 137 139 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 7 8 19 22 27 29 32 34 35 38 41 42 43 47 48 51 59 60 61 62 66 71 73 75 83 88 90 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 22 27 29 32 34 35 38 41 42 43 47 48 51 59 60 61 62 66 71 73 75 83 84 88 90 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 22 27 29 34 35 38 41 42 43 47 48 51 59 60 61 62 66 71 73 75 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 164 166 167 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 22 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 62 66 71 73 75 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 164 166 168 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 20 22 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 62 66 71 73 75 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 164 166 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 20 22 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 62 66 71 73 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 162 164 166 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 20 22 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 159 162 164 166 169 176 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 213 216 220 a 5 6 8 19 20 22 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 114 116 119 131 132 137 139 140 143 144 147 153 154 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 34 35 38 41 42 43 47 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 34 38 41 42 43 47 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 112 114 116 119 131 132 137 139 140 143 144 147 148 153 154 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 34 38 41 42 47 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 112 114 116 117 119 131 132 137 139 140 143 144 147 148 153 154 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 34 38 41 42 48 50 51 59 60 61 66 71 73 83 84 88 90 99 100 110 111 112 114 116 117 119 131 132 137 139 140 143 144 147 148 153 154 156 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 38 41 42 48 50 51 59 60 61 66 71 73 79 83 84 88 90 99 100 110 111 112 114 116 117 119 131 132 137 139 140 143 144 147 148 153 154 156 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 38 41 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 110 112 114 116 117 119 131 132 137 139 140 143 144 147 148 153 154 156 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 213 216 220 a 5 6 8 19 20 27 29 38 41 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 110 112 114 116 117 119 131 132 137 139 140 144 147 148 153 154 156 159 162 164 166 169 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 41 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 110 112 114 116 117 119 131 132 137 139 140 144 147 148 153 154 156 159 162 164 166 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 131 132 137 139 140 144 147 148 153 154 156 159 162 164 166 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 159 162 164 166 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 42 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 132 137 139 140 142 147 148 153 156 159 162 164 166 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 132 137 139 140 142 147 148 153 156 159 162 164 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 159 162 164 169 174 176 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 202 213 216 220 a 5 6 8 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 159 162 164 169 174 176 179 181 186 187 188 189 193 194 196 197 198 199 200 201 202 210 213 216 220 a 5 6 8 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 159 162 164 169 174 176 179 181 186 187 188 189 193 196 197 198 199 200 201 202 210 212 213 216 220 a 5 6 8 12 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 159 162 164 169 174 176 179 181 186 187 188 189 193 197 198 199 200 201 202 210 212 213 216 220 a 5 6 8 12 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 159 160 162 164 169 174 176 179 181 186 187 188 189 193 197 198 199 201 202 210 212 213 216 220 a 5 6 8 12 19 20 27 29 31 42 44 48 50 51 59 60 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 164 169 174 176 179 181 186 187 188 189 193 197 198 199 202 210 212 213 216 220 a 5 6 8 12 19 20 27 29 31 42 44 48 50 51 59 61 64 66 71 73 79 83 84 88 90 99 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 186 187 188 189 193 197 198 199 202 210 212 213 216 220 a 5 6 8 10 12 19 20 27 29 31 42 44 48 50 51 59 61 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 186 187 188 189 193 197 198 199 202 210 212 213 216 220 a 5 6 8 10 12 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 193 197 198 199 202 210 212 213 216 220 a 5 6 8 10 12 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 193 197 198 199 202 207 210 212 216 220 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat" User time (seconds): 0.13 System time (seconds): 0.01 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.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): 20236 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12062 Voluntary context switches: 22 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 352 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:22:43 2023]