#BEGIN: [Fri Sep 15 07:37:09 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance011_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance011_graph003_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-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance011_graph003.col /benchmark/random_instance/random_instance011_graph003_01.dat s 126 138 24 56 115 37 101 44 40 131 42 135 65 4 118 7 72 67 47 128 21 35 10 33 53 66 98 132 77 104 109 43 19 130 46 100 120 86 123 38 52 48 82 68 60 t 68 126 74 25 50 39 57 72 130 110 143 117 58 8 106 80 10 135 73 11 60 98 132 35 24 14 75 12 65 45 90 61 46 18 21 16 23 123 7 109 47 100 6 77 53 a YES a 4 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 75 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 75 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 75 77 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 19 21 24 33 35 38 39 43 44 46 47 48 52 53 56 60 65 66 67 68 72 75 77 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 19 21 23 24 33 35 38 39 44 46 47 48 52 53 56 60 65 66 67 68 72 75 77 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 12 19 21 23 24 33 35 38 39 44 46 47 48 52 53 56 60 65 66 68 72 75 77 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 12 21 23 24 33 35 38 39 44 45 46 47 48 52 53 56 60 65 66 68 72 75 77 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 12 21 23 24 33 35 38 39 45 46 47 48 52 53 56 60 65 66 68 72 75 77 80 82 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 12 21 23 24 33 35 38 39 45 46 47 48 52 53 56 60 65 66 68 72 73 75 77 80 86 90 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138 a 7 10 11 12 21 23 24 33 35 38 39 45 46 47 48 52 53 56 60 65 66 68 72 73 75 77 80 86 90 98 100 104 109 115 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 21 23 24 35 38 39 45 46 47 48 52 53 56 60 65 66 68 72 73 75 77 80 86 90 98 100 104 109 115 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 21 23 24 35 38 39 45 46 47 48 52 53 56 60 65 66 68 72 73 75 77 80 86 90 98 100 109 115 117 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 21 23 24 35 38 39 45 46 47 48 52 53 56 60 65 68 72 73 74 75 77 80 86 90 98 100 109 115 117 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 18 21 23 24 35 38 39 45 46 47 48 52 53 56 60 65 68 72 73 74 75 77 80 86 90 98 100 109 117 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 18 21 23 24 35 39 45 46 47 48 52 53 56 60 65 68 72 73 74 75 77 80 86 90 98 100 109 110 117 118 120 123 126 128 130 131 132 135 138 143 a 7 10 11 12 14 18 21 23 24 35 39 45 46 47 52 53 56 60 65 68 72 73 74 75 77 80 86 90 98 100 106 109 110 117 118 120 123 126 128 130 131 132 135 138 143 a 6 7 10 11 12 14 18 21 23 24 35 39 45 46 47 52 53 56 60 65 68 72 73 74 75 77 80 86 90 98 100 106 109 110 117 120 123 126 128 130 131 132 135 138 143 a 6 7 10 11 12 14 18 21 23 24 35 39 45 46 47 52 53 56 57 60 65 68 72 73 74 75 77 80 86 90 98 100 106 109 110 117 123 126 128 130 131 132 135 138 143 a 6 7 10 11 12 14 16 18 21 23 24 35 39 45 46 47 52 53 56 57 60 65 68 72 73 74 75 77 80 86 90 98 100 106 109 110 117 123 126 130 131 132 135 138 143 a 6 7 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 53 56 57 60 65 68 72 73 74 75 77 80 86 90 98 100 106 109 110 117 123 126 130 131 132 135 138 143 a 6 7 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 53 56 57 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 131 132 135 138 143 a 6 7 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 53 56 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 138 143 a 6 7 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 138 143 a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 143 #END: [Fri Sep 15 08:06:09 2023]