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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 4528

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-13 18:15:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3285 boxname=wulflinc21 idbench=365 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 3285
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        914080 kB
Buffers:         25372 kB
Cached:          75608 kB
SwapCached:          0 kB
Active:          32952 kB
Inactive:        70892 kB
HighTotal:      131008 kB
HighFree:        51772 kB
LowTotal:       903652 kB
LowFree:        862308 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11216 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:36:13 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3285 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb
c reading problem 
c [nbvar=435]
c [nbconstr=935]
c time 1.678
c #vars     435
c #clauses  501
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=7
c Current CPU time (ms) : 2.06
c starts	: 1
c conflicts	: 0
c decisions	: 173
c propagations	: 435
c inspects	: 846
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=4
c Current CPU time (ms) : 3.716
c starts	: 2
c conflicts	: 1
c decisions	: 538
c propagations	: 1302
c inspects	: 2581
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=3
c Current CPU time (ms) : 76.96
c starts	: 3
c conflicts	: 22
c decisions	: 4149
c propagations	: 9643
c inspects	: 68986
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 23
c 
c CURRENT OPTIMUM=2
c Current CPU time (ms) : 186.564
c starts	: 4
c conflicts	: 36
c decisions	: 6623
c propagations	: 15532
c inspects	: 165418
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 36
c root simplifications	: 38
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 32698
Raw data (stat): 32698 (runsolver) R 32697 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 355299655 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0009 s]
Raw data (loadavg): 1.02 1.00 1.00 3/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 785 42 0 0 25 0 11 0 355299655 858361856 19767 4294967295 134512640 134569956 3221224400 3221214896 1131231033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209561 19767 13073 16 0 209545 0
vsize: 838244
[startup+20.0014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 1749 42 0 0 25 0 11 0 355299655 858038272 19728 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 19728 13073 16 0 209466 0
vsize: 837928
[startup+30.0169 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 2717 42 0 0 25 0 11 0 355299655 858038272 19798 4294967295 134512640 134569956 3221224400 3221214880 1131247036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 19798 13073 16 0 209466 0
vsize: 837928
[startup+40.0168 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 3698 42 0 0 25 0 11 0 355299655 857571328 19860 4294967295 134512640 134569956 3221224400 3221214800 1131222259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 19860 13073 16 0 209352 0
vsize: 837472
[startup+50.0175 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 4684 42 0 0 25 0 11 0 355299655 857571328 19879 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 19879 13073 16 0 209352 0
vsize: 837472
[startup+60.0172 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 5673 42 0 0 25 0 11 0 355299655 857571328 19925 4294967295 134512640 134569956 3221224400 3221214960 1131261300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 19925 13073 16 0 209352 0
vsize: 837472
[startup+70.0168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32710
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 6662 43 0 0 25 0 11 0 355299655 857571328 19954 4294967295 134512640 134569956 3221224400 3221214896 1131231200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 19954 13073 16 0 209352 0
vsize: 837472
[startup+80.0175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 7652 43 0 0 25 0 11 0 355299655 857571328 19997 4294967295 134512640 134569956 3221224400 3221214800 1131222851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 19997 13073 16 0 209352 0
vsize: 837472
[startup+90.0175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 8640 43 0 0 25 0 11 0 355299655 857571328 20030 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20030 13073 16 0 209352 0
vsize: 837472
[startup+100.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 9626 43 0 0 25 0 11 0 355299655 857571328 20063 4294967295 134512640 134569956 3221224400 3221214800 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20063 13073 16 0 209352 0
vsize: 837472
[startup+110.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 10614 43 0 0 25 0 11 0 355299655 857571328 20110 4294967295 134512640 134569956 3221224400 3221214800 1131222515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20110 13073 16 0 209352 0
vsize: 837472
[startup+120.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 11605 43 0 0 25 0 11 0 355299655 857571328 20149 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20149 13073 16 0 209352 0
vsize: 837472
[startup+130.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 12596 43 0 0 25 0 11 0 355299655 857571328 20174 4294967295 134512640 134569956 3221224400 3221214800 1131221957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20174 13073 16 0 209352 0
vsize: 837472
[startup+140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 13586 43 0 0 25 0 11 0 355299655 857571328 20202 4294967295 134512640 134569956 3221224400 3221214840 1131193925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20202 13073 16 0 209352 0
vsize: 837472
[startup+150.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 14577 43 0 0 25 0 11 0 355299655 857571328 20222 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20222 13073 16 0 209352 0
vsize: 837472
[startup+160.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 15569 44 0 0 25 0 11 0 355299655 857571328 20257 4294967295 134512640 134569956 3221224400 3221214804 1130919491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20257 13073 16 0 209352 0
vsize: 837472
[startup+170.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 16560 44 0 0 25 0 11 0 355299655 857571328 20288 4294967295 134512640 134569956 3221224400 3221214840 1131194129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20288 13073 16 0 209352 0
vsize: 837472
[startup+180.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32711
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 17551 44 0 0 25 0 11 0 355299655 857571328 20326 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20326 13073 16 0 209352 0
vsize: 837472
[startup+190.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 18542 44 0 0 25 0 11 0 355299655 857571328 20375 4294967295 134512640 134569956 3221224400 3221214800 1131222527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20375 13073 16 0 209352 0
vsize: 837472
[startup+200.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 19534 44 0 0 25 0 11 0 355299655 857571328 20408 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20408 13073 16 0 209352 0
vsize: 837472
[startup+210.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 20526 44 0 0 25 0 11 0 355299655 857571328 20432 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20432 13073 16 0 209352 0
vsize: 837472
[startup+220.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 21518 44 0 0 25 0 11 0 355299655 857571328 20462 4294967295 134512640 134569956 3221224400 3221214800 1131222935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20462 13073 16 0 209352 0
vsize: 837472
[startup+230.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 22510 44 0 0 25 0 11 0 355299655 857571328 20497 4294967295 134512640 134569956 3221224400 3221214892 1131221932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20497 13073 16 0 209352 0
vsize: 837472
[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 23502 44 0 0 25 0 11 0 355299655 857571328 20519 4294967295 134512640 134569956 3221224400 3221214800 1131222302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20519 13073 16 0 209352 0
vsize: 837472
[startup+250.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 24493 44 0 0 25 0 11 0 355299655 857571328 20546 4294967295 134512640 134569956 3221224400 3221214840 1131193941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20546 13073 16 0 209352 0
vsize: 837472
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 25485 44 0 0 25 0 11 0 355299655 857571328 20566 4294967295 134512640 134569956 3221224400 3221214800 1131222100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20566 13073 16 0 209352 0
vsize: 837472
[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 26478 44 0 0 25 0 11 0 355299655 857571328 20589 4294967295 134512640 134569956 3221224400 3221214840 1131194082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20589 13073 16 0 209352 0
vsize: 837472
[startup+280.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 27469 44 0 0 25 0 11 0 355299655 857571328 20624 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20624 13073 16 0 209352 0
vsize: 837472
[startup+290.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 28456 44 0 0 25 0 11 0 355299655 857571328 20649 4294967295 134512640 134569956 3221224400 3221214896 1131231375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20649 13073 16 0 209352 0
vsize: 837472
[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 29444 44 0 0 25 0 11 0 355299655 857571328 20709 4294967295 134512640 134569956 3221224400 3221214800 1131221968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20709 13073 16 0 209352 0
vsize: 837472
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 30434 44 0 0 25 0 11 0 355299655 857571328 20745 4294967295 134512640 134569956 3221224400 3221214800 1131221957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20745 13073 16 0 209352 0
vsize: 837472
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 31424 44 0 0 25 0 11 0 355299655 857571328 20769 4294967295 134512640 134569956 3221224400 3221214840 1131193945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20769 13073 16 0 209352 0
vsize: 837472
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 32414 45 0 0 25 0 11 0 355299655 857571328 20816 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20816 13073 16 0 209352 0
vsize: 837472
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 33405 45 0 0 25 0 11 0 355299655 857571328 20837 4294967295 134512640 134569956 3221224400 3221214896 1131231033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20837 13073 16 0 209352 0
vsize: 837472
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 34397 45 0 0 25 0 11 0 355299655 857571328 20864 4294967295 134512640 134569956 3221224400 3221214800 1131221949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20864 13073 16 0 209352 0
vsize: 837472
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 35388 45 0 0 25 0 11 0 355299655 857571328 20895 4294967295 134512640 134569956 3221224400 3221214800 1131222440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20895 13073 16 0 209352 0
vsize: 837472
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 36379 45 0 0 25 0 11 0 355299655 857571328 20907 4294967295 134512640 134569956 3221224400 3221214840 1131193917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20907 13073 16 0 209352 0
vsize: 837472
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 37371 45 0 0 25 0 11 0 355299655 857571328 20944 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20944 13073 16 0 209352 0
vsize: 837472
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 38362 45 0 0 25 0 11 0 355299655 857571328 20977 4294967295 134512640 134569956 3221224400 3221214800 1131222995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 20977 13073 16 0 209352 0
vsize: 837472
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 39354 45 0 0 25 0 11 0 355299655 857571328 21001 4294967295 134512640 134569956 3221224400 3221214800 1131222988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21001 13073 16 0 209352 0
vsize: 837472
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 40346 45 0 0 25 0 11 0 355299655 857571328 21038 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21038 13073 16 0 209352 0
vsize: 837472
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 41339 45 0 0 25 0 11 0 355299655 857571328 21051 4294967295 134512640 134569956 3221224400 3221214800 1131222545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21051 13073 16 0 209352 0
vsize: 837472
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 42331 45 0 0 25 0 11 0 355299655 857571328 21061 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21061 13073 16 0 209352 0
vsize: 837472
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 43323 45 0 0 25 0 11 0 355299655 857571328 21074 4294967295 134512640 134569956 3221224400 3221214896 1131231237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21074 13073 16 0 209352 0
vsize: 837472
[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 44315 46 0 0 25 0 11 0 355299655 857571328 21103 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21103 13073 16 0 209352 0
vsize: 837472
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 45308 46 0 0 25 0 11 0 355299655 857571328 21137 4294967295 134512640 134569956 3221224400 3221214800 1131222294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21137 13073 16 0 209352 0
vsize: 837472
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 46301 46 0 0 25 0 11 0 355299655 857571328 21151 4294967295 134512640 134569956 3221224400 3221214800 1131222864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21151 13073 16 0 209352 0
vsize: 837472
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 47293 46 0 0 25 0 11 0 355299655 857571328 21174 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21174 13073 16 0 209352 0
vsize: 837472
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 48285 46 0 0 25 0 11 0 355299655 857571328 21183 4294967295 134512640 134569956 3221224400 3221214800 1131223048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21183 13073 16 0 209352 0
vsize: 837472
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 49277 46 0 0 25 0 11 0 355299655 857571328 21201 4294967295 134512640 134569956 3221224400 3221214800 1131221953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21201 13073 16 0 209352 0
vsize: 837472
[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 50266 46 0 0 25 0 11 0 355299655 857571328 21214 4294967295 134512640 134569956 3221224400 3221214896 1131231513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21214 13073 16 0 209352 0
vsize: 837472
[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 51255 46 0 0 25 0 11 0 355299655 857571328 21262 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21262 13073 16 0 209352 0
vsize: 837472
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 52244 46 0 0 25 0 11 0 355299655 857571328 21343 4294967295 134512640 134569956 3221224400 3221214800 1131222527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21343 13073 16 0 209352 0
vsize: 837472
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 53234 46 0 0 25 0 11 0 355299655 857571328 21361 4294967295 134512640 134569956 3221224400 3221214840 1131193941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21361 13073 16 0 209352 0
vsize: 837472
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 54224 46 0 0 25 0 11 0 355299655 857571328 21426 4294967295 134512640 134569956 3221224400 3221214800 1131222495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21426 13073 16 0 209352 0
vsize: 837472
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 55215 46 0 0 25 0 11 0 355299655 857571328 21489 4294967295 134512640 134569956 3221224400 3221214840 1131193925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21489 13073 16 0 209352 0
vsize: 837472
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 56206 46 0 0 25 0 11 0 355299655 857571328 21525 4294967295 134512640 134569956 3221224400 3221214800 1131222138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21525 13073 16 0 209352 0
vsize: 837472
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 57198 46 0 0 25 0 11 0 355299655 857571328 21535 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21535 13073 16 0 209352 0
vsize: 837472
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 58188 46 0 0 25 0 11 0 355299655 857571328 21594 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21594 13073 16 0 209352 0
vsize: 837472
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 59179 46 0 0 25 0 11 0 355299655 857571328 21629 4294967295 134512640 134569956 3221224400 3221214896 1131232042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21629 13073 16 0 209352 0
vsize: 837472
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 60169 47 0 0 25 0 11 0 355299655 857571328 21653 4294967295 134512640 134569956 3221224400 3221214800 1131222511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21653 13073 16 0 209352 0
vsize: 837472
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 61161 47 0 0 25 0 11 0 355299655 857571328 21710 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21710 13073 16 0 209352 0
vsize: 837472
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 62153 47 0 0 25 0 11 0 355299655 857571328 21728 4294967295 134512640 134569956 3221224400 3221214800 1131222495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21728 13073 16 0 209352 0
vsize: 837472
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 63145 47 0 0 25 0 11 0 355299655 857571328 21769 4294967295 134512640 134569956 3221224400 3221214896 1131232233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21769 13073 16 0 209352 0
vsize: 837472
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 64137 47 0 0 25 0 11 0 355299655 857571328 21780 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21780 13073 16 0 209352 0
vsize: 837472
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 65128 47 0 0 25 0 11 0 355299655 857571328 21820 4294967295 134512640 134569956 3221224400 3221214840 1131193945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21820 13073 16 0 209352 0
vsize: 837472
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 66120 47 0 0 25 0 11 0 355299655 857571328 21828 4294967295 134512640 134569956 3221224400 3221214892 1131219936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21828 13073 16 0 209352 0
vsize: 837472
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 67112 47 0 0 25 0 11 0 355299655 857571328 21863 4294967295 134512640 134569956 3221224400 3221214800 1131222253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21863 13073 16 0 209352 0
vsize: 837472
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 68104 47 0 0 25 0 11 0 355299655 857571328 21892 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21892 13073 16 0 209352 0
vsize: 837472
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 69095 47 0 0 25 0 11 0 355299655 857571328 21904 4294967295 134512640 134569956 3221224400 3221214800 1131223041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21904 13073 16 0 209352 0
vsize: 837472
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 70087 47 0 0 25 0 11 0 355299655 857571328 21935 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21935 13073 16 0 209352 0
vsize: 837472
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 71079 48 0 0 25 0 11 0 355299655 857571328 21970 4294967295 134512640 134569956 3221224400 3221214896 1131231547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21970 13073 16 0 209352 0
vsize: 837472
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 72069 48 0 0 25 0 11 0 355299655 857571328 21982 4294967295 134512640 134569956 3221224400 3221214800 1131222406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 21982 13073 16 0 209352 0
vsize: 837472
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 73059 48 0 0 25 0 11 0 355299655 857571328 22027 4294967295 134512640 134569956 3221224400 3221214896 1131231524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22027 13073 16 0 209352 0
vsize: 837472
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 74050 48 0 0 25 0 11 0 355299655 857571328 22086 4294967295 134512640 134569956 3221224400 3221214800 1131221953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22086 13073 16 0 209352 0
vsize: 837472
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 75043 48 0 0 25 0 11 0 355299655 857571328 22121 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22121 13073 16 0 209352 0
vsize: 837472
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 76034 48 0 0 25 0 11 0 355299655 857571328 22123 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22123 13073 16 0 209352 0
vsize: 837472
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 77024 48 0 0 25 0 11 0 355299655 857571328 22152 4294967295 134512640 134569956 3221224400 3221214892 1131221939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22152 13073 16 0 209352 0
vsize: 837472
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 78016 48 0 0 25 0 11 0 355299655 857571328 22223 4294967295 134512640 134569956 3221224400 3221214800 1131221992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22223 13073 16 0 209352 0
vsize: 837472
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 79008 48 0 0 25 0 11 0 355299655 857571328 22239 4294967295 134512640 134569956 3221224400 3221214800 1131222851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22239 13073 16 0 209352 0
vsize: 837472
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 80000 48 0 0 25 0 11 0 355299655 857571328 22254 4294967295 134512640 134569956 3221224400 3221214800 1131222995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22254 13073 16 0 209352 0
vsize: 837472
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 80991 48 0 0 25 0 11 0 355299655 857571328 22271 4294967295 134512640 134569956 3221224400 3221214800 1131221949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22271 13073 16 0 209352 0
vsize: 837472
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 81983 48 0 0 25 0 11 0 355299655 857571328 22319 4294967295 134512640 134569956 3221224400 3221214840 1131194029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22319 13073 16 0 209352 0
vsize: 837472
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 82975 48 0 0 25 0 11 0 355299655 857571328 22352 4294967295 134512640 134569956 3221224400 3221214896 1131232233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22352 13073 16 0 209352 0
vsize: 837472
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 83966 48 0 0 25 0 11 0 355299655 857571328 22374 4294967295 134512640 134569956 3221224400 3221214800 1131222146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22374 13073 16 0 209352 0
vsize: 837472
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 84957 48 0 0 25 0 11 0 355299655 857571328 22392 4294967295 134512640 134569956 3221224400 3221214896 1131231452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22392 13073 16 0 209352 0
vsize: 837472
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 85946 48 0 0 25 0 11 0 355299655 857571328 22431 4294967295 134512640 134569956 3221224400 3221214832 1131241402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22431 13073 16 0 209352 0
vsize: 837472
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 86938 48 0 0 25 0 11 0 355299655 857571328 22471 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22471 13073 16 0 209352 0
vsize: 837472
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 87929 49 0 0 25 0 11 0 355299655 857571328 22510 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22510 13073 16 0 209352 0
vsize: 837472
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 88921 49 0 0 25 0 11 0 355299655 857571328 22537 4294967295 134512640 134569956 3221224400 3221214800 1131222407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22537 13073 16 0 209352 0
vsize: 837472
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 89913 49 0 0 25 0 11 0 355299655 857571328 22563 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22563 13073 16 0 209352 0
vsize: 837472
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 90904 49 0 0 25 0 11 0 355299655 857571328 22588 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22588 13073 16 0 209352 0
vsize: 837472
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 91896 49 0 0 25 0 11 0 355299655 857571328 22600 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22600 13073 16 0 209352 0
vsize: 837472
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 92882 49 0 0 25 0 11 0 355299655 857571328 22626 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22626 13073 16 0 209352 0
vsize: 837472
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 93869 49 0 0 25 0 11 0 355299655 857571328 22657 4294967295 134512640 134569956 3221224400 3221214800 1131222588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22657 13073 16 0 209352 0
vsize: 837472
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 94854 49 0 0 25 0 11 0 355299655 857571328 22736 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22736 13073 16 0 209352 0
vsize: 837472
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 95843 49 0 0 25 0 11 0 355299655 857571328 22774 4294967295 134512640 134569956 3221224400 3221214960 1131261146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22774 13073 16 0 209352 0
vsize: 837472
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 96833 49 0 0 25 0 11 0 355299655 857571328 22834 4294967295 134512640 134569956 3221224400 3221214752 1131221957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22834 13073 16 0 209352 0
vsize: 837472
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 97822 49 0 0 25 0 11 0 355299655 857571328 22849 4294967295 134512640 134569956 3221224400 3221214848 1131231049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22849 13073 16 0 209352 0
vsize: 837472
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 98813 49 0 0 25 0 11 0 355299655 857571328 22889 4294967295 134512640 134569956 3221224400 3221214752 1131223010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22889 13073 16 0 209352 0
vsize: 837472
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 99803 49 0 0 25 0 11 0 355299655 857571328 22898 4294967295 134512640 134569956 3221224400 3221214792 1131194070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22898 13073 16 0 209352 0
vsize: 837472
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 100794 49 0 0 25 0 11 0 355299655 857571328 22953 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22953 13073 16 0 209352 0
vsize: 837472
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 101785 50 0 0 25 0 11 0 355299655 857571328 22973 4294967295 134512640 134569956 3221224400 3221214752 1131222342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22973 13073 16 0 209352 0
vsize: 837472
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 102775 50 0 0 25 0 11 0 355299655 857571328 22990 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 22990 13073 16 0 209352 0
vsize: 837472
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 103766 50 0 0 25 0 11 0 355299655 857571328 23025 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 23025 13073 16 0 209352 0
vsize: 837472
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 104757 50 0 0 25 0 11 0 355299655 857571328 23040 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 23040 13073 16 0 209352 0
vsize: 837472
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 105747 50 0 0 25 0 11 0 355299655 857571328 23066 4294967295 134512640 134569956 3221224400 3221214120 1076874533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 23066 13073 16 0 209352 0
vsize: 837472
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 106737 50 0 0 25 0 11 0 355299655 857571328 23098 4294967295 134512640 134569956 3221224400 3221214752 1131222342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 23098 13073 16 0 209352 0
vsize: 837472
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 107729 50 0 0 25 0 11 0 355299655 857571328 23125 4294967295 134512640 134569956 3221224400 3221214792 1131193920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209368 23125 13073 16 0 209352 0
vsize: 837472
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 108719 51 0 0 25 0 11 0 355299655 857571328 23131 4294967295 134512640 134569956 3221224400 3221214792 1131193917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23131 13073 16 0 209352 0
vsize: 837472
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 109709 51 0 0 25 0 11 0 355299655 857571328 23190 4294967295 134512640 134569956 3221224400 3221214844 1131193900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23190 13073 16 0 209352 0
vsize: 837472
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 110699 52 0 0 25 0 11 0 355299655 857571328 23232 4294967295 134512640 134569956 3221224400 3221214792 1131193953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23232 13073 16 0 209352 0
vsize: 837472
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 111689 52 0 0 25 0 11 0 355299655 857571328 23251 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23251 13073 16 0 209352 0
vsize: 837472
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 112677 52 0 0 25 0 11 0 355299655 857571328 23282 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23282 13073 16 0 209352 0
vsize: 837472
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 113666 52 0 0 25 0 11 0 355299655 857571328 23302 4294967295 134512640 134569956 3221224400 3221214792 1131193945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23302 13073 16 0 209352 0
vsize: 837472
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 114655 52 0 0 25 0 11 0 355299655 857571328 23355 4294967295 134512640 134569956 3221224400 3221214752 1131222400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23355 13073 16 0 209352 0
vsize: 837472
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 115646 52 0 0 25 0 11 0 355299655 857571328 23387 4294967295 134512640 134569956 3221224400 3221214752 1131222014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23387 13073 16 0 209352 0
vsize: 837472
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 116636 53 0 0 25 0 11 0 355299655 857571328 23441 4294967295 134512640 134569956 3221224400 3221214752 1131222997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23441 13073 16 0 209352 0
vsize: 837472
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 117628 53 0 0 25 0 11 0 355299655 857571328 23454 4294967295 134512640 134569956 3221224400 3221214848 1131230930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23454 13073 16 0 209352 0
vsize: 837472
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 118618 53 0 0 25 0 11 0 355299655 857571328 23461 4294967295 134512640 134569956 3221224400 3221214792 1131193920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23461 13073 16 0 209352 0
vsize: 837472
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 119610 53 0 0 25 0 11 0 355299655 857571328 23493 4294967295 134512640 134569956 3221224400 3221214844 1131219936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23493 13073 16 0 209352 0
vsize: 837472
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 32712
Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 120600 53 0 0 25 0 11 0 355299655 857571328 23510 4294967295 134512640 134569956 3221224400 3221214752 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209368 23510 13073 16 0 209352 0
vsize: 837472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 32714
Raw data (stat): 32698 (java) Z 32697 30927 30926 0 -1 1036 18074 8390 1 0 120604 58 2042 32 25 0 1 0 355299655 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.14
CPU time (s): 1227.38
CPU user time (s): 1226.47
CPU system time (s): 0.911861
CPU usage (%): 100.594
Max. virtual memory (Kb): 838244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####