#BEGIN: [Thu Sep 7 16:46:18 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance013_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance013_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_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat s 62 131 156 91 39 109 153 88 76 160 84 141 159 8 61 70 38 48 126 105 3 7 108 137 106 147 150 78 67 169 104 35 25 79 74 40 68 24 130 143 110 164 166 132 33 107 149 53 1 145 63 6 89 142 152 41 t 23 47 166 36 138 112 128 12 54 46 161 68 152 89 97 118 76 65 29 163 21 164 148 28 58 3 122 169 56 107 114 1 110 66 40 147 100 142 130 120 77 125 25 62 116 33 102 13 151 70 39 61 91 155 98 10 a YES a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 24 25 33 35 36 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 24 25 29 33 36 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 24 25 29 33 36 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 97 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 24 25 29 33 36 39 40 41 53 58 61 62 63 67 68 70 74 76 78 79 84 88 89 91 97 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 7 24 25 29 33 36 39 40 41 53 54 58 61 62 63 67 68 70 74 76 78 79 84 88 89 91 97 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 7 24 25 29 33 36 39 40 41 53 54 58 61 62 63 68 70 74 76 78 79 84 88 89 91 97 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 7 24 25 29 33 36 39 40 41 53 54 58 61 62 63 68 70 74 76 79 84 88 89 91 97 104 105 106 107 108 109 110 114 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 163 164 166 169 a 1 3 24 25 29 33 36 39 40 41 53 54 58 61 62 63 68 70 74 76 79 84 88 89 91 97 104 105 106 107 108 109 110 114 126 130 131 132 137 141 142 143 145 147 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 24 25 29 33 36 39 40 41 53 54 58 61 62 63 68 70 74 76 79 84 89 91 97 98 104 105 106 107 108 109 110 114 126 130 131 132 137 141 142 143 145 147 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 25 29 33 36 39 40 41 53 54 58 61 62 63 68 70 74 76 79 84 89 91 97 98 104 105 106 107 108 109 110 114 116 126 130 131 132 137 141 142 143 145 147 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 25 29 33 36 39 40 41 53 54 58 61 62 68 70 74 76 79 84 89 91 97 98 104 105 106 107 108 109 110 114 116 126 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 25 29 33 36 39 40 41 53 54 56 58 61 62 68 70 74 76 84 89 91 97 98 104 105 106 107 108 109 110 114 116 126 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 13 25 29 33 36 39 40 41 53 54 56 58 61 62 68 70 74 76 84 89 91 97 98 105 106 107 108 109 110 114 116 126 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 13 25 29 33 36 39 40 41 53 54 56 58 61 62 68 70 74 76 77 84 89 91 97 98 105 106 107 108 109 110 114 116 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 13 25 29 33 36 39 40 41 53 54 56 58 61 62 68 70 74 76 77 89 91 97 98 105 106 107 108 109 110 114 116 118 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 12 13 25 29 33 36 39 40 41 53 54 56 58 61 62 68 70 74 76 77 89 91 97 98 105 106 107 109 110 114 116 118 130 131 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 12 13 25 29 33 36 39 40 41 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 105 106 107 109 110 114 116 118 130 132 137 141 142 143 145 147 148 149 150 151 152 153 156 159 160 163 164 166 169 a 1 3 12 13 25 29 33 36 39 40 41 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 105 106 107 109 110 114 116 118 130 137 141 142 143 145 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 25 29 33 36 39 40 41 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 105 106 107 109 110 114 116 118 130 141 142 143 145 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 25 29 33 36 39 40 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 105 106 107 109 110 114 116 118 128 130 141 142 143 145 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 21 25 29 33 36 39 40 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 105 106 107 109 110 114 116 118 128 130 141 142 145 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 21 25 29 33 36 39 40 46 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 105 106 107 109 110 114 116 118 128 130 141 142 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 21 25 29 33 36 39 40 46 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 109 110 114 116 118 122 128 130 141 142 147 148 149 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 12 13 21 25 28 29 33 36 39 40 46 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 109 110 114 116 118 122 128 130 141 142 147 148 150 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 53 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 109 110 114 116 118 122 128 130 141 142 147 148 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 109 110 114 116 118 120 122 128 130 141 142 147 148 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 110 114 116 118 120 122 128 130 138 141 142 147 148 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 106 107 110 114 116 118 120 122 128 130 138 142 147 148 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 110 114 116 118 120 122 125 128 130 138 142 147 148 151 152 153 155 156 159 160 163 164 166 169 a 1 3 10 12 13 21 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 110 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 156 159 160 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 68 70 74 76 77 89 91 97 98 100 107 110 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 159 160 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 74 76 77 89 91 97 98 100 107 110 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 159 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 161 163 164 166 169 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat" User time (seconds): 0.11 System time (seconds): 0.02 Percent of CPU this job got: 98% 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): 20140 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 11832 Voluntary context switches: 22 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 320 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 16:46:19 2023]