#BEGIN: [Mon Sep 25 13:02:43 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance018_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance018_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat s 199 178 90 45 183 26 52 222 113 91 106 111 60 145 56 68 234 46 192 43 128 85 170 59 19 165 89 119 131 104 110 122 157 65 75 20 132 28 10 44 77 154 190 159 30 177 4 155 72 207 179 31 174 37 136 98 200 167 193 163 218 142 114 162 23 79 95 41 67 208 152 151 76 138 15 195 87 121 t 63 225 140 60 181 131 215 208 128 187 143 56 66 24 153 177 135 144 88 193 152 229 30 21 23 222 121 230 173 113 164 7 17 167 36 125 150 48 95 154 106 194 67 122 195 217 151 46 98 110 12 158 85 223 15 171 120 157 78 90 72 119 92 52 138 64 59 29 207 174 37 114 74 200 49 6 136 45 a YES a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 17 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 17 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 135 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 17 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 90 91 95 98 106 110 111 113 114 119 121 122 128 131 132 135 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 4 10 15 17 20 21 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 90 91 95 98 106 110 113 114 119 121 122 128 131 132 135 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 4 10 15 17 20 21 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 90 91 95 98 106 110 113 114 119 121 122 128 131 132 135 136 138 142 145 150 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 4 10 15 17 20 21 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 79 85 90 91 95 98 106 110 113 114 119 121 122 128 131 132 135 136 138 145 150 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 10 15 17 20 21 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 79 85 90 91 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 145 150 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 79 85 90 91 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 229 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 229 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 165 167 173 174 177 178 179 183 190 192 193 195 199 200 207 208 215 218 222 229 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 165 167 173 174 177 179 183 187 190 192 193 195 199 200 207 208 215 218 222 229 234 a 10 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 7 15 17 20 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 7 15 17 21 23 24 26 28 30 31 37 43 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 7 15 17 21 23 24 26 28 30 31 37 44 45 46 52 56 59 60 63 64 65 67 68 72 75 76 77 78 79 85 90 92 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 7 15 17 21 23 24 26 28 30 31 37 44 45 46 49 52 56 59 60 63 64 65 67 68 72 76 77 78 79 85 90 92 95 98 106 110 113 114 119 120 121 122 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 7 15 17 21 23 24 26 30 31 37 44 45 46 49 52 56 59 60 63 64 65 67 68 72 76 77 78 79 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 6 7 15 17 21 23 24 26 30 31 37 44 45 46 49 52 56 59 60 63 64 67 68 72 76 77 78 79 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 229 234 a 6 7 15 17 21 23 24 26 30 31 37 44 45 46 49 52 56 59 60 63 64 67 68 72 76 78 79 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 30 31 37 44 45 46 49 52 56 59 60 63 64 67 68 72 76 78 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 31 37 44 45 46 49 52 56 59 60 63 64 67 68 72 76 78 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 167 173 174 177 179 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 31 37 45 46 49 52 56 59 60 63 64 67 68 72 76 78 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 167 173 174 177 179 181 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 68 72 76 78 85 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 159 162 163 164 167 171 173 174 177 179 181 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 68 72 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 162 163 164 167 171 173 174 177 179 181 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 68 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 163 164 167 171 173 174 177 179 181 187 190 192 193 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 163 164 167 171 173 174 177 179 181 187 190 192 193 194 195 199 200 207 208 215 217 218 222 225 229 234 a 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 150 151 152 154 157 163 164 167 171 173 174 177 179 181 187 192 193 194 195 199 200 207 208 215 217 218 222 223 225 229 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 150 151 152 154 157 163 164 167 171 173 174 177 179 181 187 192 193 194 195 199 200 207 208 215 217 218 222 223 225 229 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 150 151 152 154 157 163 164 167 171 173 174 177 179 181 187 192 193 194 195 199 200 207 208 215 217 218 222 223 225 229 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 150 151 152 154 157 163 164 167 171 173 174 177 181 187 192 193 194 195 199 200 207 208 215 217 218 222 223 225 229 230 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 48 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 150 151 152 154 157 164 167 171 173 174 177 181 187 192 193 194 195 199 200 207 208 215 217 218 222 223 225 229 230 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 48 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 199 200 207 208 215 217 218 222 223 225 229 230 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 48 49 52 56 59 60 63 64 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 199 200 207 208 215 217 222 223 225 229 230 234 a 6 7 12 15 17 21 23 24 29 30 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 199 200 207 208 215 217 222 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 199 200 207 208 215 217 222 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 153 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance018_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat" User time (seconds): 0.49 System time (seconds): 0.04 Percent of CPU this job got: 116% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.46 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): 39696 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 27398 Voluntary context switches: 3669 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 552 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 13:02:44 2023]