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/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	60
Total number of constraints	90
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	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 29939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 12:59:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21340 boxname=wulflinc18 idbench=1328 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 21340
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        758832 kB
Buffers:         37052 kB
Cached:         210424 kB
SwapCached:        588 kB
Active:          61364 kB
Inactive:       191484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758580 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17112 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:20:20 (client local time) WITH STATUS 143 IN 1216.39 SECONDS
stats: 21340 0 1216.39 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/wulflinc18/normalized-mps-v2-13-7-sentoy.opb
c reading problem ... done. Time 0.943 ms.
c #vars     60
c #constraints  30
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 0.97 ms
c CURRENT OPTIMUM=                 -22 		Current CPU time: 1.01 ms
c CURRENT OPTIMUM=                -774 		Current CPU time: 1.05 ms
c CURRENT OPTIMUM=                -796 		Current CPU time: 1.09 ms
c CURRENT OPTIMUM=                -805 		Current CPU time: 1.18 ms
c CURRENT OPTIMUM=                -827 		Current CPU time: 1.24 ms
c CURRENT OPTIMUM=                -843 		Current CPU time: 1.26 ms
c CURRENT OPTIMUM=                -865 		Current CPU time: 1.28 ms
c CURRENT OPTIMUM=                -874 		Current CPU time: 1.31 ms
c CURRENT OPTIMUM=                -896 		Current CPU time: 1.32 ms
c CURRENT OPTIMUM=               -1554 		Current CPU time: 1.36 ms
c CURRENT OPTIMUM=               -1576 		Current CPU time: 1.49 ms
c CURRENT OPTIMUM=               -1585 		Current CPU time: 1.51 ms
c CURRENT OPTIMUM=               -1607 		Current CPU time: 1.54 ms
c CURRENT OPTIMUM=               -1623 		Current CPU time: 1.57 ms
c CURRENT OPTIMUM=               -1645 		Current CPU time: 1.60 ms
c CURRENT OPTIMUM=               -1654 		Current CPU time: 1.64 ms
c CURRENT OPTIMUM=               -1676 		Current CPU time: 1.68 ms
c CURRENT OPTIMUM=               -1678 		Current CPU time: 1.71 ms
c CURRENT OPTIMUM=               -1682 		Current CPU time: 1.75 ms
c CURRENT OPTIMUM=               -1684 		Current CPU time: 1.79 ms
c CURRENT OPTIMUM=               -2122 		Current CPU time: 1.85 ms
c CURRENT OPTIMUM=               -2144 		Current CPU time: 1.90 ms
c CURRENT OPTIMUM=               -2153 		Current CPU time: 2.64 ms
c CURRENT OPTIMUM=               -2175 		Current CPU time: 2.85 ms
c CURRENT OPTIMUM=               -2191 		Current CPU time: 3.02 ms
c CURRENT OPTIMUM=               -2213 		Current CPU time: 3.12 ms
c CURRENT OPTIMUM=               -2222 		Current CPU time: 3.21 ms
c CURRENT OPTIMUM=               -2244 		Current CPU time: 3.28 ms
c CURRENT OPTIMUM=               -2246 		Current CPU time: 3.34 ms
c CURRENT OPTIMUM=               -2250 		Current CPU time: 3.41 ms
c CURRENT OPTIMUM=               -2252 		Current CPU time: 3.48 ms
c CURRENT OPTIMUM=               -2256 		Current CPU time: 3.58 ms
c CURRENT OPTIMUM=               -2258 		Current CPU time: 3.74 ms
c CURRENT OPTIMUM=               -2259 		Current CPU time: 3.81 ms
c CURRENT OPTIMUM=               -2261 		Current CPU time: 3.84 ms
c CURRENT OPTIMUM=               -2269 		Current CPU time: 3.91 ms
c CURRENT OPTIMUM=               -2271 		Current CPU time: 3.96 ms
c CURRENT OPTIMUM=               -2275 		Current CPU time: 4.02 ms
c CURRENT OPTIMUM=               -2277 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=               -2281 		Current CPU time: 4.11 ms
c CURRENT OPTIMUM=               -2322 		Current CPU time: 4.45 ms
c CURRENT OPTIMUM=               -7675 		Current CPU time: 4.53 ms
c CURRENT OPTIMUM=               -7682 		Current CPU time: 10.42 ms
c CURRENT OPTIMUM=               -7725 		Current CPU time: 16.57 ms
c CURRENT OPTIMUM=               -7728 		Current CPU time: 19.89 ms
c CURRENT OPTIMUM=               -7739 		Current CPU time: 30.24 ms
c CURRENT OPTIMUM=               -7772 		Current CPU time: 72.79 ms
c starts	: 53
c conflicts	: 1174
c decisions	: 9877
c propagations	: 19387
c inspects	: 1311448
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1173
c root simplifications	: 324
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c objectif function=-7772
c Total CPU time (ms) : 1219.11
#### 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.78 0.95 0.98 2/54 1589
Raw data (stat): 1589 (runsolver) R 1588 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839055579 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.0038 s]
Raw data (loadavg): 1.04 1.00 1.00 2/66 1689
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 583 53 1 0 25 0 11 0 839055579 863014912 20422 4294967295 134512640 134569956 3221224368 3221214088 1130887549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210697 20422 13086 16 0 210681 0
vsize: 842788
[startup+20.0058 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1704
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 1544 57 1 0 25 0 11 0 839055579 861982720 20496 4294967295 134512640 134569956 3221224368 3221214592 1131211129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 20496 13086 16 0 210429 0
vsize: 841780
[startup+30.0057 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1705
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 2513 57 1 0 24 0 11 0 839055579 861982720 20744 4294967295 134512640 134569956 3221224368 3221214592 1131211155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 20744 13086 16 0 210429 0
vsize: 841780
[startup+40.0061 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1706
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 3482 58 2 0 25 0 11 0 839055579 861982720 20913 4294967295 134512640 134569956 3221224368 3221214424 1131428086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 20913 13086 16 0 210429 0
vsize: 841780
[startup+50.0066 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1706
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 4452 58 2 0 25 0 11 0 839055579 861982720 21042 4294967295 134512640 134569956 3221224368 3221214592 1131211358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21042 13086 16 0 210429 0
vsize: 841780
[startup+60.0075 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1706
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 5418 58 2 0 25 0 11 0 839055579 861982720 21311 4294967295 134512640 134569956 3221224368 3221214536 1131320932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21311 13086 16 0 210429 0
vsize: 841780
[startup+70.0109 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1706
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 6395 58 2 0 25 0 11 0 839055579 861982720 21406 4294967295 134512640 134569956 3221224368 3221214568 1131211659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21406 13086 16 0 210429 0
vsize: 841780
[startup+80.0113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 7374 59 2 0 25 0 11 0 839055579 861982720 21501 4294967295 134512640 134569956 3221224368 3221214392 1131275744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21501 13086 16 0 210429 0
vsize: 841780
[startup+90.0113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 8357 59 2 0 25 0 11 0 839055579 861982720 21567 4294967295 134512640 134569956 3221224368 3221214568 1131211169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21567 13086 16 0 210429 0
vsize: 841780
[startup+100.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 9337 60 2 0 25 0 11 0 839055579 861982720 21659 4294967295 134512640 134569956 3221224368 3221214660 1131212055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21659 13086 16 0 210429 0
vsize: 841780
[startup+110.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 10320 60 2 0 25 0 11 0 839055579 861982720 21718 4294967295 134512640 134569956 3221224368 3221214568 1131211039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21718 13086 16 0 210429 0
vsize: 841780
[startup+120.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) S 1588 24172 24171 0 -1 0 18120 13 1 0 11303 60 2 0 25 0 11 0 839055579 861982720 21768 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21768 13086 16 0 210429 0
vsize: 841780
[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 12285 60 2 0 25 0 11 0 839055579 861982720 21834 4294967295 134512640 134569956 3221224368 3221214664 1131286216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21834 13086 16 0 210429 0
vsize: 841780
[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 13268 61 2 0 25 0 11 0 839055579 861982720 21901 4294967295 134512640 134569956 3221224368 3221214424 1131354008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21901 13086 16 0 210429 0
vsize: 841780
[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 14254 61 2 0 25 0 11 0 839055579 861982720 21964 4294967295 134512640 134569956 3221224368 3221214424 1131354117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 21964 13086 16 0 210429 0
vsize: 841780
[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) S 1588 24172 24171 0 -1 0 18120 13 1 0 15237 62 2 0 25 0 11 0 839055579 861982720 22035 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22035 13086 16 0 210429 0
vsize: 841780
[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 16224 62 2 0 25 0 11 0 839055579 861982720 22109 4294967295 134512640 134569956 3221224368 3221214824 1131457913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22109 13086 16 0 210429 0
vsize: 841780
[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 17212 63 2 0 25 0 11 0 839055579 861982720 22161 4294967295 134512640 134569956 3221224368 3221214568 1131211711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22161 13086 16 0 210429 0
vsize: 841780
[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 18195 63 2 0 25 0 11 0 839055579 861982720 22247 4294967295 134512640 134569956 3221224368 3221214664 1131286497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22247 13086 16 0 210429 0
vsize: 841780
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 19184 63 2 0 25 0 11 0 839055579 861982720 22309 4294967295 134512640 134569956 3221224368 3221214568 1131211653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22309 13086 16 0 210429 0
vsize: 841780
[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 20179 63 2 0 25 0 11 0 839055579 861982720 22316 4294967295 134512640 134569956 3221224368 3221214664 1131284475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22316 13086 16 0 210429 0
vsize: 841780
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 21165 64 2 0 25 0 11 0 839055579 861982720 22377 4294967295 134512640 134569956 3221224368 3221214392 1131276109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22377 13086 16 0 210429 0
vsize: 841780
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 22158 64 2 0 25 0 11 0 839055579 861982720 22425 4294967295 134512640 134569956 3221224368 3221214568 1131211377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22425 13086 16 0 210429 0
vsize: 841780
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 23143 64 2 0 25 0 11 0 839055579 861982720 22486 4294967295 134512640 134569956 3221224368 3221214568 1131211155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22486 13086 16 0 210429 0
vsize: 841780
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 24126 64 2 0 24 0 11 0 839055579 861982720 22573 4294967295 134512640 134569956 3221224368 3221214568 1131211129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22573 13086 16 0 210429 0
vsize: 841780
[startup+260.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 25116 64 2 0 25 0 11 0 839055579 861982720 22633 4294967295 134512640 134569956 3221224368 3221214568 1131211672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22633 13086 16 0 210429 0
vsize: 841780
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 26105 64 2 0 25 0 11 0 839055579 861982720 22715 4294967295 134512640 134569956 3221224368 3221214320 1131403555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22715 13086 16 0 210429 0
vsize: 841780
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 27097 65 2 0 25 0 11 0 839055579 861982720 22764 4294967295 134512640 134569956 3221224368 3221214288 1131403341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22764 13086 16 0 210429 0
vsize: 841780
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 28089 65 2 0 25 0 11 0 839055579 861982720 22792 4294967295 134512640 134569956 3221224368 3221214568 1131211577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22792 13086 16 0 210429 0
vsize: 841780
[startup+300.021 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 29083 65 2 0 25 0 11 0 839055579 861982720 22809 4294967295 134512640 134569956 3221224368 3221214568 1131211802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22809 13086 16 0 210429 0
vsize: 841780
[startup+310.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1709
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 30079 66 2 0 25 0 11 0 839055579 861982720 22821 4294967295 134512640 134569956 3221224368 3221214352 1131428028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 22821 13086 16 0 210429 0
vsize: 841780
[startup+320.022 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 31074 66 2 0 25 0 11 0 839055579 861982720 22832 4294967295 134512640 134569956 3221224368 3221214352 1131428217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22832 13086 16 0 210429 0
vsize: 841780
[startup+330.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 32067 66 2 0 25 0 11 0 839055579 861982720 22855 4294967295 134512640 134569956 3221224368 3221214320 1131403540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22855 13086 16 0 210429 0
vsize: 841780
[startup+340.023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 33064 66 2 0 25 0 11 0 839055579 861982720 22858 4294967295 134512640 134569956 3221224368 3221214424 1131354168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22858 13086 16 0 210429 0
vsize: 841780
[startup+350.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 34061 67 2 0 25 0 11 0 839055579 861982720 22896 4294967295 134512640 134569956 3221224368 3221214660 1131196140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 22896 13086 16 0 210429 0
vsize: 841780
[startup+360.025 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 35052 67 2 0 25 0 11 0 839055579 861982720 23008 4294967295 134512640 134569956 3221224368 3221214424 1131353950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23008 13086 16 0 210429 0
vsize: 841780
[startup+370.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 36044 68 2 0 25 0 11 0 839055579 861982720 23047 4294967295 134512640 134569956 3221224368 3221214568 1131211688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23047 13086 16 0 210429 0
vsize: 841780
[startup+380.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 37030 68 2 0 25 0 11 0 839055579 861982720 23124 4294967295 134512640 134569956 3221224368 3221214352 1131429095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23124 13086 16 0 210429 0
vsize: 841780
[startup+390.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 38025 68 2 0 25 0 11 0 839055579 861982720 23203 4294967295 134512640 134569956 3221224368 3221214352 1131428165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23203 13086 16 0 210429 0
vsize: 841780
[startup+400.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 39019 68 2 0 25 0 11 0 839055579 861982720 23275 4294967295 134512640 134569956 3221224368 3221214568 1131211211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23275 13086 16 0 210429 0
vsize: 841780
[startup+410.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 40010 69 2 0 25 0 11 0 839055579 861982720 23337 4294967295 134512640 134569956 3221224368 3221214568 1131211306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23337 13086 16 0 210429 0
vsize: 841780
[startup+420.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 40992 69 2 0 25 0 11 0 839055579 861982720 23480 4294967295 134512640 134569956 3221224368 3221214088 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23480 13086 16 0 210429 0
vsize: 841780
[startup+430.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 41981 69 2 0 25 0 11 0 839055579 861982720 23545 4294967295 134512640 134569956 3221224368 3221214568 1131211127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23545 13086 16 0 210429 0
vsize: 841780
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 42975 70 2 0 25 0 11 0 839055579 861982720 23626 4294967295 134512640 134569956 3221224368 3221214696 1131205524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23626 13086 16 0 210429 0
vsize: 841780
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 43955 70 2 0 25 0 11 0 839055579 861982720 23793 4294967295 134512640 134569956 3221224368 3221214568 1131211771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23793 13086 16 0 210429 0
vsize: 841780
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 44944 70 2 0 25 0 11 0 839055579 861982720 23893 4294967295 134512640 134569956 3221224368 3221214320 1131403439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23893 13086 16 0 210429 0
vsize: 841780
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 45940 70 2 0 25 0 11 0 839055579 861982720 23934 4294967295 134512640 134569956 3221224368 3221214392 1131276131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23934 13086 16 0 210429 0
vsize: 841780
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 46937 71 2 0 25 0 11 0 839055579 861982720 23956 4294967295 134512640 134569956 3221224368 3221214320 1131403540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 23956 13086 16 0 210429 0
vsize: 841780
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 47931 71 2 0 25 0 11 0 839055579 861982720 24010 4294967295 134512640 134569956 3221224368 3221214568 1131211737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24010 13086 16 0 210429 0
vsize: 841780
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 48926 71 2 0 25 0 11 0 839055579 861982720 24055 4294967295 134512640 134569956 3221224368 3221214552 1131200516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24055 13086 16 0 210429 0
vsize: 841780
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 49924 72 2 0 25 0 11 0 839055579 861982720 24056 4294967295 134512640 134569956 3221224368 3221214288 1131403477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24056 13086 16 0 210429 0
vsize: 841780
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 50920 72 2 0 25 0 11 0 839055579 861982720 24076 4294967295 134512640 134569956 3221224368 3221214424 1131354200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24076 13086 16 0 210429 0
vsize: 841780
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 51909 72 2 0 25 0 11 0 839055579 861982720 24142 4294967295 134512640 134569956 3221224368 3221214664 1131285104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24142 13086 16 0 210429 0
vsize: 841780
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 52900 72 2 0 25 0 11 0 839055579 861982720 24196 4294967295 134512640 134569956 3221224368 3221214400 1131361382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24196 13086 16 0 210429 0
vsize: 841780
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 53900 73 2 0 25 0 11 0 839055579 861982720 24196 4294967295 134512640 134569956 3221224368 3221214424 1131354117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24196 13086 16 0 210429 0
vsize: 841780
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 54896 73 2 0 25 0 11 0 839055579 861982720 24202 4294967295 134512640 134569956 3221224368 3221214664 1131290336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24202 13086 16 0 210429 0
vsize: 841780
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 55887 73 2 0 25 0 11 0 839055579 861982720 24219 4294967295 134512640 134569956 3221224368 3221214656 1131196210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24219 13086 16 0 210429 0
vsize: 841780
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 56879 73 2 0 25 0 11 0 839055579 861982720 24247 4294967295 134512640 134569956 3221224368 3221214288 1131403398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24247 13086 16 0 210429 0
vsize: 841780
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 57879 73 2 0 25 0 11 0 839055579 861982720 24247 4294967295 134512640 134569956 3221224368 3221214424 1131354220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24247 13086 16 0 210429 0
vsize: 841780
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 58875 74 2 0 25 0 11 0 839055579 861982720 24278 4294967295 134512640 134569956 3221224368 3221214424 1131353950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24278 13086 16 0 210429 0
vsize: 841780
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 59867 75 2 0 25 0 11 0 839055579 861982720 24328 4294967295 134512640 134569956 3221224368 3221214424 1131354186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24328 13086 16 0 210429 0
vsize: 841780
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 60859 75 2 0 25 0 11 0 839055579 861982720 24386 4294967295 134512640 134569956 3221224368 3221214320 1131403407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24386 13086 16 0 210429 0
vsize: 841780
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 61853 75 2 0 25 0 11 0 839055579 861982720 24392 4294967295 134512640 134569956 3221224368 3221214452 1131361597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24392 13086 16 0 210429 0
vsize: 841780
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 62840 75 2 0 25 0 11 0 839055579 861982720 24428 4294967295 134512640 134569956 3221224368 3221214352 1131427412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24428 13086 16 0 210429 0
vsize: 841780
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 63829 76 2 0 25 0 11 0 839055579 861982720 24498 4294967295 134512640 134569956 3221224368 3221214568 1131211771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24498 13086 16 0 210429 0
vsize: 841780
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 64822 77 2 0 25 0 11 0 839055579 861982720 24503 4294967295 134512640 134569956 3221224368 3221214536 1131354012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24503 13086 16 0 210429 0
vsize: 841780
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 65817 77 2 0 25 0 11 0 839055579 861982720 24520 4294967295 134512640 134569956 3221224368 3221214400 1131479096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24520 13086 16 0 210429 0
vsize: 841780
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 66801 77 2 0 25 0 11 0 839055579 861982720 24621 4294967295 134512640 134569956 3221224368 3221214352 1131428217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24621 13086 16 0 210429 0
vsize: 841780
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 67792 78 2 0 25 0 11 0 839055579 861982720 24668 4294967295 134512640 134569956 3221224368 3221214400 1131390950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24668 13086 16 0 210429 0
vsize: 841780
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 68785 78 2 0 25 0 11 0 839055579 861982720 24696 4294967295 134512640 134569956 3221224368 3221214656 1131196210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24696 13086 16 0 210429 0
vsize: 841780
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 69783 79 2 0 25 0 11 0 839055579 861982720 24704 4294967295 134512640 134569956 3221224368 3221214392 1131359369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24704 13086 16 0 210429 0
vsize: 841780
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 70771 79 2 0 25 0 11 0 839055579 861982720 24773 4294967295 134512640 134569956 3221224368 3221214448 1131518172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24773 13086 16 0 210429 0
vsize: 841780
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 71759 79 2 0 25 0 11 0 839055579 861982720 24816 4294967295 134512640 134569956 3221224368 3221214320 1131403528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24816 13086 16 0 210429 0
vsize: 841780
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 72754 79 2 0 25 0 11 0 839055579 861982720 24863 4294967295 134512640 134569956 3221224368 3221214424 1131354031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24863 13086 16 0 210429 0
vsize: 841780
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 73749 80 2 0 25 0 11 0 839055579 861982720 24869 4294967295 134512640 134569956 3221224368 3221214320 1131403516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24869 13086 16 0 210429 0
vsize: 841780
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 74732 80 2 0 24 0 11 0 839055579 861982720 24933 4294967295 134512640 134569956 3221224368 3221214568 1131211667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 24933 13086 16 0 210429 0
vsize: 841780
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 75718 81 2 0 25 0 11 0 839055579 861982720 25026 4294967295 134512640 134569956 3221224368 3221214384 1131276215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25026 13086 16 0 210429 0
vsize: 841780
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 76708 81 2 0 25 0 11 0 839055579 861982720 25080 4294967295 134512640 134569956 3221224368 3221214568 1131211127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25080 13086 16 0 210429 0
vsize: 841780
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 77692 81 2 0 25 0 11 0 839055579 861982720 25162 4294967295 134512640 134569956 3221224368 3221214568 1131211306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25162 13086 16 0 210429 0
vsize: 841780
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 78681 81 2 0 25 0 11 0 839055579 861982720 25230 4294967295 134512640 134569956 3221224368 3221214664 1131286216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25230 13086 16 0 210429 0
vsize: 841780
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 79669 81 2 0 25 0 11 0 839055579 861982720 25313 4294967295 134512640 134569956 3221224368 3221214568 1131211447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25313 13086 16 0 210429 0
vsize: 841780
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 80663 82 2 0 25 0 11 0 839055579 861982720 25342 4294967295 134512640 134569956 3221224368 3221214352 1131428217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 25342 13086 16 0 210429 0
vsize: 841780
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 81649 82 2 0 25 0 11 0 839055579 861982720 25379 4294967295 134512640 134569956 3221224368 3221214392 1131358952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25379 13086 16 0 210429 0
vsize: 841780
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 82639 82 2 0 25 0 11 0 839055579 861982720 25442 4294967295 134512640 134569956 3221224368 3221214568 1131211440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25442 13086 16 0 210429 0
vsize: 841780
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 83626 83 2 0 25 0 11 0 839055579 861982720 25459 4294967295 134512640 134569956 3221224368 3221214544 1131281556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25459 13086 16 0 210429 0
vsize: 841780
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 84614 83 2 0 25 0 11 0 839055579 861982720 25532 4294967295 134512640 134569956 3221224368 3221214568 1131211306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25532 13086 16 0 210429 0
vsize: 841780
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 85601 83 2 0 25 0 11 0 839055579 861982720 25575 4294967295 134512640 134569956 3221224368 3221214352 1131428184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25575 13086 16 0 210429 0
vsize: 841780
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 86591 84 2 0 25 0 11 0 839055579 861982720 25623 4294967295 134512640 134569956 3221224368 3221214392 1131276310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 25623 13086 16 0 210429 0
vsize: 841780
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 87582 84 2 0 25 0 11 0 839055579 861982720 25644 4294967295 134512640 134569956 3221224368 3221214320 1131403333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25644 13086 16 0 210429 0
vsize: 841780
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 88572 85 2 0 25 0 11 0 839055579 861982720 25691 4294967295 134512640 134569956 3221224368 3221214320 1131403507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25691 13086 16 0 210429 0
vsize: 841780
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 89555 85 2 0 25 0 11 0 839055579 861982720 25735 4294967295 134512640 134569956 3221224368 3221214664 1131284859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25735 13086 16 0 210429 0
vsize: 841780
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 90551 85 2 0 25 0 11 0 839055579 861982720 25786 4294967295 134512640 134569956 3221224368 3221214568 1131211478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25786 13086 16 0 210429 0
vsize: 841780
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 91539 85 2 0 25 0 11 0 839055579 861982720 25827 4294967295 134512640 134569956 3221224368 3221214424 1131353950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25827 13086 16 0 210429 0
vsize: 841780
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 92539 86 2 0 25 0 11 0 839055579 861982720 25827 4294967295 134512640 134569956 3221224368 3221214320 1131403518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25827 13086 16 0 210429 0
vsize: 841780
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 93525 86 2 0 25 0 11 0 839055579 861982720 25912 4294967295 134512640 134569956 3221224368 3221214568 1131211282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 25912 13086 16 0 210429 0
vsize: 841780
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 94511 86 2 0 25 0 11 0 839055579 861982720 26013 4294967295 134512640 134569956 3221224368 3221214368 1131391427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26013 13086 16 0 210429 0
vsize: 841780
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 95507 86 2 0 25 0 11 0 839055579 861982720 26038 4294967295 134512640 134569956 3221224368 3221214424 1131354043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26038 13086 16 0 210429 0
vsize: 841780
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 96498 86 2 0 25 0 11 0 839055579 861982720 26109 4294967295 134512640 134569956 3221224368 3221214568 1131211611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26109 13086 16 0 210429 0
vsize: 841780
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 97492 86 2 0 25 0 11 0 839055579 861982720 26120 4294967295 134512640 134569956 3221224368 3221214320 1131403375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26120 13086 16 0 210429 0
vsize: 841780
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 98486 86 2 0 25 0 11 0 839055579 861982720 26139 4294967295 134512640 134569956 3221224368 3221214664 1131284722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26139 13086 16 0 210429 0
vsize: 841780
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 99473 87 2 0 25 0 11 0 839055579 861982720 26186 4294967295 134512640 134569956 3221224368 3221214568 1131211789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26186 13086 16 0 210429 0
vsize: 841780
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 100466 87 2 0 25 0 11 0 839055579 861982720 26227 4294967295 134512640 134569956 3221224368 3221214664 1131284783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26227 13086 16 0 210429 0
vsize: 841780
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 101452 88 2 0 25 0 11 0 839055579 861982720 26259 4294967295 134512640 134569956 3221224368 3221214456 1131364271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26259 13086 16 0 210429 0
vsize: 841780
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 102441 88 2 0 25 0 11 0 839055579 861982720 26301 4294967295 134512640 134569956 3221224368 3221214568 1131211127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26301 13086 16 0 210429 0
vsize: 841780
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 103425 88 2 0 25 0 11 0 839055579 861982720 26390 4294967295 134512640 134569956 3221224368 3221214664 1131286170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26390 13086 16 0 210429 0
vsize: 841780
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 104410 89 2 0 25 0 11 0 839055579 861982720 26476 4294967295 134512640 134569956 3221224368 3221214568 1131211577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26476 13086 16 0 210429 0
vsize: 841780
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 105397 89 2 0 25 0 11 0 839055579 861982720 26550 4294967295 134512640 134569956 3221224368 3221214136 1131479170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26550 13086 16 0 210429 0
vsize: 841780
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 106386 89 2 0 25 0 11 0 839055579 861982720 26608 4294967295 134512640 134569956 3221224368 3221214656 1131196191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26608 13086 16 0 210429 0
vsize: 841780
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 107378 89 2 0 25 0 11 0 839055579 861982720 26642 4294967295 134512640 134569956 3221224368 3221214320 1131403538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26642 13086 16 0 210429 0
vsize: 841780
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 108378 89 2 0 25 0 11 0 839055579 861982720 26642 4294967295 134512640 134569956 3221224368 3221214320 1131403455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26642 13086 16 0 210429 0
vsize: 841780
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 109372 89 2 0 25 0 11 0 839055579 861982720 26657 4294967295 134512640 134569956 3221224368 3221214416 1131413567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26657 13086 16 0 210429 0
vsize: 841780
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 110363 89 2 0 25 0 11 0 839055579 861982720 26702 4294967295 134512640 134569956 3221224368 3221214536 1131354141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26702 13086 16 0 210429 0
vsize: 841780
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 111352 89 2 0 25 0 11 0 839055579 861982720 26723 4294967295 134512640 134569956 3221224368 3221214352 1131428053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26723 13086 16 0 210429 0
vsize: 841780
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) S 1588 24172 24171 0 -1 0 18120 13 1 0 112352 89 2 0 25 0 11 0 839055579 861982720 26723 4294967295 134512640 134569956 3221224368 3221213168 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26723 13086 16 0 210429 0
vsize: 841780
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 113342 90 2 0 25 0 11 0 839055579 861982720 26764 4294967295 134512640 134569956 3221224368 3221214352 1131426888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26764 13086 16 0 210429 0
vsize: 841780
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 114340 90 2 0 25 0 11 0 839055579 861982720 26774 4294967295 134512640 134569956 3221224368 3221214352 1131428187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26774 13086 16 0 210429 0
vsize: 841780
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 115335 90 2 0 25 0 11 0 839055579 861982720 26797 4294967295 134512640 134569956 3221224368 3221214352 1131428221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26797 13086 16 0 210429 0
vsize: 841780
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 116333 90 2 0 25 0 11 0 839055579 861982720 26810 4294967295 134512640 134569956 3221224368 3221214352 1131428125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26810 13086 16 0 210429 0
vsize: 841780
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 117330 90 2 0 25 0 11 0 839055579 861982720 26818 4294967295 134512640 134569956 3221224368 3221214424 1131353937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26818 13086 16 0 210429 0
vsize: 841780
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 118330 90 2 0 25 0 11 0 839055579 861982720 26818 4294967295 134512640 134569956 3221224368 3221214424 1131353992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26818 13086 16 0 210429 0
vsize: 841780
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 119321 90 2 0 25 0 11 0 839055579 861982720 26839 4294967295 134512640 134569956 3221224368 3221214352 1131427975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210445 26839 13086 16 0 210429 0
vsize: 841780
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1589 (java) R 1588 24172 24171 0 -1 0 18120 13 1 0 120313 91 2 0 25 0 11 0 839055579 861982720 26869 4294967295 134512640 134569956 3221224368 3221214320 1131403035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 26869 13086 16 0 210429 0
vsize: 841780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1713
Raw data (stat): 1589 (java) Z 1588 24172 24171 0 -1 1036 18120 6903 1 0 120314 91 1213 20 25 0 1 0 839055579 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.13
CPU time (s): 1216.39
CPU user time (s): 1215.28
CPU system time (s): 1.11183
CPU usage (%): 99.6935
Max. virtual memory (Kb): 842788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7772
#### END VERIFIER DATA ####