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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13429
Number of constraints which are clauses	13429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 29234

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        771696 kB
Buffers:         30240 kB
Cached:         211064 kB
SwapCached:        640 kB
Active:          71644 kB
Inactive:       172128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        771444 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13348 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:08:31 (client local time) WITH STATUS 143 IN 1248.22 SECONDS
stats: 20616 7 1248.22 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/wulflinc23/normalized-par32-2.opb
c reading problem ... done. Time 16.987 ms.
c #vars     6352
c #constraints  13429
c starts	: 9
c conflicts	: 6428
c decisions	: 6959
c propagations	: 9775057
c inspects	: 23468784
c learned literals	: 0
c learned binary clauses	: 10
c learned ternary clauses	: 10
c learned clauses	: 6427
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1249.262
#### 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.93 0.99 0.99 2/54 13463
Raw data (stat): 13463 (runsolver) R 13462 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836477507 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.99 0.99 2/63 13472
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18012 0 1 0 867 38 0 0 25 0 10 0 836477507 855486464 19696 4294967295 134512640 134569956 3221224384 3221214432 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208859 19696 13086 16 0 208843 0
vsize: 835436
[startup+20.0019 s]
Raw data (loadavg): 1.11 1.02 1.01 4/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18074 0 1 0 1713 39 0 0 25 0 11 0 836477507 857972736 20624 4294967295 134512640 134569956 3221224384 3221213960 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209466 20624 13086 16 0 209450 0
vsize: 837864
[startup+30.005 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 2579 39 0 0 25 0 11 0 836477507 857874432 24008 4294967295 134512640 134569956 3221224384 3221214576 1131324228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209442 24008 13086 16 0 209426 0
vsize: 837768
[startup+40.0052 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 3560 39 0 0 25 0 11 0 836477507 857698304 23953 4294967295 134512640 134569956 3221224384 3221214688 1131324447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23953 13086 16 0 209383 0
vsize: 837596
[startup+50.0063 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 4543 39 0 0 25 0 11 0 836477507 857698304 23981 4294967295 134512640 134569956 3221224384 3221214576 1131324419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23981 13086 16 0 209383 0
vsize: 837596
[startup+60.0068 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 5518 39 0 0 25 0 11 0 836477507 857698304 23981 4294967295 134512640 134569956 3221224384 3221214696 1131402701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23981 13086 16 0 209383 0
vsize: 837596
[startup+70.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 6497 40 0 0 25 0 11 0 836477507 857698304 23981 4294967295 134512640 134569956 3221224384 3221214740 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23981 13086 16 0 209383 0
vsize: 837596
[startup+80.0099 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 7475 40 0 0 25 0 11 0 836477507 857698304 23981 4294967295 134512640 134569956 3221224384 3221214664 1131464754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23981 13086 16 0 209383 0
vsize: 837596
[startup+90.0104 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 8440 40 0 0 25 0 11 0 836477507 857698304 23993 4294967295 134512640 134569956 3221224384 3221214576 1131324480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 23993 13086 16 0 209383 0
vsize: 837596
[startup+100.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 9412 40 0 0 25 0 11 0 836477507 857698304 24027 4294967295 134512640 134569956 3221224384 3221214640 1131424732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24027 13086 16 0 209383 0
vsize: 837596
[startup+110.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 10372 40 0 0 25 0 11 0 836477507 857698304 24095 4294967295 134512640 134569956 3221224384 3221214688 1131324528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24095 13086 16 0 209383 0
vsize: 837596
[startup+120.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 11340 40 0 0 25 0 11 0 836477507 857698304 24168 4294967295 134512640 134569956 3221224384 3221214792 1131406163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24168 13086 16 0 209383 0
vsize: 837596
[startup+130.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 12298 40 0 0 25 0 11 0 836477507 857698304 24268 4294967295 134512640 134569956 3221224384 3221214760 1131455026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24268 13086 16 0 209383 0
vsize: 837596
[startup+140.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 13267 40 0 0 25 0 11 0 836477507 857698304 24328 4294967295 134512640 134569956 3221224384 3221214788 1131411948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24328 13086 16 0 209383 0
vsize: 837596
[startup+150.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 14226 40 0 0 25 0 11 0 836477507 857698304 24397 4294967295 134512640 134569956 3221224384 3221214792 1131405625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24397 13086 16 0 209383 0
vsize: 837596
[startup+160.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 15195 40 0 0 25 0 11 0 836477507 857698304 24468 4294967295 134512640 134569956 3221224384 3221214576 1131324091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 24468 13086 16 0 209383 0
vsize: 837596
[startup+170.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 16153 41 0 0 25 0 11 0 836477507 857698304 24567 4294967295 134512640 134569956 3221224384 3221214784 1131308025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 24567 13086 16 0 209383 0
vsize: 837596
[startup+180.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 17123 41 0 0 25 0 11 0 836477507 857698304 24632 4294967295 134512640 134569956 3221224384 3221214768 1131215418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24632 13086 16 0 209383 0
vsize: 837596
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 18083 41 0 0 25 0 11 0 836477507 857698304 24698 4294967295 134512640 134569956 3221224384 3221214608 1131296101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24698 13086 16 0 209383 0
vsize: 837596
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 19051 41 0 0 25 0 11 0 836477507 857698304 24754 4294967295 134512640 134569956 3221224384 3221214644 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24754 13086 16 0 209383 0
vsize: 837596
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 20019 41 0 0 25 0 11 0 836477507 857698304 24805 4294967295 134512640 134569956 3221224384 3221214672 1131440866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24805 13086 16 0 209383 0
vsize: 837596
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 20975 41 0 0 25 0 11 0 836477507 857698304 24880 4294967295 134512640 134569956 3221224384 3221214696 1131402716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24880 13086 16 0 209383 0
vsize: 837596
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 21943 41 0 0 25 0 11 0 836477507 857698304 24953 4294967295 134512640 134569956 3221224384 3221214872 1131389994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 24953 13086 16 0 209383 0
vsize: 837596
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) S 13462 5562 5561 0 -1 0 18075 0 1 0 22900 41 0 0 25 0 11 0 836477507 857698304 25013 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25013 13086 16 0 209383 0
vsize: 837596
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 23866 42 0 0 25 0 11 0 836477507 857698304 25083 4294967295 134512640 134569956 3221224384 3221214648 1131216601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25083 13086 16 0 209383 0
vsize: 837596
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 24833 42 0 0 25 0 11 0 836477507 857698304 25151 4294967295 134512640 134569956 3221224384 3221214788 1131215328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25151 13086 16 0 209383 0
vsize: 837596
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 25788 42 0 0 25 0 11 0 836477507 857698304 25240 4294967295 134512640 134569956 3221224384 3221214768 1131215552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25240 13086 16 0 209383 0
vsize: 837596
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 26755 42 0 0 25 0 11 0 836477507 857698304 25312 4294967295 134512640 134569956 3221224384 3221214736 1131410647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25312 13086 16 0 209383 0
vsize: 837596
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 27713 42 0 0 25 0 11 0 836477507 857698304 25395 4294967295 134512640 134569956 3221224384 3221214704 1131266847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25395 13086 16 0 209383 0
vsize: 837596
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 28681 42 0 0 25 0 11 0 836477507 857698304 25458 4294967295 134512640 134569956 3221224384 3221214384 1078022145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25458 13086 16 0 209383 0
vsize: 837596
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 29647 42 0 0 25 0 11 0 836477507 857698304 25528 4294967295 134512640 134569956 3221224384 3221214792 1131405767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 25528 13086 16 0 209383 0
vsize: 837596
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 30603 43 0 0 25 0 11 0 836477507 857698304 25618 4294967295 134512640 134569956 3221224384 3221214768 1131403850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25618 13086 16 0 209383 0
vsize: 837596
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 31570 43 0 0 25 0 11 0 836477507 857698304 25676 4294967295 134512640 134569956 3221224384 3221214696 1131402704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 25676 13086 16 0 209383 0
vsize: 837596
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 32527 43 0 0 25 0 11 0 836477507 857698304 25749 4294967295 134512640 134569956 3221224384 3221214680 1131534451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25749 13086 16 0 209383 0
vsize: 837596
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 33494 43 0 0 25 0 11 0 836477507 857698304 25810 4294967295 134512640 134569956 3221224384 3221214792 1131405731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25810 13086 16 0 209383 0
vsize: 837596
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 34450 43 0 0 25 0 11 0 836477507 857698304 25896 4294967295 134512640 134569956 3221224384 3221214744 1131216607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25896 13086 16 0 209383 0
vsize: 837596
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 35418 44 0 0 25 0 11 0 836477507 857698304 25946 4294967295 134512640 134569956 3221224384 3221214788 1131215570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25946 13086 16 0 209383 0
vsize: 837596
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 36385 44 0 0 25 0 11 0 836477507 857698304 25991 4294967295 134512640 134569956 3221224384 3221214768 1131215599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 25991 13086 16 0 209383 0
vsize: 837596
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 37342 44 0 0 25 0 11 0 836477507 857698304 26104 4294967295 134512640 134569956 3221224384 3221214696 1131402742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26104 13086 16 0 209383 0
vsize: 837596
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 38311 44 0 0 25 0 11 0 836477507 857698304 26176 4294967295 134512640 134569956 3221224384 3221214792 1131406168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26176 13086 16 0 209383 0
vsize: 837596
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 39269 44 0 0 25 0 11 0 836477507 857698304 26265 4294967295 134512640 134569956 3221224384 3221214740 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26265 13086 16 0 209383 0
vsize: 837596
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) S 13462 5562 5561 0 -1 0 18075 0 1 0 40235 44 0 0 25 0 11 0 836477507 857698304 26310 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26310 13086 16 0 209383 0
vsize: 837596
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 41195 44 0 0 25 0 11 0 836477507 857698304 26386 4294967295 134512640 134569956 3221224384 3221214768 1131215495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26386 13086 16 0 209383 0
vsize: 837596
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 42162 44 0 0 25 0 11 0 836477507 857698304 26445 4294967295 134512640 134569956 3221224384 3221214576 1131324696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 26445 13086 16 0 209383 0
vsize: 837596
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 43119 45 0 0 25 0 11 0 836477507 857698304 26514 4294967295 134512640 134569956 3221224384 3221214788 1131215340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26514 13086 16 0 209383 0
vsize: 837596
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 44085 45 0 0 25 0 11 0 836477507 857698304 26575 4294967295 134512640 134569956 3221224384 3221214736 1131410597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26575 13086 16 0 209383 0
vsize: 837596
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 45040 45 0 0 25 0 11 0 836477507 857698304 26653 4294967295 134512640 134569956 3221224384 3221214696 1131295981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26653 13086 16 0 209383 0
vsize: 837596
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 46007 45 0 0 25 0 11 0 836477507 857698304 26703 4294967295 134512640 134569956 3221224384 3221214576 1131324407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26703 13086 16 0 209383 0
vsize: 837596
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 46972 45 0 0 25 0 11 0 836477507 857698304 26772 4294967295 134512640 134569956 3221224384 3221214736 1131410597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26772 13086 16 0 209383 0
vsize: 837596
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 47925 46 0 0 25 0 11 0 836477507 857698304 26902 4294967295 134512640 134569956 3221224384 3221214728 1131269591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 26902 13086 16 0 209383 0
vsize: 837596
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 48889 46 0 0 25 0 11 0 836477507 857698304 26954 4294967295 134512640 134569956 3221224384 3221214768 1131393473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 26954 13086 16 0 209383 0
vsize: 837596
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 49842 46 0 0 25 0 11 0 836477507 857698304 27075 4294967295 134512640 134569956 3221224384 3221214680 1131534451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27075 13086 16 0 209383 0
vsize: 837596
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 50808 46 0 0 25 0 11 0 836477507 857698304 27126 4294967295 134512640 134569956 3221224384 3221214680 1131292519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27126 13086 16 0 209383 0
vsize: 837596
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 51762 47 0 0 25 0 11 0 836477507 857698304 27207 4294967295 134512640 134569956 3221224384 3221214680 1131534451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27207 13086 16 0 209383 0
vsize: 837596
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 52728 47 0 0 25 0 11 0 836477507 857698304 27298 4294967295 134512640 134569956 3221224384 3221214680 1131528558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27298 13086 16 0 209383 0
vsize: 837596
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 53684 47 0 0 25 0 11 0 836477507 857698304 27372 4294967295 134512640 134569956 3221224384 3221214696 1131296101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27372 13086 16 0 209383 0
vsize: 837596
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 54651 47 0 0 25 0 11 0 836477507 857698304 27429 4294967295 134512640 134569956 3221224384 3221214764 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27429 13086 16 0 209383 0
vsize: 837596
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 55618 47 0 0 25 0 11 0 836477507 857698304 27534 4294967295 134512640 134569956 3221224384 3221214664 1131465087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27534 13086 16 0 209383 0
vsize: 837596
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 56575 47 0 0 25 0 11 0 836477507 857698304 27618 4294967295 134512640 134569956 3221224384 3221214696 1131402690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27618 13086 16 0 209383 0
vsize: 837596
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 57543 47 0 0 25 0 11 0 836477507 857698304 27674 4294967295 134512640 134569956 3221224384 3221214736 1131410597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27674 13086 16 0 209383 0
vsize: 837596
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 58500 48 0 0 25 0 11 0 836477507 857698304 27755 4294967295 134512640 134569956 3221224384 3221214788 1131215328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27755 13086 16 0 209383 0
vsize: 837596
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 59468 48 0 0 25 0 11 0 836477507 857698304 27807 4294967295 134512640 134569956 3221224384 3221214736 1131410597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27807 13086 16 0 209383 0
vsize: 837596
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 60435 48 0 0 25 0 11 0 836477507 857698304 27859 4294967295 134512640 134569956 3221224384 3221214528 1131267472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27859 13086 16 0 209383 0
vsize: 837596
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 61391 48 0 0 25 0 11 0 836477507 857698304 27930 4294967295 134512640 134569956 3221224384 3221214724 1131402659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27930 13086 16 0 209383 0
vsize: 837596
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 62357 48 0 0 25 0 11 0 836477507 857698304 27986 4294967295 134512640 134569956 3221224384 3221214828 1131454835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 27986 13086 16 0 209383 0
vsize: 837596
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 63323 48 0 0 25 0 11 0 836477507 857698304 28039 4294967295 134512640 134569956 3221224384 3221214788 1131403820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28039 13086 16 0 209383 0
vsize: 837596
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 64289 48 0 0 25 0 11 0 836477507 857698304 28100 4294967295 134512640 134569956 3221224384 3221214788 1131411945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 28100 13086 16 0 209383 0
vsize: 837596
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 65244 48 0 0 25 0 11 0 836477507 857698304 28173 4294967295 134512640 134569956 3221224384 3221214576 1131325042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 28173 13086 16 0 209383 0
vsize: 837596
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 66210 48 0 0 25 0 11 0 836477507 857698304 28237 4294967295 134512640 134569956 3221224384 3221214784 1131308156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28237 13086 16 0 209383 0
vsize: 837596
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 67175 48 0 0 25 0 11 0 836477507 857698304 28296 4294967295 134512640 134569956 3221224384 3221214688 1131324363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28296 13086 16 0 209383 0
vsize: 837596
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) S 13462 5562 5561 0 -1 0 18075 0 1 0 68133 48 0 0 25 0 11 0 836477507 857698304 28354 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28354 13086 16 0 209383 0
vsize: 837596
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 69093 48 0 0 24 0 11 0 836477507 857698304 28455 4294967295 134512640 134569956 3221224384 3221214680 1131534451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28455 13086 16 0 209383 0
vsize: 837596
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 70058 48 0 0 25 0 11 0 836477507 857698304 28516 4294967295 134512640 134569956 3221224384 3221214760 1131455698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28516 13086 16 0 209383 0
vsize: 837596
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13473
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 71022 48 0 0 25 0 11 0 836477507 857698304 28584 4294967295 134512640 134569956 3221224384 3221214788 1131389385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28584 13086 16 0 209383 0
vsize: 837596
[startup+750.234 s]
Raw data (loadavg): 1.08 1.02 1.01 3/68 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 71986 55 0 0 25 0 11 0 836477507 857698304 28665 4294967295 134512640 134569956 3221224384 3221214788 1131411497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28665 13086 16 0 209383 0
vsize: 837596
[startup+760.234 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 72951 55 0 0 25 0 11 0 836477507 857698304 28721 4294967295 134512640 134569956 3221224384 3221214740 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 28721 13086 16 0 209383 0
vsize: 837596
[startup+770.234 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 73916 55 0 0 25 0 11 0 836477507 857698304 28787 4294967295 134512640 134569956 3221224384 3221214736 1131410597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28787 13086 16 0 209383 0
vsize: 837596
[startup+780.235 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 74880 55 0 0 25 0 11 0 836477507 857698304 28836 4294967295 134512640 134569956 3221224384 3221214688 1131324472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28836 13086 16 0 209383 0
vsize: 837596
[startup+790.235 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 75832 55 0 0 25 0 11 0 836477507 857698304 28946 4294967295 134512640 134569956 3221224384 3221214768 1131215493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 28946 13086 16 0 209383 0
vsize: 837596
[startup+800.235 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 76796 55 0 0 25 0 11 0 836477507 857698304 29004 4294967295 134512640 134569956 3221224384 3221214688 1131215365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29004 13086 16 0 209383 0
vsize: 837596
[startup+810.235 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13526
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 77761 55 0 0 25 0 11 0 836477507 857698304 29103 4294967295 134512640 134569956 3221224384 3221214776 1131411977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29103 13086 16 0 209383 0
vsize: 837596
[startup+820.235 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 78715 55 0 0 25 0 11 0 836477507 857698304 29195 4294967295 134512640 134569956 3221224384 3221214680 1131534847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29195 13086 16 0 209383 0
vsize: 837596
[startup+830.235 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 79681 55 0 0 25 0 11 0 836477507 857698304 29252 4294967295 134512640 134569956 3221224384 3221214768 1131215418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29252 13086 16 0 209383 0
vsize: 837596
[startup+840.236 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 80647 55 0 0 25 0 11 0 836477507 857698304 29310 4294967295 134512640 134569956 3221224384 3221214672 1131441160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29310 13086 16 0 209383 0
vsize: 837596
[startup+850.236 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 81611 56 0 0 25 0 11 0 836477507 857698304 29385 4294967295 134512640 134569956 3221224384 3221214768 1131403845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29385 13086 16 0 209383 0
vsize: 837596
[startup+860.235 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 82565 56 0 0 25 0 11 0 836477507 857698304 29471 4294967295 134512640 134569956 3221224384 3221214736 1131410651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29471 13086 16 0 209383 0
vsize: 837596
[startup+870.235 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 83530 56 0 0 25 0 11 0 836477507 857698304 29533 4294967295 134512640 134569956 3221224384 3221214764 1131409559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29533 13086 16 0 209383 0
vsize: 837596
[startup+880.236 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 84494 56 0 0 25 0 11 0 836477507 857698304 29595 4294967295 134512640 134569956 3221224384 3221214740 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29595 13086 16 0 209383 0
vsize: 837596
[startup+890.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 85457 56 0 0 25 0 11 0 836477507 857698304 29669 4294967295 134512640 134569956 3221224384 3221214680 1131292416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29669 13086 16 0 209383 0
vsize: 837596
[startup+900.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 86418 56 0 0 25 0 11 0 836477507 857698304 29743 4294967295 134512640 134569956 3221224384 3221214776 1131455816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29743 13086 16 0 209383 0
vsize: 837596
[startup+910.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 87367 56 0 0 25 0 11 0 836477507 857698304 29835 4294967295 134512640 134569956 3221224384 3221214740 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29835 13086 16 0 209383 0
vsize: 837596
[startup+920.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 88329 56 0 0 25 0 11 0 836477507 857698304 29901 4294967295 134512640 134569956 3221224384 3221214672 1131441020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 29901 13086 16 0 209383 0
vsize: 837596
[startup+930.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 89292 56 0 0 25 0 11 0 836477507 857698304 29978 4294967295 134512640 134569956 3221224384 3221214680 1131528558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 29978 13086 16 0 209383 0
vsize: 837596
[startup+940.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 90240 57 0 0 25 0 11 0 836477507 857698304 30071 4294967295 134512640 134569956 3221224384 3221214768 1131215495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30071 13086 16 0 209383 0
vsize: 837596
[startup+950.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 91202 57 0 0 25 0 11 0 836477507 857698304 30139 4294967295 134512640 134569956 3221224384 3221214664 1131295887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30139 13086 16 0 209383 0
vsize: 837596
[startup+960.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 92163 57 0 0 25 0 11 0 836477507 857698304 30270 4294967295 134512640 134569956 3221224384 3221214576 1131324447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 30270 13086 16 0 209383 0
vsize: 837596
[startup+970.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 93122 57 0 0 25 0 11 0 836477507 857698304 30341 4294967295 134512640 134569956 3221224384 3221214664 1131295981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30341 13086 16 0 209383 0
vsize: 837596
[startup+980.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 94069 57 0 0 25 0 11 0 836477507 857698304 30464 4294967295 134512640 134569956 3221224384 3221214680 1131292455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30464 13086 16 0 209383 0
vsize: 837596
[startup+990.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 95031 57 0 0 25 0 11 0 836477507 857698304 30518 4294967295 134512640 134569956 3221224384 3221214736 1131410685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30518 13086 16 0 209383 0
vsize: 837596
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 95993 57 0 0 25 0 11 0 836477507 857698304 30580 4294967295 134512640 134569956 3221224384 3221214576 1131324070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30580 13086 16 0 209383 0
vsize: 837596
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 96954 58 0 0 25 0 11 0 836477507 857698304 30651 4294967295 134512640 134569956 3221224384 3221214768 1131215475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30651 13086 16 0 209383 0
vsize: 837596
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 97904 58 0 0 25 0 11 0 836477507 857698304 30746 4294967295 134512640 134569956 3221224384 3221214792 1131405731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30746 13086 16 0 209383 0
vsize: 837596
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 98867 58 0 0 25 0 11 0 836477507 857698304 30798 4294967295 134512640 134569956 3221224384 3221214788 1131389412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 30798 13086 16 0 209383 0
vsize: 837596
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 99829 58 0 0 25 0 11 0 836477507 857698304 30862 4294967295 134512640 134569956 3221224384 3221214668 1131389376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 30862 13086 16 0 209383 0
vsize: 837596
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 100779 58 0 0 25 0 11 0 836477507 857698304 31001 4294967295 134512640 134569956 3221224384 3221214784 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31001 13086 16 0 209383 0
vsize: 837596
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 101743 58 0 0 25 0 11 0 836477507 857698304 31069 4294967295 134512640 134569956 3221224384 3221214768 1131215449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31069 13086 16 0 209383 0
vsize: 837596
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 102708 58 0 0 25 0 11 0 836477507 857698304 31168 4294967295 134512640 134569956 3221224384 3221214768 1131215482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31168 13086 16 0 209383 0
vsize: 837596
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13528
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 103673 58 0 0 25 0 11 0 836477507 857698304 31229 4294967295 134512640 134569956 3221224384 3221214792 1131406103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31229 13086 16 0 209383 0
vsize: 837596
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 104624 59 0 0 25 0 11 0 836477507 857698304 31314 4294967295 134512640 134569956 3221224384 3221214792 1131406132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31314 13086 16 0 209383 0
vsize: 837596
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 105587 59 0 0 25 0 11 0 836477507 857698304 31371 4294967295 134512640 134569956 3221224384 3221214704 1131266841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31371 13086 16 0 209383 0
vsize: 837596
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 106540 59 0 0 25 0 11 0 836477507 857698304 31454 4294967295 134512640 134569956 3221224384 3221214848 1131216601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31454 13086 16 0 209383 0
vsize: 837596
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 107503 59 0 0 25 0 11 0 836477507 857698304 31516 4294967295 134512640 134569956 3221224384 3221214764 1131409248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31516 13086 16 0 209383 0
vsize: 837596
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 108467 59 0 0 25 0 11 0 836477507 857698304 31579 4294967295 134512640 134569956 3221224384 3221214740 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31579 13086 16 0 209383 0
vsize: 837596
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) S 13462 5562 5561 0 -1 0 18075 0 1 0 109418 59 0 0 25 0 11 0 836477507 857698304 31650 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31650 13086 16 0 209383 0
vsize: 837596
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 110379 60 0 0 25 0 11 0 836477507 857698304 31726 4294967295 134512640 134569956 3221224384 3221214792 1131405731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31726 13086 16 0 209383 0
vsize: 837596
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 111329 60 0 0 25 0 11 0 836477507 857698304 31817 4294967295 134512640 134569956 3221224384 3221214792 1131406100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31817 13086 16 0 209383 0
vsize: 837596
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 112292 60 0 0 25 0 11 0 836477507 857698304 31908 4294967295 134512640 134569956 3221224384 3221214576 1131324921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 31908 13086 16 0 209383 0
vsize: 837596
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 113242 60 0 0 25 0 11 0 836477507 857698304 32010 4294967295 134512640 134569956 3221224384 3221214724 1131266784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32010 13086 16 0 209383 0
vsize: 837596
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 114206 60 0 0 25 0 11 0 836477507 857698304 32074 4294967295 134512640 134569956 3221224384 3221214768 1131215414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32074 13086 16 0 209383 0
vsize: 837596
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 115167 60 0 0 25 0 11 0 836477507 857698304 32135 4294967295 134512640 134569956 3221224384 3221214680 1131528528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32135 13086 16 0 209383 0
vsize: 837596
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 116128 60 0 0 25 0 11 0 836477507 857698304 32202 4294967295 134512640 134569956 3221224384 3221214672 1131441096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32202 13086 16 0 209383 0
vsize: 837596
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 117089 60 0 0 25 0 11 0 836477507 857698304 32297 4294967295 134512640 134569956 3221224384 3221214776 1131411529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 32297 13086 16 0 209383 0
vsize: 837596
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 118048 61 0 0 25 0 11 0 836477507 857698304 32354 4294967295 134512640 134569956 3221224384 3221214832 1131449780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32354 13086 16 0 209383 0
vsize: 837596
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 118996 61 0 0 25 0 11 0 836477507 857698304 32464 4294967295 134512640 134569956 3221224384 3221214672 1131441160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32464 13086 16 0 209383 0
vsize: 837596
[startup+1250.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13530
Raw data (stat): 13463 (java) R 13462 5562 5561 0 -1 0 18075 0 1 0 119958 61 0 0 25 0 11 0 836477507 857698304 32507 4294967295 134512640 134569956 3221224384 3221214792 1131406103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209399 32507 13086 16 0 209383 0
vsize: 837596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.34 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13532
Raw data (stat): 13463 (java) Z 13462 5562 5561 0 -1 1036 18075 13054 1 0 119961 61 4766 32 25 0 1 0 836477507 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.34
CPU time (s): 1248.22
CPU user time (s): 1247.28
CPU system time (s): 0.940856
CPU usage (%): 99.8308
Max. virtual memory (Kb): 837864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####