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-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
MD5SUM	df23206734a7a5ecc1a5d03632e7fa81
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	344750
Optimality of the best value was proved	NO
Number of terms in the objective function	90
Biggest coefficient in the objective function	4831838208
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	15032909794
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	4831838208
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	15032909794
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	29.6805
Number of variables	90
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	15
Maximum length of a constraint	90
Trace number 29803

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 11:38:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21195 boxname=wulflinc7 idbench=1183 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  df23206734a7a5ecc1a5d03632e7fa81  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-maros.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-maros.opb
IDLAUNCH: 21195
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        647784 kB
Buffers:         29600 kB
Cached:         337660 kB
SwapCached:        756 kB
Active:          59672 kB
Inactive:       309760 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647532 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            11900 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:59:09 (client local time) WITH STATUS 143 IN 1219.58 SECONDS
stats: 21195 0 1219.58 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/wulflinc7/normalized-mps-v2-20-10-maros.opb
c reading problem ... done. Time 0.296 ms.
c #vars     90
c #constraints  6
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              460800 		Current CPU time: 0.86 ms
c CURRENT OPTIMUM=              460799 		Current CPU time: 0.99 ms
c CURRENT OPTIMUM=              458240 		Current CPU time: 1.43 ms
c CURRENT OPTIMUM=              458235 		Current CPU time: 1.58 ms
c CURRENT OPTIMUM=              458230 		Current CPU time: 1.66 ms
c CURRENT OPTIMUM=              458225 		Current CPU time: 1.75 ms
c CURRENT OPTIMUM=              458220 		Current CPU time: 1.85 ms
c CURRENT OPTIMUM=              458215 		Current CPU time: 1.98 ms
c CURRENT OPTIMUM=              458210 		Current CPU time: 2.15 ms
c CURRENT OPTIMUM=              458205 		Current CPU time: 2.24 ms
c CURRENT OPTIMUM=              458200 		Current CPU time: 2.34 ms
c CURRENT OPTIMUM=              458195 		Current CPU time: 2.44 ms
c CURRENT OPTIMUM=              458190 		Current CPU time: 2.55 ms
c CURRENT OPTIMUM=              458185 		Current CPU time: 2.66 ms
c CURRENT OPTIMUM=              458180 		Current CPU time: 2.79 ms
c CURRENT OPTIMUM=              458175 		Current CPU time: 2.94 ms
c CURRENT OPTIMUM=              458170 		Current CPU time: 3.08 ms
c CURRENT OPTIMUM=              458165 		Current CPU time: 3.19 ms
c CURRENT OPTIMUM=              458160 		Current CPU time: 3.30 ms
c CURRENT OPTIMUM=              458155 		Current CPU time: 3.43 ms
c CURRENT OPTIMUM=              458150 		Current CPU time: 3.64 ms
c CURRENT OPTIMUM=              458145 		Current CPU time: 3.77 ms
c CURRENT OPTIMUM=              458140 		Current CPU time: 3.90 ms
c CURRENT OPTIMUM=              458135 		Current CPU time: 4.09 ms
c CURRENT OPTIMUM=              458130 		Current CPU time: 4.24 ms
c CURRENT OPTIMUM=              458125 		Current CPU time: 4.39 ms
c CURRENT OPTIMUM=              458120 		Current CPU time: 4.52 ms
c CURRENT OPTIMUM=              458115 		Current CPU time: 4.67 ms
c CURRENT OPTIMUM=              458110 		Current CPU time: 4.82 ms
c CURRENT OPTIMUM=              458105 		Current CPU time: 4.98 ms
c CURRENT OPTIMUM=              458100 		Current CPU time: 5.12 ms
c CURRENT OPTIMUM=              458095 		Current CPU time: 5.30 ms
c CURRENT OPTIMUM=              458090 		Current CPU time: 5.44 ms
c CURRENT OPTIMUM=              458085 		Current CPU time: 5.60 ms
c CURRENT OPTIMUM=              458080 		Current CPU time: 5.74 ms
c CURRENT OPTIMUM=              458075 		Current CPU time: 5.94 ms
c CURRENT OPTIMUM=              458070 		Current CPU time: 6.13 ms
c CURRENT OPTIMUM=              458065 		Current CPU time: 6.33 ms
c CURRENT OPTIMUM=              458060 		Current CPU time: 6.53 ms
c CURRENT OPTIMUM=              458055 		Current CPU time: 6.73 ms
c CURRENT OPTIMUM=              458050 		Current CPU time: 6.92 ms
c CURRENT OPTIMUM=              458045 		Current CPU time: 7.11 ms
c CURRENT OPTIMUM=              458040 		Current CPU time: 7.29 ms
c CURRENT OPTIMUM=              458035 		Current CPU time: 7.52 ms
c CURRENT OPTIMUM=              458030 		Current CPU time: 7.72 ms
c CURRENT OPTIMUM=              458025 		Current CPU time: 7.93 ms
c CURRENT OPTIMUM=              458020 		Current CPU time: 8.12 ms
c CURRENT OPTIMUM=              458015 		Current CPU time: 8.33 ms
c CURRENT OPTIMUM=              458010 		Current CPU time: 8.55 ms
c CURRENT OPTIMUM=              458005 		Current CPU time: 8.75 ms
c CURRENT OPTIMUM=              458000 		Current CPU time: 8.94 ms
c CURRENT OPTIMUM=              457995 		Current CPU time: 9.19 ms
c CURRENT OPTIMUM=              457990 		Current CPU time: 9.43 ms
c CURRENT OPTIMUM=              457985 		Current CPU time: 9.68 ms
c CURRENT OPTIMUM=              457980 		Current CPU time: 9.90 ms
c CURRENT OPTIMUM=              457975 		Current CPU time: 10.14 ms
c CURRENT OPTIMUM=              457970 		Current CPU time: 10.37 ms
c CURRENT OPTIMUM=              457965 		Current CPU time: 10.60 ms
c CURRENT OPTIMUM=              457960 		Current CPU time: 10.83 ms
c CURRENT OPTIMUM=              457955 		Current CPU time: 11.09 ms
c CURRENT OPTIMUM=              457950 		Current CPU time: 11.33 ms
c CURRENT OPTIMUM=              457945 		Current CPU time: 11.57 ms
c CURRENT OPTIMUM=              457940 		Current CPU time: 11.81 ms
c CURRENT OPTIMUM=              457935 		Current CPU time: 12.06 ms
c CURRENT OPTIMUM=              457930 		Current CPU time: 12.28 ms
c CURRENT OPTIMUM=              457925 		Current CPU time: 12.51 ms
c CURRENT OPTIMUM=              457920 		Current CPU time: 12.72 ms
c CURRENT OPTIMUM=              457915 		Current CPU time: 13.08 ms
c CURRENT OPTIMUM=              457910 		Current CPU time: 13.39 ms
c CURRENT OPTIMUM=              457905 		Current CPU time: 13.78 ms
c CURRENT OPTIMUM=              457900 		Current CPU time: 14.24 ms
c CURRENT OPTIMUM=              457895 		Current CPU time: 14.57 ms
c CURRENT OPTIMUM=              457890 		Current CPU time: 14.87 ms
c CURRENT OPTIMUM=              457885 		Current CPU time: 15.19 ms
c CURRENT OPTIMUM=              457880 		Current CPU time: 15.47 ms
c CURRENT OPTIMUM=              457875 		Current CPU time: 15.81 ms
c CURRENT OPTIMUM=              457870 		Current CPU time: 16.13 ms
c CURRENT OPTIMUM=              457865 		Current CPU time: 16.48 ms
c CURRENT OPTIMUM=              457860 		Current CPU time: 16.77 ms
c CURRENT OPTIMUM=              457855 		Current CPU time: 17.10 ms
c CURRENT OPTIMUM=              457850 		Current CPU time: 17.43 ms
c CURRENT OPTIMUM=              457845 		Current CPU time: 17.73 ms
c CURRENT OPTIMUM=              457840 		Current CPU time: 18.02 ms
c CURRENT OPTIMUM=              457835 		Current CPU time: 18.41 ms
c CURRENT OPTIMUM=              457830 		Current CPU time: 18.76 ms
c CURRENT OPTIMUM=              457825 		Current CPU time: 19.11 ms
c CURRENT OPTIMUM=              457820 		Current CPU time: 19.46 ms
c CURRENT OPTIMUM=              457815 		Current CPU time: 19.81 ms
c CURRENT OPTIMUM=              457810 		Current CPU time: 20.14 ms
c CURRENT OPTIMUM=              457805 		Current CPU time: 20.50 ms
c CURRENT OPTIMUM=              457800 		Current CPU time: 20.80 ms
c CURRENT OPTIMUM=              457795 		Current CPU time: 21.17 ms
c CURRENT OPTIMUM=              457790 		Current CPU time: 21.53 ms
c CURRENT OPTIMUM=              457785 		Current CPU time: 21.87 ms
c CURRENT OPTIMUM=              457780 		Current CPU time: 22.18 ms
c CURRENT OPTIMUM=              457775 		Current CPU time: 22.54 ms
c CURRENT OPTIMUM=              457770 		Current CPU time: 22.89 ms
c CURRENT OPTIMUM=              457765 		Current CPU time: 23.20 ms
c CURRENT OPTIMUM=              457760 		Current CPU time: 23.49 ms
c CURRENT OPTIMUM=              457755 		Current CPU time: 23.96 ms
c CURRENT OPTIMUM=              457750 		Current CPU time: 24.37 ms
c CURRENT OPTIMUM=              457745 		Current CPU time: 24.81 ms
c CURRENT OPTIMUM=              457740 		Current CPU time: 25.18 ms
c CURRENT OPTIMUM=              457735 		Current CPU time: 25.60 ms
c CURRENT OPTIMUM=              457730 		Current CPU time: 26.00 ms
c CURRENT OPTIMUM=              457725 		Current CPU time: 26.38 ms
c CURRENT OPTIMUM=              457720 		Current CPU time: 26.72 ms
c CURRENT OPTIMUM=              457715 		Current CPU time: 27.19 ms
c CURRENT OPTIMUM=              457710 		Current CPU time: 27.59 ms
c CURRENT OPTIMUM=              457705 		Current CPU time: 28.01 ms
c CURRENT OPTIMUM=              457700 		Current CPU time: 28.37 ms
c CURRENT OPTIMUM=              457695 		Current CPU time: 28.77 ms
c CURRENT OPTIMUM=              457690 		Current CPU time: 29.17 ms
c CURRENT OPTIMUM=              457685 		Current CPU time: 29.54 ms
c CURRENT OPTIMUM=              457680 		Current CPU time: 29.87 ms
c CURRENT OPTIMUM=              457675 		Current CPU time: 30.35 ms
c CURRENT OPTIMUM=              457670 		Current CPU time: 30.78 ms
c CURRENT OPTIMUM=              457665 		Current CPU time: 31.23 ms
c CURRENT OPTIMUM=              457660 		Current CPU time: 31.61 ms
c CURRENT OPTIMUM=              457655 		Current CPU time: 32.04 ms
c CURRENT OPTIMUM=              457650 		Current CPU time: 32.46 ms
c CURRENT OPTIMUM=              457645 		Current CPU time: 32.85 ms
c CURRENT OPTIMUM=              457640 		Current CPU time: 33.23 ms
c CURRENT OPTIMUM=              457635 		Current CPU time: 33.67 ms
c CURRENT OPTIMUM=              457630 		Current CPU time: 34.07 ms
c CURRENT OPTIMUM=              457625 		Current CPU time: 34.51 ms
c CURRENT OPTIMUM=              457620 		Current CPU time: 34.86 ms
c CURRENT OPTIMUM=              457615 		Current CPU time: 35.27 ms
c CURRENT OPTIMUM=              457610 		Current CPU time: 35.67 ms
c CURRENT OPTIMUM=              457605 		Current CPU time: 36.04 ms
c CURRENT OPTIMUM=              457600 		Current CPU time: 36.35 ms
c CURRENT OPTIMUM=              457595 		Current CPU time: 37.00 ms
c CURRENT OPTIMUM=              457590 		Current CPU time: 37.58 ms
c CURRENT OPTIMUM=              457585 		Current CPU time: 38.15 ms
c CURRENT OPTIMUM=              457580 		Current CPU time: 38.70 ms
c CURRENT OPTIMUM=              457575 		Current CPU time: 39.28 ms
c CURRENT OPTIMUM=              457570 		Current CPU time: 39.83 ms
c CURRENT OPTIMUM=              457565 		Current CPU time: 40.37 ms
c CURRENT OPTIMUM=              457560 		Current CPU time: 40.89 ms
c CURRENT OPTIMUM=              457555 		Current CPU time: 41.48 ms
c CURRENT OPTIMUM=              457550 		Current CPU time: 42.05 ms
c CURRENT OPTIMUM=              457545 		Current CPU time: 42.61 ms
c CURRENT OPTIMUM=              457540 		Current CPU time: 43.13 ms
c CURRENT OPTIMUM=              457535 		Current CPU time: 43.72 ms
c CURRENT OPTIMUM=              457530 		Current CPU time: 44.23 ms
c CURRENT OPTIMUM=              457525 		Current CPU time: 44.74 ms
c CURRENT OPTIMUM=              457520 		Current CPU time: 45.22 ms
c CURRENT OPTIMUM=              457515 		Current CPU time: 45.87 ms
c CURRENT OPTIMUM=              457510 		Current CPU time: 46.45 ms
c CURRENT OPTIMUM=              457505 		Current CPU time: 47.05 ms
c CURRENT OPTIMUM=              457500 		Current CPU time: 47.57 ms
c CURRENT OPTIMUM=              457495 		Current CPU time: 48.18 ms
c CURRENT OPTIMUM=              457490 		Current CPU time: 48.72 ms
c CURRENT OPTIMUM=              457485 		Current CPU time: 49.28 ms
c CURRENT OPTIMUM=              457480 		Current CPU time: 49.76 ms
c CURRENT OPTIMUM=              457475 		Current CPU time: 50.39 ms
c CURRENT OPTIMUM=              457470 		Current CPU time: 50.94 ms
c CURRENT OPTIMUM=              457465 		Current CPU time: 51.50 ms
c CURRENT OPTIMUM=              457460 		Current CPU time: 52.00 ms
c CURRENT OPTIMUM=              457455 		Current CPU time: 52.58 ms
c CURRENT OPTIMUM=              457450 		Current CPU time: 53.08 ms
c CURRENT OPTIMUM=              457445 		Current CPU time: 53.60 ms
c CURRENT OPTIMUM=              457440 		Current CPU time: 54.04 ms
c CURRENT OPTIMUM=              457435 		Current CPU time: 54.75 ms
c CURRENT OPTIMUM=              457430 		Current CPU time: 55.41 ms
c CURRENT OPTIMUM=              457425 		Current CPU time: 56.05 ms
c CURRENT OPTIMUM=              457420 		Current CPU time: 56.64 ms
c CURRENT OPTIMUM=              457415 		Current CPU time: 57.30 ms
c CURRENT OPTIMUM=              457410 		Current CPU time: 57.89 ms
c CURRENT OPTIMUM=              457405 		Current CPU time: 58.50 ms
c CURRENT OPTIMUM=              457400 		Current CPU time: 59.03 ms
c CURRENT OPTIMUM=              457395 		Current CPU time: 59.71 ms
c CURRENT OPTIMUM=              457390 		Current CPU time: 60.31 ms
c CURRENT OPTIMUM=              457385 		Current CPU time: 60.93 ms
c CURRENT OPTIMUM=              457380 		Current CPU time: 61.48 ms
c CURRENT OPTIMUM=              457375 		Current CPU time: 62.10 ms
c CURRENT OPTIMUM=              457370 		Current CPU time: 62.66 ms
c CURRENT OPTIMUM=              457365 		Current CPU time: 63.21 ms
c CURRENT OPTIMUM=              457360 		Current CPU time: 63.71 ms
c CURRENT OPTIMUM=              457355 		Current CPU time: 64.40 ms
c CURRENT OPTIMUM=              457350 		Current CPU time: 65.04 ms
c CURRENT OPTIMUM=              457345 		Current CPU time: 65.68 ms
c CURRENT OPTIMUM=              457340 		Current CPU time: 66.24 ms
c CURRENT OPTIMUM=              457335 		Current CPU time: 66.89 ms
c CURRENT OPTIMUM=              457330 		Current CPU time: 67.47 ms
c CURRENT OPTIMUM=              457325 		Current CPU time: 68.05 ms
c CURRENT OPTIMUM=              457320 		Current CPU time: 68.56 ms
c CURRENT OPTIMUM=              457315 		Current CPU time: 69.23 ms
c CURRENT OPTIMUM=              457310 		Current CPU time: 69.82 ms
c CURRENT OPTIMUM=              457305 		Current CPU time: 70.41 ms
c CURRENT OPTIMUM=              457300 		Current CPU time: 70.94 ms
c CURRENT OPTIMUM=              457295 		Current CPU time: 71.54 ms
c CURRENT OPTIMUM=              457290 		Current CPU time: 72.08 ms
c CURRENT OPTIMUM=              457285 		Current CPU time: 72.61 ms
c CURRENT OPTIMUM=              457280 		Current CPU time: 73.08 ms
c CURRENT OPTIMUM=              457275 		Current CPU time: 73.92 ms
c CURRENT OPTIMUM=              457270 		Current CPU time: 74.67 ms
c CURRENT OPTIMUM=              457265 		Current CPU time: 75.45 ms
c CURRENT OPTIMUM=              457260 		Current CPU time: 76.15 ms
c CURRENT OPTIMUM=              457255 		Current CPU time: 76.91 ms
c CURRENT OPTIMUM=              457250 		Current CPU time: 77.63 ms
c CURRENT OPTIMUM=              457245 		Current CPU time: 78.34 ms
c CURRENT OPTIMUM=              457240 		Current CPU time: 78.97 ms
c CURRENT OPTIMUM=              457235 		Current CPU time: 79.76 ms
c CURRENT OPTIMUM=              457230 		Current CPU time: 80.49 ms
c CURRENT OPTIMUM=              457225 		Current CPU time: 81.21 ms
c CURRENT OPTIMUM=              457220 		Current CPU time: 81.86 ms
c CURRENT OPTIMUM=              457215 		Current CPU time: 82.59 ms
c CURRENT OPTIMUM=              457210 		Current CPU time: 83.23 ms
c CURRENT OPTIMUM=              457205 		Current CPU time: 83.90 ms
c CURRENT OPTIMUM=              457200 		Current CPU time: 84.48 ms
c CURRENT OPTIMUM=              457195 		Current CPU time: 85.29 ms
c CURRENT OPTIMUM=              457190 		Current CPU time: 86.04 ms
c CURRENT OPTIMUM=              457185 		Current CPU time: 86.78 ms
c CURRENT OPTIMUM=              457180 		Current CPU time: 87.46 ms
c CURRENT OPTIMUM=              457175 		Current CPU time: 88.21 ms
c CURRENT OPTIMUM=              457170 		Current CPU time: 88.89 ms
c CURRENT OPTIMUM=              457165 		Current CPU time: 89.58 ms
c CURRENT OPTIMUM=              457160 		Current CPU time: 90.17 ms
c CURRENT OPTIMUM=              457155 		Current CPU time: 90.94 ms
c CURRENT OPTIMUM=              457150 		Current CPU time: 91.63 ms
c CURRENT OPTIMUM=              457145 		Current CPU time: 92.32 ms
c CURRENT OPTIMUM=              457140 		Current CPU time: 92.93 ms
c CURRENT OPTIMUM=              457135 		Current CPU time: 93.62 ms
c CURRENT OPTIMUM=              457130 		Current CPU time: 94.25 ms
c CURRENT OPTIMUM=              457125 		Current CPU time: 94.87 ms
c CURRENT OPTIMUM=              457120 		Current CPU time: 95.40 ms
c CURRENT OPTIMUM=              457115 		Current CPU time: 96.28 ms
c CURRENT OPTIMUM=              457110 		Current CPU time: 97.08 ms
c CURRENT OPTIMUM=              457105 		Current CPU time: 97.89 ms
c CURRENT OPTIMUM=              457100 		Current CPU time: 98.60 ms
c CURRENT OPTIMUM=              457095 		Current CPU time: 99.41 ms
c CURRENT OPTIMUM=              457090 		Current CPU time: 100.13 ms
c CURRENT OPTIMUM=              457085 		Current CPU time: 100.85 ms
c CURRENT OPTIMUM=              457080 		Current CPU time: 101.49 ms
c CURRENT OPTIMUM=              457075 		Current CPU time: 102.31 ms
c CURRENT OPTIMUM=              457070 		Current CPU time: 103.04 ms
c CURRENT OPTIMUM=              457065 		Current CPU time: 103.78 ms
c CURRENT OPTIMUM=              457060 		Current CPU time: 104.44 ms
c CURRENT OPTIMUM=              457055 		Current CPU time: 105.18 ms
c CURRENT OPTIMUM=              457050 		Current CPU time: 105.83 ms
c CURRENT OPTIMUM=              457045 		Current CPU time: 106.49 ms
c CURRENT OPTIMUM=              457040 		Current CPU time: 107.05 ms
c CURRENT OPTIMUM=              457035 		Current CPU time: 107.90 ms
c CURRENT OPTIMUM=              457030 		Current CPU time: 108.65 ms
c CURRENT OPTIMUM=              457025 		Current CPU time: 109.41 ms
c CURRENT OPTIMUM=              457020 		Current CPU time: 110.08 ms
c CURRENT OPTIMUM=              457015 		Current CPU time: 110.84 ms
c CURRENT OPTIMUM=              457010 		Current CPU time: 111.51 ms
c CURRENT OPTIMUM=              457005 		Current CPU time: 112.18 ms
c CURRENT OPTIMUM=              457000 		Current CPU time: 112.77 ms
c CURRENT OPTIMUM=              456995 		Current CPU time: 113.55 ms
c CURRENT OPTIMUM=              456990 		Current CPU time: 114.22 ms
c CURRENT OPTIMUM=              456985 		Current CPU time: 114.91 ms
c CURRENT OPTIMUM=              456980 		Current CPU time: 115.50 ms
c CURRENT OPTIMUM=              456975 		Current CPU time: 116.19 ms
c CURRENT OPTIMUM=              456970 		Current CPU time: 116.79 ms
c CURRENT OPTIMUM=              456965 		Current CPU time: 117.38 ms
c CURRENT OPTIMUM=              456960 		Current CPU time: 117.89 ms
c CURRENT OPTIMUM=              456955 		Current CPU time: 119.08 ms
c CURRENT OPTIMUM=              456950 		Current CPU time: 120.18 ms
c CURRENT OPTIMUM=              456945 		Current CPU time: 121.28 ms
c CURRENT OPTIMUM=              456940 		Current CPU time: 122.28 ms
c CURRENT OPTIMUM=              456935 		Current CPU time: 123.38 ms
c CURRENT OPTIMUM=              456930 		Current CPU time: 124.40 ms
c CURRENT OPTIMUM=              456925 		Current CPU time: 125.41 ms
c CURRENT OPTIMUM=              456920 		Current CPU time: 126.33 ms
c CURRENT OPTIMUM=              456915 		Current CPU time: 127.46 ms
c CURRENT OPTIMUM=              456910 		Current CPU time: 128.47 ms
c CURRENT OPTIMUM=              456905 		Current CPU time: 129.50 ms
c CURRENT OPTIMUM=              456900 		Current CPU time: 130.43 ms
c CURRENT OPTIMUM=              456895 		Current CPU time: 131.48 ms
c CURRENT OPTIMUM=              456890 		Current CPU time: 132.42 ms
c CURRENT OPTIMUM=              456885 		Current CPU time: 133.36 ms
c CURRENT OPTIMUM=              456880 		Current CPU time: 134.21 ms
c CURRENT OPTIMUM=              456875 		Current CPU time: 135.38 ms
c CURRENT OPTIMUM=              456870 		Current CPU time: 136.43 ms
c CURRENT OPTIMUM=              456865 		Current CPU time: 137.50 ms
c CURRENT OPTIMUM=              456860 		Current CPU time: 138.46 ms
c CURRENT OPTIMUM=              456855 		Current CPU time: 139.52 ms
c CURRENT OPTIMUM=              456850 		Current CPU time: 140.49 ms
c CURRENT OPTIMUM=              456845 		Current CPU time: 141.45 ms
c CURRENT OPTIMUM=              456840 		Current CPU time: 142.31 ms
c CURRENT OPTIMUM=              456835 		Current CPU time: 143.40 ms
c CURRENT OPTIMUM=              456830 		Current CPU time: 144.38 ms
c CURRENT OPTIMUM=              456825 		Current CPU time: 145.36 ms
c CURRENT OPTIMUM=              456820 		Current CPU time: 146.24 ms
c CURRENT OPTIMUM=              456815 		Current CPU time: 147.23 ms
c CURRENT OPTIMUM=              456810 		Current CPU time: 148.12 ms
c CURRENT OPTIMUM=              456805 		Current CPU time: 149.01 ms
c CURRENT OPTIMUM=              456800 		Current CPU time: 149.79 ms
c CURRENT OPTIMUM=              456795 		Current CPU time: 151.01 ms
c CURRENT OPTIMUM=              456790 		Current CPU time: 152.13 ms
c CURRENT OPTIMUM=              456785 		Current CPU time: 153.25 ms
c CURRENT OPTIMUM=              456780 		Current CPU time: 154.27 ms
c CURRENT OPTIMUM=              456775 		Current CPU time: 155.39 ms
c CURRENT OPTIMUM=              456770 		Current CPU time: 156.41 ms
c CURRENT OPTIMUM=              456765 		Current CPU time: 157.43 ms
c CURRENT OPTIMUM=              456760 		Current CPU time: 158.34 ms
c CURRENT OPTIMUM=              456755 		Current CPU time: 159.49 ms
c CURRENT OPTIMUM=              456750 		Current CPU time: 160.52 ms
c CURRENT OPTIMUM=              456745 		Current CPU time: 161.55 ms
c CURRENT OPTIMUM=              456740 		Current CPU time: 162.48 ms
c CURRENT OPTIMUM=              456735 		Current CPU time: 163.52 ms
c CURRENT OPTIMUM=              456730 		Current CPU time: 164.45 ms
c CURRENT OPTIMUM=              456725 		Current CPU time: 165.39 ms
c CURRENT OPTIMUM=              456720 		Current CPU time: 166.20 ms
c CURRENT OPTIMUM=              456715 		Current CPU time: 167.38 ms
c CURRENT OPTIMUM=              456710 		Current CPU time: 168.43 ms
c CURRENT OPTIMUM=              456705 		Current CPU time: 169.49 ms
c CURRENT OPTIMUM=              456700 		Current CPU time: 170.44 ms
c CURRENT OPTIMUM=              456695 		Current CPU time: 171.51 ms
c CURRENT OPTIMUM=              456690 		Current CPU time: 172.47 ms
c CURRENT OPTIMUM=              456685 		Current CPU time: 173.42 ms
c CURRENT OPTIMUM=              456680 		Current CPU time: 174.26 ms
c CURRENT OPTIMUM=              456675 		Current CPU time: 175.34 ms
c CURRENT OPTIMUM=              456670 		Current CPU time: 176.31 ms
c CURRENT OPTIMUM=              456665 		Current CPU time: 177.28 ms
c CURRENT OPTIMUM=              456660 		Current CPU time: 178.14 ms
c CURRENT OPTIMUM=              456655 		Current CPU time: 179.11 ms
c CURRENT OPTIMUM=              456650 		Current CPU time: 179.97 ms
c CURRENT OPTIMUM=              456645 		Current CPU time: 180.83 ms
c CURRENT OPTIMUM=              456640 		Current CPU time: 181.56 ms
c CURRENT OPTIMUM=              456635 		Current CPU time: 182.91 ms
c CURRENT OPTIMUM=              456630 		Current CPU time: 184.14 ms
c CURRENT OPTIMUM=              456625 		Current CPU time: 185.38 ms
c CURRENT OPTIMUM=              456620 		Current CPU time: 186.49 ms
c CURRENT OPTIMUM=              456615 		Current CPU time: 187.73 ms
c CURRENT OPTIMUM=              456610 		Current CPU time: 188.85 ms
c CURRENT OPTIMUM=              456605 		Current CPU time: 189.98 ms
c CURRENT OPTIMUM=              456600 		Current CPU time: 190.99 ms
c CURRENT OPTIMUM=              456595 		Current CPU time: 192.26 ms
c CURRENT OPTIMUM=              456590 		Current CPU time: 193.40 ms
c CURRENT OPTIMUM=              456585 		Current CPU time: 194.54 ms
c CURRENT OPTIMUM=              456580 		Current CPU time: 195.56 ms
c CURRENT OPTIMUM=              456575 		Current CPU time: 196.70 ms
c CURRENT OPTIMUM=              456570 		Current CPU time: 197.73 ms
c CURRENT OPTIMUM=              456565 		Current CPU time: 198.76 ms
c CURRENT OPTIMUM=              456560 		Current CPU time: 199.67 ms
c CURRENT OPTIMUM=              456555 		Current CPU time: 200.95 ms
c CURRENT OPTIMUM=              456550 		Current CPU time: 202.11 ms
c CURRENT OPTIMUM=              456545 		Current CPU time: 203.27 ms
c CURRENT OPTIMUM=              456540 		Current CPU time: 204.30 ms
c CURRENT OPTIMUM=              456535 		Current CPU time: 205.48 ms
c CURRENT OPTIMUM=              456530 		Current CPU time: 206.54 ms
c CURRENT OPTIMUM=              456525 		Current CPU time: 207.59 ms
c CURRENT OPTIMUM=              456520 		Current CPU time: 208.50 ms
c CURRENT OPTIMUM=              456515 		Current CPU time: 209.70 ms
c CURRENT OPTIMUM=              456510 		Current CPU time: 210.77 ms
c CURRENT OPTIMUM=              456505 		Current CPU time: 211.83 ms
c CURRENT OPTIMUM=              456500 		Current CPU time: 212.76 ms
c CURRENT OPTIMUM=              456495 		Current CPU time: 213.83 ms
c CURRENT OPTIMUM=              456490 		Current CPU time: 214.76 ms
c CURRENT OPTIMUM=              456485 		Current CPU time: 215.70 ms
c CURRENT OPTIMUM=              456480 		Current CPU time: 216.52 ms
c CURRENT OPTIMUM=              456475 		Current CPU time: 217.87 ms
c CURRENT OPTIMUM=              456470 		Current CPU time: 219.09 ms
c CURRENT OPTIMUM=              456465 		Current CPU time: 220.31 ms
c CURRENT OPTIMUM=              456460 		Current CPU time: 221.40 ms
c CURRENT OPTIMUM=              456455 		Current CPU time: 222.63 ms
c CURRENT OPTIMUM=              456450 		Current CPU time: 223.73 ms
c CURRENT OPTIMUM=              456445 		Current CPU time: 224.83 ms
c CURRENT OPTIMUM=              456440 		Current CPU time: 225.79 ms
c CURRENT OPTIMUM=              456435 		Current CPU time: 227.03 ms
c CURRENT OPTIMUM=              456430 		Current CPU time: 228.15 ms
c CURRENT OPTIMUM=              456425 		Current CPU time: 229.27 ms
c CURRENT OPTIMUM=              456420 		Current CPU time: 230.24 ms
c CURRENT OPTIMUM=              456415 		Current CPU time: 231.36 ms
c CURRENT OPTIMUM=              456410 		Current CPU time: 232.34 ms
c CURRENT OPTIMUM=              456405 		Current CPU time: 233.32 ms
c CURRENT OPTIMUM=              456400 		Current CPU time: 234.16 ms
c CURRENT OPTIMUM=              456395 		Current CPU time: 235.43 ms
c CURRENT OPTIMUM=              456390 		Current CPU time: 236.57 ms
c CURRENT OPTIMUM=              456385 		Current CPU time: 237.70 ms
c CURRENT OPTIMUM=              456380 		Current CPU time: 238.70 ms
c CURRENT OPTIMUM=              456375 		Current CPU time: 239.84 ms
c CURRENT OPTIMUM=              456370 		Current CPU time: 240.84 ms
c CURRENT OPTIMUM=              456365 		Current CPU time: 241.86 ms
c CURRENT OPTIMUM=              456360 		Current CPU time: 242.70 ms
c CURRENT OPTIMUM=              456355 		Current CPU time: 243.87 ms
c CURRENT OPTIMUM=              456350 		Current CPU time: 244.89 ms
c CURRENT OPTIMUM=              456345 		Current CPU time: 245.90 ms
c CURRENT OPTIMUM=              456340 		Current CPU time: 246.77 ms
c CURRENT OPTIMUM=              456335 		Current CPU time: 247.79 ms
c CURRENT OPTIMUM=              456330 		Current CPU time: 248.68 ms
c CURRENT OPTIMUM=              456325 		Current CPU time: 249.57 ms
c CURRENT OPTIMUM=              456320 		Current CPU time: 250.31 ms
c CURRENT OPTIMUM=              456315 		Current CPU time: 251.93 ms
c CURRENT OPTIMUM=              456310 		Current CPU time: 253.41 ms
c CURRENT OPTIMUM=              456305 		Current CPU time: 254.89 ms
c CURRENT OPTIMUM=              456300 		Current CPU time: 256.23 ms
c CURRENT OPTIMUM=              456295 		Current CPU time: 257.73 ms
c CURRENT OPTIMUM=              456290 		Current CPU time: 259.07 ms
c CURRENT OPTIMUM=              456285 		Current CPU time: 260.42 ms
c CURRENT OPTIMUM=              456280 		Current CPU time: 261.64 ms
c CURRENT OPTIMUM=              456275 		Current CPU time: 263.13 ms
c CURRENT OPTIMUM=              456270 		Current CPU time: 264.49 ms
c CURRENT OPTIMUM=              456265 		Current CPU time: 265.87 ms
c CURRENT OPTIMUM=              456260 		Current CPU time: 267.08 ms
c CURRENT OPTIMUM=              456255 		Current CPU time: 268.45 ms
c CURRENT OPTIMUM=              456250 		Current CPU time: 269.67 ms
c CURRENT OPTIMUM=              456245 		Current CPU time: 270.89 ms
c CURRENT OPTIMUM=              456240 		Current CPU time: 271.98 ms
c CURRENT OPTIMUM=              456235 		Current CPU time: 273.50 ms
c CURRENT OPTIMUM=              456230 		Current CPU time: 274.89 ms
c CURRENT OPTIMUM=              456225 		Current CPU time: 276.28 ms
c CURRENT OPTIMUM=              456220 		Current CPU time: 277.52 ms
c CURRENT OPTIMUM=              456215 		Current CPU time: 278.91 ms
c CURRENT OPTIMUM=              456210 		Current CPU time: 280.14 ms
c CURRENT OPTIMUM=              456205 		Current CPU time: 281.39 ms
c CURRENT OPTIMUM=              456200 		Current CPU time: 282.47 ms
c CURRENT OPTIMUM=              456195 		Current CPU time: 283.87 ms
c CURRENT OPTIMUM=              456190 		Current CPU time: 285.11 ms
c CURRENT OPTIMUM=              456185 		Current CPU time: 286.36 ms
c CURRENT OPTIMUM=              456180 		Current CPU time: 287.46 ms
c CURRENT OPTIMUM=              456175 		Current CPU time: 288.73 ms
c CURRENT OPTIMUM=              456170 		Current CPU time: 289.82 ms
c CURRENT OPTIMUM=              456165 		Current CPU time: 290.92 ms
c CURRENT OPTIMUM=              456160 		Current CPU time: 291.88 ms
c CURRENT OPTIMUM=              456155 		Current CPU time: 293.45 ms
c CURRENT OPTIMUM=              456150 		Current CPU time: 294.88 ms
c CURRENT OPTIMUM=              456145 		Current CPU time: 296.31 ms
c CURRENT OPTIMUM=              456140 		Current CPU time: 297.59 ms
c CURRENT OPTIMUM=              456135 		Current CPU time: 299.04 ms
c CURRENT OPTIMUM=              456130 		Current CPU time: 300.32 ms
c CURRENT OPTIMUM=              456125 		Current CPU time: 301.61 ms
c CURRENT OPTIMUM=              456120 		Current CPU time: 302.74 ms
c CURRENT OPTIMUM=              456115 		Current CPU time: 304.19 ms
c CURRENT OPTIMUM=              456110 		Current CPU time: 305.49 ms
c CURRENT OPTIMUM=              456105 		Current CPU time: 306.78 ms
c CURRENT OPTIMUM=              456100 		Current CPU time: 307.92 ms
c CURRENT OPTIMUM=              456095 		Current CPU time: 309.23 ms
c CURRENT OPTIMUM=              456090 		Current CPU time: 310.37 ms
c CURRENT OPTIMUM=              456085 		Current CPU time: 311.51 ms
c CURRENT OPTIMUM=              456080 		Current CPU time: 312.49 ms
c CURRENT OPTIMUM=              456075 		Current CPU time: 313.97 ms
c CURRENT OPTIMUM=              456070 		Current CPU time: 315.29 ms
c CURRENT OPTIMUM=              456065 		Current CPU time: 316.62 ms
c CURRENT OPTIMUM=              456060 		Current CPU time: 317.78 ms
c CURRENT OPTIMUM=              456055 		Current CPU time: 319.11 ms
c CURRENT OPTIMUM=              456050 		Current CPU time: 320.27 ms
c CURRENT OPTIMUM=              456045 		Current CPU time: 321.44 ms
c CURRENT OPTIMUM=              456040 		Current CPU time: 322.45 ms
c CURRENT OPTIMUM=              456035 		Current CPU time: 323.79 ms
c CURRENT OPTIMUM=              456030 		Current CPU time: 324.98 ms
c CURRENT OPTIMUM=              456025 		Current CPU time: 326.15 ms
c CURRENT OPTIMUM=              456020 		Current CPU time: 327.16 ms
c CURRENT OPTIMUM=              456015 		Current CPU time: 328.34 ms
c CURRENT OPTIMUM=              456010 		Current CPU time: 329.36 ms
c CURRENT OPTIMUM=              456005 		Current CPU time: 330.38 ms
c CURRENT OPTIMUM=              456000 		Current CPU time: 331.23 ms
c CURRENT OPTIMUM=              455995 		Current CPU time: 332.93 ms
c CURRENT OPTIMUM=              455990 		Current CPU time: 334.47 ms
c CURRENT OPTIMUM=              455985 		Current CPU time: 336.00 ms
c CURRENT OPTIMUM=              455980 		Current CPU time: 337.39 ms
c CURRENT OPTIMUM=              455975 		Current CPU time: 338.92 ms
c CURRENT OPTIMUM=              455970 		Current CPU time: 340.31 ms
c CURRENT OPTIMUM=              455965 		Current CPU time: 341.68 ms
c CURRENT OPTIMUM=              455960 		Current CPU time: 342.89 ms
c CURRENT OPTIMUM=              455955 		Current CPU time: 344.45 ms
c CURRENT OPTIMUM=              455950 		Current CPU time: 345.84 ms
c CURRENT OPTIMUM=              455945 		Current CPU time: 347.23 ms
c CURRENT OPTIMUM=              455940 		Current CPU time: 348.45 ms
c CURRENT OPTIMUM=              455935 		Current CPU time: 349.85 ms
c CURRENT OPTIMUM=              455930 		Current CPU time: 351.07 ms
c CURRENT OPTIMUM=              455925 		Current CPU time: 352.30 ms
c CURRENT OPTIMUM=              455920 		Current CPU time: 353.35 ms
c CURRENT OPTIMUM=              455915 		Current CPU time: 354.94 ms
c CURRENT OPTIMUM=              455910 		Current CPU time: 356.36 ms
c CURRENT OPTIMUM=              455905 		Current CPU time: 357.77 ms
c CURRENT OPTIMUM=              455900 		Current CPU time: 359.02 ms
c CURRENT OPTIMUM=              455895 		Current CPU time: 360.44 ms
c CURRENT OPTIMUM=              455890 		Current CPU time: 361.68 ms
c CURRENT OPTIMUM=              455885 		Current CPU time: 362.93 ms
c CURRENT OPTIMUM=              455880 		Current CPU time: 364.00 ms
c CURRENT OPTIMUM=              455875 		Current CPU time: 365.45 ms
c CURRENT OPTIMUM=              455870 		Current CPU time: 366.70 ms
c CURRENT OPTIMUM=              455865 		Current CPU time: 367.96 ms
c CURRENT OPTIMUM=              455860 		Current CPU time: 369.05 ms
c CURRENT OPTIMUM=              455855 		Current CPU time: 370.32 ms
c CURRENT OPTIMUM=              455850 		Current CPU time: 371.41 ms
c CURRENT OPTIMUM=              455845 		Current CPU time: 372.50 ms
c CURRENT OPTIMUM=              455840 		Current CPU time: 373.39 ms
c CURRENT OPTIMUM=              455835 		Current CPU time: 375.04 ms
c CURRENT OPTIMUM=              455830 		Current CPU time: 376.50 ms
c CURRENT OPTIMUM=              455825 		Current CPU time: 377.97 ms
c CURRENT OPTIMUM=              455820 		Current CPU time: 379.26 ms
c CURRENT OPTIMUM=              455815 		Current CPU time: 380.73 ms
c CURRENT OPTIMUM=              455810 		Current CPU time: 382.02 ms
c CURRENT OPTIMUM=              455805 		Current CPU time: 383.31 ms
c CURRENT OPTIMUM=              455800 		Current CPU time: 384.42 ms
c CURRENT OPTIMUM=              455795 		Current CPU time: 385.91 ms
c CURRENT OPTIMUM=              455790 		Current CPU time: 387.21 ms
c CURRENT OPTIMUM=              455785 		Current CPU time: 388.51 ms
c CURRENT OPTIMUM=              455780 		Current CPU time: 389.63 ms
c CURRENT OPTIMUM=              455775 		Current CPU time: 390.93 ms
c CURRENT OPTIMUM=              455770 		Current CPU time: 392.06 ms
c CURRENT OPTIMUM=              455765 		Current CPU time: 393.19 ms
c CURRENT OPTIMUM=              455760 		Current CPU time: 394.11 ms
c CURRENT OPTIMUM=              455755 		Current CPU time: 395.63 ms
c CURRENT OPTIMUM=              455750 		Current CPU time: 396.94 ms
c CURRENT OPTIMUM=              455745 		Current CPU time: 398.25 ms
c CURRENT OPTIMUM=              455740 		Current CPU time: 399.39 ms
c CURRENT OPTIMUM=              455735 		Current CPU time: 400.71 ms
c CURRENT OPTIMUM=              455730 		Current CPU time: 401.84 ms
c CURRENT OPTIMUM=              455725 		Current CPU time: 402.98 ms
c CURRENT OPTIMUM=              455720 		Current CPU time: 403.93 ms
c CURRENT OPTIMUM=              455715 		Current CPU time: 405.27 ms
c CURRENT OPTIMUM=              455710 		Current CPU time: 406.42 ms
c CURRENT OPTIMUM=              455705 		Current CPU time: 407.57 ms
c CURRENT OPTIMUM=              455700 		Current CPU time: 408.53 ms
c CURRENT OPTIMUM=              455695 		Current CPU time: 409.67 ms
c CURRENT OPTIMUM=              455690 		Current CPU time: 410.64 ms
c CURRENT OPTIMUM=              455685 		Current CPU time: 411.60 ms
c CURRENT OPTIMUM=              455680 		Current CPU time: 412.37 ms
c CURRENT OPTIMUM=              455675 		Current CPU time: 414.87 ms
c CURRENT OPTIMUM=              455670 		Current CPU time: 417.20 ms
c CURRENT OPTIMUM=              455665 		Current CPU time: 419.53 ms
c CURRENT OPTIMUM=              455660 		Current CPU time: 421.66 ms
c CURRENT OPTIMUM=              455655 		Current CPU time: 423.99 ms
c CURRENT OPTIMUM=              455650 		Current CPU time: 426.15 ms
c CURRENT OPTIMUM=              455645 		Current CPU time: 428.29 ms
c CURRENT OPTIMUM=              455640 		Current CPU time: 430.25 ms
c CURRENT OPTIMUM=              455635 		Current CPU time: 432.60 ms
c CURRENT OPTIMUM=              455630 		Current CPU time: 434.77 ms
c CURRENT OPTIMUM=              455625 		Current CPU time: 436.94 ms
c CURRENT OPTIMUM=              455620 		Current CPU time: 438.93 ms
c CURRENT OPTIMUM=              455615 		Current CPU time: 441.10 ms
c CURRENT OPTIMUM=              455610 		Current CPU time: 443.09 ms
c CURRENT OPTIMUM=              455605 		Current CPU time: 445.07 ms
c CURRENT OPTIMUM=              455600 		Current CPU time: 446.86 ms
c CURRENT OPTIMUM=              455595 		Current CPU time: 449.25 ms
c CURRENT OPTIMUM=              455590 		Current CPU time: 451.44 ms
c CURRENT OPTIMUM=              455585 		Current CPU time: 453.64 ms
c CURRENT OPTIMUM=              455580 		Current CPU time: 455.65 ms
c CURRENT OPTIMUM=              455575 		Current CPU time: 457.85 ms
c CURRENT OPTIMUM=              455570 		Current CPU time: 459.86 ms
c CURRENT OPTIMUM=              455565 		Current CPU time: 461.88 ms
c CURRENT OPTIMUM=              455560 		Current CPU time: 463.70 ms
c CURRENT OPTIMUM=              455555 		Current CPU time: 465.92 ms
c CURRENT OPTIMUM=              455550 		Current CPU time: 467.95 ms
c CURRENT OPTIMUM=              455545 		Current CPU time: 469.98 ms
c CURRENT OPTIMUM=              455540 		Current CPU time: 471.81 ms
c CURRENT OPTIMUM=              455535 		Current CPU time: 473.84 ms
c CURRENT OPTIMUM=              455530 		Current CPU time: 475.67 ms
c CURRENT OPTIMUM=              455525 		Current CPU time: 477.52 ms
c CURRENT OPTIMUM=              455520 		Current CPU time: 479.16 ms
c CURRENT OPTIMUM=              455515 		Current CPU time: 481.62 ms
c CURRENT OPTIMUM=              455510 		Current CPU time: 483.88 ms
c CURRENT OPTIMUM=              455505 		Current CPU time: 486.15 ms
c CURRENT OPTIMUM=              455500 		Current CPU time: 488.22 ms
c CURRENT OPTIMUM=              455495 		Current CPU time: 490.47 ms
c CURRENT OPTIMUM=              455490 		Current CPU time: 492.56 ms
c CURRENT OPTIMUM=              455485 		Current CPU time: 494.62 ms
c CURRENT OPTIMUM=              455480 		Current CPU time: 496.47 ms
c CURRENT OPTIMUM=              455475 		Current CPU time: 498.78 ms
c CURRENT OPTIMUM=              455470 		Current CPU time: 500.86 ms
c CURRENT OPTIMUM=              455465 		Current CPU time: 502.92 ms
c CURRENT OPTIMUM=              455460 		Current CPU time: 504.83 ms
c CURRENT OPTIMUM=              455455 		Current CPU time: 506.91 ms
c CURRENT OPTIMUM=              455450 		Current CPU time: 508.81 ms
c CURRENT OPTIMUM=              455445 		Current CPU time: 510.67 ms
c CURRENT OPTIMUM=              455440 		Current CPU time: 512.35 ms
c CURRENT OPTIMUM=              455435 		Current CPU time: 514.66 ms
c CURRENT OPTIMUM=              455430 		Current CPU time: 516.75 ms
c CURRENT OPTIMUM=              455425 		Current CPU time: 518.85 ms
c CURRENT OPTIMUM=              455420 		Current CPU time: 520.77 ms
c CURRENT OPTIMUM=              455415 		Current CPU time: 522.88 ms
c CURRENT OPTIMUM=              455410 		Current CPU time: 524.78 ms
c CURRENT OPTIMUM=              455405 		Current CPU time: 526.70 ms
c CURRENT OPTIMUM=              455400 		Current CPU time: 528.40 ms
c CURRENT OPTIMUM=              455395 		Current CPU time: 530.53 ms
c CURRENT OPTIMUM=              455390 		Current CPU time: 532.46 ms
c CURRENT OPTIMUM=              455385 		Current CPU time: 534.38 ms
c CURRENT OPTIMUM=              455380 		Current CPU time: 536.08 ms
c CURRENT OPTIMUM=              455375 		Current CPU time: 538.01 ms
c CURRENT OPTIMUM=              455370 		Current CPU time: 539.76 ms
c CURRENT OPTIMUM=              455365 		Current CPU time: 541.47 ms
c CURRENT OPTIMUM=              455360 		Current CPU time: 542.98 ms
c CURRENT OPTIMUM=              455355 		Current CPU time: 545.57 ms
c CURRENT OPTIMUM=              455350 		Current CPU time: 547.93 ms
c CURRENT OPTIMUM=              455345 		Current CPU time: 550.30 ms
c CURRENT OPTIMUM=              455340 		Current CPU time: 552.46 ms
c CURRENT OPTIMUM=              455335 		Current CPU time: 554.84 ms
c CURRENT OPTIMUM=              455330 		Current CPU time: 557.05 ms
c CURRENT OPTIMUM=              455325 		Current CPU time: 559.25 ms
c CURRENT OPTIMUM=              455320 		Current CPU time: 561.24 ms
c CURRENT OPTIMUM=              455315 		Current CPU time: 563.67 ms
c CURRENT OPTIMUM=              455310 		Current CPU time: 565.87 ms
c CURRENT OPTIMUM=              455305 		Current CPU time: 568.08 ms
c CURRENT OPTIMUM=              455300 		Current CPU time: 570.08 ms
c CURRENT OPTIMUM=              455295 		Current CPU time: 572.28 ms
c CURRENT OPTIMUM=              455290 		Current CPU time: 574.29 ms
c CURRENT OPTIMUM=              455285 		Current CPU time: 576.30 ms
c CURRENT OPTIMUM=              455280 		Current CPU time: 578.08 ms
c CURRENT OPTIMUM=              455275 		Current CPU time: 580.53 ms
c CURRENT OPTIMUM=              455270 		Current CPU time: 582.79 ms
c CURRENT OPTIMUM=              455265 		Current CPU time: 585.04 ms
c CURRENT OPTIMUM=              455260 		Current CPU time: 587.06 ms
c CURRENT OPTIMUM=              455255 		Current CPU time: 589.31 ms
c CURRENT OPTIMUM=              455250 		Current CPU time: 591.34 ms
c CURRENT OPTIMUM=              455245 		Current CPU time: 593.38 ms
c CURRENT OPTIMUM=              455240 		Current CPU time: 595.20 ms
c CURRENT OPTIMUM=              455235 		Current CPU time: 597.47 ms
c CURRENT OPTIMUM=              455230 		Current CPU time: 599.51 ms
c CURRENT OPTIMUM=              455225 		Current CPU time: 601.56 ms
c CURRENT OPTIMUM=              455220 		Current CPU time: 603.38 ms
c CURRENT OPTIMUM=              455215 		Current CPU time: 605.44 ms
c CURRENT OPTIMUM=              455210 		Current CPU time: 607.28 ms
c CURRENT OPTIMUM=              455205 		Current CPU time: 609.12 ms
c CURRENT OPTIMUM=              455200 		Current CPU time: 610.74 ms
c CURRENT OPTIMUM=              455195 		Current CPU time: 613.26 ms
c CURRENT OPTIMUM=              455190 		Current CPU time: 615.55 ms
c CURRENT OPTIMUM=              455185 		Current CPU time: 617.86 ms
c CURRENT OPTIMUM=              455180 		Current CPU time: 619.94 ms
c CURRENT OPTIMUM=              455175 		Current CPU time: 622.26 ms
c CURRENT OPTIMUM=              455170 		Current CPU time: 624.35 ms
c CURRENT OPTIMUM=              455165 		Current CPU time: 626.44 ms
c CURRENT OPTIMUM=              455160 		Current CPU time: 628.30 ms
c CURRENT OPTIMUM=              455155 		Current CPU time: 630.63 ms
c CURRENT OPTIMUM=              455150 		Current CPU time: 632.73 ms
c CURRENT OPTIMUM=              455145 		Current CPU time: 634.83 ms
c CURRENT OPTIMUM=              455140 		Current CPU time: 636.71 ms
c CURRENT OPTIMUM=              455135 		Current CPU time: 638.82 ms
c CURRENT OPTIMUM=              455130 		Current CPU time: 640.69 ms
c CURRENT OPTIMUM=              455125 		Current CPU time: 642.57 ms
c CURRENT OPTIMUM=              455120 		Current CPU time: 644.21 ms
c CURRENT OPTIMUM=              455115 		Current CPU time: 646.57 ms
c CURRENT OPTIMUM=              455110 		Current CPU time: 648.69 ms
c CURRENT OPTIMUM=              455105 		Current CPU time: 650.82 ms
c CURRENT OPTIMUM=              455100 		Current CPU time: 652.72 ms
c CURRENT OPTIMUM=              455095 		Current CPU time: 654.85 ms
c CURRENT OPTIMUM=              455090 		Current CPU time: 656.76 ms
c CURRENT OPTIMUM=              455085 		Current CPU time: 658.66 ms
c CURRENT OPTIMUM=              455080 		Current CPU time: 660.32 ms
c CURRENT OPTIMUM=              455075 		Current CPU time: 662.48 ms
c CURRENT OPTIMUM=              455070 		Current CPU time: 664.40 ms
c CURRENT OPTIMUM=              455065 		Current CPU time: 666.31 ms
c CURRENT OPTIMUM=              455060 		Current CPU time: 668.00 ms
c CURRENT OPTIMUM=              455055 		Current CPU time: 669.92 ms
c CURRENT OPTIMUM=              455050 		Current CPU time: 671.60 ms
c CURRENT OPTIMUM=              455045 		Current CPU time: 673.29 ms
c CURRENT OPTIMUM=              455040 		Current CPU time: 674.73 ms
c CURRENT OPTIMUM=              455035 		Current CPU time: 677.63 ms
c CURRENT OPTIMUM=              455030 		Current CPU time: 680.29 ms
c CURRENT OPTIMUM=              455025 		Current CPU time: 682.95 ms
c CURRENT OPTIMUM=              455020 		Current CPU time: 685.39 ms
c CURRENT OPTIMUM=              455015 		Current CPU time: 688.06 ms
c CURRENT OPTIMUM=              455010 		Current CPU time: 690.49 ms
c CURRENT OPTIMUM=              455005 		Current CPU time: 692.94 ms
c CURRENT OPTIMUM=              455000 		Current CPU time: 695.14 ms
c CURRENT OPTIMUM=              454995 		Current CPU time: 697.83 ms
c CURRENT OPTIMUM=              454990 		Current CPU time: 700.27 ms
c CURRENT OPTIMUM=              454985 		Current CPU time: 702.73 ms
c CURRENT OPTIMUM=              454980 		Current CPU time: 704.94 ms
c CURRENT OPTIMUM=              454975 		Current CPU time: 707.40 ms
c CURRENT OPTIMUM=              454970 		Current CPU time: 709.62 ms
c CURRENT OPTIMUM=              454965 		Current CPU time: 711.84 ms
c CURRENT OPTIMUM=              454960 		Current CPU time: 713.83 ms
c CURRENT OPTIMUM=              454955 		Current CPU time: 716.55 ms
c CURRENT OPTIMUM=              454950 		Current CPU time: 719.03 ms
c CURRENT OPTIMUM=              454945 		Current CPU time: 721.51 ms
c CURRENT OPTIMUM=              454940 		Current CPU time: 723.75 ms
c CURRENT OPTIMUM=              454935 		Current CPU time: 726.24 ms
c CURRENT OPTIMUM=              454930 		Current CPU time: 728.48 ms
c CURRENT OPTIMUM=              454925 		Current CPU time: 730.73 ms
c CURRENT OPTIMUM=              454920 		Current CPU time: 732.74 ms
c CURRENT OPTIMUM=              454915 		Current CPU time: 735.25 ms
c CURRENT OPTIMUM=              454910 		Current CPU time: 737.51 ms
c CURRENT OPTIMUM=              454905 		Current CPU time: 739.77 ms
c CURRENT OPTIMUM=              454900 		Current CPU time: 741.79 ms
c CURRENT OPTIMUM=              454895 		Current CPU time: 744.06 ms
c CURRENT OPTIMUM=              454890 		Current CPU time: 746.08 ms
c CURRENT OPTIMUM=              454885 		Current CPU time: 748.11 ms
c CURRENT OPTIMUM=              454880 		Current CPU time: 749.88 ms
c CURRENT OPTIMUM=              454875 		Current CPU time: 752.67 ms
c CURRENT OPTIMUM=              454870 		Current CPU time: 755.22 ms
c CURRENT OPTIMUM=              454865 		Current CPU time: 757.76 ms
c CURRENT OPTIMUM=              454860 		Current CPU time: 760.06 ms
c CURRENT OPTIMUM=              454855 		Current CPU time: 762.61 ms
c CURRENT OPTIMUM=              454850 		Current CPU time: 764.91 ms
c CURRENT OPTIMUM=              454845 		Current CPU time: 767.23 ms
c CURRENT OPTIMUM=              454840 		Current CPU time: 769.27 ms
c CURRENT OPTIMUM=              454835 		Current CPU time: 771.84 ms
c CURRENT OPTIMUM=              454830 		Current CPU time: 774.16 ms
c CURRENT OPTIMUM=              454825 		Current CPU time: 776.47 ms
c CURRENT OPTIMUM=              454820 		Current CPU time: 778.54 ms
c CURRENT OPTIMUM=              454815 		Current CPU time: 780.86 ms
c CURRENT OPTIMUM=              454810 		Current CPU time: 782.92 ms
c CURRENT OPTIMUM=              454805 		Current CPU time: 784.99 ms
c CURRENT OPTIMUM=              454800 		Current CPU time: 786.80 ms
c CURRENT OPTIMUM=              454795 		Current CPU time: 789.40 ms
c CURRENT OPTIMUM=              454790 		Current CPU time: 791.74 ms
c CURRENT OPTIMUM=              454785 		Current CPU time: 794.09 ms
c CURRENT OPTIMUM=              454780 		Current CPU time: 796.17 ms
c CURRENT OPTIMUM=              454775 		Current CPU time: 798.54 ms
c CURRENT OPTIMUM=              454770 		Current CPU time: 800.62 ms
c CURRENT OPTIMUM=              454765 		Current CPU time: 802.71 ms
c CURRENT OPTIMUM=              454760 		Current CPU time: 804.55 ms
c CURRENT OPTIMUM=              454755 		Current CPU time: 806.91 ms
c CURRENT OPTIMUM=              454750 		Current CPU time: 809.01 ms
c CURRENT OPTIMUM=              454745 		Current CPU time: 811.11 ms
c CURRENT OPTIMUM=              454740 		Current CPU time: 812.96 ms
c CURRENT OPTIMUM=              454735 		Current CPU time: 815.06 ms
c CURRENT OPTIMUM=              454730 		Current CPU time: 816.90 ms
c CURRENT OPTIMUM=              454725 		Current CPU time: 818.75 ms
c CURRENT OPTIMUM=              454720 		Current CPU time: 820.34 ms
c CURRENT OPTIMUM=              454715 		Current CPU time: 823.26 ms
c CURRENT OPTIMUM=              454710 		Current CPU time: 825.90 ms
c CURRENT OPTIMUM=              454705 		Current CPU time: 828.57 ms
c CURRENT OPTIMUM=              454700 		Current CPU time: 830.97 ms
c CURRENT OPTIMUM=              454695 		Current CPU time: 833.64 ms
c CURRENT OPTIMUM=              454690 		Current CPU time: 836.04 ms
c CURRENT OPTIMUM=              454685 		Current CPU time: 838.46 ms
c CURRENT OPTIMUM=              454680 		Current CPU time: 840.60 ms
c CURRENT OPTIMUM=              454675 		Current CPU time: 843.29 ms
c CURRENT OPTIMUM=              454670 		Current CPU time: 845.71 ms
c CURRENT OPTIMUM=              454665 		Current CPU time: 848.15 ms
c CURRENT OPTIMUM=              454660 		Current CPU time: 850.31 ms
c CURRENT OPTIMUM=              454655 		Current CPU time: 852.73 ms
c CURRENT OPTIMUM=              454650 		Current CPU time: 854.90 ms
c CURRENT OPTIMUM=              454645 		Current CPU time: 857.06 ms
c CURRENT OPTIMUM=              454640 		Current CPU time: 858.96 ms
c CURRENT OPTIMUM=              454635 		Current CPU time: 861.68 ms
c CURRENT OPTIMUM=              454630 		Current CPU time: 864.12 ms
c CURRENT OPTIMUM=              454625 		Current CPU time: 866.57 ms
c CURRENT OPTIMUM=              454620 		Current CPU time: 868.75 ms
c CURRENT OPTIMUM=              454615 		Current CPU time: 871.21 ms
c CURRENT OPTIMUM=              454610 		Current CPU time: 873.41 ms
c CURRENT OPTIMUM=              454605 		Current CPU time: 875.60 ms
c CURRENT OPTIMUM=              454600 		Current CPU time: 877.52 ms
c CURRENT OPTIMUM=              454595 		Current CPU time: 879.98 ms
c CURRENT OPTIMUM=              454590 		Current CPU time: 882.18 ms
c CURRENT OPTIMUM=              454585 		Current CPU time: 884.38 ms
c CURRENT OPTIMUM=              454580 		Current CPU time: 886.31 ms
c CURRENT OPTIMUM=              454575 		Current CPU time: 888.52 ms
c CURRENT OPTIMUM=              454570 		Current CPU time: 890.47 ms
c CURRENT OPTIMUM=              454565 		Current CPU time: 892.41 ms
c CURRENT OPTIMUM=              454560 		Current CPU time: 894.08 ms
c CURRENT OPTIMUM=              454555 		Current CPU time: 896.85 ms
c CURRENT OPTIMUM=              454550 		Current CPU time: 899.38 ms
c CURRENT OPTIMUM=              454545 		Current CPU time: 901.87 ms
c CURRENT OPTIMUM=              454540 		Current CPU time: 904.10 ms
c CURRENT OPTIMUM=              454535 		Current CPU time: 906.63 ms
c CURRENT OPTIMUM=              454530 		Current CPU time: 908.87 ms
c CURRENT OPTIMUM=              454525 		Current CPU time: 911.12 ms
c CURRENT OPTIMUM=              454520 		Current CPU time: 913.09 ms
c CURRENT OPTIMUM=              454515 		Current CPU time: 915.62 ms
c CURRENT OPTIMUM=              454510 		Current CPU time: 917.88 ms
c CURRENT OPTIMUM=              454505 		Current CPU time: 920.13 ms
c CURRENT OPTIMUM=              454500 		Current CPU time: 922.10 ms
c CURRENT OPTIMUM=              454495 		Current CPU time: 924.35 ms
c CURRENT OPTIMUM=              454490 		Current CPU time: 926.34 ms
c CURRENT OPTIMUM=              454485 		Current CPU time: 928.32 ms
c CURRENT OPTIMUM=              454480 		Current CPU time: 930.00 ms
c CURRENT OPTIMUM=              454475 		Current CPU time: 932.56 ms
c CURRENT OPTIMUM=              454470 		Current CPU time: 934.83 ms
c CURRENT OPTIMUM=              454465 		Current CPU time: 937.11 ms
c CURRENT OPTIMUM=              454460 		Current CPU time: 939.11 ms
c CURRENT OPTIMUM=              454455 		Current CPU time: 941.39 ms
c CURRENT OPTIMUM=              454450 		Current CPU time: 943.37 ms
c CURRENT OPTIMUM=              454445 		Current CPU time: 945.37 ms
c CURRENT OPTIMUM=              454440 		Current CPU time: 947.09 ms
c CURRENT OPTIMUM=              454435 		Current CPU time: 949.38 ms
c CURRENT OPTIMUM=              454430 		Current CPU time: 951.39 ms
c CURRENT OPTIMUM=              454425 		Current CPU time: 953.41 ms
c CURRENT OPTIMUM=              454420 		Current CPU time: 955.12 ms
c CURRENT OPTIMUM=              454415 		Current CPU time: 957.17 ms
c CURRENT OPTIMUM=              454410 		Current CPU time: 958.92 ms
c CURRENT OPTIMUM=              454405 		Current CPU time: 960.68 ms
c CURRENT OPTIMUM=              454400 		Current CPU time: 962.12 ms
c CURRENT OPTIMUM=              454395 		Current CPU time: 965.64 ms
c CURRENT OPTIMUM=              454390 		Current CPU time: 968.86 ms
c CURRENT OPTIMUM=              454385 		Current CPU time: 972.12 ms
c CURRENT OPTIMUM=              454380 		Current CPU time: 975.05 ms
c CURRENT OPTIMUM=              454375 		Current CPU time: 978.29 ms
c CURRENT OPTIMUM=              454370 		Current CPU time: 981.24 ms
c CURRENT OPTIMUM=              454365 		Current CPU time: 984.21 ms
c CURRENT OPTIMUM=              454360 		Current CPU time: 986.87 ms
c CURRENT OPTIMUM=              454355 		Current CPU time: 990.10 ms
c CURRENT OPTIMUM=              454350 		Current CPU time: 993.02 ms
c CURRENT OPTIMUM=              454345 		Current CPU time: 995.95 ms
c CURRENT OPTIMUM=              454340 		Current CPU time: 998.60 ms
c CURRENT OPTIMUM=              454335 		Current CPU time: 1001.53 ms
c CURRENT OPTIMUM=              454330 		Current CPU time: 1004.18 ms
c CURRENT OPTIMUM=              454325 		Current CPU time: 1006.84 ms
c CURRENT OPTIMUM=              454320 		Current CPU time: 1009.19 ms
c CURRENT OPTIMUM=              454315 		Current CPU time: 1012.44 ms
c CURRENT OPTIMUM=              454310 		Current CPU time: 1015.40 ms
c CURRENT OPTIMUM=              454305 		Current CPU time: 1018.37 ms
c CURRENT OPTIMUM=              454300 		Current CPU time: 1021.05 ms
c CURRENT OPTIMUM=              454295 		Current CPU time: 1024.02 ms
c CURRENT OPTIMUM=              454290 		Current CPU time: 1026.69 ms
c CURRENT OPTIMUM=              454285 		Current CPU time: 1029.37 ms
c CURRENT OPTIMUM=              454280 		Current CPU time: 1031.75 ms
c CURRENT OPTIMUM=              454275 		Current CPU time: 1034.73 ms
c CURRENT OPTIMUM=              454270 		Current CPU time: 1037.42 ms
c CURRENT OPTIMUM=              454265 		Current CPU time: 1040.12 ms
c CURRENT OPTIMUM=              454260 		Current CPU time: 1042.52 ms
c CURRENT OPTIMUM=              454255 		Current CPU time: 1045.22 ms
c CURRENT OPTIMUM=              454250 		Current CPU time: 1047.63 ms
c CURRENT OPTIMUM=              454245 		Current CPU time: 1050.03 ms
c CURRENT OPTIMUM=              454240 		Current CPU time: 1052.14 ms
c CURRENT OPTIMUM=              454235 		Current CPU time: 1055.45 ms
c CURRENT OPTIMUM=              454230 		Current CPU time: 1058.48 ms
c CURRENT OPTIMUM=              454225 		Current CPU time: 1061.50 ms
c CURRENT OPTIMUM=              454220 		Current CPU time: 1064.23 ms
c CURRENT OPTIMUM=              454215 		Current CPU time: 1067.27 ms
c CURRENT OPTIMUM=              454210 		Current CPU time: 1070.00 ms
c CURRENT OPTIMUM=              454205 		Current CPU time: 1072.74 ms
c CURRENT OPTIMUM=              454200 		Current CPU time: 1075.17 ms
c CURRENT OPTIMUM=              454195 		Current CPU time: 1078.22 ms
c CURRENT OPTIMUM=              454190 		Current CPU time: 1080.96 ms
c CURRENT OPTIMUM=              454185 		Current CPU time: 1083.71 ms
c CURRENT OPTIMUM=              454180 		Current CPU time: 1086.15 ms
c CURRENT OPTIMUM=              454175 		Current CPU time: 1088.91 ms
c CURRENT OPTIMUM=              454170 		Current CPU time: 1091.35 ms
c CURRENT OPTIMUM=              454165 		Current CPU time: 1093.82 ms
c CURRENT OPTIMUM=              454160 		Current CPU time: 1095.96 ms
c CURRENT OPTIMUM=              454155 		Current CPU time: 1099.04 ms
c CURRENT OPTIMUM=              454150 		Current CPU time: 1101.80 ms
c CURRENT OPTIMUM=              454145 		Current CPU time: 1104.58 ms
c CURRENT OPTIMUM=              454140 		Current CPU time: 1107.05 ms
c CURRENT OPTIMUM=              454135 		Current CPU time: 1109.84 ms
c CURRENT OPTIMUM=              454130 		Current CPU time: 1112.31 ms
c CURRENT OPTIMUM=              454125 		Current CPU time: 1114.81 ms
c CURRENT OPTIMUM=              454120 		Current CPU time: 1116.96 ms
c CURRENT OPTIMUM=              454115 		Current CPU time: 1119.76 ms
c CURRENT OPTIMUM=              454110 		Current CPU time: 1122.24 ms
c CURRENT OPTIMUM=              454105 		Current CPU time: 1124.72 ms
c CURRENT OPTIMUM=              454100 		Current CPU time: 1126.90 ms
c CURRENT OPTIMUM=              454095 		Current CPU time: 1129.41 ms
c CURRENT OPTIMUM=              454090 		Current CPU time: 1131.59 ms
c CURRENT OPTIMUM=              454085 		Current CPU time: 1133.77 ms
c CURRENT OPTIMUM=              454080 		Current CPU time: 1135.64 ms
c CURRENT OPTIMUM=              454075 		Current CPU time: 1139.08 ms
c CURRENT OPTIMUM=              454070 		Current CPU time: 1142.23 ms
c CURRENT OPTIMUM=              454065 		Current CPU time: 1145.37 ms
c CURRENT OPTIMUM=              454060 		Current CPU time: 1148.22 ms
c CURRENT OPTIMUM=              454055 		Current CPU time: 1151.37 ms
c CURRENT OPTIMUM=              454050 		Current CPU time: 1154.21 ms
c CURRENT OPTIMUM=              454045 		Current CPU time: 1157.04 ms
c CURRENT OPTIMUM=              454040 		Current CPU time: 1159.58 ms
c CURRENT OPTIMUM=              454035 		Current CPU time: 1162.74 ms
c CURRENT OPTIMUM=              454030 		Current CPU time: 1165.60 ms
c CURRENT OPTIMUM=              454025 		Current CPU time: 1168.45 ms
c CURRENT OPTIMUM=              454020 		Current CPU time: 1170.99 ms
c CURRENT OPTIMUM=              454015 		Current CPU time: 1173.85 ms
c CURRENT OPTIMUM=              454010 		Current CPU time: 1176.40 ms
c CURRENT OPTIMUM=              454005 		Current CPU time: 1178.95 ms
c CURRENT OPTIMUM=              454000 		Current CPU time: 1181.19 ms
c CURRENT OPTIMUM=              453995 		Current CPU time: 1184.38 ms
c CURRENT OPTIMUM=              453990 		Current CPU time: 1187.27 ms
c CURRENT OPTIMUM=              453985 		Current CPU time: 1190.14 ms
c CURRENT OPTIMUM=              453980 		Current CPU time: 1192.71 ms
c CURRENT OPTIMUM=              453975 		Current CPU time: 1195.60 ms
c CURRENT OPTIMUM=              453970 		Current CPU time: 1198.15 ms
c CURRENT OPTIMUM=              453965 		Current CPU time: 1200.72 ms
c CURRENT OPTIMUM=              453960 		Current CPU time: 1202.98 ms
c CURRENT OPTIMUM=              453955 		Current CPU time: 1205.87 ms
c CURRENT OPTIMUM=              453950 		Current CPU time: 1208.46 ms
c CURRENT OPTIMUM=              453945 		Current CPU time: 1211.04 ms
c CURRENT OPTIMUM=              453940 		Current CPU time: 1213.31 ms
c CURRENT OPTIMUM=              453935 		Current CPU time: 1215.90 ms
c CURRENT OPTIMUM=              453930 		Current CPU time: 1218.16 ms
c starts	: 866
c conflicts	: 3
c decisions	: 8267
c propagations	: 52939
c inspects	: 3317468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 869
s SATISFIABLE
v -VOL1_bit_10 -VOL1_bit_9 -VOL1_bit_8 -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 -VOL1_bit13 -VOL1_bit14 -VOL1_bit15 -VOL1_bit16 -VOL1_bit17 -VOL1_bit18 -VOL1_bit19 -VOL2_bit_10 VOL2_bit_9 -VOL2_bit_8 -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 -VOL2_bit13 -VOL2_bit14 -VOL2_bit15 -VOL2_bit16 -VOL2_bit17 -VOL2_bit18 -VOL2_bit19 -VOL3_bit_10 -VOL3_bit_9 -VOL3_bit_8 -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_10 -VOL4_bit_9 -VOL4_bit_8 -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=453930
c Total CPU time (ms) : 1219.146
#### 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 8603
Raw data (stat): 8603 (runsolver) R 8602 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780369279 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.0011 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 8664
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18115 7 1 0 855 40 1 0 25 0 11 0 780369279 858693632 19460 4294967295 134512640 134569956 3221224368 3221214656 1131169542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 19460 13086 16 0 209626 0
vsize: 838568
[startup+20.0013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8698
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18115 7 1 0 1809 42 2 0 25 0 11 0 780369279 860188672 19879 4294967295 134512640 134569956 3221224368 3221214740 1131144736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 19879 13086 16 0 209991 0
vsize: 840028
[startup+30.0014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8725
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18115 7 1 0 2778 43 3 1 25 0 11 0 780369279 860188672 20008 4294967295 134512640 134569956 3221224368 3221214788 1131146188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20008 13086 16 0 209991 0
vsize: 840028
[startup+40.0019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8748
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18115 7 1 0 3749 43 4 2 25 0 11 0 780369279 860188672 20180 4294967295 134512640 134569956 3221224368 3221214744 1131172997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20180 13086 16 0 209991 0
vsize: 840028
[startup+50.0022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8766
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18115 7 1 0 4732 44 4 3 25 0 11 0 780369279 860188672 20253 4294967295 134512640 134569956 3221224368 3221214656 1131169085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20253 13086 16 0 209991 0
vsize: 840028
[startup+60.0033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8784
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 5718 44 5 3 25 0 11 0 780369279 860188672 20328 4294967295 134512640 134569956 3221224368 3221214744 1131146212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 20328 13086 16 0 209991 0
vsize: 840028
[startup+70.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8800
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 6704 45 5 3 25 0 11 0 780369279 860188672 20372 4294967295 134512640 134569956 3221224368 3221214736 1131128562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20372 13086 16 0 209991 0
vsize: 840028
[startup+80.0041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8816
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 7690 46 6 3 25 0 11 0 780369279 860188672 20397 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20397 13086 16 0 209991 0
vsize: 840028
[startup+90.0044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8830
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 8675 46 7 3 25 0 11 0 780369279 860188672 20427 4294967295 134512640 134569956 3221224368 3221214656 1131168303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20427 13086 16 0 209991 0
vsize: 840028
[startup+100.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8844
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 9660 47 7 3 25 0 11 0 780369279 860188672 20454 4294967295 134512640 134569956 3221224368 3221214656 1131169471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20454 13086 16 0 209991 0
vsize: 840028
[startup+110.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8858
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 10649 47 8 4 25 0 11 0 780369279 860188672 20539 4294967295 134512640 134569956 3221224368 3221214744 1131172992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 20539 13086 16 0 209991 0
vsize: 840028
[startup+120.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8873
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 11638 48 8 4 25 0 11 0 780369279 860188672 20562 4294967295 134512640 134569956 3221224368 3221214712 1131215291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20562 13086 16 0 209991 0
vsize: 840028
[startup+130.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8882
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 12627 48 9 4 25 0 11 0 780369279 860188672 20587 4294967295 134512640 134569956 3221224368 3221214736 1131128543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20587 13086 16 0 209991 0
vsize: 840028
[startup+140.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8892
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 13618 48 9 4 25 0 11 0 780369279 860188672 20607 4294967295 134512640 134569956 3221224368 3221214740 1131144736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20607 13086 16 0 209991 0
vsize: 840028
[startup+150.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8903
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 14608 48 10 4 25 0 11 0 780369279 860188672 20631 4294967295 134512640 134569956 3221224368 3221214744 1131146546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20631 13086 16 0 209991 0
vsize: 840028
[startup+160.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8912
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 15599 49 10 4 25 0 11 0 780369279 860188672 20649 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20649 13086 16 0 209991 0
vsize: 840028
[startup+170.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8922
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 16591 49 10 4 25 0 11 0 780369279 860188672 20663 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 20663 13086 16 0 209991 0
vsize: 840028
[startup+180.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8932
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 17582 49 10 4 25 0 11 0 780369279 860188672 20680 4294967295 134512640 134569956 3221224368 3221214744 1131173056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20680 13086 16 0 209991 0
vsize: 840028
[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8942
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 18572 50 11 5 25 0 11 0 780369279 860188672 20696 4294967295 134512640 134569956 3221224368 3221214656 1131168262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20696 13086 16 0 209991 0
vsize: 840028
[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8951
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 19564 50 11 5 25 0 11 0 780369279 860188672 20712 4294967295 134512640 134569956 3221224368 3221214656 1131168185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20712 13086 16 0 209991 0
vsize: 840028
[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8960
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 20555 50 11 5 20 0 11 0 780369279 860188672 20728 4294967295 134512640 134569956 3221224368 3221214656 1131169487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20728 13086 16 0 209991 0
vsize: 840028
[startup+220.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8970
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 21546 50 12 5 25 0 11 0 780369279 860188672 20743 4294967295 134512640 134569956 3221224368 3221214616 1131193714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20743 13086 16 0 209991 0
vsize: 840028
[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8978
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 22536 51 12 5 25 0 11 0 780369279 860188672 20758 4294967295 134512640 134569956 3221224368 3221214656 1131168303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 20758 13086 16 0 209991 0
vsize: 840028
[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8988
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 23526 51 12 6 25 0 11 0 780369279 860188672 20772 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20772 13086 16 0 209991 0
vsize: 840028
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8998
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 24513 52 13 6 24 0 11 0 780369279 860188672 20789 4294967295 134512640 134569956 3221224368 3221214656 1131168187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20789 13086 16 0 209991 0
vsize: 840028
[startup+260.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9006
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 25498 52 13 6 25 0 11 0 780369279 860188672 20802 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20802 13086 16 0 209991 0
vsize: 840028
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9013
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 26481 52 13 6 25 0 11 0 780369279 860188672 20860 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20860 13086 16 0 209991 0
vsize: 840028
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9021
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 27467 53 14 6 25 0 11 0 780369279 860188672 20902 4294967295 134512640 134569956 3221224368 3221214656 1131168429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20902 13086 16 0 209991 0
vsize: 840028
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9029
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 28457 53 14 6 25 0 11 0 780369279 860188672 20968 4294967295 134512640 134569956 3221224368 3221214656 1131152167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 20968 13086 16 0 209991 0
vsize: 840028
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9037
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 29448 53 14 7 25 0 11 0 780369279 860188672 20979 4294967295 134512640 134569956 3221224368 3221214792 1131158359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20979 13086 16 0 209991 0
vsize: 840028
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9044
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 30440 53 14 7 25 0 11 0 780369279 860188672 20990 4294967295 134512640 134569956 3221224368 3221214656 1131168178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 20990 13086 16 0 209991 0
vsize: 840028
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9052
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 31431 54 15 7 25 0 11 0 780369279 860188672 21004 4294967295 134512640 134569956 3221224368 3221214672 1131180704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21004 13086 16 0 209991 0
vsize: 840028
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9061
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 32421 54 15 7 25 0 11 0 780369279 860188672 21017 4294967295 134512640 134569956 3221224368 3221214744 1131146583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21017 13086 16 0 209991 0
vsize: 840028
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9069
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 33412 54 16 7 25 0 11 0 780369279 860188672 21028 4294967295 134512640 134569956 3221224368 3221214648 1131144759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21028 13086 16 0 209991 0
vsize: 840028
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9076
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 34402 54 16 7 25 0 11 0 780369279 860188672 21041 4294967295 134512640 134569956 3221224368 3221214656 1131168973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21041 13086 16 0 209991 0
vsize: 840028
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9084
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 35392 55 16 8 25 0 11 0 780369279 860188672 21055 4294967295 134512640 134569956 3221224368 3221214744 1131146507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21055 13086 16 0 209991 0
vsize: 840028
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9092
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 36383 55 16 8 25 0 11 0 780369279 860188672 21067 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21067 13086 16 0 209991 0
vsize: 840028
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9099
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 37374 55 17 8 25 0 11 0 780369279 860188672 21078 4294967295 134512640 134569956 3221224368 3221214656 1131168097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21078 13086 16 0 209991 0
vsize: 840028
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9107
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18116 7 1 0 38363 56 17 8 25 0 11 0 780369279 860188672 21091 4294967295 134512640 134569956 3221224368 3221214744 1131146279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21091 13086 16 0 209991 0
vsize: 840028
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9115
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 39353 56 17 8 25 0 11 0 780369279 860188672 21107 4294967295 134512640 134569956 3221224368 3221214792 1131158869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21107 13086 16 0 209991 0
vsize: 840028
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9124
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 40343 56 18 8 25 0 11 0 780369279 860188672 21121 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21121 13086 16 0 209991 0
vsize: 840028
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9130
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 41332 57 18 8 25 0 11 0 780369279 860188672 21132 4294967295 134512640 134569956 3221224368 3221214792 1131158359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21132 13086 16 0 209991 0
vsize: 840028
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9135
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 42323 58 18 8 25 0 11 0 780369279 860188672 21145 4294967295 134512640 134569956 3221224368 3221214736 1131128547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21145 13086 16 0 209991 0
vsize: 840028
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9140
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 43314 58 18 8 25 0 11 0 780369279 860188672 21159 4294967295 134512640 134569956 3221224368 3221214752 1131212389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21159 13086 16 0 209991 0
vsize: 840028
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9144
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 44305 58 18 8 25 0 11 0 780369279 860188672 21172 4294967295 134512640 134569956 3221224368 3221214740 1131144736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21172 13086 16 0 209991 0
vsize: 840028
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9149
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 45297 58 19 9 25 0 11 0 780369279 860188672 21179 4294967295 134512640 134569956 3221224368 3221214752 1131212430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21179 13086 16 0 209991 0
vsize: 840028
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9154
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 46288 58 19 9 25 0 11 0 780369279 860188672 21186 4294967295 134512640 134569956 3221224368 3221214656 1131169476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21186 13086 16 0 209991 0
vsize: 840028
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9159
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 47278 59 19 9 25 0 11 0 780369279 860188672 21195 4294967295 134512640 134569956 3221224368 3221214656 1131169094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21195 13086 16 0 209991 0
vsize: 840028
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9164
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 48270 59 20 9 25 0 11 0 780369279 860188672 21202 4294967295 134512640 134569956 3221224368 3221214788 1131173226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21202 13086 16 0 209991 0
vsize: 840028
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9169
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 49261 59 20 9 25 0 11 0 780369279 860188672 21209 4294967295 134512640 134569956 3221224368 3221214744 1131146574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21209 13086 16 0 209991 0
vsize: 840028
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9174
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 50250 60 20 9 25 0 11 0 780369279 860188672 21217 4294967295 134512640 134569956 3221224368 3221214792 1131158373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21217 13086 16 0 209991 0
vsize: 840028
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9179
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 51241 60 20 9 25 0 11 0 780369279 860188672 21225 4294967295 134512640 134569956 3221224368 3221214792 1131159290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21225 13086 16 0 209991 0
vsize: 840028
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9184
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 52231 61 21 9 25 0 11 0 780369279 860188672 21232 4294967295 134512640 134569956 3221224368 3221214792 1131159556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21232 13086 16 0 209991 0
vsize: 840028
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9189
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 53220 61 21 9 25 0 11 0 780369279 860188672 21239 4294967295 134512640 134569956 3221224368 3221214744 1131146470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21239 13086 16 0 209991 0
vsize: 840028
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9194
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 54211 62 21 10 25 0 11 0 780369279 860188672 21249 4294967295 134512640 134569956 3221224368 3221214656 1131168187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 21249 13086 16 0 209991 0
vsize: 840028
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9198
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 55200 62 21 10 25 0 11 0 780369279 860188672 21257 4294967295 134512640 134569956 3221224368 3221214656 1131168175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21257 13086 16 0 209991 0
vsize: 840028
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9203
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 56191 62 21 10 25 0 11 0 780369279 860188672 21265 4294967295 134512640 134569956 3221224368 3221214792 1131158373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21265 13086 16 0 209991 0
vsize: 840028
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9208
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 57182 62 21 10 25 0 11 0 780369279 860188672 21272 4294967295 134512640 134569956 3221224368 3221214744 1131146209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21272 13086 16 0 209991 0
vsize: 840028
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9212
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 58173 63 21 10 25 0 11 0 780369279 860188672 21279 4294967295 134512640 134569956 3221224368 3221214744 1131146540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21279 13086 16 0 209991 0
vsize: 840028
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9217
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 59164 63 22 10 25 0 11 0 780369279 860188672 21287 4294967295 134512640 134569956 3221224368 3221214740 1131145476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21287 13086 16 0 209991 0
vsize: 840028
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9222
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 60155 63 22 10 25 0 11 0 780369279 860188672 21295 4294967295 134512640 134569956 3221224368 3221214672 1131180668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21295 13086 16 0 209991 0
vsize: 840028
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9227
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 61145 64 22 10 25 0 11 0 780369279 860188672 21301 4294967295 134512640 134569956 3221224368 3221214792 1131158740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21301 13086 16 0 209991 0
vsize: 840028
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9232
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 62136 64 22 10 25 0 11 0 780369279 860188672 21309 4294967295 134512640 134569956 3221224368 3221214648 1131144759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21309 13086 16 0 209991 0
vsize: 840028
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9237
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 63127 64 22 10 25 0 11 0 780369279 860188672 21317 4294967295 134512640 134569956 3221224368 3221214656 1131168260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21317 13086 16 0 209991 0
vsize: 840028
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9242
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 64117 64 22 10 25 0 11 0 780369279 860188672 21325 4294967295 134512640 134569956 3221224368 3221214656 1131168303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21325 13086 16 0 209991 0
vsize: 840028
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9247
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 65108 65 23 11 25 0 11 0 780369279 860188672 21331 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21331 13086 16 0 209991 0
vsize: 840028
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9252
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 66098 65 23 11 25 0 11 0 780369279 860188672 21339 4294967295 134512640 134569956 3221224368 3221214744 1131146475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21339 13086 16 0 209991 0
vsize: 840028
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9257
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 67089 65 23 11 25 0 11 0 780369279 860188672 21347 4294967295 134512640 134569956 3221224368 3221214744 1131146497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21347 13086 16 0 209991 0
vsize: 840028
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9261
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 68079 65 23 11 25 0 11 0 780369279 860188672 21354 4294967295 134512640 134569956 3221224368 3221214736 1131128562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21354 13086 16 0 209991 0
vsize: 840028
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 69070 66 23 11 25 0 11 0 780369279 860188672 21364 4294967295 134512640 134569956 3221224368 3221214744 1131146239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21364 13086 16 0 209991 0
vsize: 840028
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9269
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 70061 66 23 11 25 0 11 0 780369279 860188672 21372 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21372 13086 16 0 209991 0
vsize: 840028
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9274
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 71051 66 23 11 25 0 11 0 780369279 860188672 21378 4294967295 134512640 134569956 3221224368 3221214736 1131128569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21378 13086 16 0 209991 0
vsize: 840028
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9278
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 72042 66 24 11 25 0 11 0 780369279 860188672 21384 4294967295 134512640 134569956 3221224368 3221214744 1131173028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21384 13086 16 0 209991 0
vsize: 840028
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9282
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 73033 66 24 11 25 0 11 0 780369279 860188672 21391 4294967295 134512640 134569956 3221224368 3221214744 1131172992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21391 13086 16 0 209991 0
vsize: 840028
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9287
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 74023 67 24 11 25 0 11 0 780369279 860188672 21397 4294967295 134512640 134569956 3221224368 3221214736 1131128557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21397 13086 16 0 209991 0
vsize: 840028
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9291
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 75013 67 24 11 25 0 11 0 780369279 860188672 21405 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21405 13086 16 0 209991 0
vsize: 840028
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9295
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 76004 67 24 11 25 0 11 0 780369279 860188672 21411 4294967295 134512640 134569956 3221224368 3221214744 1131146528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21411 13086 16 0 209991 0
vsize: 840028
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9300
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 76994 67 24 11 25 0 11 0 780369279 860188672 21419 4294967295 134512640 134569956 3221224368 3221214656 1131169528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21419 13086 16 0 209991 0
vsize: 840028
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9304
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 77984 68 24 11 25 0 11 0 780369279 860188672 21425 4294967295 134512640 134569956 3221224368 3221214656 1131168417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21425 13086 16 0 209991 0
vsize: 840028
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9309
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 78975 68 25 12 25 0 11 0 780369279 860188672 21432 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21432 13086 16 0 209991 0
vsize: 840028
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9314
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 79965 68 25 12 25 0 11 0 780369279 860188672 21440 4294967295 134512640 134569956 3221224368 3221214656 1131169066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21440 13086 16 0 209991 0
vsize: 840028
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9319
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 80953 68 25 12 25 0 11 0 780369279 860188672 21447 4294967295 134512640 134569956 3221224368 3221214656 1131169078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21447 13086 16 0 209991 0
vsize: 840028
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9323
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 81943 68 25 12 25 0 11 0 780369279 860188672 21455 4294967295 134512640 134569956 3221224368 3221214744 1131172992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21455 13086 16 0 209991 0
vsize: 840028
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9327
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 82933 69 25 12 25 0 11 0 780369279 860188672 21464 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21464 13086 16 0 209991 0
vsize: 840028
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9331
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 83923 69 26 12 25 0 11 0 780369279 860188672 21472 4294967295 134512640 134569956 3221224368 3221214744 1131146549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21472 13086 16 0 209991 0
vsize: 840028
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9336
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 84913 70 26 12 25 0 11 0 780369279 860188672 21480 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21480 13086 16 0 209991 0
vsize: 840028
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9340
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 85902 70 26 12 25 0 11 0 780369279 860188672 21486 4294967295 134512640 134569956 3221224368 3221214744 1131146435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21486 13086 16 0 209991 0
vsize: 840028
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9344
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 86893 70 26 12 25 0 11 0 780369279 860188672 21492 4294967295 134512640 134569956 3221224368 3221214656 1131169010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21492 13086 16 0 209991 0
vsize: 840028
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9349
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 87883 70 26 12 25 0 11 0 780369279 860188672 21499 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21499 13086 16 0 209991 0
vsize: 840028
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9353
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 88872 70 26 12 25 0 11 0 780369279 860188672 21507 4294967295 134512640 134569956 3221224368 3221214656 1131169301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21507 13086 16 0 209991 0
vsize: 840028
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9358
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 89860 71 26 12 25 0 11 0 780369279 860188672 21513 4294967295 134512640 134569956 3221224368 3221214656 1131168084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21513 13086 16 0 209991 0
vsize: 840028
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9362
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 90847 71 27 12 25 0 11 0 780369279 860188672 21521 4294967295 134512640 134569956 3221224368 3221214648 1131144767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21521 13086 16 0 209991 0
vsize: 840028
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9367
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 91835 71 27 12 25 0 11 0 780369279 860188672 21527 4294967295 134512640 134569956 3221224368 3221214792 1131158884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21527 13086 16 0 209991 0
vsize: 840028
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9372
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 92823 71 27 12 25 0 11 0 780369279 860188672 21622 4294967295 134512640 134569956 3221224368 3221214712 1131215364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21622 13086 16 0 209991 0
vsize: 840028
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9376
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 93812 72 27 12 25 0 11 0 780369279 860188672 21630 4294967295 134512640 134569956 3221224368 3221214744 1131172992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21630 13086 16 0 209991 0
vsize: 840028
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9382
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 94797 72 27 12 25 0 11 0 780369279 860188672 21637 4294967295 134512640 134569956 3221224368 3221214744 1131146209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21637 13086 16 0 209991 0
vsize: 840028
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9386
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 95772 72 28 12 25 0 11 0 780369279 860188672 21644 4294967295 134512640 134569956 3221224368 3221214656 1131169010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21644 13086 16 0 209991 0
vsize: 840028
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9389
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 96750 72 28 13 25 0 11 0 780369279 860188672 21652 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21652 13086 16 0 209991 0
vsize: 840028
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9392
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 97728 73 28 13 25 0 11 0 780369279 860188672 21803 4294967295 134512640 134569956 3221224368 3221214744 1131173006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21803 13086 16 0 209991 0
vsize: 840028
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9396
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 98717 73 28 13 25 0 11 0 780369279 860188672 21825 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21825 13086 16 0 209991 0
vsize: 840028
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9399
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 99707 73 28 13 25 0 11 0 780369279 860188672 21829 4294967295 134512640 134569956 3221224368 3221214744 1131173009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21829 13086 16 0 209991 0
vsize: 840028
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9403
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 100696 73 28 13 25 0 11 0 780369279 860188672 21834 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21834 13086 16 0 209991 0
vsize: 840028
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9406
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 101686 73 28 13 25 0 11 0 780369279 860188672 21840 4294967295 134512640 134569956 3221224368 3221214768 1131172513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21840 13086 16 0 209991 0
vsize: 840028
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9410
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 102675 73 28 13 25 0 11 0 780369279 860188672 21845 4294967295 134512640 134569956 3221224368 3221214656 1131168084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21845 13086 16 0 209991 0
vsize: 840028
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9414
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 103665 74 28 13 25 0 11 0 780369279 860188672 21852 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21852 13086 16 0 209991 0
vsize: 840028
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9418
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 104655 74 29 13 25 0 11 0 780369279 860188672 21856 4294967295 134512640 134569956 3221224368 3221214656 1131168417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21856 13086 16 0 209991 0
vsize: 840028
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9421
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 105644 74 29 13 25 0 11 0 780369279 860188672 21863 4294967295 134512640 134569956 3221224368 3221214744 1131173006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21863 13086 16 0 209991 0
vsize: 840028
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9425
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18117 7 1 0 106634 74 29 13 25 0 11 0 780369279 860188672 21869 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21869 13086 16 0 209991 0
vsize: 840028
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9429
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 107623 74 29 14 25 0 11 0 780369279 860188672 21876 4294967295 134512640 134569956 3221224368 3221214744 1131146750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21876 13086 16 0 209991 0
vsize: 840028
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9433
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 108612 74 29 14 25 0 11 0 780369279 860188672 21881 4294967295 134512640 134569956 3221224368 3221214656 1131169540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21881 13086 16 0 209991 0
vsize: 840028
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9436
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 109602 74 29 14 25 0 11 0 780369279 860188672 21887 4294967295 134512640 134569956 3221224368 3221214744 1131146212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21887 13086 16 0 209991 0
vsize: 840028
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9440
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 110591 74 29 14 25 0 11 0 780369279 860188672 21894 4294967295 134512640 134569956 3221224368 3221214744 1131146246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21894 13086 16 0 209991 0
vsize: 840028
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9444
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 111579 74 30 14 24 0 11 0 780369279 860188672 21900 4294967295 134512640 134569956 3221224368 3221214656 1131168383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21900 13086 16 0 209991 0
vsize: 840028
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9449
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 112569 74 30 14 25 0 11 0 780369279 860188672 21905 4294967295 134512640 134569956 3221224368 3221214712 1131216248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21905 13086 16 0 209991 0
vsize: 840028
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9452
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 113557 75 30 14 25 0 11 0 780369279 860188672 21911 4294967295 134512640 134569956 3221224368 3221214792 1131158848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21911 13086 16 0 209991 0
vsize: 840028
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9455
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 114547 75 30 14 25 0 11 0 780369279 860188672 21917 4294967295 134512640 134569956 3221224368 3221214656 1131168229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21917 13086 16 0 209991 0
vsize: 840028
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9459
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 115536 75 30 14 25 0 11 0 780369279 860188672 21925 4294967295 134512640 134569956 3221224368 3221214656 1131152144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21925 13086 16 0 209991 0
vsize: 840028
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9463
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 116524 75 30 14 25 0 11 0 780369279 860188672 21930 4294967295 134512640 134569956 3221224368 3221214744 1131172992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21930 13086 16 0 209991 0
vsize: 840028
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9466
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 117514 76 30 14 25 0 11 0 780369279 860188672 21934 4294967295 134512640 134569956 3221224368 3221214656 1131168256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21934 13086 16 0 209991 0
vsize: 840028
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9470
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 118502 76 31 14 25 0 11 0 780369279 860188672 21941 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21941 13086 16 0 209991 0
vsize: 840028
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9474
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 119491 76 31 14 24 0 11 0 780369279 860188672 21947 4294967295 134512640 134569956 3221224368 3221214752 1131212395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21947 13086 16 0 209991 0
vsize: 840028
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9478
Raw data (stat): 8603 (java) R 8602 24300 24299 0 -1 0 18118 7 1 0 120481 76 31 14 25 0 11 0 780369279 860188672 21952 4294967295 134512640 134569956 3221224368 3221214744 1131146588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 21952 13086 16 0 209991 0
vsize: 840028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9480
Raw data (stat): 8603 (java) Z 8602 24300 24299 0 -1 1036 18118 2521 1 0 120485 76 1359 36 25 0 1 0 780369279 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.15
CPU time (s): 1219.58
CPU user time (s): 1218.45
CPU system time (s): 1.13283
CPU usage (%): 99.9536
Max. virtual memory (Kb): 840028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	453930
#### END VERIFIER DATA ####