#BEGIN: [Thu Sep 7 16:48:03 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance019_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph002_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance019_graph002.col /benchmark/random_instance/random_instance019_graph002_01.dat s 154 193 18 83 57 36 49 89 238 221 161 200 114 106 225 247 110 103 87 171 213 24 17 21 142 210 245 192 158 183 3 148 113 207 23 170 107 94 218 43 22 7 186 138 199 66 99 8 130 235 136 29 81 118 56 91 19 153 73 62 212 40 198 71 117 175 146 96 30 108 224 16 84 241 243 15 53 75 120 135 144 125 216 t 149 212 83 173 56 202 48 188 154 90 89 220 118 122 146 171 53 4 237 57 199 201 7 140 184 218 20 157 243 15 120 88 24 138 46 84 186 82 105 49 101 239 244 216 66 62 223 153 16 246 164 224 117 125 71 195 178 179 200 29 180 162 23 75 161 135 80 132 150 130 96 205 94 166 142 160 227 210 19 30 247 91 213 a YES a 3 7 8 15 16 17 18 19 21 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247 a 3 7 15 16 17 18 19 21 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 223 224 225 235 238 241 243 245 247 a 3 7 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 19 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 19 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 19 23 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247 a 7 15 16 19 23 24 29 30 40 48 49 53 56 57 62 66 71 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 106 107 108 110 113 114 117 118 120 125 130 132 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 107 108 110 113 114 117 118 120 125 130 132 135 136 138 142 144 146 148 149 153 154 157 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 107 108 110 113 114 117 118 120 125 130 132 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 108 110 113 114 117 118 120 125 130 132 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 108 113 114 117 118 120 125 130 132 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 108 113 114 117 118 120 125 130 132 135 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 81 83 84 89 91 94 96 103 108 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 89 91 94 96 103 108 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 180 183 184 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 89 91 94 96 108 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 179 180 183 184 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 108 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 179 180 184 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 108 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 179 180 184 186 188 193 195 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 158 160 161 162 170 171 175 178 179 180 184 186 188 193 195 198 199 200 202 205 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 113 114 117 118 120 125 130 132 135 138 142 144 146 149 153 154 157 160 161 162 170 171 175 178 179 180 184 186 188 193 195 198 199 200 202 205 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 113 114 117 118 120 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 207 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 91 94 96 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 210 212 213 216 218 220 221 223 224 225 227 235 237 238 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 90 91 94 96 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 210 212 213 216 218 220 223 224 225 227 235 237 238 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 90 91 94 96 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 210 212 213 216 218 220 223 224 227 235 237 238 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 83 84 88 89 90 91 94 96 105 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 210 212 213 216 218 220 223 224 227 237 238 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 105 113 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 170 171 175 178 179 180 184 186 188 195 198 199 200 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 105 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 170 171 175 178 179 180 184 186 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 245 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 105 114 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 166 170 171 175 178 179 180 184 186 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 166 170 171 175 178 179 180 184 186 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 166 170 171 173 178 179 180 184 186 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 173 178 179 180 184 186 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 246 247 a 4 7 15 16 19 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 173 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 241 243 244 246 247 a 4 7 15 16 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 173 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 243 244 246 247 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance019_graph002.col /benchmark/random_instance/random_instance019_graph002_01.dat" User time (seconds): 0.10 System time (seconds): 0.01 Percent of CPU this job got: 97% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.13 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): 20352 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12061 Voluntary context switches: 21 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 16:48:04 2023]