#BEGIN: [Mon Sep 25 13:39:26 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance011_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance011_graph005_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-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance011_graph005.col /benchmark/random_instance/random_instance011_graph005_01.dat s 18 70 51 83 2 72 50 81 62 107 101 9 108 132 20 54 21 63 142 98 32 139 134 138 15 73 4 97 38 122 60 118 69 67 77 137 3 127 33 105 30 115 130 112 12 17 35 141 t 95 103 120 66 10 102 79 58 18 4 138 115 77 6 31 61 80 73 111 81 134 76 28 92 1 130 59 90 119 126 85 143 74 127 69 128 52 49 27 89 26 123 135 86 97 104 34 63 a YES a 2 3 4 9 12 15 17 18 20 21 30 32 33 35 38 50 51 54 60 62 63 67 69 70 72 73 77 81 83 97 98 101 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 15 17 18 20 21 30 32 33 35 38 50 51 54 60 62 63 67 69 70 72 73 77 81 83 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 20 21 30 32 33 35 38 50 51 54 60 62 63 67 69 70 72 73 77 81 83 92 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 21 30 32 33 35 38 50 51 52 54 60 62 63 67 69 70 72 73 77 81 83 92 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 21 30 32 33 35 38 50 51 52 54 60 62 63 67 69 72 73 77 81 83 92 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 21 30 32 33 35 50 51 52 54 59 60 62 63 67 69 72 73 77 81 83 92 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 72 73 77 81 83 92 95 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 12 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 73 74 77 81 83 92 95 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 a 2 4 9 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 73 74 77 81 83 92 95 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 143 a 2 4 9 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 105 107 108 111 112 115 118 122 127 130 132 134 137 138 139 141 142 143 a 2 4 9 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 107 108 111 112 115 118 122 127 130 132 134 135 137 138 139 141 142 143 a 2 4 9 17 18 21 30 32 33 35 50 52 54 59 60 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 103 107 108 111 112 115 118 127 130 132 134 135 137 138 139 141 142 143 a 2 4 9 17 18 21 30 32 33 35 50 52 54 59 60 61 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 103 107 108 111 112 115 118 127 130 134 135 137 138 139 141 142 143 a 2 4 9 17 18 21 28 30 32 33 35 50 52 54 59 60 61 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 103 107 108 111 112 115 118 127 130 134 135 138 139 141 142 143 a 2 4 9 17 18 21 28 30 32 33 34 35 50 52 54 59 60 61 62 63 67 69 73 74 77 81 90 92 95 97 98 101 102 103 107 108 111 112 115 118 127 130 134 135 138 141 142 143 a 4 9 17 18 21 28 30 32 33 34 35 50 52 54 59 60 61 62 63 67 69 73 74 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 127 130 134 135 138 141 142 143 a 4 9 17 18 21 28 30 32 33 34 50 52 54 59 60 61 62 63 67 69 73 74 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 9 17 18 21 28 30 32 33 34 50 52 54 59 61 62 63 67 69 73 74 76 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 17 18 21 28 30 32 33 34 48 50 52 54 59 61 62 63 67 69 73 74 76 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 17 18 26 28 30 32 33 34 48 50 52 54 59 61 62 63 67 69 73 74 76 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 17 18 26 27 28 30 33 34 48 50 52 54 59 61 62 63 67 69 73 74 76 77 81 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 17 18 26 27 28 30 33 34 48 50 52 59 61 62 63 67 69 73 74 76 77 81 86 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 17 18 26 27 28 30 33 34 48 50 52 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 130 134 135 138 141 142 143 a 4 18 26 27 28 30 33 34 48 50 52 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 101 102 103 107 108 111 112 115 118 119 127 128 130 134 135 138 141 142 143 a 4 18 26 27 28 30 33 34 48 50 52 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 102 103 107 108 111 112 115 118 119 120 127 128 130 134 135 138 141 142 143 a 4 18 26 27 28 33 34 48 50 52 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 102 103 107 108 111 112 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 4 18 26 27 28 33 34 48 49 52 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 102 103 107 108 111 112 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 4 18 26 27 28 34 48 49 52 58 59 61 62 63 69 73 74 76 77 81 85 86 89 90 92 95 97 98 102 103 107 108 111 112 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 4 18 26 27 28 34 48 49 52 58 59 61 62 63 69 73 74 76 77 79 81 85 86 89 90 92 95 97 102 103 107 108 111 112 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 1 4 18 26 27 28 34 48 49 52 58 59 61 62 63 69 73 74 76 77 79 81 85 86 89 90 92 95 97 102 103 107 108 111 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 1 4 10 18 26 27 28 34 48 49 52 58 59 61 62 63 69 73 74 76 77 79 81 85 86 89 90 92 95 97 102 103 108 111 115 118 119 120 123 127 128 130 134 135 138 141 142 143 a 1 4 10 18 26 27 28 31 34 48 49 52 58 59 61 62 63 69 73 74 76 77 79 81 85 86 89 90 92 95 97 102 103 108 111 115 118 119 120 123 127 128 130 134 135 138 142 143 a 1 4 10 18 26 27 28 31 34 48 49 52 58 59 61 62 63 66 69 73 74 76 77 79 81 85 86 89 90 92 95 97 102 103 108 111 115 118 119 120 123 127 128 130 134 135 138 143 a 1 4 10 18 26 27 28 31 34 48 49 52 58 59 61 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 108 111 115 118 119 120 123 127 128 130 134 135 138 143 a 1 4 6 10 18 26 27 28 31 34 48 49 52 58 59 61 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 108 111 115 119 120 123 127 128 130 134 135 138 143 a 1 4 6 10 18 26 27 28 31 34 48 49 52 58 59 61 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 123 127 128 130 134 135 138 143 a 1 4 6 10 18 26 27 28 31 34 49 52 58 59 61 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 123 126 127 128 130 134 135 138 143 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance011_graph005.col /benchmark/random_instance/random_instance011_graph005_01.dat" User time (seconds): 1733.53 System time (seconds): 6.96 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.58 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): 26519248 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7294980 Voluntary context switches: 21 Involuntary context switches: 3144 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: [Mon Sep 25 14:08:27 2023]