#BEGIN: [Sat Sep  9 12:15:02 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-wallclock-ai-planning2-shortest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph002_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=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat
s 120 127 29 24 85 21 116 83 58 74 27 107 5 37 106 73 7 50 2 118 110 39 103 38 93 87 61 22 6 26 64 12 70 88 125 76 14 44 81
t 105 19 99 83 55 22 72 2 118 121 26 108 49 122 9 98 14 85 16 57 103 88 23 129 46 104 115 130 48 68 90 53 38 39 127 107 116 81 7
a YES
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 7 12 14 16 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 7 14 16 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 7 14 16 22 24 26 27 29 37 38 39 44 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 7 14 16 22 24 26 27 29 37 38 39 44 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 106 107 110 116 118 120 125 127
a 2 7 9 14 16 22 26 27 29 37 38 39 44 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 106 107 110 116 118 120 125 127
a 2 7 9 14 16 22 26 29 37 38 39 44 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 116 118 120 125 127
a 2 7 9 14 16 22 26 37 38 39 44 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 116 118 120 125 127 129
a 2 7 9 14 16 22 26 38 39 44 49 50 55 58 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 116 118 120 125 127 129
a 2 7 9 14 16 22 26 38 39 44 49 50 55 61 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 115 116 118 120 125 127 129
a 2 7 9 14 16 22 26 38 39 44 49 50 55 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 115 116 118 120 122 125 127 129
a 2 7 9 14 16 22 26 38 39 44 46 49 55 64 68 70 73 74 76 81 83 85 87 88 90 93 103 104 106 107 110 115 116 118 120 122 125 127 129
a 2 7 9 14 16 22 23 26 38 39 44 46 49 55 64 68 70 73 76 81 83 85 87 88 90 93 103 104 106 107 110 115 116 118 120 122 125 127 129
a 2 7 9 14 16 22 23 26 38 39 44 46 49 53 55 64 68 70 73 81 83 85 87 88 90 93 103 104 106 107 110 115 116 118 120 122 125 127 129
a 2 7 9 14 16 22 23 26 38 39 44 46 49 53 55 64 68 70 73 81 83 85 87 88 90 93 99 103 104 107 110 115 116 118 120 122 125 127 129
a 2 7 9 14 16 22 23 26 38 39 46 49 53 55 64 68 70 73 81 83 85 87 88 90 93 99 103 104 107 110 115 116 118 120 122 125 127 129 130
a 2 7 9 14 16 22 23 26 38 39 46 49 53 55 68 70 73 81 83 85 87 88 90 93 98 99 103 104 107 110 115 116 118 120 122 125 127 129 130
a 2 7 9 14 16 22 23 26 38 39 46 49 53 55 68 73 81 83 85 87 88 90 93 98 99 103 104 105 107 110 115 116 118 120 122 125 127 129 130
a 2 7 9 14 16 22 23 26 38 39 46 49 53 55 68 73 81 83 85 87 88 90 98 99 103 104 105 107 110 115 116 118 120 121 122 125 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 68 73 81 83 85 87 88 90 98 99 103 104 105 107 115 116 118 120 121 122 125 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 68 72 73 81 83 85 87 88 90 98 99 103 104 105 107 115 116 118 121 122 125 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 68 72 73 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 57 68 72 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 72 81 83 85 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
	Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat"
	User time (seconds): 3470.83
	System time (seconds): 10.75
	Percent of CPU this job got: 200%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.64
	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): 24167332
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 7801582
	Voluntary context switches: 68444
	Involuntary context switches: 14091
	Swaps: 0
	File system inputs: 0
	File system outputs: 512
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Sat Sep  9 12:44:02 2023]