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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM	e6bff154156b54af3a9a38f7579209b6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	17324
Optimality of the best value was proved	NO
Number of terms in the objective function	163
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	74742
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	8192
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	74742
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06984
Number of variables	163
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	102
Trace number 29739

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        902216 kB
Buffers:         21864 kB
Cached:          88244 kB
SwapCached:        528 kB
Active:          24788 kB
Inactive:        87468 kB
HighTotal:      131008 kB
HighFree:        85708 kB
LowTotal:       903652 kB
LowFree:        816508 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14460 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:24:37 (client local time) WITH STATUS 143 IN 1239.83 SECONDS
stats: 21144 0 1239.83 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/wulflinc17/normalized-mps-v2-20-10-neos5.opb
c reading problem ... done. Time 2.063 ms.
c #vars     163
c #constraints  73
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               24576 		Current CPU time: 2.66 ms
c CURRENT OPTIMUM=               24575 		Current CPU time: 2.84 ms
c CURRENT OPTIMUM=               24574 		Current CPU time: 2.89 ms
c CURRENT OPTIMUM=               24573 		Current CPU time: 2.94 ms
c CURRENT OPTIMUM=               24572 		Current CPU time: 3.03 ms
c CURRENT OPTIMUM=               24571 		Current CPU time: 3.11 ms
c CURRENT OPTIMUM=               24570 		Current CPU time: 3.30 ms
c CURRENT OPTIMUM=               24569 		Current CPU time: 3.77 ms
c CURRENT OPTIMUM=               24568 		Current CPU time: 3.90 ms
c CURRENT OPTIMUM=               24567 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=               24566 		Current CPU time: 4.17 ms
c CURRENT OPTIMUM=               24565 		Current CPU time: 4.26 ms
c CURRENT OPTIMUM=               24564 		Current CPU time: 4.36 ms
c CURRENT OPTIMUM=               24563 		Current CPU time: 4.46 ms
c CURRENT OPTIMUM=               24562 		Current CPU time: 4.56 ms
c CURRENT OPTIMUM=               24561 		Current CPU time: 4.66 ms
c CURRENT OPTIMUM=               24560 		Current CPU time: 4.76 ms
c CURRENT OPTIMUM=               24559 		Current CPU time: 4.89 ms
c CURRENT OPTIMUM=               24558 		Current CPU time: 5.02 ms
c CURRENT OPTIMUM=               24557 		Current CPU time: 5.19 ms
c CURRENT OPTIMUM=               24556 		Current CPU time: 5.30 ms
c CURRENT OPTIMUM=               24555 		Current CPU time: 5.45 ms
c CURRENT OPTIMUM=               24554 		Current CPU time: 5.57 ms
c CURRENT OPTIMUM=               24553 		Current CPU time: 5.71 ms
c CURRENT OPTIMUM=               24552 		Current CPU time: 5.83 ms
c CURRENT OPTIMUM=               24551 		Current CPU time: 6.01 ms
c CURRENT OPTIMUM=               24550 		Current CPU time: 6.29 ms
c CURRENT OPTIMUM=               24549 		Current CPU time: 6.44 ms
c CURRENT OPTIMUM=               24548 		Current CPU time: 6.86 ms
c CURRENT OPTIMUM=               24547 		Current CPU time: 7.02 ms
c CURRENT OPTIMUM=               24546 		Current CPU time: 7.17 ms
c CURRENT OPTIMUM=               24545 		Current CPU time: 7.32 ms
c CURRENT OPTIMUM=               24544 		Current CPU time: 7.45 ms
c CURRENT OPTIMUM=               24543 		Current CPU time: 7.85 ms
c CURRENT OPTIMUM=               24542 		Current CPU time: 8.05 ms
c CURRENT OPTIMUM=               24541 		Current CPU time: 8.30 ms
c CURRENT OPTIMUM=               24540 		Current CPU time: 8.49 ms
c CURRENT OPTIMUM=               24539 		Current CPU time: 8.69 ms
c CURRENT OPTIMUM=               24538 		Current CPU time: 8.88 ms
c CURRENT OPTIMUM=               24537 		Current CPU time: 9.08 ms
c CURRENT OPTIMUM=               24536 		Current CPU time: 9.26 ms
c CURRENT OPTIMUM=               24535 		Current CPU time: 9.52 ms
c CURRENT OPTIMUM=               24534 		Current CPU time: 9.72 ms
c CURRENT OPTIMUM=               24533 		Current CPU time: 9.93 ms
c CURRENT OPTIMUM=               24532 		Current CPU time: 10.12 ms
c CURRENT OPTIMUM=               24531 		Current CPU time: 10.34 ms
c CURRENT OPTIMUM=               24530 		Current CPU time: 10.57 ms
c CURRENT OPTIMUM=               24529 		Current CPU time: 10.78 ms
c CURRENT OPTIMUM=               24528 		Current CPU time: 10.95 ms
c CURRENT OPTIMUM=               24527 		Current CPU time: 11.22 ms
c CURRENT OPTIMUM=               24526 		Current CPU time: 11.47 ms
c CURRENT OPTIMUM=               24525 		Current CPU time: 11.75 ms
c CURRENT OPTIMUM=               24524 		Current CPU time: 11.98 ms
c CURRENT OPTIMUM=               24523 		Current CPU time: 12.24 ms
c CURRENT OPTIMUM=               24522 		Current CPU time: 12.47 ms
c CURRENT OPTIMUM=               24521 		Current CPU time: 12.74 ms
c CURRENT OPTIMUM=               24520 		Current CPU time: 12.95 ms
c CURRENT OPTIMUM=               24519 		Current CPU time: 13.22 ms
c CURRENT OPTIMUM=               24518 		Current CPU time: 13.47 ms
c CURRENT OPTIMUM=               24517 		Current CPU time: 13.77 ms
c CURRENT OPTIMUM=               24516 		Current CPU time: 13.99 ms
c CURRENT OPTIMUM=               24515 		Current CPU time: 14.25 ms
c CURRENT OPTIMUM=               24514 		Current CPU time: 14.47 ms
c CURRENT OPTIMUM=               24513 		Current CPU time: 14.70 ms
c CURRENT OPTIMUM=               24512 		Current CPU time: 14.95 ms
c CURRENT OPTIMUM=               24511 		Current CPU time: 15.33 ms
c CURRENT OPTIMUM=               24510 		Current CPU time: 15.68 ms
c CURRENT OPTIMUM=               24509 		Current CPU time: 16.08 ms
c CURRENT OPTIMUM=               24508 		Current CPU time: 16.41 ms
c CURRENT OPTIMUM=               24507 		Current CPU time: 16.78 ms
c CURRENT OPTIMUM=               24506 		Current CPU time: 17.16 ms
c CURRENT OPTIMUM=               24505 		Current CPU time: 17.49 ms
c CURRENT OPTIMUM=               24504 		Current CPU time: 17.80 ms
c CURRENT OPTIMUM=               24503 		Current CPU time: 18.23 ms
c CURRENT OPTIMUM=               24502 		Current CPU time: 18.58 ms
c CURRENT OPTIMUM=               24501 		Current CPU time: 18.94 ms
c CURRENT OPTIMUM=               24500 		Current CPU time: 19.30 ms
c CURRENT OPTIMUM=               24499 		Current CPU time: 19.68 ms
c CURRENT OPTIMUM=               24498 		Current CPU time: 20.00 ms
c CURRENT OPTIMUM=               24497 		Current CPU time: 20.39 ms
c CURRENT OPTIMUM=               24496 		Current CPU time: 20.68 ms
c CURRENT OPTIMUM=               24495 		Current CPU time: 21.11 ms
c CURRENT OPTIMUM=               24494 		Current CPU time: 21.55 ms
c CURRENT OPTIMUM=               24493 		Current CPU time: 21.94 ms
c CURRENT OPTIMUM=               24492 		Current CPU time: 22.29 ms
c CURRENT OPTIMUM=               24491 		Current CPU time: 22.75 ms
c CURRENT OPTIMUM=               24490 		Current CPU time: 23.10 ms
c CURRENT OPTIMUM=               24489 		Current CPU time: 23.48 ms
c CURRENT OPTIMUM=               24488 		Current CPU time: 23.85 ms
c CURRENT OPTIMUM=               24487 		Current CPU time: 24.27 ms
c CURRENT OPTIMUM=               24486 		Current CPU time: 24.64 ms
c CURRENT OPTIMUM=               24485 		Current CPU time: 25.07 ms
c CURRENT OPTIMUM=               24484 		Current CPU time: 25.40 ms
c CURRENT OPTIMUM=               24483 		Current CPU time: 25.79 ms
c CURRENT OPTIMUM=               24482 		Current CPU time: 26.17 ms
c CURRENT OPTIMUM=               24481 		Current CPU time: 26.52 ms
c CURRENT OPTIMUM=               24480 		Current CPU time: 26.81 ms
c CURRENT OPTIMUM=               24479 		Current CPU time: 27.38 ms
c CURRENT OPTIMUM=               24478 		Current CPU time: 27.84 ms
c CURRENT OPTIMUM=               24477 		Current CPU time: 28.36 ms
c CURRENT OPTIMUM=               24476 		Current CPU time: 28.77 ms
c CURRENT OPTIMUM=               24475 		Current CPU time: 29.31 ms
c CURRENT OPTIMUM=               24474 		Current CPU time: 29.73 ms
c CURRENT OPTIMUM=               24473 		Current CPU time: 30.15 ms
c CURRENT OPTIMUM=               24472 		Current CPU time: 30.58 ms
c CURRENT OPTIMUM=               24471 		Current CPU time: 31.07 ms
c CURRENT OPTIMUM=               24470 		Current CPU time: 31.57 ms
c CURRENT OPTIMUM=               24469 		Current CPU time: 32.01 ms
c CURRENT OPTIMUM=               24468 		Current CPU time: 32.40 ms
c CURRENT OPTIMUM=               24467 		Current CPU time: 32.91 ms
c CURRENT OPTIMUM=               24466 		Current CPU time: 33.30 ms
c CURRENT OPTIMUM=               24465 		Current CPU time: 33.75 ms
c CURRENT OPTIMUM=               24464 		Current CPU time: 34.08 ms
c CURRENT OPTIMUM=               24463 		Current CPU time: 34.62 ms
c CURRENT OPTIMUM=               24462 		Current CPU time: 35.15 ms
c CURRENT OPTIMUM=               24461 		Current CPU time: 35.62 ms
c CURRENT OPTIMUM=               24460 		Current CPU time: 36.09 ms
c CURRENT OPTIMUM=               24459 		Current CPU time: 36.58 ms
c CURRENT OPTIMUM=               24458 		Current CPU time: 37.05 ms
c CURRENT OPTIMUM=               24457 		Current CPU time: 37.48 ms
c CURRENT OPTIMUM=               24456 		Current CPU time: 37.84 ms
c CURRENT OPTIMUM=               24455 		Current CPU time: 38.40 ms
c CURRENT OPTIMUM=               24454 		Current CPU time: 38.83 ms
c CURRENT OPTIMUM=               24453 		Current CPU time: 39.33 ms
c CURRENT OPTIMUM=               24452 		Current CPU time: 39.70 ms
c CURRENT OPTIMUM=               24451 		Current CPU time: 40.14 ms
c CURRENT OPTIMUM=               24450 		Current CPU time: 40.58 ms
c CURRENT OPTIMUM=               24449 		Current CPU time: 40.96 ms
c CURRENT OPTIMUM=               24448 		Current CPU time: 41.27 ms
c CURRENT OPTIMUM=               24447 		Current CPU time: 42.06 ms
c CURRENT OPTIMUM=               24446 		Current CPU time: 42.78 ms
c CURRENT OPTIMUM=               24445 		Current CPU time: 43.51 ms
c CURRENT OPTIMUM=               24444 		Current CPU time: 44.12 ms
c CURRENT OPTIMUM=               24443 		Current CPU time: 44.86 ms
c CURRENT OPTIMUM=               24442 		Current CPU time: 45.48 ms
c CURRENT OPTIMUM=               24441 		Current CPU time: 46.15 ms
c CURRENT OPTIMUM=               24440 		Current CPU time: 46.74 ms
c CURRENT OPTIMUM=               24439 		Current CPU time: 47.46 ms
c CURRENT OPTIMUM=               24438 		Current CPU time: 48.13 ms
c CURRENT OPTIMUM=               24437 		Current CPU time: 48.78 ms
c CURRENT OPTIMUM=               24436 		Current CPU time: 49.39 ms
c CURRENT OPTIMUM=               24435 		Current CPU time: 50.08 ms
c CURRENT OPTIMUM=               24434 		Current CPU time: 50.66 ms
c CURRENT OPTIMUM=               24433 		Current CPU time: 51.28 ms
c CURRENT OPTIMUM=               24432 		Current CPU time: 51.79 ms
c CURRENT OPTIMUM=               24431 		Current CPU time: 52.58 ms
c CURRENT OPTIMUM=               24430 		Current CPU time: 53.29 ms
c CURRENT OPTIMUM=               24429 		Current CPU time: 53.98 ms
c CURRENT OPTIMUM=               24428 		Current CPU time: 54.61 ms
c CURRENT OPTIMUM=               24427 		Current CPU time: 55.34 ms
c CURRENT OPTIMUM=               24426 		Current CPU time: 55.95 ms
c CURRENT OPTIMUM=               24425 		Current CPU time: 56.60 ms
c CURRENT OPTIMUM=               24424 		Current CPU time: 57.15 ms
c CURRENT OPTIMUM=               24423 		Current CPU time: 57.89 ms
c CURRENT OPTIMUM=               24422 		Current CPU time: 58.55 ms
c CURRENT OPTIMUM=               24421 		Current CPU time: 59.18 ms
c CURRENT OPTIMUM=               24420 		Current CPU time: 59.76 ms
c CURRENT OPTIMUM=               24419 		Current CPU time: 60.40 ms
c CURRENT OPTIMUM=               24418 		Current CPU time: 60.99 ms
c CURRENT OPTIMUM=               24417 		Current CPU time: 61.55 ms
c CURRENT OPTIMUM=               24416 		Current CPU time: 62.05 ms
c CURRENT OPTIMUM=               24415 		Current CPU time: 62.91 ms
c CURRENT OPTIMUM=               24414 		Current CPU time: 63.67 ms
c CURRENT OPTIMUM=               24413 		Current CPU time: 64.46 ms
c CURRENT OPTIMUM=               24412 		Current CPU time: 65.16 ms
c CURRENT OPTIMUM=               24411 		Current CPU time: 65.93 ms
c CURRENT OPTIMUM=               24410 		Current CPU time: 66.63 ms
c CURRENT OPTIMUM=               24409 		Current CPU time: 67.34 ms
c CURRENT OPTIMUM=               24408 		Current CPU time: 67.93 ms
c CURRENT OPTIMUM=               24407 		Current CPU time: 68.74 ms
c CURRENT OPTIMUM=               24406 		Current CPU time: 69.45 ms
c CURRENT OPTIMUM=               24405 		Current CPU time: 70.15 ms
c CURRENT OPTIMUM=               24404 		Current CPU time: 70.78 ms
c CURRENT OPTIMUM=               24403 		Current CPU time: 71.51 ms
c CURRENT OPTIMUM=               24402 		Current CPU time: 72.12 ms
c CURRENT OPTIMUM=               24401 		Current CPU time: 72.75 ms
c CURRENT OPTIMUM=               24400 		Current CPU time: 73.27 ms
c CURRENT OPTIMUM=               24399 		Current CPU time: 74.12 ms
c CURRENT OPTIMUM=               24398 		Current CPU time: 74.87 ms
c CURRENT OPTIMUM=               24397 		Current CPU time: 75.62 ms
c CURRENT OPTIMUM=               24396 		Current CPU time: 76.25 ms
c CURRENT OPTIMUM=               24395 		Current CPU time: 77.01 ms
c CURRENT OPTIMUM=               24394 		Current CPU time: 77.67 ms
c CURRENT OPTIMUM=               24393 		Current CPU time: 78.32 ms
c CURRENT OPTIMUM=               24392 		Current CPU time: 78.88 ms
c CURRENT OPTIMUM=               24391 		Current CPU time: 79.65 ms
c CURRENT OPTIMUM=               24390 		Current CPU time: 80.32 ms
c CURRENT OPTIMUM=               24389 		Current CPU time: 81.00 ms
c CURRENT OPTIMUM=               24388 		Current CPU time: 81.56 ms
c CURRENT OPTIMUM=               24387 		Current CPU time: 82.25 ms
c CURRENT OPTIMUM=               24386 		Current CPU time: 82.81 ms
c CURRENT OPTIMUM=               24385 		Current CPU time: 83.40 ms
c CURRENT OPTIMUM=               24384 		Current CPU time: 83.85 ms
c CURRENT OPTIMUM=               24383 		Current CPU time: 84.89 ms
c CURRENT OPTIMUM=               24382 		Current CPU time: 85.82 ms
c CURRENT OPTIMUM=               24381 		Current CPU time: 86.76 ms
c CURRENT OPTIMUM=               24380 		Current CPU time: 87.59 ms
c CURRENT OPTIMUM=               24379 		Current CPU time: 88.54 ms
c CURRENT OPTIMUM=               24378 		Current CPU time: 89.38 ms
c CURRENT OPTIMUM=               24377 		Current CPU time: 90.20 ms
c CURRENT OPTIMUM=               24376 		Current CPU time: 90.93 ms
c CURRENT OPTIMUM=               24375 		Current CPU time: 91.89 ms
c CURRENT OPTIMUM=               24374 		Current CPU time: 92.75 ms
c CURRENT OPTIMUM=               24373 		Current CPU time: 93.58 ms
c CURRENT OPTIMUM=               24372 		Current CPU time: 94.33 ms
c CURRENT OPTIMUM=               24371 		Current CPU time: 95.19 ms
c CURRENT OPTIMUM=               24370 		Current CPU time: 95.94 ms
c CURRENT OPTIMUM=               24369 		Current CPU time: 96.67 ms
c CURRENT OPTIMUM=               24368 		Current CPU time: 97.31 ms
c CURRENT OPTIMUM=               24367 		Current CPU time: 98.31 ms
c CURRENT OPTIMUM=               24366 		Current CPU time: 99.20 ms
c CURRENT OPTIMUM=               24365 		Current CPU time: 100.09 ms
c CURRENT OPTIMUM=               24364 		Current CPU time: 100.84 ms
c CURRENT OPTIMUM=               24363 		Current CPU time: 101.73 ms
c CURRENT OPTIMUM=               24362 		Current CPU time: 102.51 ms
c CURRENT OPTIMUM=               24361 		Current CPU time: 103.29 ms
c CURRENT OPTIMUM=               24360 		Current CPU time: 103.93 ms
c CURRENT OPTIMUM=               24359 		Current CPU time: 104.84 ms
c CURRENT OPTIMUM=               24358 		Current CPU time: 105.64 ms
c CURRENT OPTIMUM=               24357 		Current CPU time: 106.41 ms
c CURRENT OPTIMUM=               24356 		Current CPU time: 107.08 ms
c CURRENT OPTIMUM=               24355 		Current CPU time: 107.89 ms
c CURRENT OPTIMUM=               24354 		Current CPU time: 108.55 ms
c CURRENT OPTIMUM=               24353 		Current CPU time: 109.23 ms
c CURRENT OPTIMUM=               24352 		Current CPU time: 109.79 ms
c CURRENT OPTIMUM=               24351 		Current CPU time: 110.87 ms
c CURRENT OPTIMUM=               24350 		Current CPU time: 111.79 ms
c CURRENT OPTIMUM=               24349 		Current CPU time: 112.75 ms
c CURRENT OPTIMUM=               24348 		Current CPU time: 113.57 ms
c CURRENT OPTIMUM=               24347 		Current CPU time: 114.53 ms
c CURRENT OPTIMUM=               24346 		Current CPU time: 115.37 ms
c CURRENT OPTIMUM=               24345 		Current CPU time: 116.21 ms
c CURRENT OPTIMUM=               24344 		Current CPU time: 116.90 ms
c CURRENT OPTIMUM=               24343 		Current CPU time: 117.88 ms
c CURRENT OPTIMUM=               24342 		Current CPU time: 118.72 ms
c CURRENT OPTIMUM=               24341 		Current CPU time: 119.58 ms
c CURRENT OPTIMUM=               24340 		Current CPU time: 120.28 ms
c CURRENT OPTIMUM=               24339 		Current CPU time: 121.13 ms
c CURRENT OPTIMUM=               24338 		Current CPU time: 121.86 ms
c CURRENT OPTIMUM=               24337 		Current CPU time: 122.58 ms
c CURRENT OPTIMUM=               24336 		Current CPU time: 123.15 ms
c CURRENT OPTIMUM=               24335 		Current CPU time: 124.16 ms
c CURRENT OPTIMUM=               24334 		Current CPU time: 125.03 ms
c CURRENT OPTIMUM=               24333 		Current CPU time: 125.91 ms
c CURRENT OPTIMUM=               24332 		Current CPU time: 126.63 ms
c CURRENT OPTIMUM=               24331 		Current CPU time: 127.52 ms
c CURRENT OPTIMUM=               24330 		Current CPU time: 128.26 ms
c CURRENT OPTIMUM=               24329 		Current CPU time: 129.01 ms
c CURRENT OPTIMUM=               24328 		Current CPU time: 129.60 ms
c CURRENT OPTIMUM=               24327 		Current CPU time: 130.50 ms
c CURRENT OPTIMUM=               24326 		Current CPU time: 131.26 ms
c CURRENT OPTIMUM=               24325 		Current CPU time: 132.00 ms
c CURRENT OPTIMUM=               24324 		Current CPU time: 132.62 ms
c CURRENT OPTIMUM=               24323 		Current CPU time: 133.39 ms
c CURRENT OPTIMUM=               24322 		Current CPU time: 134.00 ms
c CURRENT OPTIMUM=               24321 		Current CPU time: 134.62 ms
c CURRENT OPTIMUM=               24320 		Current CPU time: 135.08 ms
c CURRENT OPTIMUM=               24319 		Current CPU time: 136.62 ms
c CURRENT OPTIMUM=               24318 		Current CPU time: 137.99 ms
c CURRENT OPTIMUM=               24317 		Current CPU time: 139.37 ms
c CURRENT OPTIMUM=               24316 		Current CPU time: 140.63 ms
c CURRENT OPTIMUM=               24315 		Current CPU time: 142.02 ms
c CURRENT OPTIMUM=               24314 		Current CPU time: 143.27 ms
c CURRENT OPTIMUM=               24313 		Current CPU time: 144.51 ms
c CURRENT OPTIMUM=               24312 		Current CPU time: 145.61 ms
c CURRENT OPTIMUM=               24311 		Current CPU time: 147.04 ms
c CURRENT OPTIMUM=               24310 		Current CPU time: 148.30 ms
c CURRENT OPTIMUM=               24309 		Current CPU time: 149.57 ms
c CURRENT OPTIMUM=               24308 		Current CPU time: 150.68 ms
c CURRENT OPTIMUM=               24307 		Current CPU time: 151.96 ms
c CURRENT OPTIMUM=               24306 		Current CPU time: 153.09 ms
c CURRENT OPTIMUM=               24305 		Current CPU time: 154.22 ms
c CURRENT OPTIMUM=               24304 		Current CPU time: 155.20 ms
c CURRENT OPTIMUM=               24303 		Current CPU time: 156.66 ms
c CURRENT OPTIMUM=               24302 		Current CPU time: 157.96 ms
c CURRENT OPTIMUM=               24301 		Current CPU time: 159.27 ms
c CURRENT OPTIMUM=               24300 		Current CPU time: 160.42 ms
c CURRENT OPTIMUM=               24299 		Current CPU time: 161.73 ms
c CURRENT OPTIMUM=               24298 		Current CPU time: 162.88 ms
c CURRENT OPTIMUM=               24297 		Current CPU time: 164.06 ms
c CURRENT OPTIMUM=               24296 		Current CPU time: 165.06 ms
c CURRENT OPTIMUM=               24295 		Current CPU time: 166.40 ms
c CURRENT OPTIMUM=               24294 		Current CPU time: 167.57 ms
c CURRENT OPTIMUM=               24293 		Current CPU time: 168.75 ms
c CURRENT OPTIMUM=               24292 		Current CPU time: 169.76 ms
c CURRENT OPTIMUM=               24291 		Current CPU time: 170.95 ms
c CURRENT OPTIMUM=               24290 		Current CPU time: 171.97 ms
c CURRENT OPTIMUM=               24289 		Current CPU time: 172.99 ms
c CURRENT OPTIMUM=               24288 		Current CPU time: 173.86 ms
c CURRENT OPTIMUM=               24287 		Current CPU time: 175.39 ms
c CURRENT OPTIMUM=               24286 		Current CPU time: 176.77 ms
c CURRENT OPTIMUM=               24285 		Current CPU time: 178.15 ms
c CURRENT OPTIMUM=               24284 		Current CPU time: 179.37 ms
c CURRENT OPTIMUM=               24283 		Current CPU time: 180.75 ms
c CURRENT OPTIMUM=               24282 		Current CPU time: 181.97 ms
c CURRENT OPTIMUM=               24281 		Current CPU time: 183.21 ms
c CURRENT OPTIMUM=               24280 		Current CPU time: 184.26 ms
c CURRENT OPTIMUM=               24279 		Current CPU time: 185.66 ms
c CURRENT OPTIMUM=               24278 		Current CPU time: 186.89 ms
c CURRENT OPTIMUM=               24277 		Current CPU time: 188.13 ms
c CURRENT OPTIMUM=               24276 		Current CPU time: 189.21 ms
c CURRENT OPTIMUM=               24275 		Current CPU time: 190.47 ms
c CURRENT OPTIMUM=               24274 		Current CPU time: 191.55 ms
c CURRENT OPTIMUM=               24273 		Current CPU time: 192.63 ms
c CURRENT OPTIMUM=               24272 		Current CPU time: 193.53 ms
c CURRENT OPTIMUM=               24271 		Current CPU time: 194.98 ms
c CURRENT OPTIMUM=               24270 		Current CPU time: 196.26 ms
c CURRENT OPTIMUM=               24269 		Current CPU time: 197.52 ms
c CURRENT OPTIMUM=               24268 		Current CPU time: 198.62 ms
c CURRENT OPTIMUM=               24267 		Current CPU time: 199.90 ms
c CURRENT OPTIMUM=               24266 		Current CPU time: 201.01 ms
c CURRENT OPTIMUM=               24265 		Current CPU time: 202.14 ms
c CURRENT OPTIMUM=               24264 		Current CPU time: 203.06 ms
c CURRENT OPTIMUM=               24263 		Current CPU time: 204.37 ms
c CURRENT OPTIMUM=               24262 		Current CPU time: 205.49 ms
c CURRENT OPTIMUM=               24261 		Current CPU time: 206.62 ms
c CURRENT OPTIMUM=               24260 		Current CPU time: 207.57 ms
c CURRENT OPTIMUM=               24259 		Current CPU time: 208.70 ms
c CURRENT OPTIMUM=               24258 		Current CPU time: 209.66 ms
c CURRENT OPTIMUM=               24257 		Current CPU time: 210.61 ms
c CURRENT OPTIMUM=               24256 		Current CPU time: 211.37 ms
c CURRENT OPTIMUM=               24255 		Current CPU time: 213.08 ms
c CURRENT OPTIMUM=               24254 		Current CPU time: 214.59 ms
c CURRENT OPTIMUM=               24253 		Current CPU time: 216.13 ms
c CURRENT OPTIMUM=               24252 		Current CPU time: 217.47 ms
c CURRENT OPTIMUM=               24251 		Current CPU time: 219.00 ms
c CURRENT OPTIMUM=               24250 		Current CPU time: 220.37 ms
c CURRENT OPTIMUM=               24249 		Current CPU time: 221.73 ms
c CURRENT OPTIMUM=               24248 		Current CPU time: 222.90 ms
c CURRENT OPTIMUM=               24247 		Current CPU time: 224.46 ms
c CURRENT OPTIMUM=               24246 		Current CPU time: 225.83 ms
c CURRENT OPTIMUM=               24245 		Current CPU time: 227.20 ms
c CURRENT OPTIMUM=               24244 		Current CPU time: 228.37 ms
c CURRENT OPTIMUM=               24243 		Current CPU time: 229.76 ms
c CURRENT OPTIMUM=               24242 		Current CPU time: 230.95 ms
c CURRENT OPTIMUM=               24241 		Current CPU time: 232.15 ms
c CURRENT OPTIMUM=               24240 		Current CPU time: 233.16 ms
c CURRENT OPTIMUM=               24239 		Current CPU time: 234.74 ms
c CURRENT OPTIMUM=               24238 		Current CPU time: 236.15 ms
c CURRENT OPTIMUM=               24237 		Current CPU time: 237.56 ms
c CURRENT OPTIMUM=               24236 		Current CPU time: 238.76 ms
c CURRENT OPTIMUM=               24235 		Current CPU time: 240.17 ms
c CURRENT OPTIMUM=               24234 		Current CPU time: 241.40 ms
c CURRENT OPTIMUM=               24233 		Current CPU time: 242.62 ms
c CURRENT OPTIMUM=               24232 		Current CPU time: 243.65 ms
c CURRENT OPTIMUM=               24231 		Current CPU time: 245.08 ms
c CURRENT OPTIMUM=               24230 		Current CPU time: 246.31 ms
c CURRENT OPTIMUM=               24229 		Current CPU time: 247.55 ms
c CURRENT OPTIMUM=               24228 		Current CPU time: 248.59 ms
c CURRENT OPTIMUM=               24227 		Current CPU time: 249.84 ms
c CURRENT OPTIMUM=               24226 		Current CPU time: 250.89 ms
c CURRENT OPTIMUM=               24225 		Current CPU time: 251.94 ms
c CURRENT OPTIMUM=               24224 		Current CPU time: 252.77 ms
c CURRENT OPTIMUM=               24223 		Current CPU time: 254.45 ms
c CURRENT OPTIMUM=               24222 		Current CPU time: 255.90 ms
c CURRENT OPTIMUM=               24221 		Current CPU time: 257.37 ms
c CURRENT OPTIMUM=               24220 		Current CPU time: 258.64 ms
c CURRENT OPTIMUM=               24219 		Current CPU time: 260.11 ms
c CURRENT OPTIMUM=               24218 		Current CPU time: 261.40 ms
c CURRENT OPTIMUM=               24217 		Current CPU time: 262.69 ms
c CURRENT OPTIMUM=               24216 		Current CPU time: 263.76 ms
c CURRENT OPTIMUM=               24215 		Current CPU time: 265.25 ms
c CURRENT OPTIMUM=               24214 		Current CPU time: 266.54 ms
c CURRENT OPTIMUM=               24213 		Current CPU time: 267.85 ms
c CURRENT OPTIMUM=               24212 		Current CPU time: 268.93 ms
c CURRENT OPTIMUM=               24211 		Current CPU time: 270.21 ms
c CURRENT OPTIMUM=               24210 		Current CPU time: 271.31 ms
c CURRENT OPTIMUM=               24209 		Current CPU time: 272.40 ms
c CURRENT OPTIMUM=               24208 		Current CPU time: 273.27 ms
c CURRENT OPTIMUM=               24207 		Current CPU time: 274.79 ms
c CURRENT OPTIMUM=               24206 		Current CPU time: 276.11 ms
c CURRENT OPTIMUM=               24205 		Current CPU time: 277.44 ms
c CURRENT OPTIMUM=               24204 		Current CPU time: 278.55 ms
c CURRENT OPTIMUM=               24203 		Current CPU time: 279.87 ms
c CURRENT OPTIMUM=               24202 		Current CPU time: 280.98 ms
c CURRENT OPTIMUM=               24201 		Current CPU time: 282.10 ms
c CURRENT OPTIMUM=               24200 		Current CPU time: 283.01 ms
c CURRENT OPTIMUM=               24199 		Current CPU time: 284.35 ms
c CURRENT OPTIMUM=               24198 		Current CPU time: 285.48 ms
c CURRENT OPTIMUM=               24197 		Current CPU time: 286.61 ms
c CURRENT OPTIMUM=               24196 		Current CPU time: 287.52 ms
c CURRENT OPTIMUM=               24195 		Current CPU time: 288.65 ms
c CURRENT OPTIMUM=               24194 		Current CPU time: 289.57 ms
c CURRENT OPTIMUM=               24193 		Current CPU time: 290.48 ms
c CURRENT OPTIMUM=               24192 		Current CPU time: 291.18 ms
c CURRENT OPTIMUM=               24191 		Current CPU time: 293.24 ms
c CURRENT OPTIMUM=               24190 		Current CPU time: 295.06 ms
c CURRENT OPTIMUM=               24189 		Current CPU time: 296.91 ms
c CURRENT OPTIMUM=               24188 		Current CPU time: 298.55 ms
c CURRENT OPTIMUM=               24187 		Current CPU time: 300.39 ms
c CURRENT OPTIMUM=               24186 		Current CPU time: 302.03 ms
c CURRENT OPTIMUM=               24185 		Current CPU time: 303.66 ms
c CURRENT OPTIMUM=               24184 		Current CPU time: 305.08 ms
c CURRENT OPTIMUM=               24183 		Current CPU time: 306.96 ms
c CURRENT OPTIMUM=               24182 		Current CPU time: 308.59 ms
c CURRENT OPTIMUM=               24181 		Current CPU time: 310.24 ms
c CURRENT OPTIMUM=               24180 		Current CPU time: 311.66 ms
c CURRENT OPTIMUM=               24179 		Current CPU time: 313.34 ms
c CURRENT OPTIMUM=               24178 		Current CPU time: 314.76 ms
c CURRENT OPTIMUM=               24177 		Current CPU time: 316.18 ms
c CURRENT OPTIMUM=               24176 		Current CPU time: 317.38 ms
c CURRENT OPTIMUM=               24175 		Current CPU time: 319.30 ms
c CURRENT OPTIMUM=               24174 		Current CPU time: 320.98 ms
c CURRENT OPTIMUM=               24173 		Current CPU time: 322.65 ms
c CURRENT OPTIMUM=               24172 		Current CPU time: 324.11 ms
c CURRENT OPTIMUM=               24171 		Current CPU time: 325.79 ms
c CURRENT OPTIMUM=               24170 		Current CPU time: 327.23 ms
c CURRENT OPTIMUM=               24169 		Current CPU time: 328.68 ms
c CURRENT OPTIMUM=               24168 		Current CPU time: 329.89 ms
c CURRENT OPTIMUM=               24167 		Current CPU time: 331.59 ms
c CURRENT OPTIMUM=               24166 		Current CPU time: 333.04 ms
c CURRENT OPTIMUM=               24165 		Current CPU time: 334.49 ms
c CURRENT OPTIMUM=               24164 		Current CPU time: 335.72 ms
c CURRENT OPTIMUM=               24163 		Current CPU time: 337.17 ms
c CURRENT OPTIMUM=               24162 		Current CPU time: 338.38 ms
c CURRENT OPTIMUM=               24161 		Current CPU time: 339.60 ms
c CURRENT OPTIMUM=               24160 		Current CPU time: 340.59 ms
c CURRENT OPTIMUM=               24159 		Current CPU time: 342.54 ms
c CURRENT OPTIMUM=               24158 		Current CPU time: 344.26 ms
c CURRENT OPTIMUM=               24157 		Current CPU time: 345.97 ms
c CURRENT OPTIMUM=               24156 		Current CPU time: 347.45 ms
c CURRENT OPTIMUM=               24155 		Current CPU time: 349.18 ms
c CURRENT OPTIMUM=               24154 		Current CPU time: 350.66 ms
c CURRENT OPTIMUM=               24153 		Current CPU time: 352.15 ms
c CURRENT OPTIMUM=               24152 		Current CPU time: 353.41 ms
c CURRENT OPTIMUM=               24151 		Current CPU time: 355.14 ms
c CURRENT OPTIMUM=               24150 		Current CPU time: 356.65 ms
c CURRENT OPTIMUM=               24149 		Current CPU time: 358.15 ms
c CURRENT OPTIMUM=               24148 		Current CPU time: 359.41 ms
c CURRENT OPTIMUM=               24147 		Current CPU time: 360.93 ms
c CURRENT OPTIMUM=               24146 		Current CPU time: 362.19 ms
c CURRENT OPTIMUM=               24145 		Current CPU time: 363.46 ms
c CURRENT OPTIMUM=               24144 		Current CPU time: 364.48 ms
c CURRENT OPTIMUM=               24143 		Current CPU time: 366.26 ms
c CURRENT OPTIMUM=               24142 		Current CPU time: 367.78 ms
c CURRENT OPTIMUM=               24141 		Current CPU time: 369.32 ms
c CURRENT OPTIMUM=               24140 		Current CPU time: 370.60 ms
c CURRENT OPTIMUM=               24139 		Current CPU time: 372.13 ms
c CURRENT OPTIMUM=               24138 		Current CPU time: 373.43 ms
c CURRENT OPTIMUM=               24137 		Current CPU time: 374.72 ms
c CURRENT OPTIMUM=               24136 		Current CPU time: 375.77 ms
c CURRENT OPTIMUM=               24135 		Current CPU time: 377.32 ms
c CURRENT OPTIMUM=               24134 		Current CPU time: 378.63 ms
c CURRENT OPTIMUM=               24133 		Current CPU time: 379.93 ms
c CURRENT OPTIMUM=               24132 		Current CPU time: 380.98 ms
c CURRENT OPTIMUM=               24131 		Current CPU time: 382.29 ms
c CURRENT OPTIMUM=               24130 		Current CPU time: 383.35 ms
c CURRENT OPTIMUM=               24129 		Current CPU time: 384.41 ms
c CURRENT OPTIMUM=               24128 		Current CPU time: 385.21 ms
c CURRENT OPTIMUM=               24127 		Current CPU time: 387.31 ms
c CURRENT OPTIMUM=               24126 		Current CPU time: 389.15 ms
c CURRENT OPTIMUM=               24125 		Current CPU time: 390.99 ms
c CURRENT OPTIMUM=               24124 		Current CPU time: 392.59 ms
c CURRENT OPTIMUM=               24123 		Current CPU time: 394.45 ms
c CURRENT OPTIMUM=               24122 		Current CPU time: 396.04 ms
c CURRENT OPTIMUM=               24121 		Current CPU time: 397.65 ms
c CURRENT OPTIMUM=               24120 		Current CPU time: 398.99 ms
c CURRENT OPTIMUM=               24119 		Current CPU time: 400.87 ms
c CURRENT OPTIMUM=               24118 		Current CPU time: 402.47 ms
c CURRENT OPTIMUM=               24117 		Current CPU time: 404.09 ms
c CURRENT OPTIMUM=               24116 		Current CPU time: 405.44 ms
c CURRENT OPTIMUM=               24115 		Current CPU time: 407.07 ms
c CURRENT OPTIMUM=               24114 		Current CPU time: 408.43 ms
c CURRENT OPTIMUM=               24113 		Current CPU time: 409.79 ms
c CURRENT OPTIMUM=               24112 		Current CPU time: 410.89 ms
c CURRENT OPTIMUM=               24111 		Current CPU time: 412.79 ms
c CURRENT OPTIMUM=               24110 		Current CPU time: 414.44 ms
c CURRENT OPTIMUM=               24109 		Current CPU time: 416.08 ms
c CURRENT OPTIMUM=               24108 		Current CPU time: 417.47 ms
c CURRENT OPTIMUM=               24107 		Current CPU time: 419.11 ms
c CURRENT OPTIMUM=               24106 		Current CPU time: 420.50 ms
c CURRENT OPTIMUM=               24105 		Current CPU time: 421.88 ms
c CURRENT OPTIMUM=               24104 		Current CPU time: 423.00 ms
c CURRENT OPTIMUM=               24103 		Current CPU time: 424.67 ms
c CURRENT OPTIMUM=               24102 		Current CPU time: 426.06 ms
c CURRENT OPTIMUM=               24101 		Current CPU time: 427.45 ms
c CURRENT OPTIMUM=               24100 		Current CPU time: 428.58 ms
c CURRENT OPTIMUM=               24099 		Current CPU time: 429.99 ms
c CURRENT OPTIMUM=               24098 		Current CPU time: 431.12 ms
c CURRENT OPTIMUM=               24097 		Current CPU time: 432.25 ms
c CURRENT OPTIMUM=               24096 		Current CPU time: 433.11 ms
c CURRENT OPTIMUM=               24095 		Current CPU time: 435.08 ms
c CURRENT OPTIMUM=               24094 		Current CPU time: 436.77 ms
c CURRENT OPTIMUM=               24093 		Current CPU time: 438.48 ms
c CURRENT OPTIMUM=               24092 		Current CPU time: 439.90 ms
c CURRENT OPTIMUM=               24091 		Current CPU time: 441.61 ms
c CURRENT OPTIMUM=               24090 		Current CPU time: 443.04 ms
c CURRENT OPTIMUM=               24089 		Current CPU time: 444.48 ms
c CURRENT OPTIMUM=               24088 		Current CPU time: 445.63 ms
c CURRENT OPTIMUM=               24087 		Current CPU time: 447.35 ms
c CURRENT OPTIMUM=               24086 		Current CPU time: 448.80 ms
c CURRENT OPTIMUM=               24085 		Current CPU time: 450.24 ms
c CURRENT OPTIMUM=               24084 		Current CPU time: 451.41 ms
c CURRENT OPTIMUM=               24083 		Current CPU time: 452.87 ms
c CURRENT OPTIMUM=               24082 		Current CPU time: 454.03 ms
c CURRENT OPTIMUM=               24081 		Current CPU time: 455.20 ms
c CURRENT OPTIMUM=               24080 		Current CPU time: 456.09 ms
c CURRENT OPTIMUM=               24079 		Current CPU time: 457.83 ms
c CURRENT OPTIMUM=               24078 		Current CPU time: 459.31 ms
c CURRENT OPTIMUM=               24077 		Current CPU time: 460.78 ms
c CURRENT OPTIMUM=               24076 		Current CPU time: 461.97 ms
c CURRENT OPTIMUM=               24075 		Current CPU time: 463.47 ms
c CURRENT OPTIMUM=               24074 		Current CPU time: 464.66 ms
c CURRENT OPTIMUM=               24073 		Current CPU time: 465.85 ms
c CURRENT OPTIMUM=               24072 		Current CPU time: 466.76 ms
c CURRENT OPTIMUM=               24071 		Current CPU time: 468.24 ms
c CURRENT OPTIMUM=               24070 		Current CPU time: 469.45 ms
c CURRENT OPTIMUM=               24069 		Current CPU time: 470.67 ms
c CURRENT OPTIMUM=               24068 		Current CPU time: 471.56 ms
c CURRENT OPTIMUM=               24067 		Current CPU time: 472.80 ms
c CURRENT OPTIMUM=               24066 		Current CPU time: 473.69 ms
c CURRENT OPTIMUM=               24065 		Current CPU time: 474.61 ms
c CURRENT OPTIMUM=               24064 		Current CPU time: 475.24 ms
c CURRENT OPTIMUM=               24063 		Current CPU time: 478.23 ms
c CURRENT OPTIMUM=               24062 		Current CPU time: 480.93 ms
c CURRENT OPTIMUM=               24061 		Current CPU time: 483.64 ms
c CURRENT OPTIMUM=               24060 		Current CPU time: 486.05 ms
c CURRENT OPTIMUM=               24059 		Current CPU time: 488.78 ms
c CURRENT OPTIMUM=               24058 		Current CPU time: 491.20 ms
c CURRENT OPTIMUM=               24057 		Current CPU time: 493.63 ms
c CURRENT OPTIMUM=               24056 		Current CPU time: 495.76 ms
c CURRENT OPTIMUM=               24055 		Current CPU time: 498.51 ms
c CURRENT OPTIMUM=               24054 		Current CPU time: 500.96 ms
c CURRENT OPTIMUM=               24053 		Current CPU time: 503.41 ms
c CURRENT OPTIMUM=               24052 		Current CPU time: 505.55 ms
c CURRENT OPTIMUM=               24051 		Current CPU time: 507.99 ms
c CURRENT OPTIMUM=               24050 		Current CPU time: 510.14 ms
c CURRENT OPTIMUM=               24049 		Current CPU time: 512.28 ms
c CURRENT OPTIMUM=               24048 		Current CPU time: 514.14 ms
c CURRENT OPTIMUM=               24047 		Current CPU time: 516.90 ms
c CURRENT OPTIMUM=               24046 		Current CPU time: 519.36 ms
c CURRENT OPTIMUM=               24045 		Current CPU time: 521.83 ms
c CURRENT OPTIMUM=               24044 		Current CPU time: 524.01 ms
c CURRENT OPTIMUM=               24043 		Current CPU time: 526.48 ms
c CURRENT OPTIMUM=               24042 		Current CPU time: 528.66 ms
c CURRENT OPTIMUM=               24041 		Current CPU time: 530.84 ms
c CURRENT OPTIMUM=               24040 		Current CPU time: 532.72 ms
c CURRENT OPTIMUM=               24039 		Current CPU time: 535.22 ms
c CURRENT OPTIMUM=               24038 		Current CPU time: 537.41 ms
c CURRENT OPTIMUM=               24037 		Current CPU time: 539.62 ms
c CURRENT OPTIMUM=               24036 		Current CPU time: 541.51 ms
c CURRENT OPTIMUM=               24035 		Current CPU time: 543.72 ms
c CURRENT OPTIMUM=               24034 		Current CPU time: 545.63 ms
c CURRENT OPTIMUM=               24033 		Current CPU time: 547.53 ms
c CURRENT OPTIMUM=               24032 		Current CPU time: 549.13 ms
c CURRENT OPTIMUM=               24031 		Current CPU time: 551.97 ms
c CURRENT OPTIMUM=               24030 		Current CPU time: 554.52 ms
c CURRENT OPTIMUM=               24029 		Current CPU time: 557.06 ms
c CURRENT OPTIMUM=               24028 		Current CPU time: 559.29 ms
c CURRENT OPTIMUM=               24027 		Current CPU time: 561.85 ms
c CURRENT OPTIMUM=               24026 		Current CPU time: 564.09 ms
c CURRENT OPTIMUM=               24025 		Current CPU time: 566.34 ms
c CURRENT OPTIMUM=               24024 		Current CPU time: 568.27 ms
c CURRENT OPTIMUM=               24023 		Current CPU time: 570.85 ms
c CURRENT OPTIMUM=               24022 		Current CPU time: 573.11 ms
c CURRENT OPTIMUM=               24021 		Current CPU time: 575.38 ms
c CURRENT OPTIMUM=               24020 		Current CPU time: 577.33 ms
c CURRENT OPTIMUM=               24019 		Current CPU time: 579.61 ms
c CURRENT OPTIMUM=               24018 		Current CPU time: 581.56 ms
c CURRENT OPTIMUM=               24017 		Current CPU time: 583.52 ms
c CURRENT OPTIMUM=               24016 		Current CPU time: 585.16 ms
c CURRENT OPTIMUM=               24015 		Current CPU time: 587.77 ms
c CURRENT OPTIMUM=               24014 		Current CPU time: 590.06 ms
c CURRENT OPTIMUM=               24013 		Current CPU time: 592.36 ms
c CURRENT OPTIMUM=               24012 		Current CPU time: 594.34 ms
c CURRENT OPTIMUM=               24011 		Current CPU time: 596.64 ms
c CURRENT OPTIMUM=               24010 		Current CPU time: 598.63 ms
c CURRENT OPTIMUM=               24009 		Current CPU time: 600.62 ms
c CURRENT OPTIMUM=               24008 		Current CPU time: 602.28 ms
c CURRENT OPTIMUM=               24007 		Current CPU time: 604.60 ms
c CURRENT OPTIMUM=               24006 		Current CPU time: 606.61 ms
c CURRENT OPTIMUM=               24005 		Current CPU time: 608.62 ms
c CURRENT OPTIMUM=               24004 		Current CPU time: 610.29 ms
c CURRENT OPTIMUM=               24003 		Current CPU time: 612.30 ms
c CURRENT OPTIMUM=               24002 		Current CPU time: 613.99 ms
c CURRENT OPTIMUM=               24001 		Current CPU time: 615.68 ms
c CURRENT OPTIMUM=               24000 		Current CPU time: 617.03 ms
c CURRENT OPTIMUM=               23999 		Current CPU time: 620.05 ms
c CURRENT OPTIMUM=               23998 		Current CPU time: 622.74 ms
c CURRENT OPTIMUM=               23997 		Current CPU time: 625.44 ms
c CURRENT OPTIMUM=               23996 		Current CPU time: 627.80 ms
c CURRENT OPTIMUM=               23995 		Current CPU time: 630.51 ms
c CURRENT OPTIMUM=               23994 		Current CPU time: 632.88 ms
c CURRENT OPTIMUM=               23993 		Current CPU time: 635.26 ms
c CURRENT OPTIMUM=               23992 		Current CPU time: 637.31 ms
c CURRENT OPTIMUM=               23991 		Current CPU time: 640.04 ms
c CURRENT OPTIMUM=               23990 		Current CPU time: 642.43 ms
c CURRENT OPTIMUM=               23989 		Current CPU time: 644.83 ms
c CURRENT OPTIMUM=               23988 		Current CPU time: 646.89 ms
c CURRENT OPTIMUM=               23987 		Current CPU time: 649.29 ms
c CURRENT OPTIMUM=               23986 		Current CPU time: 651.36 ms
c CURRENT OPTIMUM=               23985 		Current CPU time: 653.43 ms
c CURRENT OPTIMUM=               23984 		Current CPU time: 655.16 ms
c CURRENT OPTIMUM=               23983 		Current CPU time: 657.92 ms
c CURRENT OPTIMUM=               23982 		Current CPU time: 660.34 ms
c CURRENT OPTIMUM=               23981 		Current CPU time: 662.77 ms
c CURRENT OPTIMUM=               23980 		Current CPU time: 664.86 ms
c CURRENT OPTIMUM=               23979 		Current CPU time: 667.30 ms
c CURRENT OPTIMUM=               23978 		Current CPU time: 669.39 ms
c CURRENT OPTIMUM=               23977 		Current CPU time: 671.50 ms
c CURRENT OPTIMUM=               23976 		Current CPU time: 673.26 ms
c CURRENT OPTIMUM=               23975 		Current CPU time: 675.71 ms
c CURRENT OPTIMUM=               23974 		Current CPU time: 677.82 ms
c CURRENT OPTIMUM=               23973 		Current CPU time: 679.94 ms
c CURRENT OPTIMUM=               23972 		Current CPU time: 681.71 ms
c CURRENT OPTIMUM=               23971 		Current CPU time: 683.84 ms
c CURRENT OPTIMUM=               23970 		Current CPU time: 685.62 ms
c CURRENT OPTIMUM=               23969 		Current CPU time: 687.39 ms
c CURRENT OPTIMUM=               23968 		Current CPU time: 688.83 ms
c CURRENT OPTIMUM=               23967 		Current CPU time: 691.66 ms
c CURRENT OPTIMUM=               23966 		Current CPU time: 694.16 ms
c CURRENT OPTIMUM=               23965 		Current CPU time: 696.65 ms
c CURRENT OPTIMUM=               23964 		Current CPU time: 698.79 ms
c CURRENT OPTIMUM=               23963 		Current CPU time: 701.30 ms
c CURRENT OPTIMUM=               23962 		Current CPU time: 703.46 ms
c CURRENT OPTIMUM=               23961 		Current CPU time: 705.61 ms
c CURRENT OPTIMUM=               23960 		Current CPU time: 707.42 ms
c CURRENT OPTIMUM=               23959 		Current CPU time: 709.94 ms
c CURRENT OPTIMUM=               23958 		Current CPU time: 712.10 ms
c CURRENT OPTIMUM=               23957 		Current CPU time: 714.27 ms
c CURRENT OPTIMUM=               23956 		Current CPU time: 716.09 ms
c CURRENT OPTIMUM=               23955 		Current CPU time: 718.27 ms
c CURRENT OPTIMUM=               23954 		Current CPU time: 720.10 ms
c CURRENT OPTIMUM=               23953 		Current CPU time: 721.93 ms
c CURRENT OPTIMUM=               23952 		Current CPU time: 723.39 ms
c CURRENT OPTIMUM=               23951 		Current CPU time: 725.94 ms
c CURRENT OPTIMUM=               23950 		Current CPU time: 728.13 ms
c CURRENT OPTIMUM=               23949 		Current CPU time: 730.34 ms
c CURRENT OPTIMUM=               23948 		Current CPU time: 732.17 ms
c CURRENT OPTIMUM=               23947 		Current CPU time: 734.38 ms
c CURRENT OPTIMUM=               23946 		Current CPU time: 736.23 ms
c CURRENT OPTIMUM=               23945 		Current CPU time: 738.08 ms
c CURRENT OPTIMUM=               23944 		Current CPU time: 739.57 ms
c CURRENT OPTIMUM=               23943 		Current CPU time: 741.80 ms
c CURRENT OPTIMUM=               23942 		Current CPU time: 743.65 ms
c CURRENT OPTIMUM=               23941 		Current CPU time: 745.51 ms
c CURRENT OPTIMUM=               23940 		Current CPU time: 747.01 ms
c CURRENT OPTIMUM=               23939 		Current CPU time: 748.87 ms
c CURRENT OPTIMUM=               23938 		Current CPU time: 750.38 ms
c CURRENT OPTIMUM=               23937 		Current CPU time: 751.88 ms
c CURRENT OPTIMUM=               23936 		Current CPU time: 753.01 ms
c CURRENT OPTIMUM=               23935 		Current CPU time: 756.37 ms
c CURRENT OPTIMUM=               23934 		Current CPU time: 759.35 ms
c CURRENT OPTIMUM=               23933 		Current CPU time: 762.35 ms
c CURRENT OPTIMUM=               23932 		Current CPU time: 764.98 ms
c CURRENT OPTIMUM=               23931 		Current CPU time: 767.98 ms
c CURRENT OPTIMUM=               23930 		Current CPU time: 770.61 ms
c CURRENT OPTIMUM=               23929 		Current CPU time: 773.26 ms
c CURRENT OPTIMUM=               23928 		Current CPU time: 775.53 ms
c CURRENT OPTIMUM=               23927 		Current CPU time: 778.55 ms
c CURRENT OPTIMUM=               23926 		Current CPU time: 781.19 ms
c CURRENT OPTIMUM=               23925 		Current CPU time: 783.85 ms
c CURRENT OPTIMUM=               23924 		Current CPU time: 786.13 ms
c CURRENT OPTIMUM=               23923 		Current CPU time: 788.80 ms
c CURRENT OPTIMUM=               23922 		Current CPU time: 791.09 ms
c CURRENT OPTIMUM=               23921 		Current CPU time: 793.38 ms
c CURRENT OPTIMUM=               23920 		Current CPU time: 795.30 ms
c CURRENT OPTIMUM=               23919 		Current CPU time: 798.36 ms
c CURRENT OPTIMUM=               23918 		Current CPU time: 801.05 ms
c CURRENT OPTIMUM=               23917 		Current CPU time: 803.74 ms
c CURRENT OPTIMUM=               23916 		Current CPU time: 806.05 ms
c CURRENT OPTIMUM=               23915 		Current CPU time: 808.76 ms
c CURRENT OPTIMUM=               23914 		Current CPU time: 811.07 ms
c CURRENT OPTIMUM=               23913 		Current CPU time: 813.39 ms
c CURRENT OPTIMUM=               23912 		Current CPU time: 815.34 ms
c CURRENT OPTIMUM=               23911 		Current CPU time: 818.06 ms
c CURRENT OPTIMUM=               23910 		Current CPU time: 820.39 ms
c CURRENT OPTIMUM=               23909 		Current CPU time: 822.72 ms
c CURRENT OPTIMUM=               23908 		Current CPU time: 824.68 ms
c CURRENT OPTIMUM=               23907 		Current CPU time: 827.02 ms
c CURRENT OPTIMUM=               23906 		Current CPU time: 828.99 ms
c CURRENT OPTIMUM=               23905 		Current CPU time: 830.96 ms
c CURRENT OPTIMUM=               23904 		Current CPU time: 832.54 ms
c CURRENT OPTIMUM=               23903 		Current CPU time: 835.67 ms
c CURRENT OPTIMUM=               23902 		Current CPU time: 838.42 ms
c CURRENT OPTIMUM=               23901 		Current CPU time: 841.18 ms
c CURRENT OPTIMUM=               23900 		Current CPU time: 843.54 ms
c CURRENT OPTIMUM=               23899 		Current CPU time: 846.31 ms
c CURRENT OPTIMUM=               23898 		Current CPU time: 848.68 ms
c CURRENT OPTIMUM=               23897 		Current CPU time: 851.06 ms
c CURRENT OPTIMUM=               23896 		Current CPU time: 853.05 ms
c CURRENT OPTIMUM=               23895 		Current CPU time: 855.83 ms
c CURRENT OPTIMUM=               23894 		Current CPU time: 858.22 ms
c CURRENT OPTIMUM=               23893 		Current CPU time: 860.62 ms
c CURRENT OPTIMUM=               23892 		Current CPU time: 862.63 ms
c CURRENT OPTIMUM=               23891 		Current CPU time: 865.03 ms
c CURRENT OPTIMUM=               23890 		Current CPU time: 867.03 ms
c CURRENT OPTIMUM=               23889 		Current CPU time: 869.05 ms
c CURRENT OPTIMUM=               23888 		Current CPU time: 870.67 ms
c CURRENT OPTIMUM=               23887 		Current CPU time: 873.49 ms
c CURRENT OPTIMUM=               23886 		Current CPU time: 875.90 ms
c CURRENT OPTIMUM=               23885 		Current CPU time: 878.33 ms
c CURRENT OPTIMUM=               23884 		Current CPU time: 880.36 ms
c CURRENT OPTIMUM=               23883 		Current CPU time: 882.79 ms
c CURRENT OPTIMUM=               23882 		Current CPU time: 884.82 ms
c CURRENT OPTIMUM=               23881 		Current CPU time: 886.86 ms
c CURRENT OPTIMUM=               23880 		Current CPU time: 888.49 ms
c CURRENT OPTIMUM=               23879 		Current CPU time: 890.95 ms
c CURRENT OPTIMUM=               23878 		Current CPU time: 892.99 ms
c CURRENT OPTIMUM=               23877 		Current CPU time: 895.04 ms
c CURRENT OPTIMUM=               23876 		Current CPU time: 896.68 ms
c CURRENT OPTIMUM=               23875 		Current CPU time: 898.74 ms
c CURRENT OPTIMUM=               23874 		Current CPU time: 900.40 ms
c CURRENT OPTIMUM=               23873 		Current CPU time: 902.05 ms
c CURRENT OPTIMUM=               23872 		Current CPU time: 903.31 ms
c CURRENT OPTIMUM=               23871 		Current CPU time: 906.59 ms
c CURRENT OPTIMUM=               23870 		Current CPU time: 909.46 ms
c CURRENT OPTIMUM=               23869 		Current CPU time: 912.35 ms
c CURRENT OPTIMUM=               23868 		Current CPU time: 914.85 ms
c CURRENT OPTIMUM=               23867 		Current CPU time: 917.74 ms
c CURRENT OPTIMUM=               23866 		Current CPU time: 920.23 ms
c CURRENT OPTIMUM=               23865 		Current CPU time: 922.72 ms
c CURRENT OPTIMUM=               23864 		Current CPU time: 924.81 ms
c CURRENT OPTIMUM=               23863 		Current CPU time: 927.73 ms
c CURRENT OPTIMUM=               23862 		Current CPU time: 930.24 ms
c CURRENT OPTIMUM=               23861 		Current CPU time: 932.76 ms
c CURRENT OPTIMUM=               23860 		Current CPU time: 934.86 ms
c CURRENT OPTIMUM=               23859 		Current CPU time: 937.37 ms
c CURRENT OPTIMUM=               23858 		Current CPU time: 939.47 ms
c CURRENT OPTIMUM=               23857 		Current CPU time: 941.58 ms
c CURRENT OPTIMUM=               23856 		Current CPU time: 943.28 ms
c CURRENT OPTIMUM=               23855 		Current CPU time: 946.23 ms
c CURRENT OPTIMUM=               23854 		Current CPU time: 948.76 ms
c CURRENT OPTIMUM=               23853 		Current CPU time: 951.30 ms
c CURRENT OPTIMUM=               23852 		Current CPU time: 953.42 ms
c CURRENT OPTIMUM=               23851 		Current CPU time: 955.96 ms
c CURRENT OPTIMUM=               23850 		Current CPU time: 958.09 ms
c CURRENT OPTIMUM=               23849 		Current CPU time: 960.22 ms
c CURRENT OPTIMUM=               23848 		Current CPU time: 961.94 ms
c CURRENT OPTIMUM=               23847 		Current CPU time: 964.49 ms
c CURRENT OPTIMUM=               23846 		Current CPU time: 966.63 ms
c CURRENT OPTIMUM=               23845 		Current CPU time: 968.77 ms
c CURRENT OPTIMUM=               23844 		Current CPU time: 970.50 ms
c CURRENT OPTIMUM=               23843 		Current CPU time: 972.65 ms
c CURRENT OPTIMUM=               23842 		Current CPU time: 974.38 ms
c CURRENT OPTIMUM=               23841 		Current CPU time: 976.10 ms
c CURRENT OPTIMUM=               23840 		Current CPU time: 977.42 ms
c CURRENT OPTIMUM=               23839 		Current CPU time: 980.42 ms
c CURRENT OPTIMUM=               23838 		Current CPU time: 983.02 ms
c CURRENT OPTIMUM=               23837 		Current CPU time: 985.61 ms
c CURRENT OPTIMUM=               23836 		Current CPU time: 987.79 ms
c CURRENT OPTIMUM=               23835 		Current CPU time: 990.39 ms
c CURRENT OPTIMUM=               23834 		Current CPU time: 992.57 ms
c CURRENT OPTIMUM=               23833 		Current CPU time: 994.75 ms
c CURRENT OPTIMUM=               23832 		Current CPU time: 996.50 ms
c CURRENT OPTIMUM=               23831 		Current CPU time: 999.12 ms
c CURRENT OPTIMUM=               23830 		Current CPU time: 1001.30 ms
c CURRENT OPTIMUM=               23829 		Current CPU time: 1003.51 ms
c CURRENT OPTIMUM=               23828 		Current CPU time: 1005.26 ms
c CURRENT OPTIMUM=               23827 		Current CPU time: 1007.45 ms
c CURRENT OPTIMUM=               23826 		Current CPU time: 1009.22 ms
c CURRENT OPTIMUM=               23825 		Current CPU time: 1010.99 ms
c CURRENT OPTIMUM=               23824 		Current CPU time: 1012.32 ms
c CURRENT OPTIMUM=               23823 		Current CPU time: 1014.97 ms
c CURRENT OPTIMUM=               23822 		Current CPU time: 1017.19 ms
c CURRENT OPTIMUM=               23821 		Current CPU time: 1019.40 ms
c CURRENT OPTIMUM=               23820 		Current CPU time: 1021.17 ms
c CURRENT OPTIMUM=               23819 		Current CPU time: 1023.40 ms
c CURRENT OPTIMUM=               23818 		Current CPU time: 1025.18 ms
c CURRENT OPTIMUM=               23817 		Current CPU time: 1026.97 ms
c CURRENT OPTIMUM=               23816 		Current CPU time: 1028.32 ms
c CURRENT OPTIMUM=               23815 		Current CPU time: 1030.55 ms
c CURRENT OPTIMUM=               23814 		Current CPU time: 1032.35 ms
c CURRENT OPTIMUM=               23813 		Current CPU time: 1034.15 ms
c CURRENT OPTIMUM=               23812 		Current CPU time: 1035.51 ms
c CURRENT OPTIMUM=               23811 		Current CPU time: 1037.31 ms
c CURRENT OPTIMUM=               23810 		Current CPU time: 1038.67 ms
c CURRENT OPTIMUM=               23809 		Current CPU time: 1040.04 ms
c CURRENT OPTIMUM=               23808 		Current CPU time: 1040.95 ms
c CURRENT OPTIMUM=               23807 		Current CPU time: 1045.03 ms
c CURRENT OPTIMUM=               23806 		Current CPU time: 1048.71 ms
c CURRENT OPTIMUM=               23805 		Current CPU time: 1052.36 ms
c CURRENT OPTIMUM=               23804 		Current CPU time: 1055.57 ms
c CURRENT OPTIMUM=               23803 		Current CPU time: 1059.26 ms
c CURRENT OPTIMUM=               23802 		Current CPU time: 1062.48 ms
c CURRENT OPTIMUM=               23801 		Current CPU time: 1065.70 ms
c CURRENT OPTIMUM=               23800 		Current CPU time: 1068.45 ms
c CURRENT OPTIMUM=               23799 		Current CPU time: 1072.16 ms
c CURRENT OPTIMUM=               23798 		Current CPU time: 1075.38 ms
c CURRENT OPTIMUM=               23797 		Current CPU time: 1078.57 ms
c CURRENT OPTIMUM=               23796 		Current CPU time: 1081.29 ms
c CURRENT OPTIMUM=               23795 		Current CPU time: 1084.49 ms
c CURRENT OPTIMUM=               23794 		Current CPU time: 1087.22 ms
c CURRENT OPTIMUM=               23793 		Current CPU time: 1089.97 ms
c CURRENT OPTIMUM=               23792 		Current CPU time: 1092.26 ms
c CURRENT OPTIMUM=               23791 		Current CPU time: 1095.91 ms
c CURRENT OPTIMUM=               23790 		Current CPU time: 1099.12 ms
c CURRENT OPTIMUM=               23789 		Current CPU time: 1102.32 ms
c CURRENT OPTIMUM=               23788 		Current CPU time: 1105.07 ms
c CURRENT OPTIMUM=               23787 		Current CPU time: 1108.29 ms
c CURRENT OPTIMUM=               23786 		Current CPU time: 1111.06 ms
c CURRENT OPTIMUM=               23785 		Current CPU time: 1113.84 ms
c CURRENT OPTIMUM=               23784 		Current CPU time: 1116.15 ms
c CURRENT OPTIMUM=               23783 		Current CPU time: 1119.39 ms
c CURRENT OPTIMUM=               23782 		Current CPU time: 1122.17 ms
c CURRENT OPTIMUM=               23781 		Current CPU time: 1124.95 ms
c CURRENT OPTIMUM=               23780 		Current CPU time: 1127.29 ms
c CURRENT OPTIMUM=               23779 		Current CPU time: 1130.07 ms
c CURRENT OPTIMUM=               23778 		Current CPU time: 1132.42 ms
c CURRENT OPTIMUM=               23777 		Current CPU time: 1134.76 ms
c CURRENT OPTIMUM=               23776 		Current CPU time: 1136.64 ms
c CURRENT OPTIMUM=               23775 		Current CPU time: 1140.35 ms
c CURRENT OPTIMUM=               23774 		Current CPU time: 1143.62 ms
c CURRENT OPTIMUM=               23773 		Current CPU time: 1146.91 ms
c CURRENT OPTIMUM=               23772 		Current CPU time: 1149.71 ms
c CURRENT OPTIMUM=               23771 		Current CPU time: 1153.01 ms
c CURRENT OPTIMUM=               23770 		Current CPU time: 1155.84 ms
c CURRENT OPTIMUM=               23769 		Current CPU time: 1158.67 ms
c CURRENT OPTIMUM=               23768 		Current CPU time: 1161.03 ms
c CURRENT OPTIMUM=               23767 		Current CPU time: 1164.33 ms
c CURRENT OPTIMUM=               23766 		Current CPU time: 1167.17 ms
c CURRENT OPTIMUM=               23765 		Current CPU time: 1170.01 ms
c CURRENT OPTIMUM=               23764 		Current CPU time: 1172.39 ms
c CURRENT OPTIMUM=               23763 		Current CPU time: 1175.24 ms
c CURRENT OPTIMUM=               23762 		Current CPU time: 1177.62 ms
c CURRENT OPTIMUM=               23761 		Current CPU time: 1180.00 ms
c CURRENT OPTIMUM=               23760 		Current CPU time: 1181.93 ms
c CURRENT OPTIMUM=               23759 		Current CPU time: 1185.26 ms
c CURRENT OPTIMUM=               23758 		Current CPU time: 1188.13 ms
c CURRENT OPTIMUM=               23757 		Current CPU time: 1191.01 ms
c CURRENT OPTIMUM=               23756 		Current CPU time: 1193.41 ms
c CURRENT OPTIMUM=               23755 		Current CPU time: 1196.29 ms
c CURRENT OPTIMUM=               23754 		Current CPU time: 1198.69 ms
c CURRENT OPTIMUM=               23753 		Current CPU time: 1201.11 ms
c CURRENT OPTIMUM=               23752 		Current CPU time: 1203.04 ms
c CURRENT OPTIMUM=               23751 		Current CPU time: 1205.94 ms
c CURRENT OPTIMUM=               23750 		Current CPU time: 1208.36 ms
c CURRENT OPTIMUM=               23749 		Current CPU time: 1210.79 ms
c CURRENT OPTIMUM=               23748 		Current CPU time: 1212.74 ms
c CURRENT OPTIMUM=               23747 		Current CPU time: 1215.17 ms
c CURRENT OPTIMUM=               23746 		Current CPU time: 1217.12 ms
c CURRENT OPTIMUM=               23745 		Current CPU time: 1219.08 ms
c CURRENT OPTIMUM=               23744 		Current CPU time: 1220.55 ms
c CURRENT OPTIMUM=               23743 		Current CPU time: 1224.43 ms
c CURRENT OPTIMUM=               23742 		Current CPU time: 1227.83 ms
c starts	: 836
c conflicts	: 2
c decisions	: 23747
c propagations	: 136240
c inspects	: 2100851
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 836
s SATISFIABLE
v d1_bit0 d2_bit0 -d3_bit0 d4_bit0 -d5_bit0 d6_bit0 d7_bit0 d8_bit0 -d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d18_bit0 d19_bit0 d20_bit0 d21_bit0 d22_bit0 -d23_bit0 d24_bit0 -d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 -d31_bit0 -d32_bit0 d33_bit0 d34_bit0 -d35_bit0 d36_bit0 d37_bit0 d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 -d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 d50_bit0 d51_bit0 d52_bit0 -d53_bit0 -d54_bit_10 -d54_bit_9 -d54_bit_8 -d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 -d55_bit_10 -d55_bit_9 -d55_bit_8 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 d55_bit0 -d56_bit_10 d56_bit_9 d56_bit_8 d56_bit_7 d56_bit_6 d56_bit_5 -d56_bit_4 d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_10 -d57_bit_9 -d57_bit_8 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_10 -d58_bit_9 -d58_bit_8 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_10 -d59_bit_9 -d59_bit_8 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_10 -d60_bit_9 -d60_bit_8 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_10 -d61_bit_9 -d61_bit_8 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_10 -d62_bit_9 -d62_bit_8 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_10 -d63_bit_9 -d63_bit_8 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
c objectif function=23742
c Total CPU time (ms) : 1229.142
#### 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.92 1.00 0.99 2/54 21226
Raw data (stat): 21226 (runsolver) R 21225 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838386387 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.0008 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 21275
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18120 7 1 0 659 46 1 0 25 0 11 0 838386387 867569664 22071 4294967295 134512640 134569956 3221224368 3221214744 1131240292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211809 22071 13086 16 0 211793 0
vsize: 847236
[startup+20.0016 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 21312
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18120 7 1 0 1619 47 2 1 25 0 11 0 838386387 863821824 21536 4294967295 134512640 134569956 3221224368 3221214736 1131171601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210894 21536 13086 16 0 210878 0
vsize: 843576
[startup+30.0029 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 21337
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18120 7 1 0 2572 48 3 1 25 0 11 0 838386387 863428608 21614 4294967295 134512640 134569956 3221224368 3221214648 1131269080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 21614 13086 16 0 210782 0
vsize: 843192
[startup+40.0033 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 21359
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 3521 48 3 2 25 0 11 0 838386387 863428608 21739 4294967295 134512640 134569956 3221224368 3221214736 1131181468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 21739 13086 16 0 210782 0
vsize: 843192
[startup+50.0034 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 21376
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 4481 49 4 2 25 0 11 0 838386387 863428608 22099 4294967295 134512640 134569956 3221224368 3221214648 1131269177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 22099 13086 16 0 210782 0
vsize: 843192
[startup+60.0034 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 21391
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 5456 49 5 3 25 0 11 0 838386387 863428608 22174 4294967295 134512640 134569956 3221224368 3221214736 1131171584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 22174 13086 16 0 210782 0
vsize: 843192
[startup+70.004 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 21406
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 6435 50 6 3 25 0 11 0 838386387 863428608 22273 4294967295 134512640 134569956 3221224368 3221214816 1131198297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 22273 13086 16 0 210782 0
vsize: 843192
[startup+80.0043 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21421
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 7414 50 6 3 25 0 11 0 838386387 863428608 22376 4294967295 134512640 134569956 3221224368 3221214632 1131269302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22376 13086 16 0 210782 0
vsize: 843192
[startup+90.0055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21434
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 8395 51 6 3 25 0 11 0 838386387 863428608 22415 4294967295 134512640 134569956 3221224368 3221214720 1131171766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22415 13086 16 0 210782 0
vsize: 843192
[startup+100.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21446
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 9372 52 7 3 25 0 11 0 838386387 863428608 22462 4294967295 134512640 134569956 3221224368 3221214728 1131239939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22462 13086 16 0 210782 0
vsize: 843192
[startup+110.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21459
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 10351 53 7 3 20 0 11 0 838386387 863428608 22499 4294967295 134512640 134569956 3221224368 3221214728 1131240360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22499 13086 16 0 210782 0
vsize: 843192
[startup+120.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21473
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 11333 53 7 3 25 0 11 0 838386387 863428608 22598 4294967295 134512640 134569956 3221224368 3221214720 1131181500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22598 13086 16 0 210782 0
vsize: 843192
[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21486
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 12316 54 8 3 25 0 11 0 838386387 863428608 22631 4294967295 134512640 134569956 3221224368 3221214720 1131171658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22631 13086 16 0 210782 0
vsize: 843192
[startup+140.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21497
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 13299 55 9 4 25 0 11 0 838386387 863428608 22665 4294967295 134512640 134569956 3221224368 3221214720 1131171584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22665 13086 16 0 210782 0
vsize: 843192
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21505
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 14282 55 9 4 25 0 11 0 838386387 863428608 22699 4294967295 134512640 134569956 3221224368 3221214632 1131269217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22699 13086 16 0 210782 0
vsize: 843192
[startup+160.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21513
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 15265 56 9 4 25 0 11 0 838386387 863428608 22735 4294967295 134512640 134569956 3221224368 3221214768 1131244377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22735 13086 16 0 210782 0
vsize: 843192
[startup+170.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21522
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 16251 56 10 5 25 0 11 0 838386387 863428608 22856 4294967295 134512640 134569956 3221224368 3221214768 1131244501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22856 13086 16 0 210782 0
vsize: 843192
[startup+180.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21530
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 17238 57 10 5 25 0 11 0 838386387 863428608 22879 4294967295 134512640 134569956 3221224368 3221214632 1131269217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22879 13086 16 0 210782 0
vsize: 843192
[startup+190.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21538
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 18226 58 10 5 25 0 11 0 838386387 863428608 22901 4294967295 134512640 134569956 3221224368 3221214728 1131240225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22901 13086 16 0 210782 0
vsize: 843192
[startup+200.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21547
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 19213 59 11 5 25 0 11 0 838386387 863428608 22924 4294967295 134512640 134569956 3221224368 3221214720 1131181500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22924 13086 16 0 210782 0
vsize: 843192
[startup+210.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21556
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 20200 59 11 5 25 0 11 0 838386387 863428608 22949 4294967295 134512640 134569956 3221224368 3221214632 1131269217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22949 13086 16 0 210782 0
vsize: 843192
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21564
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 21187 60 11 5 24 0 11 0 838386387 863428608 22971 4294967295 134512640 134569956 3221224368 3221214728 1131239916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22971 13086 16 0 210782 0
vsize: 843192
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21571
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 22175 60 11 5 25 0 11 0 838386387 863428608 22994 4294967295 134512640 134569956 3221224368 3221214728 1131240360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 22994 13086 16 0 210782 0
vsize: 843192
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21579
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 23162 60 11 5 25 0 11 0 838386387 863428608 23021 4294967295 134512640 134569956 3221224368 3221214760 1131181500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23021 13086 16 0 210782 0
vsize: 843192
[startup+250.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21587
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 24150 61 11 5 25 0 11 0 838386387 863428608 23046 4294967295 134512640 134569956 3221224368 3221214672 1131270078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23046 13086 16 0 210782 0
vsize: 843192
[startup+260.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21595
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 25138 61 12 5 25 0 11 0 838386387 863428608 23066 4294967295 134512640 134569956 3221224368 3221214672 1131269429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23066 13086 16 0 210782 0
vsize: 843192
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21603
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18121 7 1 0 26124 62 12 6 25 0 11 0 838386387 863428608 23088 4294967295 134512640 134569956 3221224368 3221214764 1131270103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23088 13086 16 0 210782 0
vsize: 843192
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21611
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 27112 62 12 6 25 0 11 0 838386387 863428608 23111 4294967295 134512640 134569956 3221224368 3221214768 1131240278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23111 13086 16 0 210782 0
vsize: 843192
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21620
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 28098 62 13 6 25 0 11 0 838386387 863428608 23137 4294967295 134512640 134569956 3221224368 3221214672 1131269463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23137 13086 16 0 210782 0
vsize: 843192
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21627
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 29079 63 13 6 25 0 11 0 838386387 863428608 23156 4294967295 134512640 134569956 3221224368 3221214760 1131171584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23156 13086 16 0 210782 0
vsize: 843192
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21633
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 30055 63 14 6 24 0 11 0 838386387 863428608 23181 4294967295 134512640 134569956 3221224368 3221214808 1131243748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23181 13086 16 0 210782 0
vsize: 843192
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21639
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 31033 64 14 6 25 0 11 0 838386387 863428608 23204 4294967295 134512640 134569956 3221224368 3221214808 1131244377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23204 13086 16 0 210782 0
vsize: 843192
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21646
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 32016 64 14 6 25 0 11 0 838386387 863428608 23340 4294967295 134512640 134569956 3221224368 3221214808 1131243800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 23340 13086 16 0 210782 0
vsize: 843192
[startup+340.015 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 21653
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 33004 64 14 6 25 0 11 0 838386387 863428608 23357 4294967295 134512640 134569956 3221224368 3221214760 1131171664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23357 13086 16 0 210782 0
vsize: 843192
[startup+350.015 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 21659
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 33993 65 14 6 25 0 11 0 838386387 863428608 23374 4294967295 134512640 134569956 3221224368 3221214672 1131269338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23374 13086 16 0 210782 0
vsize: 843192
[startup+360.016 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 21666
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 34981 65 15 7 25 0 11 0 838386387 863428608 23394 4294967295 134512640 134569956 3221224368 3221214672 1131269087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23394 13086 16 0 210782 0
vsize: 843192
[startup+370.016 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 21673
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 35969 65 15 7 24 0 11 0 838386387 863428608 23413 4294967295 134512640 134569956 3221224368 3221214760 1131171601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23413 13086 16 0 210782 0
vsize: 843192
[startup+380.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 21681
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 36958 65 16 7 25 0 11 0 838386387 863428608 23433 4294967295 134512640 134569956 3221224368 3221214672 1131269344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23433 13086 16 0 210782 0
vsize: 843192
[startup+390.018 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21688
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 37946 65 16 7 25 0 11 0 838386387 863428608 23450 4294967295 134512640 134569956 3221224368 3221214672 1131269259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23450 13086 16 0 210782 0
vsize: 843192
[startup+400.018 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21695
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 38934 65 16 7 25 0 11 0 838386387 863428608 23469 4294967295 134512640 134569956 3221224368 3221214768 1131239923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23469 13086 16 0 210782 0
vsize: 843192
[startup+410.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21701
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 39922 66 16 7 25 0 11 0 838386387 863428608 23492 4294967295 134512640 134569956 3221224368 3221214760 1131171732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23492 13086 16 0 210782 0
vsize: 843192
[startup+420.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21707
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 40910 66 17 7 25 0 11 0 838386387 863428608 23514 4294967295 134512640 134569956 3221224368 3221214672 1131269087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23514 13086 16 0 210782 0
vsize: 843192
[startup+430.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21715
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 41899 66 17 7 25 0 11 0 838386387 863428608 23531 4294967295 134512640 134569956 3221224368 3221214680 1131211164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23531 13086 16 0 210782 0
vsize: 843192
[startup+440.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21722
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 42887 66 17 8 25 0 11 0 838386387 863428608 23548 4294967295 134512640 134569956 3221224368 3221214672 1131269143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23548 13086 16 0 210782 0
vsize: 843192
[startup+450.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21729
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 43874 67 17 8 25 0 11 0 838386387 863428608 23567 4294967295 134512640 134569956 3221224368 3221214760 1131171598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23567 13086 16 0 210782 0
vsize: 843192
[startup+460.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21736
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 44860 67 18 8 24 0 11 0 838386387 863428608 23587 4294967295 134512640 134569956 3221224368 3221214672 1131270052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23587 13086 16 0 210782 0
vsize: 843192
[startup+470.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21744
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 45847 67 18 8 25 0 11 0 838386387 863428608 23606 4294967295 134512640 134569956 3221224368 3221214760 1131171584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23606 13086 16 0 210782 0
vsize: 843192
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21752
Raw data (stat): 21226 (java) S 21225 7475 7474 0 -1 0 18122 7 1 0 46828 67 18 8 25 0 11 0 838386387 863428608 23623 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23623 13086 16 0 210782 0
vsize: 843192
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21756
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 47812 68 19 8 25 0 11 0 838386387 863428608 23646 4294967295 134512640 134569956 3221224368 3221214856 1131198297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23646 13086 16 0 210782 0
vsize: 843192
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21760
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 48795 68 19 8 25 0 11 0 838386387 863428608 23668 4294967295 134512640 134569956 3221224368 3221214664 1131265389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23668 13086 16 0 210782 0
vsize: 843192
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21764
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 49784 68 19 8 25 0 11 0 838386387 863428608 23856 4294967295 134512640 134569956 3221224368 3221214768 1131240160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23856 13086 16 0 210782 0
vsize: 843192
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21768
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 50774 68 19 8 25 0 11 0 838386387 863428608 23868 4294967295 134512640 134569956 3221224368 3221214768 1131240292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23868 13086 16 0 210782 0
vsize: 843192
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21773
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 51764 68 20 9 25 0 11 0 838386387 863428608 23879 4294967295 134512640 134569956 3221224368 3221214664 1131265383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23879 13086 16 0 210782 0
vsize: 843192
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21777
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 52753 68 20 9 25 0 11 0 838386387 863428608 23890 4294967295 134512640 134569956 3221224368 3221214760 1131181471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23890 13086 16 0 210782 0
vsize: 843192
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21782
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 53742 69 20 9 25 0 11 0 838386387 863428608 23901 4294967295 134512640 134569956 3221224368 3221214768 1131240292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23901 13086 16 0 210782 0
vsize: 843192
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21786
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 54732 69 20 9 25 0 11 0 838386387 863428608 23914 4294967295 134512640 134569956 3221224368 3221214664 1131265268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23914 13086 16 0 210782 0
vsize: 843192
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21791
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 55721 69 20 9 25 0 11 0 838386387 863428608 23928 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23928 13086 16 0 210782 0
vsize: 843192
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21795
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 56711 69 20 9 25 0 11 0 838386387 863428608 23942 4294967295 134512640 134569956 3221224368 3221214664 1131265295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23942 13086 16 0 210782 0
vsize: 843192
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21800
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 57700 69 20 9 25 0 11 0 838386387 863428608 23953 4294967295 134512640 134569956 3221224368 3221214760 1131181433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23953 13086 16 0 210782 0
vsize: 843192
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21805
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 58689 69 20 9 25 0 11 0 838386387 863428608 23967 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23967 13086 16 0 210782 0
vsize: 843192
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21811
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 59679 69 21 9 25 0 11 0 838386387 863428608 23978 4294967295 134512640 134569956 3221224368 3221214808 1131243821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23978 13086 16 0 210782 0
vsize: 843192
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21816
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 60668 69 21 9 25 0 11 0 838386387 863428608 23992 4294967295 134512640 134569956 3221224368 3221214760 1131171601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 23992 13086 16 0 210782 0
vsize: 843192
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21820
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 61657 69 21 9 25 0 11 0 838386387 863428608 24003 4294967295 134512640 134569956 3221224368 3221214764 1131181509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24003 13086 16 0 210782 0
vsize: 843192
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21824
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 62646 69 21 9 25 0 11 0 838386387 863428608 24017 4294967295 134512640 134569956 3221224368 3221214672 1131270062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24017 13086 16 0 210782 0
vsize: 843192
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21828
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 63635 69 21 9 25 0 11 0 838386387 863428608 24034 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24034 13086 16 0 210782 0
vsize: 843192
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21833
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 64624 69 21 9 25 0 11 0 838386387 863428608 24045 4294967295 134512640 134569956 3221224368 3221214672 1131269245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24045 13086 16 0 210782 0
vsize: 843192
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21837
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 65613 70 21 9 25 0 11 0 838386387 863428608 24056 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24056 13086 16 0 210782 0
vsize: 843192
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21842
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 66603 70 22 9 25 0 11 0 838386387 863428608 24068 4294967295 134512640 134569956 3221224368 3221214768 1131240243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24068 13086 16 0 210782 0
vsize: 843192
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21848
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 67592 70 22 9 25 0 11 0 838386387 863428608 24082 4294967295 134512640 134569956 3221224368 3221214768 1131240292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24082 13086 16 0 210782 0
vsize: 843192
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21852
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 68580 70 22 9 25 0 11 0 838386387 863428608 24093 4294967295 134512640 134569956 3221224368 3221214768 1131240292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24093 13086 16 0 210782 0
vsize: 843192
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21856
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 69569 70 22 9 25 0 11 0 838386387 863428608 24107 4294967295 134512640 134569956 3221224368 3221214768 1131239904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24107 13086 16 0 210782 0
vsize: 843192
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21861
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 70557 71 22 10 25 0 11 0 838386387 863428608 24121 4294967295 134512640 134569956 3221224368 3221214680 1131210104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24121 13086 16 0 210782 0
vsize: 843192
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21866
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 71546 71 23 10 25 0 11 0 838386387 863428608 24132 4294967295 134512640 134569956 3221224368 3221214672 1131269069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24132 13086 16 0 210782 0
vsize: 843192
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21871
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 72534 71 23 10 25 0 11 0 838386387 863428608 24146 4294967295 134512640 134569956 3221224368 3221214764 1131270103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24146 13086 16 0 210782 0
vsize: 843192
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21877
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 73522 71 23 10 25 0 11 0 838386387 863428608 24160 4294967295 134512640 134569956 3221224368 3221214760 1131181433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24160 13086 16 0 210782 0
vsize: 843192
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21881
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 74510 71 23 10 25 0 11 0 838386387 863428608 24174 4294967295 134512640 134569956 3221224368 3221214760 1131171658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24174 13086 16 0 210782 0
vsize: 843192
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21885
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 75498 72 24 10 25 0 11 0 838386387 863428608 24188 4294967295 134512640 134569956 3221224368 3221214808 1131243800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24188 13086 16 0 210782 0
vsize: 843192
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21889
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 76487 72 24 10 25 0 11 0 838386387 863428608 24202 4294967295 134512640 134569956 3221224368 3221214768 1131239897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24202 13086 16 0 210782 0
vsize: 843192
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21893
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 77475 72 24 10 25 0 11 0 838386387 863428608 24216 4294967295 134512640 134569956 3221224368 3221214760 1131181500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24216 13086 16 0 210782 0
vsize: 843192
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21897
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 78463 72 24 10 25 0 11 0 838386387 863428608 24227 4294967295 134512640 134569956 3221224368 3221214680 1131210137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24227 13086 16 0 210782 0
vsize: 843192
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21901
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 79453 72 25 10 25 0 11 0 838386387 863428608 24239 4294967295 134512640 134569956 3221224368 3221214760 1131181468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24239 13086 16 0 210782 0
vsize: 843192
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21905
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 80441 72 25 10 25 0 11 0 838386387 863428608 24250 4294967295 134512640 134569956 3221224368 3221214672 1131269375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24250 13086 16 0 210782 0
vsize: 843192
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21910
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 81430 72 25 10 25 0 11 0 838386387 863428608 24262 4294967295 134512640 134569956 3221224368 3221214784 1131268573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24262 13086 16 0 210782 0
vsize: 843192
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21914
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 82418 72 25 10 25 0 11 0 838386387 863428608 24273 4294967295 134512640 134569956 3221224368 3221214672 1131270058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24273 13086 16 0 210782 0
vsize: 843192
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21918
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 83406 73 25 10 25 0 11 0 838386387 863428608 24284 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24284 13086 16 0 210782 0
vsize: 843192
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21922
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 84394 73 26 10 25 0 11 0 838386387 863428608 24295 4294967295 134512640 134569956 3221224368 3221214768 1131239904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24295 13086 16 0 210782 0
vsize: 843192
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21927
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 85382 73 26 10 25 0 11 0 838386387 863428608 24309 4294967295 134512640 134569956 3221224368 3221214760 1131181479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24309 13086 16 0 210782 0
vsize: 843192
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21931
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 86371 73 26 11 25 0 11 0 838386387 863428608 24318 4294967295 134512640 134569956 3221224368 3221214760 1131171658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24318 13086 16 0 210782 0
vsize: 843192
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21936
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 87358 73 26 11 25 0 11 0 838386387 863428608 24332 4294967295 134512640 134569956 3221224368 3221214672 1131269348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24332 13086 16 0 210782 0
vsize: 843192
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21941
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 88345 73 27 11 24 0 11 0 838386387 863428608 24344 4294967295 134512640 134569956 3221224368 3221214664 1131265946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24344 13086 16 0 210782 0
vsize: 843192
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21945
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 89333 74 27 11 25 0 11 0 838386387 863428608 24358 4294967295 134512640 134569956 3221224368 3221214784 1131268558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24358 13086 16 0 210782 0
vsize: 843192
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21949
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 90320 74 27 11 25 0 11 0 838386387 863428608 24369 4294967295 134512640 134569956 3221224368 3221214808 1131243617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24369 13086 16 0 210782 0
vsize: 843192
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21953
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18122 7 1 0 91308 74 27 11 25 0 11 0 838386387 863428608 24387 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24387 13086 16 0 210782 0
vsize: 843192
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21957
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 92295 75 27 11 25 0 11 0 838386387 863428608 24402 4294967295 134512640 134569956 3221224368 3221214760 1131181500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24402 13086 16 0 210782 0
vsize: 843192
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21962
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 93283 75 28 11 25 0 11 0 838386387 863428608 24413 4294967295 134512640 134569956 3221224368 3221214768 1131240360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24413 13086 16 0 210782 0
vsize: 843192
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21966
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 94271 75 28 11 25 0 11 0 838386387 863428608 24424 4294967295 134512640 134569956 3221224368 3221214768 1131239923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24424 13086 16 0 210782 0
vsize: 843192
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21971
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 95258 75 28 11 25 0 11 0 838386387 863428608 24435 4294967295 134512640 134569956 3221224368 3221214768 1131240112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24435 13086 16 0 210782 0
vsize: 843192
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21976
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 96246 75 28 11 25 0 11 0 838386387 863428608 24446 4294967295 134512640 134569956 3221224368 3221214768 1131240292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24446 13086 16 0 210782 0
vsize: 843192
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21980
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 97233 75 28 11 25 0 11 0 838386387 863428608 24460 4294967295 134512640 134569956 3221224368 3221214664 1131265271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24460 13086 16 0 210782 0
vsize: 843192
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21985
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 98221 75 29 12 25 0 11 0 838386387 863428608 24471 4294967295 134512640 134569956 3221224368 3221214744 1131273978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24471 13086 16 0 210782 0
vsize: 843192
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21989
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 99208 75 29 12 25 0 11 0 838386387 863428608 24488 4294967295 134512640 134569956 3221224368 3221214672 1131269302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24488 13086 16 0 210782 0
vsize: 843192
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21994
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 100195 76 29 12 24 0 11 0 838386387 863428608 24499 4294967295 134512640 134569956 3221224368 3221214680 1131211164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24499 13086 16 0 210782 0
vsize: 843192
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22000
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 101182 76 29 12 25 0 11 0 838386387 863428608 24511 4294967295 134512640 134569956 3221224368 3221214768 1131240209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24511 13086 16 0 210782 0
vsize: 843192
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22006
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 102168 76 30 12 17 0 11 0 838386387 863428608 24525 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24525 13086 16 0 210782 0
vsize: 843192
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22010
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 103142 76 30 12 25 0 11 0 838386387 863428608 24539 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24539 13086 16 0 210782 0
vsize: 843192
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22012
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 104107 76 30 12 24 0 11 0 838386387 863428608 24553 4294967295 134512640 134569956 3221224368 3221214808 1131243341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24553 13086 16 0 210782 0
vsize: 843192
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22016
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 105076 77 30 12 25 0 11 0 838386387 863428608 24569 4294967295 134512640 134569956 3221224368 3221214664 1131265372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24569 13086 16 0 210782 0
vsize: 843192
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22019
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 106052 77 30 12 25 0 11 0 838386387 863428608 24808 4294967295 134512640 134569956 3221224368 3221214664 1131265268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24808 13086 16 0 210782 0
vsize: 843192
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22022
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 107040 77 30 12 25 0 11 0 838386387 863428608 24818 4294967295 134512640 134569956 3221224368 3221214768 1131240278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24818 13086 16 0 210782 0
vsize: 843192
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22026
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 108028 77 30 12 25 0 11 0 838386387 863428608 24826 4294967295 134512640 134569956 3221224368 3221214744 1131274693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24826 13086 16 0 210782 0
vsize: 843192
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22029
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 109017 77 30 13 25 0 11 0 838386387 863428608 24835 4294967295 134512640 134569956 3221224368 3221214764 1131210080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24835 13086 16 0 210782 0
vsize: 843192
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22032
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 110004 77 31 13 25 0 11 0 838386387 863428608 24843 4294967295 134512640 134569956 3221224368 3221214672 1131269177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24843 13086 16 0 210782 0
vsize: 843192
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22036
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 110993 77 31 13 25 0 11 0 838386387 863428608 24852 4294967295 134512640 134569956 3221224368 3221214672 1131269375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24852 13086 16 0 210782 0
vsize: 843192
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22040
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 111980 77 31 13 25 0 11 0 838386387 863428608 24863 4294967295 134512640 134569956 3221224368 3221214680 1131210124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24863 13086 16 0 210782 0
vsize: 843192
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22043
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 112967 77 31 13 25 0 11 0 838386387 863428608 24875 4294967295 134512640 134569956 3221224368 3221214808 1131244361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24875 13086 16 0 210782 0
vsize: 843192
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22047
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 113955 77 32 13 25 0 11 0 838386387 863428608 24883 4294967295 134512640 134569956 3221224368 3221214760 1131171584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24883 13086 16 0 210782 0
vsize: 843192
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22050
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 114942 77 32 13 25 0 11 0 838386387 863428608 24894 4294967295 134512640 134569956 3221224368 3221214672 1131269475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24894 13086 16 0 210782 0
vsize: 843192
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22054
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 115931 78 32 13 25 0 11 0 838386387 863428608 24903 4294967295 134512640 134569956 3221224368 3221214760 1131181500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24903 13086 16 0 210782 0
vsize: 843192
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22058
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 116917 78 32 13 25 0 11 0 838386387 863428608 24914 4294967295 134512640 134569956 3221224368 3221214808 1131243622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24914 13086 16 0 210782 0
vsize: 843192
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22062
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 117904 78 32 13 25 0 11 0 838386387 863428608 24922 4294967295 134512640 134569956 3221224368 3221214764 1131181509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24922 13086 16 0 210782 0
vsize: 843192
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22066
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 118892 78 33 13 25 0 11 0 838386387 863428608 24933 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24933 13086 16 0 210782 0
vsize: 843192
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22071
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 119878 78 33 13 25 0 11 0 838386387 863428608 24945 4294967295 134512640 134569956 3221224368 3221214672 1131269217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210798 24945 13086 16 0 210782 0
vsize: 843192
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22074
Raw data (stat): 21226 (java) R 21225 7475 7474 0 -1 0 18123 7 1 0 120866 78 33 13 25 0 11 0 838386387 863428608 24953 4294967295 134512640 134569956 3221224368 3221214672 1131269177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210798 24953 13086 16 0 210782 0
vsize: 843192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22076
Raw data (stat): 21226 (java) Z 21225 7475 7474 0 -1 1036 18123 13152 1 0 120868 83 2967 63 25 0 1 0 838386387 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1230.14
CPU time (s): 1239.83
CPU user time (s): 1238.35
CPU system time (s): 1.47178
CPU usage (%): 100.788
Max. virtual memory (Kb): 847236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	23742
#### END VERIFIER DATA ####