#BEGIN: [Thu Sep 7 16:46:53 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph004_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_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat s 192 67 41 24 56 68 205 141 100 202 145 105 109 159 64 36 121 179 20 35 203 28 18 6 75 60 77 186 136 74 37 92 134 148 48 152 178 59 138 129 163 95 180 89 208 16 190 161 166 111 155 139 168 10 183 57 164 54 65 87 104 47 42 81 120 26 t 185 22 139 88 15 34 36 154 120 37 132 31 141 163 180 6 118 69 164 203 62 39 93 95 66 4 32 183 104 49 175 186 159 116 190 157 18 26 147 46 67 79 91 109 17 208 197 124 121 40 74 16 89 176 129 178 195 94 87 123 57 125 54 196 59 8 a YES a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 26 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 74 75 77 81 87 89 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 26 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 74 75 77 81 87 89 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 195 202 203 205 208 a 6 16 18 20 26 36 37 39 41 42 47 48 54 56 57 59 60 64 65 66 67 68 74 75 77 81 87 89 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 195 202 203 205 208 a 6 16 18 20 26 36 37 39 41 42 47 48 54 56 57 59 64 65 66 67 68 74 75 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 195 202 203 205 208 a 6 16 18 20 26 36 37 39 41 42 47 48 54 56 57 59 65 66 67 68 74 75 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 202 203 205 208 a 6 16 18 20 26 34 36 37 39 41 42 47 48 54 56 57 59 66 67 68 74 75 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 202 203 205 208 a 6 16 18 20 26 34 36 37 39 41 42 47 48 54 56 57 59 66 67 68 74 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 202 203 205 208 a 6 16 18 26 34 36 37 39 41 42 47 48 54 56 57 59 66 67 68 74 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 202 203 205 208 a 6 16 18 26 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 74 77 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 202 203 205 208 a 6 16 18 26 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 69 74 81 87 89 91 92 94 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 202 203 205 208 a 6 16 18 26 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 69 74 81 87 89 91 92 94 95 100 104 109 111 120 121 129 134 136 138 139 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 34 36 37 39 40 42 47 48 54 56 57 59 62 66 67 68 69 74 81 87 89 91 92 94 95 100 104 109 111 120 121 129 134 136 138 139 141 145 147 148 152 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 34 36 37 39 40 47 48 54 56 57 59 62 66 67 68 69 74 81 87 89 91 92 94 95 100 104 109 111 120 121 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 34 36 37 39 40 47 48 54 57 59 62 66 67 68 69 74 79 81 87 89 91 92 94 95 100 104 109 111 120 121 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 31 34 36 37 39 40 47 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 94 95 100 104 109 111 120 121 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 166 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 31 34 36 37 39 40 47 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 94 95 100 104 109 111 120 121 125 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 168 176 178 179 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 18 26 31 34 36 37 39 40 47 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 111 120 121 125 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 192 195 196 197 202 203 205 208 a 6 16 17 18 26 31 34 36 37 39 40 47 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 111 120 121 125 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 6 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 111 120 121 125 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 6 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 120 121 123 125 129 132 134 136 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 6 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 120 121 123 125 129 132 134 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 4 6 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 120 121 123 125 129 132 138 139 141 145 147 148 152 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 4 6 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 118 120 121 123 125 129 132 138 139 141 145 147 148 159 161 163 164 168 176 178 180 183 186 190 195 196 197 202 203 205 208 a 4 6 8 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 118 120 121 123 125 129 132 138 139 141 145 147 148 159 161 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 118 120 121 123 125 129 132 139 141 145 147 148 159 161 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 139 141 147 148 159 161 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 148 157 159 161 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 54 57 59 62 66 67 69 74 79 81 87 89 91 92 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 161 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 54 57 59 62 66 67 69 74 79 81 87 88 89 91 92 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 168 176 178 180 183 186 190 195 196 197 203 205 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 92 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 168 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 92 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat" User time (seconds): 0.11 System time (seconds): 0.00 Percent of CPU this job got: 97% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.12 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): 20272 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 11999 Voluntary context switches: 21 Involuntary context switches: 3 Swaps: 0 File system inputs: 0 File system outputs: 336 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 16:46:54 2023]