#BEGIN: [Sun Sep 10 11:55:27 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC125.9.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC125.9_02.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/DSJC125.9.col /benchmark/2022benchmark/benchmark/color04/DSJC125.9_02.dat
s 30 90 125 
t 20 85 109
a YES
a 30 90 125
a 73 90 125
a 51 90 125
a 51 55 125
a 36 55 125
a 36 41 125
a 41 80 125
a 17 41 125
a 17 120 125
a 17 51 125
a 30 51 125
a 30 51 90
a 30 58 90
a 30 88 90
a 3 88 90
a 43 88 90
a 43 90 125
a 43 84 125
a 72 84 125
a 72 84 115
a 19 84 115
a 84 107 115
a 72 107 115
a 72 74 107
a 24 72 107
a 15 72 107
a 6 72 107
a 72 84 107
a 72 84 117
a 71 72 117
a 15 72 117
a 4 15 117
a 15 62 117
a 62 63 117
a 4 63 117
a 63 98 117
a 5 63 98
a 5 98 100
a 98 100 105
a 10 100 105
a 10 35 105
a 10 105 124
a 10 17 124
a 10 17 123
a 17 113 123
a 3 113 123
a 113 114 123
a 65 113 114
a 28 113 114
a 28 97 114
a 80 97 114
a 80 114 115
a 97 114 115
a 53 97 115
a 80 97 115
a 19 80 115
a 7 80 115
a 6 7 80
a 7 47 80
a 47 80 118
a 80 115 118
a 44 115 118
a 18 44 118
a 18 44 116
a 18 44 59
a 23 44 59
a 5 23 44
a 5 44 45
a 5 27 45
a 5 27 94
a 5 94 106
a 5 75 106
a 5 63 75
a 5 33 63
a 32 33 63
a 31 32 33
a 32 33 54
a 33 54 103
a 23 33 103
a 5 33 103
a 33 63 103
a 5 63 103
a 62 63 103
a 54 62 103
a 60 62 103
a 29 60 62
a 13 60 62
a 13 60 116
a 4 60 116
a 24 60 116
a 24 25 60
a 13 25 60
a 25 47 60
a 25 47 91
a 46 47 91
a 17 46 91
a 17 52 91
a 48 52 91
a 45 48 91
a 17 45 91
a 5 45 91
a 25 45 91
a 25 45 86
a 24 25 45
a 24 25 31
a 25 31 55
a 9 25 55
a 9 55 114
a 27 55 114
a 27 45 55
a 25 45 55
a 36 45 55
a 20 36 45
a 20 36 119
a 20 85 119
a 38 85 119
a 38 42 85
a 12 38 42
a 12 38 125
a 38 85 125
a 28 85 125
a 28 67 125
a 53 67 125
a 53 124 125
a 17 124 125
a 55 124 125
a 45 55 124
a 17 45 124
a 20 45 124
a 20 119 124
a 53 119 124
a 53 67 119
a 11 53 67
a 8 53 67
a 8 53 104
a 53 97 104
a 8 97 104
a 80 97 104
a 80 87 97
a 11 80 87
a 11 86 87
a 11 19 86
a 12 19 86
a 12 86 113
a 75 86 113
a 26 75 86
a 68 75 86
a 46 68 75
a 68 75 105
a 68 105 108
a 105 108 110
a 49 105 110
a 49 52 105
a 35 52 105
a 14 35 52
a 14 35 42
a 14 35 64
a 2 35 64
a 2 21 64
a 21 64 96
a 19 21 96
a 21 24 96
a 24 72 96
a 15 72 96
a 72 96 119
a 72 77 119
a 5 72 77
a 71 72 77
a 57 71 77
a 64 71 77
a 21 64 77
a 5 64 77
a 42 64 77
a 35 42 64
a 14 42 64
a 2 42 64
a 42 64 109
a 42 63 109
a 42 85 109
a 20 85 109
#END: [Sun Sep 10 12:24:27 2023]