PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	3b5121187baf09367bd50bdc4d869d21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8448
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.43
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 29970

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        362464 kB
Buffers:         34504 kB
Cached:         616304 kB
SwapCached:        564 kB
Active:          48256 kB
Inactive:       604948 kB
HighTotal:      131008 kB
HighFree:         8988 kB
LowTotal:       903652 kB
LowFree:        353476 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13304 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:40:20 (client local time) WITH STATUS 143 IN 1218.48 SECONDS
stats: 21370 0 1218.48 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-markshare2.opb
c reading problem ... done. Time 0.543 ms.
c #vars     200
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              391552 		Current CPU time: 1.67 ms
c CURRENT OPTIMUM=              263808 		Current CPU time: 2.45 ms
c CURRENT OPTIMUM=              136448 		Current CPU time: 8.57 ms
c CURRENT OPTIMUM=              115968 		Current CPU time: 15.14 ms
c CURRENT OPTIMUM=              109568 		Current CPU time: 36.34 ms
c CURRENT OPTIMUM=               77056 		Current CPU time: 44.32 ms
c CURRENT OPTIMUM=               68096 		Current CPU time: 1089.99 ms
c starts	: 10
c conflicts	: 546
c decisions	: 12244
c propagations	: 29975
c inspects	: 2400322
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 546
c root simplifications	: 310
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 x1_bit0 -x1_bit1 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 x7_bit1 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 -x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 x11_bit1 x11_bit2 -x11_bit3 x11_bit4 x11_bit5 x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3 -x13_bit_2 -x13_bit_1 x13_bit0 x13_bit1 -x13_bit2 -x13_bit3 -x13_bit4 x13_bit5 -x13_bit6 x13_bit7 -x13_bit8 -x13_bit9 -x13_bit10 -x13_bit11 -x13_bit12 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 x52_bit0 x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 x60_bit0 x61_bit0 x62_bit0 -x63_bit0 x64_bit0 x65_bit0 x66_bit0 x67_bit0 x68_bit0 x69_bit0 -x70_bit0 -x71_bit0 x72_bit0 -x73_bit0 -x74_bit0 
c objectif function=68096
c Total CPU time (ms) : 1219.196
#### 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 0.98 0.99 2/54 12026
Raw data (stat): 12026 (runsolver) R 12025 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780961575 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 2/64 12039
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18127 3 1 0 793 39 0 0 25 0 11 0 780961575 856911872 19569 4294967295 134512640 134569956 3221224368 3221214600 1131188029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209207 19569 13086 16 0 209191 0
vsize: 836828
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 12040
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 1761 40 0 0 25 0 11 0 780961575 856580096 19578 4294967295 134512640 134569956 3221224368 3221214688 1131178337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209126 19578 13086 16 0 209110 0
vsize: 836504
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 12040
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 2730 40 0 0 25 0 11 0 780961575 856580096 19798 4294967295 134512640 134569956 3221224368 3221214688 1131178009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 19798 13086 16 0 209110 0
vsize: 836504
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 12041
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 3695 40 0 0 25 0 11 0 780961575 856580096 19877 4294967295 134512640 134569956 3221224368 3221214744 1131146496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 19877 13086 16 0 209110 0
vsize: 836504
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 4664 41 0 0 25 0 11 0 780961575 856580096 20083 4294967295 134512640 134569956 3221224368 3221214408 1131440824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20083 13086 16 0 209110 0
vsize: 836504
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 5641 42 0 0 25 0 11 0 780961575 856580096 20219 4294967295 134512640 134569956 3221224368 3221214792 1131162751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20219 13086 16 0 209110 0
vsize: 836504
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18128 3 1 0 6623 42 0 0 25 0 11 0 780961575 856580096 20273 4294967295 134512640 134569956 3221224368 3221214688 1131178139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20273 13086 16 0 209110 0
vsize: 836504
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 7609 42 0 0 25 0 11 0 780961575 856580096 20343 4294967295 134512640 134569956 3221224368 3221214688 1131178738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20343 13086 16 0 209110 0
vsize: 836504
[startup+90.0055 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 8597 43 0 0 25 0 11 0 780961575 856580096 20389 4294967295 134512640 134569956 3221224368 3221214688 1131178035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20389 13086 16 0 209110 0
vsize: 836504
[startup+100.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 9586 43 0 0 25 0 11 0 780961575 856580096 20420 4294967295 134512640 134569956 3221224368 3221214688 1131178537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20420 13086 16 0 209110 0
vsize: 836504
[startup+110.007 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 10576 43 0 0 25 0 11 0 780961575 856580096 20452 4294967295 134512640 134569956 3221224368 3221214688 1131177885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20452 13086 16 0 209110 0
vsize: 836504
[startup+120.009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 11566 43 0 0 25 0 11 0 780961575 856580096 20476 4294967295 134512640 134569956 3221224368 3221214792 1131161559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20476 13086 16 0 209110 0
vsize: 836504
[startup+130.009 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 12554 44 0 0 24 0 11 0 780961575 856580096 20494 4294967295 134512640 134569956 3221224368 3221214688 1131178576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20494 13086 16 0 209110 0
vsize: 836504
[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 13544 45 0 0 25 0 11 0 780961575 856580096 20516 4294967295 134512640 134569956 3221224368 3221214688 1131178290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20516 13086 16 0 209110 0
vsize: 836504
[startup+150.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 14533 45 0 0 25 0 11 0 780961575 856580096 20550 4294967295 134512640 134569956 3221224368 3221214688 1131178471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20550 13086 16 0 209110 0
vsize: 836504
[startup+160.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 15524 46 0 0 25 0 11 0 780961575 856580096 20573 4294967295 134512640 134569956 3221224368 3221214712 1131192140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20573 13086 16 0 209110 0
vsize: 836504
[startup+170.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 16516 46 0 0 25 0 11 0 780961575 856580096 20590 4294967295 134512640 134569956 3221224368 3221214520 1131284483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20590 13086 16 0 209110 0
vsize: 836504
[startup+180.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 17506 47 0 0 25 0 11 0 780961575 856580096 20611 4294967295 134512640 134569956 3221224368 3221214744 1131146513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20611 13086 16 0 209110 0
vsize: 836504
[startup+190.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 18497 47 0 0 25 0 11 0 780961575 856580096 20624 4294967295 134512640 134569956 3221224368 3221214688 1131178461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20624 13086 16 0 209110 0
vsize: 836504
[startup+200.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 19487 48 0 0 25 0 11 0 780961575 856580096 20645 4294967295 134512640 134569956 3221224368 3221214744 1131146513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20645 13086 16 0 209110 0
vsize: 836504
[startup+210.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 20477 48 0 0 25 0 11 0 780961575 856580096 20664 4294967295 134512640 134569956 3221224368 3221214520 1131198794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20664 13086 16 0 209110 0
vsize: 836504
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 21468 48 0 0 25 0 11 0 780961575 856580096 20684 4294967295 134512640 134569956 3221224368 3221214208 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20684 13086 16 0 209110 0
vsize: 836504
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 22459 48 0 0 25 0 11 0 780961575 856580096 20702 4294967295 134512640 134569956 3221224368 3221214744 1131146521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20702 13086 16 0 209110 0
vsize: 836504
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 23448 49 0 0 25 0 11 0 780961575 856580096 20728 4294967295 134512640 134569956 3221224368 3221214688 1131178330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20728 13086 16 0 209110 0
vsize: 836504
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 24439 49 0 0 25 0 11 0 780961575 856580096 20751 4294967295 134512640 134569956 3221224368 3221214296 1131363347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209126 20751 13086 16 0 209110 0
vsize: 836504
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 25430 49 0 0 25 0 11 0 780961575 856580096 20775 4294967295 134512640 134569956 3221224368 3221214688 1131178568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20775 13086 16 0 209110 0
vsize: 836504
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 26421 50 0 0 25 0 11 0 780961575 856580096 20795 4294967295 134512640 134569956 3221224368 3221214688 1131178519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20795 13086 16 0 209110 0
vsize: 836504
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 27412 51 0 0 25 0 11 0 780961575 856580096 20809 4294967295 134512640 134569956 3221224368 3221214688 1131178337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20809 13086 16 0 209110 0
vsize: 836504
[startup+290.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 28404 51 0 0 25 0 11 0 780961575 856580096 20824 4294967295 134512640 134569956 3221224368 3221214688 1131178552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20824 13086 16 0 209110 0
vsize: 836504
[startup+300.022 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 29396 51 0 0 25 0 11 0 780961575 856580096 20841 4294967295 134512640 134569956 3221224368 3221214744 1131146513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20841 13086 16 0 209110 0
vsize: 836504
[startup+310.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 30388 52 0 0 25 0 11 0 780961575 856580096 20850 4294967295 134512640 134569956 3221224368 3221214744 1131146493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20850 13086 16 0 209110 0
vsize: 836504
[startup+320.023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 31381 52 0 0 25 0 11 0 780961575 856580096 20861 4294967295 134512640 134569956 3221224368 3221214744 1131192659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20861 13086 16 0 209110 0
vsize: 836504
[startup+330.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 32373 52 0 0 25 0 11 0 780961575 856580096 20871 4294967295 134512640 134569956 3221224368 3221214424 1131292499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20871 13086 16 0 209110 0
vsize: 836504
[startup+340.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 33363 52 0 0 25 0 11 0 780961575 856580096 20881 4294967295 134512640 134569956 3221224368 3221214688 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20881 13086 16 0 209110 0
vsize: 836504
[startup+350.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 34352 53 0 0 24 0 11 0 780961575 856580096 20906 4294967295 134512640 134569956 3221224368 3221214688 1131177885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20906 13086 16 0 209110 0
vsize: 836504
[startup+360.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 35343 53 0 0 25 0 11 0 780961575 856580096 20929 4294967295 134512640 134569956 3221224368 3221214688 1131179116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20929 13086 16 0 209110 0
vsize: 836504
[startup+370.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 36334 53 0 0 25 0 11 0 780961575 856580096 20961 4294967295 134512640 134569956 3221224368 3221214688 1131179014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20961 13086 16 0 209110 0
vsize: 836504
[startup+380.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 37325 54 0 0 25 0 11 0 780961575 856580096 20972 4294967295 134512640 134569956 3221224368 3221214688 1131178437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20972 13086 16 0 209110 0
vsize: 836504
[startup+390.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 38317 54 0 0 25 0 11 0 780961575 856580096 20982 4294967295 134512640 134569956 3221224368 3221214688 1131178337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20982 13086 16 0 209110 0
vsize: 836504
[startup+400.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 39309 54 0 0 25 0 11 0 780961575 856580096 20995 4294967295 134512640 134569956 3221224368 3221214688 1131179191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 20995 13086 16 0 209110 0
vsize: 836504
[startup+410.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 40301 54 0 0 22 0 11 0 780961575 856580096 21003 4294967295 134512640 134569956 3221224368 3221214688 1131179082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21003 13086 16 0 209110 0
vsize: 836504
[startup+420.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 41293 55 0 0 25 0 11 0 780961575 856580096 21013 4294967295 134512640 134569956 3221224368 3221214688 1131178582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21013 13086 16 0 209110 0
vsize: 836504
[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 42285 55 0 0 25 0 11 0 780961575 856580096 21029 4294967295 134512640 134569956 3221224368 3221214688 1131179121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21029 13086 16 0 209110 0
vsize: 836504
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 43277 56 0 0 25 0 11 0 780961575 856580096 21037 4294967295 134512640 134569956 3221224368 3221214744 1131146521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21037 13086 16 0 209110 0
vsize: 836504
[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 44270 56 0 0 25 0 11 0 780961575 856580096 21049 4294967295 134512640 134569956 3221224368 3221214688 1131178337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21049 13086 16 0 209110 0
vsize: 836504
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 45261 56 0 0 25 0 11 0 780961575 856580096 21061 4294967295 134512640 134569956 3221224368 3221214408 1131441710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21061 13086 16 0 209110 0
vsize: 836504
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 46252 56 0 0 25 0 11 0 780961575 856580096 21069 4294967295 134512640 134569956 3221224368 3221214688 1131178449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21069 13086 16 0 209110 0
vsize: 836504
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 47244 57 0 0 25 0 11 0 780961575 856580096 21088 4294967295 134512640 134569956 3221224368 3221214688 1131178509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21088 13086 16 0 209110 0
vsize: 836504
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 48235 57 0 0 25 0 11 0 780961575 856580096 21103 4294967295 134512640 134569956 3221224368 3221214788 1131234371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21103 13086 16 0 209110 0
vsize: 836504
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 49227 57 0 0 25 0 11 0 780961575 856580096 21116 4294967295 134512640 134569956 3221224368 3221214688 1131178533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21116 13086 16 0 209110 0
vsize: 836504
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 50219 57 0 0 25 0 11 0 780961575 856580096 21126 4294967295 134512640 134569956 3221224368 3221214688 1131178356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21126 13086 16 0 209110 0
vsize: 836504
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 51211 58 0 0 25 0 11 0 780961575 856580096 21136 4294967295 134512640 134569956 3221224368 3221214688 1131177881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21136 13086 16 0 209110 0
vsize: 836504
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 52202 59 0 0 25 0 11 0 780961575 856580096 21150 4294967295 134512640 134569956 3221224368 3221214784 1131401978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21150 13086 16 0 209110 0
vsize: 836504
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 53194 59 0 0 25 0 11 0 780961575 856580096 21161 4294967295 134512640 134569956 3221224368 3221214688 1131178519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21161 13086 16 0 209110 0
vsize: 836504
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 54185 60 0 0 25 0 11 0 780961575 856580096 21172 4294967295 134512640 134569956 3221224368 3221214688 1131178750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21172 13086 16 0 209110 0
vsize: 836504
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 55177 60 0 0 25 0 11 0 780961575 856580096 21180 4294967295 134512640 134569956 3221224368 3221214788 1131146731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21180 13086 16 0 209110 0
vsize: 836504
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 56169 60 0 0 25 0 11 0 780961575 856580096 21195 4294967295 134512640 134569956 3221224368 3221214688 1131178303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21195 13086 16 0 209110 0
vsize: 836504
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 57161 60 0 0 25 0 11 0 780961575 856580096 21206 4294967295 134512640 134569956 3221224368 3221214424 1131292497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21206 13086 16 0 209110 0
vsize: 836504
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 58154 61 0 0 25 0 11 0 780961575 856580096 21217 4294967295 134512640 134569956 3221224368 3221214688 1131178337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21217 13086 16 0 209110 0
vsize: 836504
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 59146 61 0 0 25 0 11 0 780961575 856580096 21225 4294967295 134512640 134569956 3221224368 3221214688 1131178471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21225 13086 16 0 209110 0
vsize: 836504
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 60138 61 0 0 25 0 11 0 780961575 856580096 21234 4294967295 134512640 134569956 3221224368 3221214688 1131179127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21234 13086 16 0 209110 0
vsize: 836504
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 61130 62 0 0 25 0 11 0 780961575 856580096 21244 4294967295 134512640 134569956 3221224368 3221214688 1131178451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21244 13086 16 0 209110 0
vsize: 836504
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 62121 62 0 0 25 0 11 0 780961575 856580096 21253 4294967295 134512640 134569956 3221224368 3221214688 1131178362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21253 13086 16 0 209110 0
vsize: 836504
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 63111 63 0 0 25 0 11 0 780961575 856580096 21262 4294967295 134512640 134569956 3221224368 3221214688 1131178451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21262 13086 16 0 209110 0
vsize: 836504
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 64102 63 0 0 25 0 11 0 780961575 856580096 21279 4294967295 134512640 134569956 3221224368 3221214288 1076461483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21279 13086 16 0 209110 0
vsize: 836504
[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 65094 64 0 0 25 0 11 0 780961575 856580096 21296 4294967295 134512640 134569956 3221224368 3221214688 1131178495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21296 13086 16 0 209110 0
vsize: 836504
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 66085 64 0 0 25 0 11 0 780961575 856580096 21309 4294967295 134512640 134569956 3221224368 3221214792 1131161944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21309 13086 16 0 209110 0
vsize: 836504
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 67077 65 0 0 25 0 11 0 780961575 856580096 21314 4294967295 134512640 134569956 3221224368 3221214688 1131178387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21314 13086 16 0 209110 0
vsize: 836504
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 68068 65 0 0 25 0 11 0 780961575 856580096 21325 4294967295 134512640 134569956 3221224368 3221214792 1131161733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21325 13086 16 0 209110 0
vsize: 836504
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 69062 66 0 0 25 0 11 0 780961575 856580096 21336 4294967295 134512640 134569956 3221224368 3221214520 1131198900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21336 13086 16 0 209110 0
vsize: 836504
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 70054 66 0 0 25 0 11 0 780961575 856580096 21345 4294967295 134512640 134569956 3221224368 3221214688 1131178420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21345 13086 16 0 209110 0
vsize: 836504
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 71046 66 0 0 25 0 11 0 780961575 856580096 21351 4294967295 134512640 134569956 3221224368 3221214688 1131178537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21351 13086 16 0 209110 0
vsize: 836504
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 72037 67 0 0 25 0 11 0 780961575 856580096 21359 4294967295 134512640 134569956 3221224368 3221214688 1131178451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21359 13086 16 0 209110 0
vsize: 836504
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 73029 68 0 0 25 0 11 0 780961575 856580096 21386 4294967295 134512640 134569956 3221224368 3221214688 1131178428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21386 13086 16 0 209110 0
vsize: 836504
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 74020 68 0 0 25 0 11 0 780961575 856580096 21392 4294967295 134512640 134569956 3221224368 3221214520 1131447576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21392 13086 16 0 209110 0
vsize: 836504
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 75012 69 0 0 25 0 11 0 780961575 856580096 21403 4294967295 134512640 134569956 3221224368 3221214744 1131146521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21403 13086 16 0 209110 0
vsize: 836504
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 76004 69 0 0 25 0 11 0 780961575 856580096 21413 4294967295 134512640 134569956 3221224368 3221214352 1131393293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21413 13086 16 0 209110 0
vsize: 836504
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 76997 69 0 0 25 0 11 0 780961575 856580096 21416 4294967295 134512640 134569956 3221224368 3221214688 1131178527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21416 13086 16 0 209110 0
vsize: 836504
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 77989 69 0 0 25 0 11 0 780961575 856580096 21425 4294967295 134512640 134569956 3221224368 3221214688 1131178483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21425 13086 16 0 209110 0
vsize: 836504
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 78981 70 0 0 25 0 11 0 780961575 856580096 21433 4294967295 134512640 134569956 3221224368 3221214744 1131146496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21433 13086 16 0 209110 0
vsize: 836504
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 79972 70 0 0 25 0 11 0 780961575 856580096 21439 4294967295 134512640 134569956 3221224368 3221214688 1131177939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21439 13086 16 0 209110 0
vsize: 836504
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 80962 70 0 0 25 0 11 0 780961575 856580096 21453 4294967295 134512640 134569956 3221224368 3221214688 1131178214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21453 13086 16 0 209110 0
vsize: 836504
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 81952 70 0 0 25 0 11 0 780961575 856580096 21469 4294967295 134512640 134569956 3221224368 3221214688 1131178464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21469 13086 16 0 209110 0
vsize: 836504
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 82943 71 0 0 25 0 11 0 780961575 856580096 21492 4294967295 134512640 134569956 3221224368 3221214688 1131178730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21492 13086 16 0 209110 0
vsize: 836504
[startup+850.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 83935 71 0 0 25 0 11 0 780961575 856580096 21514 4294967295 134512640 134569956 3221224368 3221214744 1131146513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21514 13086 16 0 209110 0
vsize: 836504
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 84928 71 0 0 25 0 11 0 780961575 856580096 21518 4294967295 134512640 134569956 3221224368 3221214688 1131178537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21518 13086 16 0 209110 0
vsize: 836504
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 85920 71 0 0 25 0 11 0 780961575 856580096 21528 4294967295 134512640 134569956 3221224368 3221214792 1131161964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21528 13086 16 0 209110 0
vsize: 836504
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 86913 72 0 0 25 0 11 0 780961575 856580096 21534 4294967295 134512640 134569956 3221224368 3221214408 1131335448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21534 13086 16 0 209110 0
vsize: 836504
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 87906 72 0 0 25 0 11 0 780961575 856580096 21543 4294967295 134512640 134569956 3221224368 3221214688 1131178756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21543 13086 16 0 209110 0
vsize: 836504
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 88897 73 0 0 25 0 11 0 780961575 856580096 21551 4294967295 134512640 134569956 3221224368 3221214688 1131178358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21551 13086 16 0 209110 0
vsize: 836504
[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 89889 73 0 0 25 0 11 0 780961575 856580096 21558 4294967295 134512640 134569956 3221224368 3221214688 1131178362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21558 13086 16 0 209110 0
vsize: 836504
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 90881 74 0 0 25 0 11 0 780961575 856580096 21568 4294967295 134512640 134569956 3221224368 3221214688 1131177957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21568 13086 16 0 209110 0
vsize: 836504
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 91872 74 0 0 25 0 11 0 780961575 856580096 21585 4294967295 134512640 134569956 3221224368 3221214688 1131178120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21585 13086 16 0 209110 0
vsize: 836504
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 92865 74 0 0 25 0 11 0 780961575 856580096 21588 4294967295 134512640 134569956 3221224368 3221214688 1131178471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21588 13086 16 0 209110 0
vsize: 836504
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 93857 75 0 0 25 0 11 0 780961575 856580096 21594 4294967295 134512640 134569956 3221224368 3221214688 1131178471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21594 13086 16 0 209110 0
vsize: 836504
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 94849 75 0 0 25 0 11 0 780961575 856580096 21601 4294967295 134512640 134569956 3221224368 3221214792 1131162007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21601 13086 16 0 209110 0
vsize: 836504
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 95842 75 0 0 25 0 11 0 780961575 856580096 21604 4294967295 134512640 134569956 3221224368 3221214816 1131401978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21604 13086 16 0 209110 0
vsize: 836504
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 96833 76 0 0 25 0 11 0 780961575 856580096 21613 4294967295 134512640 134569956 3221224368 3221214688 1131178410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21613 13086 16 0 209110 0
vsize: 836504
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 97825 76 0 0 25 0 11 0 780961575 856580096 21622 4294967295 134512640 134569956 3221224368 3221214688 1131178356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21622 13086 16 0 209110 0
vsize: 836504
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 98816 77 0 0 25 0 11 0 780961575 856580096 21626 4294967295 134512640 134569956 3221224368 3221214688 1131177900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21626 13086 16 0 209110 0
vsize: 836504
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 99808 77 0 0 25 0 11 0 780961575 856580096 21630 4294967295 134512640 134569956 3221224368 3221214688 1131177918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21630 13086 16 0 209110 0
vsize: 836504
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 100799 78 0 0 25 0 11 0 780961575 856580096 21647 4294967295 134512640 134569956 3221224368 3221214744 1131146496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21647 13086 16 0 209110 0
vsize: 836504
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 101792 78 0 0 25 0 11 0 780961575 856580096 21650 4294967295 134512640 134569956 3221224368 3221214688 1131178303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21650 13086 16 0 209110 0
vsize: 836504
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 102784 78 0 0 25 0 11 0 780961575 856580096 21654 4294967295 134512640 134569956 3221224368 3221214744 1131146489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21654 13086 16 0 209110 0
vsize: 836504
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 103775 79 0 0 25 0 11 0 780961575 856580096 21663 4294967295 134512640 134569956 3221224368 3221214688 1131178738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21663 13086 16 0 209110 0
vsize: 836504
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 104766 79 0 0 25 0 11 0 780961575 856580096 21672 4294967295 134512640 134569956 3221224368 3221214688 1131178159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21672 13086 16 0 209110 0
vsize: 836504
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 105757 79 0 0 25 0 11 0 780961575 856580096 21679 4294967295 134512640 134569956 3221224368 3221214688 1131178586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21679 13086 16 0 209110 0
vsize: 836504
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 106748 80 0 0 25 0 11 0 780961575 856580096 21686 4294967295 134512640 134569956 3221224368 3221214744 1131146628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21686 13086 16 0 209110 0
vsize: 836504
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12042
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 107739 80 0 0 25 0 11 0 780961575 856580096 21700 4294967295 134512640 134569956 3221224368 3221214792 1131162055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21700 13086 16 0 209110 0
vsize: 836504
[startup+1100.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 108730 80 0 0 25 0 11 0 780961575 856580096 21723 4294967295 134512640 134569956 3221224368 3221214688 1131178379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21723 13086 16 0 209110 0
vsize: 836504
[startup+1110.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 109723 80 0 0 25 0 11 0 780961575 856580096 21728 4294967295 134512640 134569956 3221224368 3221214688 1131177918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21728 13086 16 0 209110 0
vsize: 836504
[startup+1120.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 110714 81 0 0 25 0 11 0 780961575 856580096 21733 4294967295 134512640 134569956 3221224368 3221214688 1131178428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21733 13086 16 0 209110 0
vsize: 836504
[startup+1130.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 111706 81 0 0 25 0 11 0 780961575 856580096 21740 4294967295 134512640 134569956 3221224368 3221214688 1131178257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21740 13086 16 0 209110 0
vsize: 836504
[startup+1140.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) S 12025 32284 32283 0 -1 0 18129 3 1 0 112697 82 0 0 25 0 11 0 780961575 856580096 21747 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21747 13086 16 0 209110 0
vsize: 836504
[startup+1150.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 113689 82 0 0 25 0 11 0 780961575 856580096 21757 4294967295 134512640 134569956 3221224368 3221214688 1131178546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21757 13086 16 0 209110 0
vsize: 836504
[startup+1160.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 114682 83 0 0 25 0 11 0 780961575 856580096 21761 4294967295 134512640 134569956 3221224368 3221214688 1131178145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21761 13086 16 0 209110 0
vsize: 836504
[startup+1170.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 115674 83 0 0 25 0 11 0 780961575 856580096 21771 4294967295 134512640 134569956 3221224368 3221214792 1131161595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21771 13086 16 0 209110 0
vsize: 836504
[startup+1180.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 116667 83 0 0 25 0 11 0 780961575 856580096 21774 4294967295 134512640 134569956 3221224368 3221214688 1131178439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21774 13086 16 0 209110 0
vsize: 836504
[startup+1190.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 117658 83 0 0 25 0 11 0 780961575 856580096 21781 4294967295 134512640 134569956 3221224368 3221214688 1131178483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21781 13086 16 0 209110 0
vsize: 836504
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 118651 84 0 0 25 0 11 0 780961575 856580096 21787 4294967295 134512640 134569956 3221224368 3221214744 1131146496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21787 13086 16 0 209110 0
vsize: 836504
[startup+1210.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 119642 84 0 0 25 0 11 0 780961575 856580096 21790 4294967295 134512640 134569956 3221224368 3221214688 1131178550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21790 13086 16 0 209110 0
vsize: 836504
[startup+1220.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12043
Raw data (stat): 12026 (java) R 12025 32284 32283 0 -1 0 18129 3 1 0 120634 84 0 0 25 0 11 0 780961575 856580096 21800 4294967295 134512640 134569956 3221224368 3221214688 1131178471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209126 21800 13086 16 0 209110 0
vsize: 836504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.21 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 12045
Raw data (stat): 12026 (java) Z 12025 32284 32283 0 -1 1036 18129 2727 1 0 120641 84 1102 20 25 0 1 0 780961575 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): 1220.21
CPU time (s): 1218.48
CPU user time (s): 1217.43
CPU system time (s): 1.05184
CPU usage (%): 99.8589
Max. virtual memory (Kb): 836828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	68096
#### END VERIFIER DATA ####