#BEGIN: [Mon Sep 25 15:07:55 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance014_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance014_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=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat s 64 155 60 108 107 152 35 172 12 171 6 71 134 97 133 96 24 165 174 116 66 94 29 127 170 135 67 90 178 126 23 39 161 100 102 101 40 32 21 8 34 122 139 51 181 136 18 15 5 137 41 149 3 119 167 103 13 22 140 t 91 181 160 114 32 61 143 137 115 83 70 9 64 25 107 4 146 8 92 14 22 13 3 30 23 60 98 46 130 55 128 111 38 123 81 119 182 86 166 174 109 106 120 90 66 131 7 51 171 40 168 20 170 37 69 175 96 42 11 a YES a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 39 40 41 51 60 64 66 67 90 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 39 40 51 60 64 66 67 90 94 96 97 98 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 60 64 66 67 90 96 97 98 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 60 64 66 67 70 90 96 98 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 60 64 66 67 70 90 96 98 100 101 102 103 107 108 115 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 21 22 23 24 25 29 32 34 35 37 39 40 51 60 64 66 67 70 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 24 25 29 32 34 35 37 39 40 51 60 61 64 66 67 70 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 25 29 32 34 35 37 39 40 51 60 61 64 66 67 70 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 127 133 136 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 86 90 96 98 100 101 102 103 107 108 114 115 116 119 122 126 130 133 136 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 114 115 116 119 122 126 130 133 136 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 5 6 8 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 109 114 115 116 119 122 126 130 133 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 5 8 11 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 109 114 115 116 119 122 126 130 133 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 4 5 8 11 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 109 114 115 119 122 126 130 133 137 139 140 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 4 5 8 11 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 109 114 115 119 122 126 130 133 137 140 143 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 18 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 133 137 140 143 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 133 137 140 143 149 152 155 161 165 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 133 137 140 143 152 155 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 35 37 40 51 60 61 64 66 67 70 81 86 90 91 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 133 137 140 143 155 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 35 37 40 42 51 60 61 64 66 67 70 81 86 90 91 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 137 140 143 155 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 37 40 42 51 60 61 64 66 67 70 81 86 90 91 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 137 140 143 146 155 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 15 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 81 86 90 91 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 137 140 143 146 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 81 83 86 90 91 92 96 98 100 101 103 107 108 109 114 115 119 122 123 126 130 137 140 143 146 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 22 23 25 29 32 34 37 40 42 51 55 60 61 64 66 67 70 81 83 86 90 91 92 96 98 100 101 107 108 109 114 115 119 122 123 126 130 137 140 143 146 161 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 22 23 25 29 30 32 34 37 40 42 51 55 60 61 64 66 67 70 81 83 86 90 91 92 96 98 100 101 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 22 23 25 30 32 34 37 40 42 51 55 60 61 64 66 67 70 81 83 86 90 91 92 96 98 100 101 106 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 100 101 106 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 100 106 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 178 181 182 a 3 4 8 11 13 14 20 22 23 25 30 32 34 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 100 106 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 100 106 107 108 109 114 115 119 122 123 126 130 137 140 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 114 115 119 122 123 126 130 131 137 140 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 114 115 119 123 126 130 131 137 140 143 146 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 114 115 119 123 130 131 137 140 143 146 160 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 114 115 119 120 123 130 131 137 143 146 160 165 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 167 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 172 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 120 123 130 131 137 143 146 160 166 168 170 171 174 175 181 182 a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat" User time (seconds): 3470.61 System time (seconds): 10.69 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.60 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): 26307616 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8370522 Voluntary context switches: 68462 Involuntary context switches: 8777 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 15:36:55 2023]