#BEGIN: [Fri Sep 8 00:20:53 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance013_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph001_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-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat s 145 149 29 102 77 148 159 111 16 129 100 27 8 101 162 95 140 40 168 83 52 115 80 59 113 119 87 49 128 78 120 147 130 21 91 12 107 45 28 105 66 69 47 35 55 118 126 154 139 158 44 15 18 t 60 87 151 125 152 156 130 55 77 158 123 9 73 161 84 121 51 67 112 21 95 12 76 13 128 159 63 139 80 114 54 45 111 85 81 58 169 62 17 28 146 49 155 89 75 7 40 140 166 104 164 162 109 a YES a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 114 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 12 15 18 21 27 28 29 35 40 44 45 47 49 52 54 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 114 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 78 80 83 87 89 91 95 100 101 102 105 107 111 113 114 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 80 83 87 89 91 95 100 101 102 105 107 111 113 114 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 164 168 a 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 80 87 89 91 95 100 101 102 105 107 111 113 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 154 158 159 162 164 168 a 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 80 87 89 91 95 100 102 105 107 111 113 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 9 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 80 87 89 91 95 100 102 107 111 113 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 9 12 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 77 80 85 87 89 91 95 100 102 107 111 113 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 9 12 18 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 9 12 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 112 114 115 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 7 9 12 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 112 114 118 119 120 123 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 7 9 12 13 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 112 114 118 119 120 123 128 129 130 139 140 145 147 148 149 151 154 158 159 162 164 168 a 7 9 12 13 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 112 114 118 119 120 123 128 130 139 140 145 147 148 149 151 154 156 158 159 162 164 168 a 7 9 12 13 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 111 112 114 118 119 120 123 128 130 139 140 147 148 149 151 154 156 158 159 162 164 166 168 a 7 9 12 13 21 27 28 29 35 40 44 45 49 52 54 55 59 66 69 75 77 80 85 87 89 91 95 100 102 107 109 111 112 114 118 119 120 123 128 130 139 140 148 149 151 154 156 158 159 162 164 166 168 a 7 9 12 13 21 28 29 35 40 44 45 49 52 54 55 59 66 67 69 75 77 80 85 87 89 91 95 100 102 107 109 111 112 114 118 119 120 123 128 130 139 140 148 149 151 154 156 158 159 162 164 166 168 a 7 9 12 13 21 28 29 35 40 44 45 49 51 52 54 55 59 66 67 69 75 77 80 85 87 89 91 95 100 102 107 109 111 112 114 118 119 120 123 128 130 139 140 148 149 151 154 156 158 159 162 164 166 a 7 9 12 13 21 28 29 35 40 45 49 51 52 54 55 59 66 67 69 75 77 80 85 87 89 91 95 100 102 104 107 109 111 112 114 118 119 120 123 128 130 139 140 148 149 151 154 156 158 159 162 164 166 a 7 9 12 13 21 28 29 35 40 45 49 51 52 54 55 59 66 67 69 75 77 80 85 87 89 91 95 100 104 107 109 111 112 114 118 119 120 123 128 130 139 140 146 148 149 151 154 156 158 159 162 164 166 a 7 9 12 13 21 28 29 35 40 45 49 51 52 54 55 59 66 67 69 75 77 80 85 87 89 91 95 100 104 107 109 111 112 114 118 120 123 128 130 139 140 146 148 149 151 154 155 156 158 159 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 69 75 77 80 81 85 87 89 91 95 100 104 107 109 111 112 114 118 120 123 128 130 139 140 146 148 149 151 154 155 156 158 159 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 69 75 76 77 80 81 85 87 89 95 100 104 107 109 111 112 114 118 120 123 128 130 139 140 146 148 149 151 154 155 156 158 159 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 69 75 76 77 80 81 85 87 89 95 104 107 109 111 112 114 118 120 123 128 130 139 140 146 148 149 151 154 155 156 158 159 161 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 73 75 76 77 80 81 85 87 89 95 104 107 109 111 112 114 118 120 123 128 130 139 140 146 148 149 151 154 155 156 158 159 161 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 118 120 123 125 128 130 139 140 146 148 149 151 154 155 156 158 159 161 162 164 166 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 148 149 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 29 40 45 49 51 52 54 55 59 60 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 149 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 52 54 55 58 59 60 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 149 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 54 55 58 59 60 63 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 149 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 54 55 58 59 60 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 149 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 54 55 58 59 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 151 154 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 54 55 58 59 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 118 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169 a 7 9 12 13 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 118 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169 a 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat" User time (seconds): 0.08 System time (seconds): 0.02 Percent of CPU this job got: 96% 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): 20228 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 11845 Voluntary context switches: 21 Involuntary context switches: 4 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: [Fri Sep 8 00:20:54 2023]