#BEGIN: [Thu Sep  7 20:32:48 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-ai-planning2-existent2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph001_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat
s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41
t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21
a YES
a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 9 14 21 24 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 9 14 21 24 25 31 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 14 21 24 25 31 35 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 31 35 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 31 35 41 43 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 129 130
a 2 4 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 129 130
a 4 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 102 103 105 110 111 112 113 114 119 121 123 125 126 127 128 129 130
a 4 8 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 103 105 110 111 112 113 114 119 121 123 125 126 127 128 129 130
a 4 8 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 82 89 103 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 82 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 41 43 45 56 57 58 60 61 62 64 65 67 71 82 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 43 45 56 57 58 60 61 62 64 65 67 71 82 83 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 43 45 56 57 58 60 61 62 64 65 67 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 15 21 24 25 35 43 45 56 57 58 60 61 62 64 67 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 15 21 24 25 35 45 56 57 58 60 61 62 64 67 70 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 45 56 57 58 60 61 62 64 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 45 57 58 60 61 62 64 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 45 57 58 59 60 61 62 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 44 45 57 58 59 60 61 62 67 70 71 82 83 89 98 105 111 114 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 57 58 59 60 62 67 70 71 82 83 89 98 105 111 114 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 82 83 89 98 105 111 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 89 98 105 111 116 119 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 89 98 105 111 116 123 124 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 111 116 124 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
	Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat"
	User time (seconds): 3.26
	System time (seconds): 0.08
	Percent of CPU this job got: 402%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.83
	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): 51780
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 30798
	Voluntary context switches: 5057
	Involuntary context switches: 147
	Swaps: 0
	File system inputs: 0
	File system outputs: 488
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Thu Sep  7 20:32:50 2023]