PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb
MD5SUM	1ae5b04b2d0e1f5ab82e29e98b8350c0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	43097
Optimality of the best value was proved	NO
Number of terms in the objective function	64
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	14745570
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	14745570
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02384
Number of variables	64
Total number of constraints	6
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	12
Maximum length of a constraint	64
Trace number 30209

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 15:44:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21580 boxname=wulflinc12 idbench=1568 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1ae5b04b2d0e1f5ab82e29e98b8350c0  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-maros.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-maros.opb
IDLAUNCH: 21580
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        349404 kB
Buffers:         34616 kB
Cached:         629248 kB
SwapCached:        564 kB
Active:          53604 kB
Inactive:       612636 kB
HighTotal:      131008 kB
HighFree:         3920 kB
LowTotal:       903652 kB
LowFree:        345484 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13200 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 16:05:14 (client local time) WITH STATUS 143 IN 1219.56 SECONDS
stats: 21580 0 1219.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-maros.opb
c reading problem ... done. Time 0.21 ms.
c #vars     64
c #constraints  6
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               57600 		Current CPU time: 0.69 ms
c CURRENT OPTIMUM=               57599 		Current CPU time: 0.81 ms
c CURRENT OPTIMUM=               57280 		Current CPU time: 1.32 ms
c CURRENT OPTIMUM=               57275 		Current CPU time: 1.39 ms
c CURRENT OPTIMUM=               57270 		Current CPU time: 1.45 ms
c CURRENT OPTIMUM=               57265 		Current CPU time: 1.50 ms
c CURRENT OPTIMUM=               57260 		Current CPU time: 1.55 ms
c CURRENT OPTIMUM=               57255 		Current CPU time: 1.60 ms
c CURRENT OPTIMUM=               57250 		Current CPU time: 1.65 ms
c CURRENT OPTIMUM=               57245 		Current CPU time: 1.70 ms
c CURRENT OPTIMUM=               57240 		Current CPU time: 1.75 ms
c CURRENT OPTIMUM=               57235 		Current CPU time: 1.81 ms
c CURRENT OPTIMUM=               57230 		Current CPU time: 1.87 ms
c CURRENT OPTIMUM=               57225 		Current CPU time: 2.10 ms
c CURRENT OPTIMUM=               57220 		Current CPU time: 2.16 ms
c CURRENT OPTIMUM=               57215 		Current CPU time: 2.22 ms
c CURRENT OPTIMUM=               57210 		Current CPU time: 2.27 ms
c CURRENT OPTIMUM=               57205 		Current CPU time: 2.33 ms
c CURRENT OPTIMUM=               57200 		Current CPU time: 2.38 ms
c CURRENT OPTIMUM=               57195 		Current CPU time: 2.45 ms
c CURRENT OPTIMUM=               57190 		Current CPU time: 2.52 ms
c CURRENT OPTIMUM=               57185 		Current CPU time: 2.59 ms
c CURRENT OPTIMUM=               57180 		Current CPU time: 2.65 ms
c CURRENT OPTIMUM=               57175 		Current CPU time: 2.75 ms
c CURRENT OPTIMUM=               57170 		Current CPU time: 2.82 ms
c CURRENT OPTIMUM=               57165 		Current CPU time: 2.91 ms
c CURRENT OPTIMUM=               57160 		Current CPU time: 2.97 ms
c CURRENT OPTIMUM=               57155 		Current CPU time: 3.04 ms
c CURRENT OPTIMUM=               57150 		Current CPU time: 3.11 ms
c CURRENT OPTIMUM=               57145 		Current CPU time: 3.18 ms
c CURRENT OPTIMUM=               57140 		Current CPU time: 3.24 ms
c CURRENT OPTIMUM=               57135 		Current CPU time: 3.32 ms
c CURRENT OPTIMUM=               57130 		Current CPU time: 3.39 ms
c CURRENT OPTIMUM=               57125 		Current CPU time: 3.45 ms
c CURRENT OPTIMUM=               57120 		Current CPU time: 3.52 ms
c CURRENT OPTIMUM=               57115 		Current CPU time: 3.61 ms
c CURRENT OPTIMUM=               57110 		Current CPU time: 3.70 ms
c CURRENT OPTIMUM=               57105 		Current CPU time: 3.79 ms
c CURRENT OPTIMUM=               57100 		Current CPU time: 3.87 ms
c CURRENT OPTIMUM=               57095 		Current CPU time: 3.98 ms
c CURRENT OPTIMUM=               57090 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=               57085 		Current CPU time: 4.15 ms
c CURRENT OPTIMUM=               57080 		Current CPU time: 4.23 ms
c CURRENT OPTIMUM=               57075 		Current CPU time: 4.33 ms
c CURRENT OPTIMUM=               57070 		Current CPU time: 4.41 ms
c CURRENT OPTIMUM=               57065 		Current CPU time: 4.50 ms
c CURRENT OPTIMUM=               57060 		Current CPU time: 4.58 ms
c CURRENT OPTIMUM=               57055 		Current CPU time: 4.67 ms
c CURRENT OPTIMUM=               57050 		Current CPU time: 4.76 ms
c CURRENT OPTIMUM=               57045 		Current CPU time: 4.84 ms
c CURRENT OPTIMUM=               57040 		Current CPU time: 4.91 ms
c CURRENT OPTIMUM=               57035 		Current CPU time: 5.04 ms
c CURRENT OPTIMUM=               57030 		Current CPU time: 5.14 ms
c CURRENT OPTIMUM=               57025 		Current CPU time: 5.24 ms
c CURRENT OPTIMUM=               57020 		Current CPU time: 5.34 ms
c CURRENT OPTIMUM=               57015 		Current CPU time: 5.44 ms
c CURRENT OPTIMUM=               57010 		Current CPU time: 5.53 ms
c CURRENT OPTIMUM=               57005 		Current CPU time: 5.63 ms
c CURRENT OPTIMUM=               57000 		Current CPU time: 5.71 ms
c CURRENT OPTIMUM=               56995 		Current CPU time: 5.82 ms
c CURRENT OPTIMUM=               56990 		Current CPU time: 5.94 ms
c CURRENT OPTIMUM=               56985 		Current CPU time: 6.04 ms
c CURRENT OPTIMUM=               56980 		Current CPU time: 6.14 ms
c CURRENT OPTIMUM=               56975 		Current CPU time: 6.24 ms
c CURRENT OPTIMUM=               56970 		Current CPU time: 6.33 ms
c CURRENT OPTIMUM=               56965 		Current CPU time: 6.41 ms
c CURRENT OPTIMUM=               56960 		Current CPU time: 6.49 ms
c CURRENT OPTIMUM=               56955 		Current CPU time: 6.65 ms
c CURRENT OPTIMUM=               56950 		Current CPU time: 6.80 ms
c CURRENT OPTIMUM=               56945 		Current CPU time: 6.95 ms
c CURRENT OPTIMUM=               56940 		Current CPU time: 7.09 ms
c CURRENT OPTIMUM=               56935 		Current CPU time: 7.27 ms
c CURRENT OPTIMUM=               56930 		Current CPU time: 7.42 ms
c CURRENT OPTIMUM=               56925 		Current CPU time: 7.56 ms
c CURRENT OPTIMUM=               56920 		Current CPU time: 7.70 ms
c CURRENT OPTIMUM=               56915 		Current CPU time: 7.86 ms
c CURRENT OPTIMUM=               56910 		Current CPU time: 8.02 ms
c CURRENT OPTIMUM=               56905 		Current CPU time: 8.19 ms
c CURRENT OPTIMUM=               56900 		Current CPU time: 8.33 ms
c CURRENT OPTIMUM=               56895 		Current CPU time: 8.49 ms
c CURRENT OPTIMUM=               56890 		Current CPU time: 8.63 ms
c CURRENT OPTIMUM=               56885 		Current CPU time: 8.77 ms
c CURRENT OPTIMUM=               56880 		Current CPU time: 8.89 ms
c CURRENT OPTIMUM=               56875 		Current CPU time: 9.08 ms
c CURRENT OPTIMUM=               56870 		Current CPU time: 9.26 ms
c CURRENT OPTIMUM=               56865 		Current CPU time: 9.43 ms
c CURRENT OPTIMUM=               56860 		Current CPU time: 9.58 ms
c CURRENT OPTIMUM=               56855 		Current CPU time: 9.75 ms
c CURRENT OPTIMUM=               56850 		Current CPU time: 9.90 ms
c CURRENT OPTIMUM=               56845 		Current CPU time: 10.06 ms
c CURRENT OPTIMUM=               56840 		Current CPU time: 10.21 ms
c CURRENT OPTIMUM=               56835 		Current CPU time: 10.39 ms
c CURRENT OPTIMUM=               56830 		Current CPU time: 10.54 ms
c CURRENT OPTIMUM=               56825 		Current CPU time: 10.70 ms
c CURRENT OPTIMUM=               56820 		Current CPU time: 10.84 ms
c CURRENT OPTIMUM=               56815 		Current CPU time: 11.00 ms
c CURRENT OPTIMUM=               56810 		Current CPU time: 11.14 ms
c CURRENT OPTIMUM=               56805 		Current CPU time: 11.30 ms
c CURRENT OPTIMUM=               56800 		Current CPU time: 11.42 ms
c CURRENT OPTIMUM=               56795 		Current CPU time: 11.64 ms
c CURRENT OPTIMUM=               56790 		Current CPU time: 11.83 ms
c CURRENT OPTIMUM=               56785 		Current CPU time: 12.02 ms
c CURRENT OPTIMUM=               56780 		Current CPU time: 12.22 ms
c CURRENT OPTIMUM=               56775 		Current CPU time: 12.41 ms
c CURRENT OPTIMUM=               56770 		Current CPU time: 12.58 ms
c CURRENT OPTIMUM=               56765 		Current CPU time: 12.76 ms
c CURRENT OPTIMUM=               56760 		Current CPU time: 12.91 ms
c CURRENT OPTIMUM=               56755 		Current CPU time: 13.11 ms
c CURRENT OPTIMUM=               56750 		Current CPU time: 13.31 ms
c CURRENT OPTIMUM=               56745 		Current CPU time: 13.49 ms
c CURRENT OPTIMUM=               56740 		Current CPU time: 13.65 ms
c CURRENT OPTIMUM=               56735 		Current CPU time: 13.83 ms
c CURRENT OPTIMUM=               56730 		Current CPU time: 13.99 ms
c CURRENT OPTIMUM=               56725 		Current CPU time: 14.15 ms
c CURRENT OPTIMUM=               56720 		Current CPU time: 14.31 ms
c CURRENT OPTIMUM=               56715 		Current CPU time: 14.53 ms
c CURRENT OPTIMUM=               56710 		Current CPU time: 14.72 ms
c CURRENT OPTIMUM=               56705 		Current CPU time: 14.91 ms
c CURRENT OPTIMUM=               56700 		Current CPU time: 15.08 ms
c CURRENT OPTIMUM=               56695 		Current CPU time: 15.30 ms
c CURRENT OPTIMUM=               56690 		Current CPU time: 15.47 ms
c CURRENT OPTIMUM=               56685 		Current CPU time: 15.64 ms
c CURRENT OPTIMUM=               56680 		Current CPU time: 15.78 ms
c CURRENT OPTIMUM=               56675 		Current CPU time: 15.98 ms
c CURRENT OPTIMUM=               56670 		Current CPU time: 16.16 ms
c CURRENT OPTIMUM=               56665 		Current CPU time: 16.36 ms
c CURRENT OPTIMUM=               56660 		Current CPU time: 16.51 ms
c CURRENT OPTIMUM=               56655 		Current CPU time: 16.69 ms
c CURRENT OPTIMUM=               56650 		Current CPU time: 16.84 ms
c CURRENT OPTIMUM=               56645 		Current CPU time: 16.99 ms
c CURRENT OPTIMUM=               56640 		Current CPU time: 17.12 ms
c CURRENT OPTIMUM=               56635 		Current CPU time: 17.55 ms
c CURRENT OPTIMUM=               56630 		Current CPU time: 17.80 ms
c CURRENT OPTIMUM=               56625 		Current CPU time: 18.05 ms
c CURRENT OPTIMUM=               56620 		Current CPU time: 18.27 ms
c CURRENT OPTIMUM=               56615 		Current CPU time: 18.54 ms
c CURRENT OPTIMUM=               56610 		Current CPU time: 18.76 ms
c CURRENT OPTIMUM=               56605 		Current CPU time: 18.98 ms
c CURRENT OPTIMUM=               56600 		Current CPU time: 19.17 ms
c CURRENT OPTIMUM=               56595 		Current CPU time: 19.45 ms
c CURRENT OPTIMUM=               56590 		Current CPU time: 19.67 ms
c CURRENT OPTIMUM=               56585 		Current CPU time: 19.90 ms
c CURRENT OPTIMUM=               56580 		Current CPU time: 20.10 ms
c CURRENT OPTIMUM=               56575 		Current CPU time: 20.36 ms
c CURRENT OPTIMUM=               56570 		Current CPU time: 20.56 ms
c CURRENT OPTIMUM=               56565 		Current CPU time: 20.77 ms
c CURRENT OPTIMUM=               56560 		Current CPU time: 20.94 ms
c CURRENT OPTIMUM=               56555 		Current CPU time: 21.21 ms
c CURRENT OPTIMUM=               56550 		Current CPU time: 21.48 ms
c CURRENT OPTIMUM=               56545 		Current CPU time: 21.72 ms
c CURRENT OPTIMUM=               56540 		Current CPU time: 21.93 ms
c CURRENT OPTIMUM=               56535 		Current CPU time: 22.17 ms
c CURRENT OPTIMUM=               56530 		Current CPU time: 22.41 ms
c CURRENT OPTIMUM=               56525 		Current CPU time: 22.62 ms
c CURRENT OPTIMUM=               56520 		Current CPU time: 22.80 ms
c CURRENT OPTIMUM=               56515 		Current CPU time: 23.04 ms
c CURRENT OPTIMUM=               56510 		Current CPU time: 23.26 ms
c CURRENT OPTIMUM=               56505 		Current CPU time: 23.50 ms
c CURRENT OPTIMUM=               56500 		Current CPU time: 23.68 ms
c CURRENT OPTIMUM=               56495 		Current CPU time: 23.90 ms
c CURRENT OPTIMUM=               56490 		Current CPU time: 24.09 ms
c CURRENT OPTIMUM=               56485 		Current CPU time: 24.28 ms
c CURRENT OPTIMUM=               56480 		Current CPU time: 24.46 ms
c CURRENT OPTIMUM=               56475 		Current CPU time: 24.76 ms
c CURRENT OPTIMUM=               56470 		Current CPU time: 25.02 ms
c CURRENT OPTIMUM=               56465 		Current CPU time: 25.29 ms
c CURRENT OPTIMUM=               56460 		Current CPU time: 25.54 ms
c CURRENT OPTIMUM=               56455 		Current CPU time: 25.80 ms
c CURRENT OPTIMUM=               56450 		Current CPU time: 26.03 ms
c CURRENT OPTIMUM=               56445 		Current CPU time: 26.26 ms
c CURRENT OPTIMUM=               56440 		Current CPU time: 26.48 ms
c CURRENT OPTIMUM=               56435 		Current CPU time: 26.75 ms
c CURRENT OPTIMUM=               56430 		Current CPU time: 26.99 ms
c CURRENT OPTIMUM=               56425 		Current CPU time: 27.22 ms
c CURRENT OPTIMUM=               56420 		Current CPU time: 27.45 ms
c CURRENT OPTIMUM=               56415 		Current CPU time: 27.68 ms
c CURRENT OPTIMUM=               56410 		Current CPU time: 27.88 ms
c CURRENT OPTIMUM=               56405 		Current CPU time: 28.08 ms
c CURRENT OPTIMUM=               56400 		Current CPU time: 28.24 ms
c CURRENT OPTIMUM=               56395 		Current CPU time: 28.56 ms
c CURRENT OPTIMUM=               56390 		Current CPU time: 28.80 ms
c CURRENT OPTIMUM=               56385 		Current CPU time: 29.04 ms
c CURRENT OPTIMUM=               56380 		Current CPU time: 29.25 ms
c CURRENT OPTIMUM=               56375 		Current CPU time: 29.53 ms
c CURRENT OPTIMUM=               56370 		Current CPU time: 29.74 ms
c CURRENT OPTIMUM=               56365 		Current CPU time: 29.95 ms
c CURRENT OPTIMUM=               56360 		Current CPU time: 30.11 ms
c CURRENT OPTIMUM=               56355 		Current CPU time: 30.40 ms
c CURRENT OPTIMUM=               56350 		Current CPU time: 30.61 ms
c CURRENT OPTIMUM=               56345 		Current CPU time: 30.83 ms
c CURRENT OPTIMUM=               56340 		Current CPU time: 31.00 ms
c CURRENT OPTIMUM=               56335 		Current CPU time: 31.22 ms
c CURRENT OPTIMUM=               56330 		Current CPU time: 31.44 ms
c CURRENT OPTIMUM=               56325 		Current CPU time: 31.61 ms
c CURRENT OPTIMUM=               56320 		Current CPU time: 31.74 ms
c CURRENT OPTIMUM=               55872 		Current CPU time: 32.00 ms
c CURRENT OPTIMUM=               55867 		Current CPU time: 32.51 ms
c CURRENT OPTIMUM=               55862 		Current CPU time: 32.93 ms
c CURRENT OPTIMUM=               55857 		Current CPU time: 33.40 ms
c CURRENT OPTIMUM=               55852 		Current CPU time: 33.79 ms
c CURRENT OPTIMUM=               55847 		Current CPU time: 34.22 ms
c CURRENT OPTIMUM=               55842 		Current CPU time: 34.65 ms
c CURRENT OPTIMUM=               55837 		Current CPU time: 35.05 ms
c CURRENT OPTIMUM=               55832 		Current CPU time: 35.43 ms
c CURRENT OPTIMUM=               55827 		Current CPU time: 35.87 ms
c CURRENT OPTIMUM=               55822 		Current CPU time: 36.30 ms
c CURRENT OPTIMUM=               55817 		Current CPU time: 36.70 ms
c CURRENT OPTIMUM=               55812 		Current CPU time: 37.06 ms
c CURRENT OPTIMUM=               55807 		Current CPU time: 37.50 ms
c CURRENT OPTIMUM=               55802 		Current CPU time: 37.87 ms
c CURRENT OPTIMUM=               55797 		Current CPU time: 38.27 ms
c CURRENT OPTIMUM=               55792 		Current CPU time: 38.59 ms
c CURRENT OPTIMUM=               55787 		Current CPU time: 39.05 ms
c CURRENT OPTIMUM=               55782 		Current CPU time: 39.48 ms
c CURRENT OPTIMUM=               55777 		Current CPU time: 39.90 ms
c CURRENT OPTIMUM=               55772 		Current CPU time: 40.30 ms
c CURRENT OPTIMUM=               55767 		Current CPU time: 40.72 ms
c CURRENT OPTIMUM=               55762 		Current CPU time: 41.10 ms
c CURRENT OPTIMUM=               55757 		Current CPU time: 41.50 ms
c CURRENT OPTIMUM=               55752 		Current CPU time: 41.83 ms
c CURRENT OPTIMUM=               55747 		Current CPU time: 42.29 ms
c CURRENT OPTIMUM=               55742 		Current CPU time: 42.67 ms
c CURRENT OPTIMUM=               55737 		Current CPU time: 43.06 ms
c CURRENT OPTIMUM=               55732 		Current CPU time: 43.42 ms
c CURRENT OPTIMUM=               55727 		Current CPU time: 43.81 ms
c CURRENT OPTIMUM=               55722 		Current CPU time: 44.17 ms
c CURRENT OPTIMUM=               55717 		Current CPU time: 44.53 ms
c CURRENT OPTIMUM=               55712 		Current CPU time: 44.84 ms
c CURRENT OPTIMUM=               55707 		Current CPU time: 45.35 ms
c CURRENT OPTIMUM=               55702 		Current CPU time: 45.80 ms
c CURRENT OPTIMUM=               55697 		Current CPU time: 46.26 ms
c CURRENT OPTIMUM=               55692 		Current CPU time: 46.66 ms
c CURRENT OPTIMUM=               55687 		Current CPU time: 47.13 ms
c CURRENT OPTIMUM=               55682 		Current CPU time: 47.53 ms
c CURRENT OPTIMUM=               55677 		Current CPU time: 47.96 ms
c CURRENT OPTIMUM=               55672 		Current CPU time: 48.31 ms
c CURRENT OPTIMUM=               55667 		Current CPU time: 48.76 ms
c CURRENT OPTIMUM=               55662 		Current CPU time: 49.19 ms
c CURRENT OPTIMUM=               55657 		Current CPU time: 49.61 ms
c CURRENT OPTIMUM=               55652 		Current CPU time: 49.99 ms
c CURRENT OPTIMUM=               55647 		Current CPU time: 50.41 ms
c CURRENT OPTIMUM=               55642 		Current CPU time: 50.77 ms
c CURRENT OPTIMUM=               55637 		Current CPU time: 51.16 ms
c CURRENT OPTIMUM=               55632 		Current CPU time: 51.47 ms
c CURRENT OPTIMUM=               55627 		Current CPU time: 51.97 ms
c CURRENT OPTIMUM=               55622 		Current CPU time: 52.39 ms
c CURRENT OPTIMUM=               55617 		Current CPU time: 52.83 ms
c CURRENT OPTIMUM=               55612 		Current CPU time: 53.21 ms
c CURRENT OPTIMUM=               55607 		Current CPU time: 53.64 ms
c CURRENT OPTIMUM=               55602 		Current CPU time: 54.03 ms
c CURRENT OPTIMUM=               55597 		Current CPU time: 54.41 ms
c CURRENT OPTIMUM=               55592 		Current CPU time: 54.77 ms
c CURRENT OPTIMUM=               55587 		Current CPU time: 55.20 ms
c CURRENT OPTIMUM=               55582 		Current CPU time: 55.59 ms
c CURRENT OPTIMUM=               55577 		Current CPU time: 55.99 ms
c CURRENT OPTIMUM=               55572 		Current CPU time: 56.33 ms
c CURRENT OPTIMUM=               55567 		Current CPU time: 56.74 ms
c CURRENT OPTIMUM=               55562 		Current CPU time: 57.08 ms
c CURRENT OPTIMUM=               55557 		Current CPU time: 57.41 ms
c CURRENT OPTIMUM=               55552 		Current CPU time: 57.71 ms
c CURRENT OPTIMUM=               55547 		Current CPU time: 58.37 ms
c CURRENT OPTIMUM=               55542 		Current CPU time: 59.00 ms
c CURRENT OPTIMUM=               55537 		Current CPU time: 59.63 ms
c CURRENT OPTIMUM=               55532 		Current CPU time: 60.19 ms
c CURRENT OPTIMUM=               55527 		Current CPU time: 60.83 ms
c CURRENT OPTIMUM=               55522 		Current CPU time: 61.39 ms
c CURRENT OPTIMUM=               55517 		Current CPU time: 61.99 ms
c CURRENT OPTIMUM=               55512 		Current CPU time: 62.53 ms
c CURRENT OPTIMUM=               55507 		Current CPU time: 63.16 ms
c CURRENT OPTIMUM=               55502 		Current CPU time: 63.74 ms
c CURRENT OPTIMUM=               55497 		Current CPU time: 64.33 ms
c CURRENT OPTIMUM=               55492 		Current CPU time: 64.86 ms
c CURRENT OPTIMUM=               55487 		Current CPU time: 65.45 ms
c CURRENT OPTIMUM=               55482 		Current CPU time: 65.98 ms
c CURRENT OPTIMUM=               55477 		Current CPU time: 66.52 ms
c CURRENT OPTIMUM=               55472 		Current CPU time: 66.99 ms
c CURRENT OPTIMUM=               55467 		Current CPU time: 67.65 ms
c CURRENT OPTIMUM=               55462 		Current CPU time: 68.26 ms
c CURRENT OPTIMUM=               55457 		Current CPU time: 68.85 ms
c CURRENT OPTIMUM=               55452 		Current CPU time: 69.40 ms
c CURRENT OPTIMUM=               55447 		Current CPU time: 70.00 ms
c CURRENT OPTIMUM=               55442 		Current CPU time: 70.55 ms
c CURRENT OPTIMUM=               55437 		Current CPU time: 71.11 ms
c CURRENT OPTIMUM=               55432 		Current CPU time: 71.59 ms
c CURRENT OPTIMUM=               55427 		Current CPU time: 72.21 ms
c CURRENT OPTIMUM=               55422 		Current CPU time: 72.76 ms
c CURRENT OPTIMUM=               55417 		Current CPU time: 73.32 ms
c CURRENT OPTIMUM=               55412 		Current CPU time: 73.82 ms
c CURRENT OPTIMUM=               55407 		Current CPU time: 74.38 ms
c CURRENT OPTIMUM=               55402 		Current CPU time: 74.89 ms
c CURRENT OPTIMUM=               55397 		Current CPU time: 75.39 ms
c CURRENT OPTIMUM=               55392 		Current CPU time: 75.84 ms
c CURRENT OPTIMUM=               55387 		Current CPU time: 76.52 ms
c CURRENT OPTIMUM=               55382 		Current CPU time: 77.15 ms
c CURRENT OPTIMUM=               55377 		Current CPU time: 77.80 ms
c CURRENT OPTIMUM=               55372 		Current CPU time: 78.36 ms
c CURRENT OPTIMUM=               55367 		Current CPU time: 79.00 ms
c CURRENT OPTIMUM=               55362 		Current CPU time: 79.59 ms
c CURRENT OPTIMUM=               55357 		Current CPU time: 80.16 ms
c CURRENT OPTIMUM=               55352 		Current CPU time: 80.68 ms
c CURRENT OPTIMUM=               55347 		Current CPU time: 81.31 ms
c CURRENT OPTIMUM=               55342 		Current CPU time: 81.89 ms
c CURRENT OPTIMUM=               55337 		Current CPU time: 82.47 ms
c CURRENT OPTIMUM=               55332 		Current CPU time: 82.98 ms
c CURRENT OPTIMUM=               55327 		Current CPU time: 83.57 ms
c CURRENT OPTIMUM=               55322 		Current CPU time: 84.08 ms
c CURRENT OPTIMUM=               55317 		Current CPU time: 84.61 ms
c CURRENT OPTIMUM=               55312 		Current CPU time: 85.06 ms
c CURRENT OPTIMUM=               55307 		Current CPU time: 85.72 ms
c CURRENT OPTIMUM=               55302 		Current CPU time: 86.31 ms
c CURRENT OPTIMUM=               55297 		Current CPU time: 86.90 ms
c CURRENT OPTIMUM=               55292 		Current CPU time: 87.43 ms
c CURRENT OPTIMUM=               55287 		Current CPU time: 88.03 ms
c CURRENT OPTIMUM=               55282 		Current CPU time: 88.56 ms
c CURRENT OPTIMUM=               55277 		Current CPU time: 89.10 ms
c CURRENT OPTIMUM=               55272 		Current CPU time: 89.57 ms
c CURRENT OPTIMUM=               55267 		Current CPU time: 90.18 ms
c CURRENT OPTIMUM=               55262 		Current CPU time: 90.71 ms
c CURRENT OPTIMUM=               55257 		Current CPU time: 91.26 ms
c CURRENT OPTIMUM=               55252 		Current CPU time: 91.73 ms
c CURRENT OPTIMUM=               55247 		Current CPU time: 92.28 ms
c CURRENT OPTIMUM=               55242 		Current CPU time: 92.76 ms
c CURRENT OPTIMUM=               55237 		Current CPU time: 93.24 ms
c CURRENT OPTIMUM=               55232 		Current CPU time: 93.66 ms
c CURRENT OPTIMUM=               55227 		Current CPU time: 94.40 ms
c CURRENT OPTIMUM=               55222 		Current CPU time: 95.09 ms
c CURRENT OPTIMUM=               55217 		Current CPU time: 95.79 ms
c CURRENT OPTIMUM=               55212 		Current CPU time: 96.40 ms
c CURRENT OPTIMUM=               55207 		Current CPU time: 97.10 ms
c CURRENT OPTIMUM=               55202 		Current CPU time: 97.73 ms
c CURRENT OPTIMUM=               55197 		Current CPU time: 98.37 ms
c CURRENT OPTIMUM=               55192 		Current CPU time: 98.92 ms
c CURRENT OPTIMUM=               55187 		Current CPU time: 99.63 ms
c CURRENT OPTIMUM=               55182 		Current CPU time: 100.27 ms
c CURRENT OPTIMUM=               55177 		Current CPU time: 100.90 ms
c CURRENT OPTIMUM=               55172 		Current CPU time: 101.47 ms
c CURRENT OPTIMUM=               55167 		Current CPU time: 102.12 ms
c CURRENT OPTIMUM=               55162 		Current CPU time: 102.68 ms
c CURRENT OPTIMUM=               55157 		Current CPU time: 103.26 ms
c CURRENT OPTIMUM=               55152 		Current CPU time: 103.76 ms
c CURRENT OPTIMUM=               55147 		Current CPU time: 104.48 ms
c CURRENT OPTIMUM=               55142 		Current CPU time: 105.14 ms
c CURRENT OPTIMUM=               55137 		Current CPU time: 105.78 ms
c CURRENT OPTIMUM=               55132 		Current CPU time: 106.37 ms
c CURRENT OPTIMUM=               55127 		Current CPU time: 107.03 ms
c CURRENT OPTIMUM=               55122 		Current CPU time: 107.61 ms
c CURRENT OPTIMUM=               55117 		Current CPU time: 108.20 ms
c CURRENT OPTIMUM=               55112 		Current CPU time: 108.72 ms
c CURRENT OPTIMUM=               55107 		Current CPU time: 109.38 ms
c CURRENT OPTIMUM=               55102 		Current CPU time: 109.98 ms
c CURRENT OPTIMUM=               55097 		Current CPU time: 110.57 ms
c CURRENT OPTIMUM=               55092 		Current CPU time: 111.09 ms
c CURRENT OPTIMUM=               55087 		Current CPU time: 111.69 ms
c CURRENT OPTIMUM=               55082 		Current CPU time: 112.21 ms
c CURRENT OPTIMUM=               55077 		Current CPU time: 112.74 ms
c CURRENT OPTIMUM=               55072 		Current CPU time: 113.19 ms
c CURRENT OPTIMUM=               55067 		Current CPU time: 113.94 ms
c CURRENT OPTIMUM=               55062 		Current CPU time: 114.63 ms
c CURRENT OPTIMUM=               55057 		Current CPU time: 115.31 ms
c CURRENT OPTIMUM=               55052 		Current CPU time: 115.91 ms
c CURRENT OPTIMUM=               55047 		Current CPU time: 116.60 ms
c CURRENT OPTIMUM=               55042 		Current CPU time: 117.22 ms
c CURRENT OPTIMUM=               55037 		Current CPU time: 117.83 ms
c CURRENT OPTIMUM=               55032 		Current CPU time: 118.37 ms
c CURRENT OPTIMUM=               55027 		Current CPU time: 119.07 ms
c CURRENT OPTIMUM=               55022 		Current CPU time: 119.68 ms
c CURRENT OPTIMUM=               55017 		Current CPU time: 120.30 ms
c CURRENT OPTIMUM=               55012 		Current CPU time: 120.84 ms
c CURRENT OPTIMUM=               55007 		Current CPU time: 121.47 ms
c CURRENT OPTIMUM=               55002 		Current CPU time: 122.02 ms
c CURRENT OPTIMUM=               54997 		Current CPU time: 122.57 ms
c CURRENT OPTIMUM=               54992 		Current CPU time: 123.04 ms
c CURRENT OPTIMUM=               54987 		Current CPU time: 123.75 ms
c CURRENT OPTIMUM=               54982 		Current CPU time: 124.39 ms
c CURRENT OPTIMUM=               54977 		Current CPU time: 125.03 ms
c CURRENT OPTIMUM=               54972 		Current CPU time: 125.59 ms
c CURRENT OPTIMUM=               54967 		Current CPU time: 126.22 ms
c CURRENT OPTIMUM=               54962 		Current CPU time: 126.78 ms
c CURRENT OPTIMUM=               54957 		Current CPU time: 127.34 ms
c CURRENT OPTIMUM=               54952 		Current CPU time: 127.83 ms
c CURRENT OPTIMUM=               54947 		Current CPU time: 128.47 ms
c CURRENT OPTIMUM=               54942 		Current CPU time: 129.03 ms
c CURRENT OPTIMUM=               54937 		Current CPU time: 129.60 ms
c CURRENT OPTIMUM=               54932 		Current CPU time: 130.09 ms
c CURRENT OPTIMUM=               54927 		Current CPU time: 130.66 ms
c CURRENT OPTIMUM=               54922 		Current CPU time: 131.15 ms
c CURRENT OPTIMUM=               54917 		Current CPU time: 131.65 ms
c CURRENT OPTIMUM=               54912 		Current CPU time: 132.05 ms
c CURRENT OPTIMUM=               54907 		Current CPU time: 132.96 ms
c CURRENT OPTIMUM=               54902 		Current CPU time: 133.78 ms
c CURRENT OPTIMUM=               54897 		Current CPU time: 134.61 ms
c CURRENT OPTIMUM=               54892 		Current CPU time: 135.36 ms
c CURRENT OPTIMUM=               54887 		Current CPU time: 136.20 ms
c CURRENT OPTIMUM=               54882 		Current CPU time: 136.95 ms
c CURRENT OPTIMUM=               54877 		Current CPU time: 137.70 ms
c CURRENT OPTIMUM=               54872 		Current CPU time: 138.38 ms
c CURRENT OPTIMUM=               54867 		Current CPU time: 139.22 ms
c CURRENT OPTIMUM=               54862 		Current CPU time: 139.98 ms
c CURRENT OPTIMUM=               54857 		Current CPU time: 140.74 ms
c CURRENT OPTIMUM=               54852 		Current CPU time: 141.41 ms
c CURRENT OPTIMUM=               54847 		Current CPU time: 142.17 ms
c CURRENT OPTIMUM=               54842 		Current CPU time: 142.86 ms
c CURRENT OPTIMUM=               54837 		Current CPU time: 143.55 ms
c CURRENT OPTIMUM=               54832 		Current CPU time: 144.14 ms
c CURRENT OPTIMUM=               54827 		Current CPU time: 145.00 ms
c CURRENT OPTIMUM=               54822 		Current CPU time: 145.78 ms
c CURRENT OPTIMUM=               54817 		Current CPU time: 146.55 ms
c CURRENT OPTIMUM=               54812 		Current CPU time: 147.23 ms
c CURRENT OPTIMUM=               54807 		Current CPU time: 148.01 ms
c CURRENT OPTIMUM=               54802 		Current CPU time: 148.71 ms
c CURRENT OPTIMUM=               54797 		Current CPU time: 149.41 ms
c CURRENT OPTIMUM=               54792 		Current CPU time: 150.01 ms
c CURRENT OPTIMUM=               54787 		Current CPU time: 150.80 ms
c CURRENT OPTIMUM=               54782 		Current CPU time: 151.51 ms
c CURRENT OPTIMUM=               54777 		Current CPU time: 152.21 ms
c CURRENT OPTIMUM=               54772 		Current CPU time: 152.82 ms
c CURRENT OPTIMUM=               54767 		Current CPU time: 153.53 ms
c CURRENT OPTIMUM=               54762 		Current CPU time: 154.15 ms
c CURRENT OPTIMUM=               54757 		Current CPU time: 154.77 ms
c CURRENT OPTIMUM=               54752 		Current CPU time: 155.31 ms
c CURRENT OPTIMUM=               54747 		Current CPU time: 156.19 ms
c CURRENT OPTIMUM=               54742 		Current CPU time: 157.00 ms
c CURRENT OPTIMUM=               54737 		Current CPU time: 157.80 ms
c CURRENT OPTIMUM=               54732 		Current CPU time: 158.52 ms
c CURRENT OPTIMUM=               54727 		Current CPU time: 159.33 ms
c CURRENT OPTIMUM=               54722 		Current CPU time: 160.05 ms
c CURRENT OPTIMUM=               54717 		Current CPU time: 160.77 ms
c CURRENT OPTIMUM=               54712 		Current CPU time: 161.41 ms
c CURRENT OPTIMUM=               54707 		Current CPU time: 162.21 ms
c CURRENT OPTIMUM=               54702 		Current CPU time: 162.94 ms
c CURRENT OPTIMUM=               54697 		Current CPU time: 163.66 ms
c CURRENT OPTIMUM=               54692 		Current CPU time: 164.30 ms
c CURRENT OPTIMUM=               54687 		Current CPU time: 165.03 ms
c CURRENT OPTIMUM=               54682 		Current CPU time: 165.67 ms
c CURRENT OPTIMUM=               54677 		Current CPU time: 166.31 ms
c CURRENT OPTIMUM=               54672 		Current CPU time: 166.86 ms
c CURRENT OPTIMUM=               54667 		Current CPU time: 167.68 ms
c CURRENT OPTIMUM=               54662 		Current CPU time: 168.42 ms
c CURRENT OPTIMUM=               54657 		Current CPU time: 169.16 ms
c CURRENT OPTIMUM=               54652 		Current CPU time: 169.80 ms
c CURRENT OPTIMUM=               54647 		Current CPU time: 170.54 ms
c CURRENT OPTIMUM=               54642 		Current CPU time: 171.19 ms
c CURRENT OPTIMUM=               54637 		Current CPU time: 171.85 ms
c CURRENT OPTIMUM=               54632 		Current CPU time: 172.40 ms
c CURRENT OPTIMUM=               54627 		Current CPU time: 173.15 ms
c CURRENT OPTIMUM=               54622 		Current CPU time: 173.81 ms
c CURRENT OPTIMUM=               54617 		Current CPU time: 174.46 ms
c CURRENT OPTIMUM=               54612 		Current CPU time: 175.03 ms
c CURRENT OPTIMUM=               54607 		Current CPU time: 175.69 ms
c CURRENT OPTIMUM=               54602 		Current CPU time: 176.25 ms
c CURRENT OPTIMUM=               54597 		Current CPU time: 176.83 ms
c CURRENT OPTIMUM=               54592 		Current CPU time: 177.30 ms
c CURRENT OPTIMUM=               54587 		Current CPU time: 178.25 ms
c CURRENT OPTIMUM=               54582 		Current CPU time: 179.11 ms
c CURRENT OPTIMUM=               54577 		Current CPU time: 179.96 ms
c CURRENT OPTIMUM=               54572 		Current CPU time: 180.73 ms
c CURRENT OPTIMUM=               54567 		Current CPU time: 181.59 ms
c CURRENT OPTIMUM=               54562 		Current CPU time: 182.36 ms
c CURRENT OPTIMUM=               54557 		Current CPU time: 183.13 ms
c CURRENT OPTIMUM=               54552 		Current CPU time: 183.80 ms
c CURRENT OPTIMUM=               54547 		Current CPU time: 184.67 ms
c CURRENT OPTIMUM=               54542 		Current CPU time: 185.45 ms
c CURRENT OPTIMUM=               54537 		Current CPU time: 186.22 ms
c CURRENT OPTIMUM=               54532 		Current CPU time: 186.91 ms
c CURRENT OPTIMUM=               54527 		Current CPU time: 187.69 ms
c CURRENT OPTIMUM=               54522 		Current CPU time: 188.37 ms
c CURRENT OPTIMUM=               54517 		Current CPU time: 189.05 ms
c CURRENT OPTIMUM=               54512 		Current CPU time: 189.64 ms
c CURRENT OPTIMUM=               54507 		Current CPU time: 190.53 ms
c CURRENT OPTIMUM=               54502 		Current CPU time: 191.31 ms
c CURRENT OPTIMUM=               54497 		Current CPU time: 192.10 ms
c CURRENT OPTIMUM=               54492 		Current CPU time: 192.79 ms
c CURRENT OPTIMUM=               54487 		Current CPU time: 193.59 ms
c CURRENT OPTIMUM=               54482 		Current CPU time: 194.28 ms
c CURRENT OPTIMUM=               54477 		Current CPU time: 194.97 ms
c CURRENT OPTIMUM=               54472 		Current CPU time: 195.58 ms
c CURRENT OPTIMUM=               54467 		Current CPU time: 196.38 ms
c CURRENT OPTIMUM=               54462 		Current CPU time: 197.08 ms
c CURRENT OPTIMUM=               54457 		Current CPU time: 197.77 ms
c CURRENT OPTIMUM=               54452 		Current CPU time: 198.38 ms
c CURRENT OPTIMUM=               54447 		Current CPU time: 199.09 ms
c CURRENT OPTIMUM=               54442 		Current CPU time: 199.69 ms
c CURRENT OPTIMUM=               54437 		Current CPU time: 200.30 ms
c CURRENT OPTIMUM=               54432 		Current CPU time: 200.81 ms
c CURRENT OPTIMUM=               54427 		Current CPU time: 201.72 ms
c CURRENT OPTIMUM=               54422 		Current CPU time: 202.53 ms
c CURRENT OPTIMUM=               54417 		Current CPU time: 203.34 ms
c CURRENT OPTIMUM=               54412 		Current CPU time: 204.06 ms
c CURRENT OPTIMUM=               54407 		Current CPU time: 204.88 ms
c CURRENT OPTIMUM=               54402 		Current CPU time: 205.60 ms
c CURRENT OPTIMUM=               54397 		Current CPU time: 206.31 ms
c CURRENT OPTIMUM=               54392 		Current CPU time: 206.93 ms
c CURRENT OPTIMUM=               54387 		Current CPU time: 207.76 ms
c CURRENT OPTIMUM=               54382 		Current CPU time: 208.49 ms
c CURRENT OPTIMUM=               54377 		Current CPU time: 209.21 ms
c CURRENT OPTIMUM=               54372 		Current CPU time: 209.83 ms
c CURRENT OPTIMUM=               54367 		Current CPU time: 210.56 ms
c CURRENT OPTIMUM=               54362 		Current CPU time: 211.19 ms
c CURRENT OPTIMUM=               54357 		Current CPU time: 211.81 ms
c CURRENT OPTIMUM=               54352 		Current CPU time: 212.33 ms
c CURRENT OPTIMUM=               54347 		Current CPU time: 213.17 ms
c CURRENT OPTIMUM=               54342 		Current CPU time: 213.91 ms
c CURRENT OPTIMUM=               54337 		Current CPU time: 214.64 ms
c CURRENT OPTIMUM=               54332 		Current CPU time: 215.28 ms
c CURRENT OPTIMUM=               54327 		Current CPU time: 216.02 ms
c CURRENT OPTIMUM=               54322 		Current CPU time: 216.65 ms
c CURRENT OPTIMUM=               54317 		Current CPU time: 217.29 ms
c CURRENT OPTIMUM=               54312 		Current CPU time: 217.82 ms
c CURRENT OPTIMUM=               54307 		Current CPU time: 218.57 ms
c CURRENT OPTIMUM=               54302 		Current CPU time: 219.20 ms
c CURRENT OPTIMUM=               54297 		Current CPU time: 219.85 ms
c CURRENT OPTIMUM=               54292 		Current CPU time: 220.37 ms
c CURRENT OPTIMUM=               54287 		Current CPU time: 221.02 ms
c CURRENT OPTIMUM=               54282 		Current CPU time: 221.56 ms
c CURRENT OPTIMUM=               54277 		Current CPU time: 222.09 ms
c CURRENT OPTIMUM=               54272 		Current CPU time: 222.53 ms
c CURRENT OPTIMUM=               54242 		Current CPU time: 223.60 ms
c CURRENT OPTIMUM=               54237 		Current CPU time: 224.68 ms
c CURRENT OPTIMUM=               54232 		Current CPU time: 225.65 ms
c CURRENT OPTIMUM=               54170 		Current CPU time: 226.73 ms
c CURRENT OPTIMUM=               54098 		Current CPU time: 227.71 ms
c CURRENT OPTIMUM=               54093 		Current CPU time: 228.69 ms
c CURRENT OPTIMUM=               54088 		Current CPU time: 229.56 ms
c CURRENT OPTIMUM=               54083 		Current CPU time: 230.65 ms
c CURRENT OPTIMUM=               54078 		Current CPU time: 231.63 ms
c CURRENT OPTIMUM=               54073 		Current CPU time: 232.63 ms
c CURRENT OPTIMUM=               54068 		Current CPU time: 233.50 ms
c CURRENT OPTIMUM=               54063 		Current CPU time: 234.50 ms
c CURRENT OPTIMUM=               54058 		Current CPU time: 235.38 ms
c CURRENT OPTIMUM=               54053 		Current CPU time: 236.26 ms
c CURRENT OPTIMUM=               54048 		Current CPU time: 237.04 ms
c CURRENT OPTIMUM=               54043 		Current CPU time: 238.26 ms
c CURRENT OPTIMUM=               54038 		Current CPU time: 239.36 ms
c CURRENT OPTIMUM=               54033 		Current CPU time: 240.47 ms
c CURRENT OPTIMUM=               54028 		Current CPU time: 241.48 ms
c CURRENT OPTIMUM=               54023 		Current CPU time: 242.59 ms
c CURRENT OPTIMUM=               54018 		Current CPU time: 243.59 ms
c CURRENT OPTIMUM=               54013 		Current CPU time: 244.60 ms
c CURRENT OPTIMUM=               54008 		Current CPU time: 245.50 ms
c CURRENT OPTIMUM=               54003 		Current CPU time: 246.63 ms
c CURRENT OPTIMUM=               53998 		Current CPU time: 247.65 ms
c CURRENT OPTIMUM=               53993 		Current CPU time: 248.66 ms
c CURRENT OPTIMUM=               53988 		Current CPU time: 249.57 ms
c CURRENT OPTIMUM=               53983 		Current CPU time: 250.58 ms
c CURRENT OPTIMUM=               53978 		Current CPU time: 251.49 ms
c CURRENT OPTIMUM=               53973 		Current CPU time: 252.40 ms
c CURRENT OPTIMUM=               53968 		Current CPU time: 253.20 ms
c CURRENT OPTIMUM=               53963 		Current CPU time: 254.34 ms
c CURRENT OPTIMUM=               53958 		Current CPU time: 255.37 ms
c CURRENT OPTIMUM=               53953 		Current CPU time: 256.39 ms
c CURRENT OPTIMUM=               53948 		Current CPU time: 257.31 ms
c CURRENT OPTIMUM=               53943 		Current CPU time: 258.35 ms
c CURRENT OPTIMUM=               53938 		Current CPU time: 259.27 ms
c CURRENT OPTIMUM=               53933 		Current CPU time: 260.19 ms
c CURRENT OPTIMUM=               53928 		Current CPU time: 261.00 ms
c CURRENT OPTIMUM=               53923 		Current CPU time: 262.04 ms
c CURRENT OPTIMUM=               53918 		Current CPU time: 262.97 ms
c CURRENT OPTIMUM=               53913 		Current CPU time: 263.90 ms
c CURRENT OPTIMUM=               53908 		Current CPU time: 264.71 ms
c CURRENT OPTIMUM=               53903 		Current CPU time: 265.65 ms
c CURRENT OPTIMUM=               53898 		Current CPU time: 266.46 ms
c CURRENT OPTIMUM=               53893 		Current CPU time: 267.28 ms
c CURRENT OPTIMUM=               53888 		Current CPU time: 267.98 ms
c CURRENT OPTIMUM=               53883 		Current CPU time: 269.38 ms
c CURRENT OPTIMUM=               53878 		Current CPU time: 270.67 ms
c CURRENT OPTIMUM=               53873 		Current CPU time: 271.96 ms
c CURRENT OPTIMUM=               53868 		Current CPU time: 273.14 ms
c CURRENT OPTIMUM=               53863 		Current CPU time: 274.43 ms
c CURRENT OPTIMUM=               53858 		Current CPU time: 275.62 ms
c CURRENT OPTIMUM=               53853 		Current CPU time: 276.80 ms
c CURRENT OPTIMUM=               53848 		Current CPU time: 277.86 ms
c CURRENT OPTIMUM=               53843 		Current CPU time: 279.17 ms
c CURRENT OPTIMUM=               53838 		Current CPU time: 280.36 ms
c CURRENT OPTIMUM=               53833 		Current CPU time: 281.55 ms
c CURRENT OPTIMUM=               53828 		Current CPU time: 282.63 ms
c CURRENT OPTIMUM=               53823 		Current CPU time: 283.83 ms
c CURRENT OPTIMUM=               53818 		Current CPU time: 284.91 ms
c CURRENT OPTIMUM=               53813 		Current CPU time: 285.99 ms
c CURRENT OPTIMUM=               53808 		Current CPU time: 286.95 ms
c CURRENT OPTIMUM=               53803 		Current CPU time: 288.27 ms
c CURRENT OPTIMUM=               53798 		Current CPU time: 289.48 ms
c CURRENT OPTIMUM=               53793 		Current CPU time: 290.69 ms
c CURRENT OPTIMUM=               53788 		Current CPU time: 291.77 ms
c CURRENT OPTIMUM=               53783 		Current CPU time: 292.98 ms
c CURRENT OPTIMUM=               53778 		Current CPU time: 294.09 ms
c CURRENT OPTIMUM=               53773 		Current CPU time: 295.18 ms
c CURRENT OPTIMUM=               53768 		Current CPU time: 296.16 ms
c CURRENT OPTIMUM=               53763 		Current CPU time: 297.37 ms
c CURRENT OPTIMUM=               53758 		Current CPU time: 298.47 ms
c CURRENT OPTIMUM=               53753 		Current CPU time: 299.58 ms
c CURRENT OPTIMUM=               53748 		Current CPU time: 300.57 ms
c CURRENT OPTIMUM=               53743 		Current CPU time: 301.67 ms
c CURRENT OPTIMUM=               53738 		Current CPU time: 302.66 ms
c CURRENT OPTIMUM=               53733 		Current CPU time: 303.65 ms
c CURRENT OPTIMUM=               53728 		Current CPU time: 304.51 ms
c CURRENT OPTIMUM=               53723 		Current CPU time: 305.87 ms
c CURRENT OPTIMUM=               53718 		Current CPU time: 307.11 ms
c CURRENT OPTIMUM=               53713 		Current CPU time: 308.35 ms
c CURRENT OPTIMUM=               53708 		Current CPU time: 309.47 ms
c CURRENT OPTIMUM=               53703 		Current CPU time: 310.71 ms
c CURRENT OPTIMUM=               53698 		Current CPU time: 311.84 ms
c CURRENT OPTIMUM=               53693 		Current CPU time: 312.97 ms
c CURRENT OPTIMUM=               53688 		Current CPU time: 313.97 ms
c CURRENT OPTIMUM=               53683 		Current CPU time: 315.22 ms
c CURRENT OPTIMUM=               53678 		Current CPU time: 316.35 ms
c CURRENT OPTIMUM=               53673 		Current CPU time: 317.49 ms
c CURRENT OPTIMUM=               53668 		Current CPU time: 318.50 ms
c CURRENT OPTIMUM=               53663 		Current CPU time: 319.63 ms
c CURRENT OPTIMUM=               53658 		Current CPU time: 320.65 ms
c CURRENT OPTIMUM=               53653 		Current CPU time: 321.66 ms
c CURRENT OPTIMUM=               53648 		Current CPU time: 322.55 ms
c CURRENT OPTIMUM=               53643 		Current CPU time: 323.82 ms
c CURRENT OPTIMUM=               53638 		Current CPU time: 324.97 ms
c CURRENT OPTIMUM=               53633 		Current CPU time: 326.12 ms
c CURRENT OPTIMUM=               53628 		Current CPU time: 327.14 ms
c CURRENT OPTIMUM=               53623 		Current CPU time: 328.29 ms
c CURRENT OPTIMUM=               53618 		Current CPU time: 329.32 ms
c CURRENT OPTIMUM=               53613 		Current CPU time: 330.34 ms
c CURRENT OPTIMUM=               53608 		Current CPU time: 331.24 ms
c CURRENT OPTIMUM=               53603 		Current CPU time: 332.41 ms
c CURRENT OPTIMUM=               53598 		Current CPU time: 333.44 ms
c CURRENT OPTIMUM=               53593 		Current CPU time: 334.48 ms
c CURRENT OPTIMUM=               53588 		Current CPU time: 335.38 ms
c CURRENT OPTIMUM=               53583 		Current CPU time: 336.42 ms
c CURRENT OPTIMUM=               53578 		Current CPU time: 337.33 ms
c CURRENT OPTIMUM=               53573 		Current CPU time: 338.24 ms
c CURRENT OPTIMUM=               53568 		Current CPU time: 339.03 ms
c CURRENT OPTIMUM=               53563 		Current CPU time: 340.45 ms
c CURRENT OPTIMUM=               53558 		Current CPU time: 341.76 ms
c CURRENT OPTIMUM=               53553 		Current CPU time: 343.07 ms
c CURRENT OPTIMUM=               53548 		Current CPU time: 344.24 ms
c CURRENT OPTIMUM=               53543 		Current CPU time: 345.56 ms
c CURRENT OPTIMUM=               53538 		Current CPU time: 346.74 ms
c CURRENT OPTIMUM=               53533 		Current CPU time: 347.93 ms
c CURRENT OPTIMUM=               53528 		Current CPU time: 348.98 ms
c CURRENT OPTIMUM=               53523 		Current CPU time: 350.31 ms
c CURRENT OPTIMUM=               53518 		Current CPU time: 351.49 ms
c CURRENT OPTIMUM=               53513 		Current CPU time: 352.69 ms
c CURRENT OPTIMUM=               53508 		Current CPU time: 353.76 ms
c CURRENT OPTIMUM=               53503 		Current CPU time: 354.95 ms
c CURRENT OPTIMUM=               53498 		Current CPU time: 356.02 ms
c CURRENT OPTIMUM=               53493 		Current CPU time: 357.08 ms
c CURRENT OPTIMUM=               53488 		Current CPU time: 358.02 ms
c CURRENT OPTIMUM=               53483 		Current CPU time: 359.36 ms
c CURRENT OPTIMUM=               53478 		Current CPU time: 360.56 ms
c CURRENT OPTIMUM=               53473 		Current CPU time: 361.77 ms
c CURRENT OPTIMUM=               53468 		Current CPU time: 362.84 ms
c CURRENT OPTIMUM=               53463 		Current CPU time: 364.06 ms
c CURRENT OPTIMUM=               53458 		Current CPU time: 365.14 ms
c CURRENT OPTIMUM=               53453 		Current CPU time: 366.22 ms
c CURRENT OPTIMUM=               53448 		Current CPU time: 367.17 ms
c CURRENT OPTIMUM=               53443 		Current CPU time: 368.39 ms
c CURRENT OPTIMUM=               53438 		Current CPU time: 369.47 ms
c CURRENT OPTIMUM=               53433 		Current CPU time: 370.57 ms
c CURRENT OPTIMUM=               53428 		Current CPU time: 371.55 ms
c CURRENT OPTIMUM=               53423 		Current CPU time: 372.64 ms
c CURRENT OPTIMUM=               53418 		Current CPU time: 373.60 ms
c CURRENT OPTIMUM=               53413 		Current CPU time: 374.56 ms
c CURRENT OPTIMUM=               53408 		Current CPU time: 375.38 ms
c CURRENT OPTIMUM=               53403 		Current CPU time: 376.75 ms
c CURRENT OPTIMUM=               53398 		Current CPU time: 378.00 ms
c CURRENT OPTIMUM=               53393 		Current CPU time: 379.24 ms
c CURRENT OPTIMUM=               53388 		Current CPU time: 380.34 ms
c CURRENT OPTIMUM=               53383 		Current CPU time: 381.58 ms
c CURRENT OPTIMUM=               53378 		Current CPU time: 382.70 ms
c CURRENT OPTIMUM=               53373 		Current CPU time: 383.80 ms
c CURRENT OPTIMUM=               53368 		Current CPU time: 384.78 ms
c CURRENT OPTIMUM=               53363 		Current CPU time: 386.02 ms
c CURRENT OPTIMUM=               53358 		Current CPU time: 387.14 ms
c CURRENT OPTIMUM=               53353 		Current CPU time: 388.26 ms
c CURRENT OPTIMUM=               53348 		Current CPU time: 389.24 ms
c CURRENT OPTIMUM=               53343 		Current CPU time: 390.36 ms
c CURRENT OPTIMUM=               53338 		Current CPU time: 391.34 ms
c CURRENT OPTIMUM=               53333 		Current CPU time: 392.32 ms
c CURRENT OPTIMUM=               53328 		Current CPU time: 393.16 ms
c CURRENT OPTIMUM=               53323 		Current CPU time: 394.43 ms
c CURRENT OPTIMUM=               53318 		Current CPU time: 395.55 ms
c CURRENT OPTIMUM=               53313 		Current CPU time: 396.69 ms
c CURRENT OPTIMUM=               53308 		Current CPU time: 397.68 ms
c CURRENT OPTIMUM=               53303 		Current CPU time: 398.81 ms
c CURRENT OPTIMUM=               53298 		Current CPU time: 399.80 ms
c CURRENT OPTIMUM=               53293 		Current CPU time: 400.79 ms
c CURRENT OPTIMUM=               53288 		Current CPU time: 401.64 ms
c CURRENT OPTIMUM=               53283 		Current CPU time: 402.78 ms
c CURRENT OPTIMUM=               53278 		Current CPU time: 403.77 ms
c CURRENT OPTIMUM=               53273 		Current CPU time: 404.77 ms
c CURRENT OPTIMUM=               53268 		Current CPU time: 405.63 ms
c CURRENT OPTIMUM=               53263 		Current CPU time: 406.63 ms
c CURRENT OPTIMUM=               53258 		Current CPU time: 407.48 ms
c CURRENT OPTIMUM=               53253 		Current CPU time: 408.34 ms
c CURRENT OPTIMUM=               53248 		Current CPU time: 409.06 ms
c CURRENT OPTIMUM=               53234 		Current CPU time: 410.50 ms
c CURRENT OPTIMUM=               53229 		Current CPU time: 411.94 ms
c CURRENT OPTIMUM=               53224 		Current CPU time: 413.24 ms
c CURRENT OPTIMUM=               53219 		Current CPU time: 414.82 ms
c CURRENT OPTIMUM=               53214 		Current CPU time: 416.26 ms
c CURRENT OPTIMUM=               53209 		Current CPU time: 417.71 ms
c CURRENT OPTIMUM=               53204 		Current CPU time: 419.02 ms
c CURRENT OPTIMUM=               53199 		Current CPU time: 420.47 ms
c CURRENT OPTIMUM=               53194 		Current CPU time: 421.78 ms
c CURRENT OPTIMUM=               53189 		Current CPU time: 423.09 ms
c CURRENT OPTIMUM=               53184 		Current CPU time: 424.25 ms
c CURRENT OPTIMUM=               53162 		Current CPU time: 425.86 ms
c CURRENT OPTIMUM=               53090 		Current CPU time: 427.31 ms
c CURRENT OPTIMUM=               53085 		Current CPU time: 428.78 ms
c CURRENT OPTIMUM=               53080 		Current CPU time: 430.09 ms
c CURRENT OPTIMUM=               53018 		Current CPU time: 431.56 ms
c CURRENT OPTIMUM=               52946 		Current CPU time: 432.88 ms
c CURRENT OPTIMUM=               52941 		Current CPU time: 434.21 ms
c CURRENT OPTIMUM=               52936 		Current CPU time: 435.39 ms
c CURRENT OPTIMUM=               52931 		Current CPU time: 436.86 ms
c CURRENT OPTIMUM=               52926 		Current CPU time: 438.21 ms
c CURRENT OPTIMUM=               52921 		Current CPU time: 439.54 ms
c CURRENT OPTIMUM=               52916 		Current CPU time: 440.73 ms
c CURRENT OPTIMUM=               52911 		Current CPU time: 442.06 ms
c CURRENT OPTIMUM=               52906 		Current CPU time: 443.25 ms
c CURRENT OPTIMUM=               52901 		Current CPU time: 444.45 ms
c CURRENT OPTIMUM=               52896 		Current CPU time: 445.49 ms
c CURRENT OPTIMUM=               52891 		Current CPU time: 447.13 ms
c CURRENT OPTIMUM=               52886 		Current CPU time: 448.61 ms
c CURRENT OPTIMUM=               52881 		Current CPU time: 450.11 ms
c CURRENT OPTIMUM=               52876 		Current CPU time: 451.45 ms
c CURRENT OPTIMUM=               52871 		Current CPU time: 452.96 ms
c CURRENT OPTIMUM=               52866 		Current CPU time: 454.30 ms
c CURRENT OPTIMUM=               52861 		Current CPU time: 455.66 ms
c CURRENT OPTIMUM=               52856 		Current CPU time: 456.87 ms
c CURRENT OPTIMUM=               52851 		Current CPU time: 458.38 ms
c CURRENT OPTIMUM=               52846 		Current CPU time: 459.73 ms
c CURRENT OPTIMUM=               52841 		Current CPU time: 461.10 ms
c CURRENT OPTIMUM=               52836 		Current CPU time: 462.31 ms
c CURRENT OPTIMUM=               52831 		Current CPU time: 463.67 ms
c CURRENT OPTIMUM=               52826 		Current CPU time: 464.89 ms
c CURRENT OPTIMUM=               52821 		Current CPU time: 466.10 ms
c CURRENT OPTIMUM=               52816 		Current CPU time: 467.17 ms
c CURRENT OPTIMUM=               52811 		Current CPU time: 468.69 ms
c CURRENT OPTIMUM=               52806 		Current CPU time: 470.06 ms
c CURRENT OPTIMUM=               52801 		Current CPU time: 471.44 ms
c CURRENT OPTIMUM=               52796 		Current CPU time: 472.67 ms
c CURRENT OPTIMUM=               52791 		Current CPU time: 474.04 ms
c CURRENT OPTIMUM=               52786 		Current CPU time: 475.28 ms
c CURRENT OPTIMUM=               52781 		Current CPU time: 476.51 ms
c CURRENT OPTIMUM=               52776 		Current CPU time: 477.58 ms
c CURRENT OPTIMUM=               52771 		Current CPU time: 478.97 ms
c CURRENT OPTIMUM=               52766 		Current CPU time: 480.21 ms
c CURRENT OPTIMUM=               52761 		Current CPU time: 481.44 ms
c CURRENT OPTIMUM=               52756 		Current CPU time: 482.53 ms
c CURRENT OPTIMUM=               52751 		Current CPU time: 483.77 ms
c CURRENT OPTIMUM=               52746 		Current CPU time: 484.85 ms
c CURRENT OPTIMUM=               52741 		Current CPU time: 485.94 ms
c CURRENT OPTIMUM=               52736 		Current CPU time: 486.87 ms
c CURRENT OPTIMUM=               52730 		Current CPU time: 488.58 ms
c CURRENT OPTIMUM=               52658 		Current CPU time: 490.14 ms
c CURRENT OPTIMUM=               52653 		Current CPU time: 491.69 ms
c CURRENT OPTIMUM=               52648 		Current CPU time: 493.11 ms
c CURRENT OPTIMUM=               52643 		Current CPU time: 494.82 ms
c CURRENT OPTIMUM=               52638 		Current CPU time: 496.38 ms
c CURRENT OPTIMUM=               52633 		Current CPU time: 497.95 ms
c CURRENT OPTIMUM=               52628 		Current CPU time: 499.37 ms
c CURRENT OPTIMUM=               52623 		Current CPU time: 500.94 ms
c CURRENT OPTIMUM=               52618 		Current CPU time: 502.36 ms
c CURRENT OPTIMUM=               52613 		Current CPU time: 503.78 ms
c CURRENT OPTIMUM=               52608 		Current CPU time: 505.05 ms
c CURRENT OPTIMUM=               52586 		Current CPU time: 506.78 ms
c CURRENT OPTIMUM=               52514 		Current CPU time: 508.36 ms
c CURRENT OPTIMUM=               52509 		Current CPU time: 509.95 ms
c CURRENT OPTIMUM=               52504 		Current CPU time: 511.37 ms
c CURRENT OPTIMUM=               52442 		Current CPU time: 512.97 ms
c CURRENT OPTIMUM=               52370 		Current CPU time: 514.43 ms
c CURRENT OPTIMUM=               52365 		Current CPU time: 515.87 ms
c CURRENT OPTIMUM=               52360 		Current CPU time: 517.17 ms
c CURRENT OPTIMUM=               52355 		Current CPU time: 518.77 ms
c CURRENT OPTIMUM=               52350 		Current CPU time: 520.24 ms
c CURRENT OPTIMUM=               52345 		Current CPU time: 521.68 ms
c CURRENT OPTIMUM=               52340 		Current CPU time: 522.99 ms
c CURRENT OPTIMUM=               52335 		Current CPU time: 524.44 ms
c CURRENT OPTIMUM=               52330 		Current CPU time: 525.76 ms
c CURRENT OPTIMUM=               52325 		Current CPU time: 527.05 ms
c CURRENT OPTIMUM=               52320 		Current CPU time: 528.19 ms
c CURRENT OPTIMUM=               52315 		Current CPU time: 529.98 ms
c CURRENT OPTIMUM=               52310 		Current CPU time: 531.62 ms
c CURRENT OPTIMUM=               52305 		Current CPU time: 533.26 ms
c CURRENT OPTIMUM=               52300 		Current CPU time: 534.74 ms
c CURRENT OPTIMUM=               52295 		Current CPU time: 536.38 ms
c CURRENT OPTIMUM=               52290 		Current CPU time: 537.87 ms
c CURRENT OPTIMUM=               52285 		Current CPU time: 539.34 ms
c CURRENT OPTIMUM=               52280 		Current CPU time: 540.66 ms
c CURRENT OPTIMUM=               52275 		Current CPU time: 542.29 ms
c CURRENT OPTIMUM=               52270 		Current CPU time: 543.77 ms
c CURRENT OPTIMUM=               52265 		Current CPU time: 545.25 ms
c CURRENT OPTIMUM=               52260 		Current CPU time: 546.56 ms
c CURRENT OPTIMUM=               52255 		Current CPU time: 548.03 ms
c CURRENT OPTIMUM=               52250 		Current CPU time: 549.35 ms
c CURRENT OPTIMUM=               52245 		Current CPU time: 550.66 ms
c CURRENT OPTIMUM=               52240 		Current CPU time: 551.82 ms
c CURRENT OPTIMUM=               52235 		Current CPU time: 553.46 ms
c CURRENT OPTIMUM=               52230 		Current CPU time: 554.95 ms
c CURRENT OPTIMUM=               52225 		Current CPU time: 556.45 ms
c CURRENT OPTIMUM=               52220 		Current CPU time: 557.77 ms
c CURRENT OPTIMUM=               52215 		Current CPU time: 559.26 ms
c CURRENT OPTIMUM=               52210 		Current CPU time: 560.58 ms
c CURRENT OPTIMUM=               52205 		Current CPU time: 561.91 ms
c CURRENT OPTIMUM=               52200 		Current CPU time: 563.08 ms
c CURRENT OPTIMUM=               52195 		Current CPU time: 564.57 ms
c CURRENT OPTIMUM=               52190 		Current CPU time: 565.91 ms
c CURRENT OPTIMUM=               52185 		Current CPU time: 567.25 ms
c CURRENT OPTIMUM=               52180 		Current CPU time: 568.41 ms
c CURRENT OPTIMUM=               52175 		Current CPU time: 569.76 ms
c CURRENT OPTIMUM=               52170 		Current CPU time: 570.93 ms
c CURRENT OPTIMUM=               52165 		Current CPU time: 572.10 ms
c CURRENT OPTIMUM=               52160 		Current CPU time: 573.11 ms
c CURRENT OPTIMUM=               52154 		Current CPU time: 574.79 ms
c CURRENT OPTIMUM=               52082 		Current CPU time: 576.31 ms
c CURRENT OPTIMUM=               52077 		Current CPU time: 577.82 ms
c CURRENT OPTIMUM=               52072 		Current CPU time: 579.18 ms
c CURRENT OPTIMUM=               52067 		Current CPU time: 580.87 ms
c CURRENT OPTIMUM=               52062 		Current CPU time: 582.39 ms
c CURRENT OPTIMUM=               52057 		Current CPU time: 583.92 ms
c CURRENT OPTIMUM=               52052 		Current CPU time: 585.27 ms
c CURRENT OPTIMUM=               52047 		Current CPU time: 586.80 ms
c CURRENT OPTIMUM=               52042 		Current CPU time: 588.16 ms
c CURRENT OPTIMUM=               52037 		Current CPU time: 589.53 ms
c CURRENT OPTIMUM=               52032 		Current CPU time: 590.72 ms
c CURRENT OPTIMUM=               52010 		Current CPU time: 592.42 ms
c CURRENT OPTIMUM=               51938 		Current CPU time: 593.97 ms
c CURRENT OPTIMUM=               51933 		Current CPU time: 595.50 ms
c CURRENT OPTIMUM=               51928 		Current CPU time: 596.88 ms
c CURRENT OPTIMUM=               51866 		Current CPU time: 598.42 ms
c CURRENT OPTIMUM=               51794 		Current CPU time: 599.80 ms
c CURRENT OPTIMUM=               51789 		Current CPU time: 601.17 ms
c CURRENT OPTIMUM=               51784 		Current CPU time: 602.38 ms
c CURRENT OPTIMUM=               51779 		Current CPU time: 603.93 ms
c CURRENT OPTIMUM=               51774 		Current CPU time: 605.31 ms
c CURRENT OPTIMUM=               51769 		Current CPU time: 606.69 ms
c CURRENT OPTIMUM=               51764 		Current CPU time: 607.91 ms
c CURRENT OPTIMUM=               51759 		Current CPU time: 609.29 ms
c CURRENT OPTIMUM=               51754 		Current CPU time: 610.50 ms
c CURRENT OPTIMUM=               51749 		Current CPU time: 611.73 ms
c CURRENT OPTIMUM=               51744 		Current CPU time: 612.76 ms
c CURRENT OPTIMUM=               51739 		Current CPU time: 614.50 ms
c CURRENT OPTIMUM=               51734 		Current CPU time: 616.07 ms
c CURRENT OPTIMUM=               51729 		Current CPU time: 617.64 ms
c CURRENT OPTIMUM=               51724 		Current CPU time: 619.04 ms
c CURRENT OPTIMUM=               51719 		Current CPU time: 620.61 ms
c CURRENT OPTIMUM=               51714 		Current CPU time: 622.02 ms
c CURRENT OPTIMUM=               51709 		Current CPU time: 623.42 ms
c CURRENT OPTIMUM=               51704 		Current CPU time: 624.65 ms
c CURRENT OPTIMUM=               51699 		Current CPU time: 626.23 ms
c CURRENT OPTIMUM=               51694 		Current CPU time: 627.64 ms
c CURRENT OPTIMUM=               51689 		Current CPU time: 629.05 ms
c CURRENT OPTIMUM=               51684 		Current CPU time: 630.29 ms
c CURRENT OPTIMUM=               51679 		Current CPU time: 631.70 ms
c CURRENT OPTIMUM=               51674 		Current CPU time: 632.93 ms
c CURRENT OPTIMUM=               51669 		Current CPU time: 634.17 ms
c CURRENT OPTIMUM=               51664 		Current CPU time: 635.23 ms
c CURRENT OPTIMUM=               51659 		Current CPU time: 636.83 ms
c CURRENT OPTIMUM=               51654 		Current CPU time: 638.25 ms
c CURRENT OPTIMUM=               51649 		Current CPU time: 639.68 ms
c CURRENT OPTIMUM=               51644 		Current CPU time: 640.92 ms
c CURRENT OPTIMUM=               51639 		Current CPU time: 642.34 ms
c CURRENT OPTIMUM=               51634 		Current CPU time: 643.60 ms
c CURRENT OPTIMUM=               51629 		Current CPU time: 644.84 ms
c CURRENT OPTIMUM=               51624 		Current CPU time: 645.91 ms
c CURRENT OPTIMUM=               51619 		Current CPU time: 647.35 ms
c CURRENT OPTIMUM=               51614 		Current CPU time: 648.60 ms
c CURRENT OPTIMUM=               51609 		Current CPU time: 649.86 ms
c CURRENT OPTIMUM=               51604 		Current CPU time: 650.94 ms
c CURRENT OPTIMUM=               51599 		Current CPU time: 652.20 ms
c CURRENT OPTIMUM=               51594 		Current CPU time: 653.27 ms
c CURRENT OPTIMUM=               51589 		Current CPU time: 654.35 ms
c CURRENT OPTIMUM=               51584 		Current CPU time: 655.25 ms
c CURRENT OPTIMUM=               51579 		Current CPU time: 657.23 ms
c CURRENT OPTIMUM=               51574 		Current CPU time: 659.04 ms
c CURRENT OPTIMUM=               51569 		Current CPU time: 660.85 ms
c CURRENT OPTIMUM=               51564 		Current CPU time: 662.48 ms
c CURRENT OPTIMUM=               51559 		Current CPU time: 664.30 ms
c CURRENT OPTIMUM=               51554 		Current CPU time: 665.93 ms
c CURRENT OPTIMUM=               51549 		Current CPU time: 667.56 ms
c CURRENT OPTIMUM=               51544 		Current CPU time: 669.03 ms
c CURRENT OPTIMUM=               51539 		Current CPU time: 670.85 ms
c CURRENT OPTIMUM=               51534 		Current CPU time: 672.50 ms
c CURRENT OPTIMUM=               51529 		Current CPU time: 674.13 ms
c CURRENT OPTIMUM=               51524 		Current CPU time: 675.60 ms
c CURRENT OPTIMUM=               51519 		Current CPU time: 677.26 ms
c CURRENT OPTIMUM=               51514 		Current CPU time: 678.72 ms
c CURRENT OPTIMUM=               51509 		Current CPU time: 680.19 ms
c CURRENT OPTIMUM=               51504 		Current CPU time: 681.47 ms
c CURRENT OPTIMUM=               51499 		Current CPU time: 683.31 ms
c CURRENT OPTIMUM=               51494 		Current CPU time: 684.97 ms
c CURRENT OPTIMUM=               51489 		Current CPU time: 686.63 ms
c CURRENT OPTIMUM=               51484 		Current CPU time: 688.11 ms
c CURRENT OPTIMUM=               51479 		Current CPU time: 689.77 ms
c CURRENT OPTIMUM=               51474 		Current CPU time: 691.26 ms
c CURRENT OPTIMUM=               51469 		Current CPU time: 692.73 ms
c CURRENT OPTIMUM=               51464 		Current CPU time: 694.04 ms
c CURRENT OPTIMUM=               51459 		Current CPU time: 695.71 ms
c CURRENT OPTIMUM=               51454 		Current CPU time: 697.19 ms
c CURRENT OPTIMUM=               51449 		Current CPU time: 698.69 ms
c CURRENT OPTIMUM=               51444 		Current CPU time: 699.99 ms
c CURRENT OPTIMUM=               51439 		Current CPU time: 701.48 ms
c CURRENT OPTIMUM=               51434 		Current CPU time: 702.78 ms
c CURRENT OPTIMUM=               51429 		Current CPU time: 704.09 ms
c CURRENT OPTIMUM=               51424 		Current CPU time: 705.22 ms
c CURRENT OPTIMUM=               51419 		Current CPU time: 707.09 ms
c CURRENT OPTIMUM=               51414 		Current CPU time: 708.77 ms
c CURRENT OPTIMUM=               51409 		Current CPU time: 710.46 ms
c CURRENT OPTIMUM=               51404 		Current CPU time: 711.97 ms
c CURRENT OPTIMUM=               51399 		Current CPU time: 713.66 ms
c CURRENT OPTIMUM=               51394 		Current CPU time: 715.17 ms
c CURRENT OPTIMUM=               51389 		Current CPU time: 716.68 ms
c CURRENT OPTIMUM=               51384 		Current CPU time: 717.99 ms
c CURRENT OPTIMUM=               51379 		Current CPU time: 719.70 ms
c CURRENT OPTIMUM=               51374 		Current CPU time: 721.22 ms
c CURRENT OPTIMUM=               51369 		Current CPU time: 722.72 ms
c CURRENT OPTIMUM=               51364 		Current CPU time: 724.06 ms
c CURRENT OPTIMUM=               51359 		Current CPU time: 725.57 ms
c CURRENT OPTIMUM=               51354 		Current CPU time: 726.91 ms
c CURRENT OPTIMUM=               51349 		Current CPU time: 728.23 ms
c CURRENT OPTIMUM=               51344 		Current CPU time: 729.38 ms
c CURRENT OPTIMUM=               51339 		Current CPU time: 731.09 ms
c CURRENT OPTIMUM=               51334 		Current CPU time: 732.62 ms
c CURRENT OPTIMUM=               51329 		Current CPU time: 734.15 ms
c CURRENT OPTIMUM=               51324 		Current CPU time: 735.49 ms
c CURRENT OPTIMUM=               51319 		Current CPU time: 737.02 ms
c CURRENT OPTIMUM=               51314 		Current CPU time: 738.36 ms
c CURRENT OPTIMUM=               51309 		Current CPU time: 739.71 ms
c CURRENT OPTIMUM=               51304 		Current CPU time: 740.86 ms
c CURRENT OPTIMUM=               51299 		Current CPU time: 742.39 ms
c CURRENT OPTIMUM=               51294 		Current CPU time: 743.74 ms
c CURRENT OPTIMUM=               51289 		Current CPU time: 745.09 ms
c CURRENT OPTIMUM=               51284 		Current CPU time: 746.25 ms
c CURRENT OPTIMUM=               51279 		Current CPU time: 747.60 ms
c CURRENT OPTIMUM=               51274 		Current CPU time: 748.75 ms
c CURRENT OPTIMUM=               51269 		Current CPU time: 749.91 ms
c CURRENT OPTIMUM=               51264 		Current CPU time: 750.87 ms
c starts	: 938
c conflicts	: 803
c decisions	: 14553
c propagations	: 55867
c inspects	: 6318017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 803
c root simplifications	: 1740
s SATISFIABLE
v -VOL1_bit_7 -VOL1_bit_6 -VOL1_bit_5 -VOL1_bit_4 -VOL1_bit_3 -VOL1_bit_2 -VOL1_bit_1 -VOL1_bit0 -VOL1_bit1 -VOL1_bit2 -VOL1_bit3 -VOL1_bit4 VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 -VOL2_bit_7 -VOL2_bit_6 -VOL2_bit_5 -VOL2_bit_4 -VOL2_bit_3 -VOL2_bit_2 VOL2_bit_1 -VOL2_bit0 VOL2_bit1 VOL2_bit2 -VOL2_bit3 VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL3_bit_7 -VOL3_bit_6 -VOL3_bit_5 -VOL3_bit_4 -VOL3_bit_3 -VOL3_bit_2 -VOL3_bit_1 -VOL3_bit0 -VOL3_bit1 -VOL3_bit2 -VOL3_bit3 -VOL3_bit4 -VOL4_bit_7 -VOL4_bit_6 -VOL4_bit_5 -VOL4_bit_4 -VOL4_bit_3 -VOL4_bit_2 -VOL4_bit_1 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 
c objectif function=51264
c Total CPU time (ms) : 1219.143
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 12882
Raw data (stat): 12882 (runsolver) R 12881 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781831076 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.87 0.97 0.99 2/64 12975
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18111 10 1 0 860 38 2 1 25 0 11 0 781831076 856883200 19195 4294967295 134512640 134569956 3221224368 3221214744 1131137675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 19195 13086 16 0 209184 0
vsize: 836800
[startup+20.0029 s]
Raw data (loadavg): 0.89 0.97 0.99 2/64 13030
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18111 10 1 0 1819 39 4 2 25 0 11 0 781831076 856883200 19360 4294967295 134512640 134569956 3221224368 3221214688 1131159080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209200 19360 13086 16 0 209184 0
vsize: 836800
[startup+30.0064 s]
Raw data (loadavg): 0.91 0.97 0.99 2/64 13074
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18111 10 1 0 2785 40 5 3 16 0 11 0 781831076 856563712 19406 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209122 19406 13086 16 0 209106 0
vsize: 836488
[startup+40.0067 s]
Raw data (loadavg): 0.92 0.97 0.99 2/64 13105
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18112 10 1 0 3753 41 6 3 25 0 11 0 781831076 856563712 19636 4294967295 134512640 134569956 3221224368 3221214832 1131142873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209122 19636 13086 16 0 209106 0
vsize: 836488
[startup+50.0074 s]
Raw data (loadavg): 0.93 0.97 0.99 2/64 13129
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18112 10 1 0 4731 41 7 3 25 0 11 0 781831076 856563712 19710 4294967295 134512640 134569956 3221224368 3221214688 1131158492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209122 19710 13086 16 0 209106 0
vsize: 836488
[startup+60.0068 s]
Raw data (loadavg): 0.94 0.97 0.99 2/64 13154
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 5714 42 8 4 25 0 11 0 781831076 856563712 19777 4294967295 134512640 134569956 3221224368 3221214688 1131157789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209122 19777 13086 16 0 209106 0
vsize: 836488
[startup+70.0081 s]
Raw data (loadavg): 0.95 0.97 0.99 2/64 13171
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 6701 43 8 5 25 0 11 0 781831076 856563712 19842 4294967295 134512640 134569956 3221224368 3221214688 1131158011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209122 19842 13086 16 0 209106 0
vsize: 836488
[startup+80.009 s]
Raw data (loadavg): 0.96 0.97 0.99 2/64 13189
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 7688 44 9 5 25 0 11 0 781831076 856530944 19866 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 19866 13086 16 0 209098 0
vsize: 836456
[startup+90.0084 s]
Raw data (loadavg): 0.96 0.97 0.99 2/64 13206
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 8677 44 10 5 25 0 11 0 781831076 856530944 19895 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 19895 13086 16 0 209098 0
vsize: 836456
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 13224
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 9666 45 10 6 25 0 11 0 781831076 856530944 19914 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 19914 13086 16 0 209098 0
vsize: 836456
[startup+110.01 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 13240
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 10655 45 11 6 25 0 11 0 781831076 856530944 19934 4294967295 134512640 134569956 3221224368 3221214688 1131158024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 19934 13086 16 0 209098 0
vsize: 836456
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13256
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 11643 46 12 6 25 0 11 0 781831076 856530944 19956 4294967295 134512640 134569956 3221224368 3221214584 1131195664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 19956 13086 16 0 209098 0
vsize: 836456
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13274
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 12633 46 12 6 25 0 11 0 781831076 856530944 20006 4294967295 134512640 134569956 3221224368 3221214688 1131158274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20006 13086 16 0 209098 0
vsize: 836456
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13288
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 13617 47 13 7 25 0 11 0 781831076 856530944 20025 4294967295 134512640 134569956 3221224368 3221214688 1131158185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20025 13086 16 0 209098 0
vsize: 836456
[startup+150.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13302
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 14603 47 13 7 25 0 11 0 781831076 856530944 20042 4294967295 134512640 134569956 3221224368 3221214792 1131148241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20042 13086 16 0 209098 0
vsize: 836456
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13316
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 15587 48 14 7 25 0 11 0 781831076 856530944 20082 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20082 13086 16 0 209098 0
vsize: 836456
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13330
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 16576 49 14 8 25 0 11 0 781831076 856530944 20138 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20138 13086 16 0 209098 0
vsize: 836456
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13345
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 17566 49 15 8 25 0 11 0 781831076 856530944 20153 4294967295 134512640 134569956 3221224368 3221214744 1131162361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20153 13086 16 0 209098 0
vsize: 836456
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13359
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 18556 49 16 8 25 0 11 0 781831076 856530944 20170 4294967295 134512640 134569956 3221224368 3221214712 1131210111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20170 13086 16 0 209098 0
vsize: 836456
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13372
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 19546 50 16 8 25 0 11 0 781831076 856530944 20187 4294967295 134512640 134569956 3221224368 3221214792 1131147031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20187 13086 16 0 209098 0
vsize: 836456
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13386
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 20536 50 17 9 25 0 11 0 781831076 856530944 20203 4294967295 134512640 134569956 3221224368 3221214688 1131158492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20203 13086 16 0 209098 0
vsize: 836456
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13401
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 21525 51 18 9 25 0 11 0 781831076 856530944 20217 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20217 13086 16 0 209098 0
vsize: 836456
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13414
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 22515 51 18 9 25 0 11 0 781831076 856530944 20234 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20234 13086 16 0 209098 0
vsize: 836456
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13424
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 23505 51 18 9 25 0 11 0 781831076 856530944 20248 4294967295 134512640 134569956 3221224368 3221214688 1131159123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20248 13086 16 0 209098 0
vsize: 836456
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13434
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 24494 52 19 10 25 0 11 0 781831076 856530944 20266 4294967295 134512640 134569956 3221224368 3221214688 1131159164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20266 13086 16 0 209098 0
vsize: 836456
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13444
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 25485 52 19 10 25 0 11 0 781831076 856530944 20284 4294967295 134512640 134569956 3221224368 3221214688 1131158734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20284 13086 16 0 209098 0
vsize: 836456
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13455
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 26475 53 19 10 25 0 11 0 781831076 856530944 20295 4294967295 134512640 134569956 3221224368 3221214688 1131158740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20295 13086 16 0 209098 0
vsize: 836456
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13463
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 27466 53 20 10 25 0 11 0 781831076 856530944 20306 4294967295 134512640 134569956 3221224368 3221214688 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20306 13086 16 0 209098 0
vsize: 836456
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13472
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 28456 53 20 10 25 0 11 0 781831076 856530944 20318 4294967295 134512640 134569956 3221224368 3221214744 1131137685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20318 13086 16 0 209098 0
vsize: 836456
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13481
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 29446 54 21 11 25 0 11 0 781831076 856530944 20330 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20330 13086 16 0 209098 0
vsize: 836456
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13490
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 30436 54 21 11 25 0 11 0 781831076 856530944 20340 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20340 13086 16 0 209098 0
vsize: 836456
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13499
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 31427 55 21 11 25 0 11 0 781831076 856530944 20349 4294967295 134512640 134569956 3221224368 3221214688 1131158759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20349 13086 16 0 209098 0
vsize: 836456
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13508
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 32417 55 22 11 25 0 11 0 781831076 856530944 20360 4294967295 134512640 134569956 3221224368 3221214744 1131137756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20360 13086 16 0 209098 0
vsize: 836456
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13519
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 33407 55 22 12 25 0 11 0 781831076 856530944 20370 4294967295 134512640 134569956 3221224368 3221214744 1131137685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20370 13086 16 0 209098 0
vsize: 836456
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13527
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 34397 55 22 12 25 0 11 0 781831076 856530944 20380 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20380 13086 16 0 209098 0
vsize: 836456
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13535
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 35388 55 23 12 25 0 11 0 781831076 856530944 20391 4294967295 134512640 134569956 3221224368 3221214688 1131159024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20391 13086 16 0 209098 0
vsize: 836456
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13544
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 36377 56 23 12 25 0 11 0 781831076 856530944 20402 4294967295 134512640 134569956 3221224368 3221214688 1131158174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20402 13086 16 0 209098 0
vsize: 836456
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13553
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 37363 56 24 12 25 0 11 0 781831076 856530944 20412 4294967295 134512640 134569956 3221224368 3221214792 1131147045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20412 13086 16 0 209098 0
vsize: 836456
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13562
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 38352 56 24 12 25 0 11 0 781831076 856530944 20421 4294967295 134512640 134569956 3221224368 3221214688 1131159095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20421 13086 16 0 209098 0
vsize: 836456
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13572
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 39340 57 24 12 25 0 11 0 781831076 856530944 20494 4294967295 134512640 134569956 3221224368 3221214688 1131159070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20494 13086 16 0 209098 0
vsize: 836456
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13583
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 40329 57 25 13 25 0 11 0 781831076 856530944 20505 4294967295 134512640 134569956 3221224368 3221214712 1131210547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 20505 13086 16 0 209098 0
vsize: 836456
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13590
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 41319 57 25 13 25 0 11 0 781831076 856530944 20515 4294967295 134512640 134569956 3221224368 3221214688 1131159095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20515 13086 16 0 209098 0
vsize: 836456
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13597
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 42309 57 25 13 25 0 11 0 781831076 856530944 20526 4294967295 134512640 134569956 3221224368 3221214688 1131157813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20526 13086 16 0 209098 0
vsize: 836456
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13604
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 43297 57 25 13 25 0 11 0 781831076 856530944 20542 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20542 13086 16 0 209098 0
vsize: 836456
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13612
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 44286 57 25 13 25 0 11 0 781831076 856530944 20551 4294967295 134512640 134569956 3221224368 3221214688 1131157832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20551 13086 16 0 209098 0
vsize: 836456
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13619
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 45276 58 26 14 25 0 11 0 781831076 856530944 20559 4294967295 134512640 134569956 3221224368 3221214688 1131158005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20559 13086 16 0 209098 0
vsize: 836456
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13627
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 46265 58 26 14 25 0 11 0 781831076 856530944 20568 4294967295 134512640 134569956 3221224368 3221214688 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20568 13086 16 0 209098 0
vsize: 836456
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13635
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18113 10 1 0 47255 58 26 14 25 0 11 0 781831076 856530944 20576 4294967295 134512640 134569956 3221224368 3221214688 1131158355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20576 13086 16 0 209098 0
vsize: 836456
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13643
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 48244 59 26 14 24 0 11 0 781831076 856530944 20586 4294967295 134512640 134569956 3221224368 3221214688 1131157883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20586 13086 16 0 209098 0
vsize: 836456
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13649
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 49234 59 27 14 25 0 11 0 781831076 856530944 20594 4294967295 134512640 134569956 3221224368 3221214688 1131157793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20594 13086 16 0 209098 0
vsize: 836456
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13656
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 50223 59 27 14 25 0 11 0 781831076 856530944 20603 4294967295 134512640 134569956 3221224368 3221214788 1131157779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20603 13086 16 0 209098 0
vsize: 836456
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13663
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 51204 59 27 14 25 0 11 0 781831076 856530944 20612 4294967295 134512640 134569956 3221224368 3221214744 1131137657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20612 13086 16 0 209098 0
vsize: 836456
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13670
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 52184 59 28 15 25 0 11 0 781831076 856530944 20619 4294967295 134512640 134569956 3221224368 3221214688 1131158446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20619 13086 16 0 209098 0
vsize: 836456
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13676
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 53163 60 28 15 25 0 11 0 781831076 856530944 20634 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20634 13086 16 0 209098 0
vsize: 836456
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13683
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 54148 60 29 15 25 0 11 0 781831076 856530944 20749 4294967295 134512640 134569956 3221224368 3221214744 1131137779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20749 13086 16 0 209098 0
vsize: 836456
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13690
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 55138 60 29 15 25 0 11 0 781831076 856530944 20757 4294967295 134512640 134569956 3221224368 3221214688 1131157923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20757 13086 16 0 209098 0
vsize: 836456
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13698
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 56127 60 29 15 25 0 11 0 781831076 856530944 20767 4294967295 134512640 134569956 3221224368 3221214744 1131137744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20767 13086 16 0 209098 0
vsize: 836456
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13705
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 57115 60 29 15 25 0 11 0 781831076 856530944 20775 4294967295 134512640 134569956 3221224368 3221214688 1131157901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20775 13086 16 0 209098 0
vsize: 836456
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13712
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 58104 60 29 16 25 0 11 0 781831076 856530944 20781 4294967295 134512640 134569956 3221224368 3221214688 1131157813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20781 13086 16 0 209098 0
vsize: 836456
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13719
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 59092 61 29 16 25 0 11 0 781831076 856530944 20791 4294967295 134512640 134569956 3221224368 3221214688 1131158185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20791 13086 16 0 209098 0
vsize: 836456
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13726
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 60080 61 29 16 25 0 11 0 781831076 856530944 20803 4294967295 134512640 134569956 3221224368 3221214768 1131162411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20803 13086 16 0 209098 0
vsize: 836456
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13734
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 61069 61 30 16 25 0 11 0 781831076 856530944 20811 4294967295 134512640 134569956 3221224368 3221214792 1131147045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20811 13086 16 0 209098 0
vsize: 836456
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13741
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 62058 61 30 16 25 0 11 0 781831076 856530944 20819 4294967295 134512640 134569956 3221224368 3221214688 1131157923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20819 13086 16 0 209098 0
vsize: 836456
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13748
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 63046 62 31 16 25 0 11 0 781831076 856530944 20828 4294967295 134512640 134569956 3221224368 3221214792 1131148100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20828 13086 16 0 209098 0
vsize: 836456
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13756
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 64034 62 31 17 25 0 11 0 781831076 856530944 20836 4294967295 134512640 134569956 3221224368 3221214688 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20836 13086 16 0 209098 0
vsize: 836456
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13764
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 65022 62 31 17 25 0 11 0 781831076 856530944 20844 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20844 13086 16 0 209098 0
vsize: 836456
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13770
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 66010 62 31 17 25 0 11 0 781831076 856530944 20852 4294967295 134512640 134569956 3221224368 3221214688 1131158259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20852 13086 16 0 209098 0
vsize: 836456
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13776
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 66997 63 31 17 25 0 11 0 781831076 856530944 20862 4294967295 134512640 134569956 3221224368 3221214744 1131137696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20862 13086 16 0 209098 0
vsize: 836456
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13782
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 67986 63 32 17 25 0 11 0 781831076 856530944 20871 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20871 13086 16 0 209098 0
vsize: 836456
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13789
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 68974 63 32 17 25 0 11 0 781831076 856530944 20878 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20878 13086 16 0 209098 0
vsize: 836456
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13796
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 69962 63 32 17 25 0 11 0 781831076 856530944 20885 4294967295 134512640 134569956 3221224368 3221214788 1131157772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20885 13086 16 0 209098 0
vsize: 836456
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13802
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 70949 63 32 17 24 0 11 0 781831076 856530944 20893 4294967295 134512640 134569956 3221224368 3221214792 1131147984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20893 13086 16 0 209098 0
vsize: 836456
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13809
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 71938 63 33 17 25 0 11 0 781831076 856530944 20900 4294967295 134512640 134569956 3221224368 3221214688 1131159117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20900 13086 16 0 209098 0
vsize: 836456
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13816
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 72925 64 33 18 25 0 11 0 781831076 856530944 20908 4294967295 134512640 134569956 3221224368 3221214688 1131158531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20908 13086 16 0 209098 0
vsize: 836456
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13824
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18114 10 1 0 73912 64 34 18 24 0 11 0 781831076 856530944 20916 4294967295 134512640 134569956 3221224368 3221214688 1131158363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20916 13086 16 0 209098 0
vsize: 836456
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18115 10 1 0 74897 64 34 18 24 0 11 0 781831076 856530944 20936 4294967295 134512640 134569956 3221224368 3221214744 1131229767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20936 13086 16 0 209098 0
vsize: 836456
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 75877 64 34 18 25 0 11 0 781831076 856530944 20950 4294967295 134512640 134569956 3221224368 3221214688 1131158531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20950 13086 16 0 209098 0
vsize: 836456
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.99 3/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 76859 64 34 18 25 0 11 0 781831076 856530944 20958 4294967295 134512640 134569956 3221224368 3221214688 1131157999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20958 13086 16 0 209098 0
vsize: 836456
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 77839 64 34 18 25 0 11 0 781831076 856530944 20979 4294967295 134512640 134569956 3221224368 3221214688 1131158024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 20979 13086 16 0 209098 0
vsize: 836456
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 78819 65 34 18 25 0 11 0 781831076 856530944 21014 4294967295 134512640 134569956 3221224368 3221214744 1131137667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 21014 13086 16 0 209098 0
vsize: 836456
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 79800 65 34 18 25 0 11 0 781831076 856530944 21046 4294967295 134512640 134569956 3221224368 3221214688 1131158734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 21046 13086 16 0 209098 0
vsize: 836456
[startup+820.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 80778 65 34 18 25 0 11 0 781831076 856530944 21084 4294967295 134512640 134569956 3221224368 3221214712 1131210251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 21084 13086 16 0 209098 0
vsize: 836456
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 81759 65 34 18 25 0 11 0 781831076 856530944 21112 4294967295 134512640 134569956 3221224368 3221214688 1131159164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 21112 13086 16 0 209098 0
vsize: 836456
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 82740 65 34 18 25 0 11 0 781831076 858628096 21505 4294967295 134512640 134569956 3221224368 3221214744 1131137681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21505 13086 16 0 209610 0
vsize: 838504
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 83721 66 34 18 25 0 11 0 781831076 858628096 21567 4294967295 134512640 134569956 3221224368 3221214688 1131158255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21567 13086 16 0 209610 0
vsize: 838504
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 84704 66 34 18 25 0 11 0 781831076 858628096 21590 4294967295 134512640 134569956 3221224368 3221214792 1131147294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21590 13086 16 0 209610 0
vsize: 838504
[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 85686 66 34 18 25 0 11 0 781831076 858628096 21614 4294967295 134512640 134569956 3221224368 3221214688 1131157993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21614 13086 16 0 209610 0
vsize: 838504
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 86669 66 34 18 25 0 11 0 781831076 858628096 21636 4294967295 134512640 134569956 3221224368 3221214688 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21636 13086 16 0 209610 0
vsize: 838504
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 87650 66 34 18 24 0 11 0 781831076 858628096 21659 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21659 13086 16 0 209610 0
vsize: 838504
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 88632 66 34 18 25 0 11 0 781831076 858628096 21679 4294967295 134512640 134569956 3221224368 3221214688 1131158377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21679 13086 16 0 209610 0
vsize: 838504
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13826
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 89614 67 34 18 25 0 11 0 781831076 858628096 21699 4294967295 134512640 134569956 3221224368 3221214744 1131137696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21699 13086 16 0 209610 0
vsize: 838504
[startup+920.057 s]
Raw data (loadavg): 1.07 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 90578 81 34 18 25 0 11 0 781831076 858628096 21718 4294967295 134512640 134569956 3221224368 3221214688 1131158444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21718 13086 16 0 209610 0
vsize: 838504
[startup+930.058 s]
Raw data (loadavg): 1.06 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 91560 81 34 18 25 0 11 0 781831076 858628096 21751 4294967295 134512640 134569956 3221224368 3221214688 1131158137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21751 13086 16 0 209610 0
vsize: 838504
[startup+940.059 s]
Raw data (loadavg): 1.05 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 92542 82 34 18 25 0 11 0 781831076 858628096 21770 4294967295 134512640 134569956 3221224368 3221214744 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21770 13086 16 0 209610 0
vsize: 838504
[startup+950.06 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 93525 82 34 18 25 0 11 0 781831076 858628096 21787 4294967295 134512640 134569956 3221224368 3221214656 1131157793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21787 13086 16 0 209610 0
vsize: 838504
[startup+960.06 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 94507 83 34 18 25 0 11 0 781831076 858628096 21805 4294967295 134512640 134569956 3221224368 3221214656 1131157953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21805 13086 16 0 209610 0
vsize: 838504
[startup+970.061 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 95490 84 34 18 25 0 11 0 781831076 858628096 21821 4294967295 134512640 134569956 3221224368 3221214712 1131137664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21821 13086 16 0 209610 0
vsize: 838504
[startup+980.063 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 13879
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 96473 84 34 18 25 0 11 0 781831076 858628096 21838 4294967295 134512640 134569956 3221224368 3221214712 1131137870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21838 13086 16 0 209610 0
vsize: 838504
[startup+990.063 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 97455 85 34 18 25 0 11 0 781831076 858628096 21854 4294967295 134512640 134569956 3221224368 3221214712 1131137664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21854 13086 16 0 209610 0
vsize: 838504
[startup+1000.06 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 98437 85 34 18 25 0 11 0 781831076 858628096 21869 4294967295 134512640 134569956 3221224368 3221214760 1131360643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21869 13086 16 0 209610 0
vsize: 838504
[startup+1010.06 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 99420 86 34 18 25 0 11 0 781831076 858628096 21885 4294967295 134512640 134569956 3221224368 3221214600 1131195916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21885 13086 16 0 209610 0
vsize: 838504
[startup+1020.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) S 12881 32284 32283 0 -1 0 18118 10 1 0 100401 86 34 18 25 0 11 0 781831076 858628096 21903 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21903 13086 16 0 209610 0
vsize: 838504
[startup+1030.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18118 10 1 0 101377 87 34 18 24 0 11 0 781831076 858628096 21919 4294967295 134512640 134569956 3221224368 3221214656 1131157980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209626 21919 13086 16 0 209610 0
vsize: 838504
[startup+1040.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 102355 87 34 18 25 0 11 0 781831076 858628096 21938 4294967295 134512640 134569956 3221224368 3221214656 1131158531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21938 13086 16 0 209610 0
vsize: 838504
[startup+1050.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 103332 87 34 18 25 0 11 0 781831076 858628096 21966 4294967295 134512640 134569956 3221224368 3221214640 1131209346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 21966 13086 16 0 209610 0
vsize: 838504
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 104314 87 34 18 24 0 11 0 781831076 858628096 22024 4294967295 134512640 134569956 3221224368 3221214760 1131148036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22024 13086 16 0 209610 0
vsize: 838504
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 105298 87 34 18 25 0 11 0 781831076 858628096 22036 4294967295 134512640 134569956 3221224368 3221214712 1131137852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22036 13086 16 0 209610 0
vsize: 838504
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 106281 87 34 18 25 0 11 0 781831076 858628096 22050 4294967295 134512640 134569956 3221224368 3221214656 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22050 13086 16 0 209610 0
vsize: 838504
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 107264 88 34 18 25 0 11 0 781831076 858628096 22075 4294967295 134512640 134569956 3221224368 3221214712 1131137688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22075 13086 16 0 209610 0
vsize: 838504
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 108248 88 34 18 25 0 11 0 781831076 858628096 22084 4294967295 134512640 134569956 3221224368 3221214656 1131158005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22084 13086 16 0 209610 0
vsize: 838504
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 109232 88 34 18 25 0 11 0 781831076 858628096 22093 4294967295 134512640 134569956 3221224368 3221214656 1131157832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22093 13086 16 0 209610 0
vsize: 838504
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 110217 88 34 18 25 0 11 0 781831076 858628096 22101 4294967295 134512640 134569956 3221224368 3221214656 1131159070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22101 13086 16 0 209610 0
vsize: 838504
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 111200 88 34 18 25 0 11 0 781831076 858628096 22110 4294967295 134512640 134569956 3221224368 3221214756 1131157772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22110 13086 16 0 209610 0
vsize: 838504
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 112183 88 34 18 25 0 11 0 781831076 858628096 22119 4294967295 134512640 134569956 3221224368 3221214656 1131157797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22119 13086 16 0 209610 0
vsize: 838504
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 113167 88 34 18 25 0 11 0 781831076 858628096 22130 4294967295 134512640 134569956 3221224368 3221214656 1131158734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22130 13086 16 0 209610 0
vsize: 838504
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 114151 89 34 18 25 0 11 0 781831076 858628096 22139 4294967295 134512640 134569956 3221224368 3221214712 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22139 13086 16 0 209610 0
vsize: 838504
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 115134 89 34 18 24 0 11 0 781831076 858628096 22146 4294967295 134512640 134569956 3221224368 3221214760 1131147480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22146 13086 16 0 209610 0
vsize: 838504
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 116117 89 34 18 25 0 11 0 781831076 858628096 22156 4294967295 134512640 134569956 3221224368 3221214712 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22156 13086 16 0 209610 0
vsize: 838504
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 117100 89 34 18 25 0 11 0 781831076 858628096 22202 4294967295 134512640 134569956 3221224368 3221214760 1131147371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22202 13086 16 0 209610 0
vsize: 838504
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 118081 89 34 18 25 0 11 0 781831076 858628096 22211 4294967295 134512640 134569956 3221224368 3221214656 1131158248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22211 13086 16 0 209610 0
vsize: 838504
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 119063 89 34 18 25 0 11 0 781831076 858628096 22227 4294967295 134512640 134569956 3221224368 3221214656 1131159220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22227 13086 16 0 209610 0
vsize: 838504
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 13881
Raw data (stat): 12882 (java) R 12881 32284 32283 0 -1 0 18119 10 1 0 120045 89 34 18 25 0 11 0 781831076 858628096 22256 4294967295 134512640 134569956 3221224368 3221214656 1131158344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 22256 13086 16 0 209610 0
vsize: 838504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 13883
Raw data (stat): 12882 (java) Z 12881 32284 32283 0 -1 1036 18119 3017 1 0 120051 89 1772 42 25 0 1 0 781831076 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.19
CPU time (s): 1219.56
CPU user time (s): 1218.24
CPU system time (s): 1.3228
CPU usage (%): 99.9487
Max. virtual memory (Kb): 838504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51264
#### END VERIFIER DATA ####