PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 14808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 01:31:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19236 boxname=wulflinc11 idbench=1480 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19236
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        892248 kB
Buffers:         16092 kB
Cached:         105696 kB
SwapCached:          0 kB
Active:          53708 kB
Inactive:        70872 kB
HighTotal:      131008 kB
HighFree:        24836 kB
LowTotal:       903652 kB
LowFree:        867412 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12280 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 01:51:27 (client local time) WITH STATUS 143 IN 1233.83 SECONDS
stats: 19236 7 1233.83 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ran10x12.opb
c reading problem 
c [nbvar=2520]
c [nbconstr=142]
c time 4.972
c #vars     2520
c #clauses  164
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=994910
c Current CPU time (ms) : 20.96
c starts	: 1
c conflicts	: 11
c decisions	: 1656
c propagations	: 7341
c inspects	: 8574
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 11
c root simplifications	: 9
#### 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.73 0.91 0.97 2/54 25786
Raw data (stat): 25786 (runsolver) R 25785 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482912494 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.001 s]
Raw data (loadavg): 1.00 0.96 0.98 4/64 25796
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18076 0 1 0 649 40 0 0 25 0 11 0 482912494 868528128 22444 4294967295 134512640 134569956 3221224400 3221214576 1130893407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212043 22444 13073 16 0 212027 0
vsize: 848172
[startup+20.0022 s]
Raw data (loadavg): 1.15 0.99 0.99 2/64 25796
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18077 0 1 0 1462 41 0 0 25 0 11 0 482912494 867934208 22683 4294967295 134512640 134569956 3221224400 3221214704 1131408869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211898 22683 13073 16 0 211882 0
vsize: 847592
[startup+30.0031 s]
Raw data (loadavg): 1.20 1.01 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 2399 41 0 0 25 0 11 0 482912494 867307520 22701 4294967295 134512640 134569956 3221224400 3221214672 1131218777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 22701 13073 16 0 211729 0
vsize: 846980
[startup+40.0034 s]
Raw data (loadavg): 1.17 1.01 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 3345 41 0 0 25 0 11 0 482912494 867307520 22751 4294967295 134512640 134569956 3221224400 3221214768 1131431638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 22751 13073 16 0 211729 0
vsize: 846980
[startup+50.0037 s]
Raw data (loadavg): 1.14 1.01 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 4309 42 0 0 25 0 11 0 482912494 867307520 23174 4294967295 134512640 134569956 3221224400 3221214756 1080204224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23174 13073 16 0 211729 0
vsize: 846980
[startup+60.0045 s]
Raw data (loadavg): 1.12 1.01 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 5290 42 0 0 25 0 11 0 482912494 867307520 23286 4294967295 134512640 134569956 3221224400 3221214560 1131282648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23286 13073 16 0 211729 0
vsize: 846980
[startup+70.0509 s]
Raw data (loadavg): 1.10 1.01 1.00 3/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 6282 42 0 0 25 0 11 0 482912494 867307520 23311 4294967295 134512640 134569956 3221224400 3221214552 1131557195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23311 13073 16 0 211729 0
vsize: 846980
[startup+80.0922 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18079 4 1 0 7271 43 0 0 24 0 11 0 482912494 867307520 23335 4294967295 134512640 134569956 3221224400 3221214776 1131387594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23335 13073 16 0 211729 0
vsize: 846980
[startup+90.093 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 8257 43 0 0 25 0 11 0 482912494 867307520 23353 4294967295 134512640 134569956 3221224400 3221214672 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23353 13073 16 0 211729 0
vsize: 846980
[startup+100.092 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 9239 43 0 0 24 0 11 0 482912494 867307520 23353 4294967295 134512640 134569956 3221224400 3221214776 1131388603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23353 13073 16 0 211729 0
vsize: 846980
[startup+110.094 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 10224 44 0 0 25 0 11 0 482912494 867307520 23429 4294967295 134512640 134569956 3221224400 3221214776 1131388615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23429 13073 16 0 211729 0
vsize: 846980
[startup+120.094 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 11212 45 0 0 25 0 11 0 482912494 867307520 23454 4294967295 134512640 134569956 3221224400 3221214672 1131219420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23454 13073 16 0 211729 0
vsize: 846980
[startup+130.095 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 12201 45 0 0 25 0 11 0 482912494 867307520 23473 4294967295 134512640 134569956 3221224400 3221214672 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23473 13073 16 0 211729 0
vsize: 846980
[startup+140.096 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 13192 45 0 0 25 0 11 0 482912494 867307520 23491 4294967295 134512640 134569956 3221224400 3221214552 1131282663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23491 13073 16 0 211729 0
vsize: 846980
[startup+150.097 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 14186 46 0 0 25 0 11 0 482912494 867307520 23513 4294967295 134512640 134569956 3221224400 3221214664 1131615760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23513 13073 16 0 211729 0
vsize: 846980
[startup+160.097 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 15180 46 0 0 25 0 11 0 482912494 867307520 23530 4294967295 134512640 134569956 3221224400 3221214552 1131282419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23530 13073 16 0 211729 0
vsize: 846980
[startup+170.098 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 16176 46 0 0 25 0 11 0 482912494 867307520 23550 4294967295 134512640 134569956 3221224400 3221214552 1131556853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23550 13073 16 0 211729 0
vsize: 846980
[startup+180.098 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 17171 47 0 0 25 0 11 0 482912494 867307520 23570 4294967295 134512640 134569956 3221224400 3221214552 1131558302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23570 13073 16 0 211729 0
vsize: 846980
[startup+190.099 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 18168 47 0 0 25 0 11 0 482912494 867307520 23570 4294967295 134512640 134569956 3221224400 3221214656 1131623559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23570 13073 16 0 211729 0
vsize: 846980
[startup+200.099 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 19158 48 0 0 25 0 11 0 482912494 867307520 23570 4294967295 134512640 134569956 3221224400 3221214672 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23570 13073 16 0 211729 0
vsize: 846980
[startup+210.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 20144 48 0 0 25 0 11 0 482912494 867307520 23582 4294967295 134512640 134569956 3221224400 3221214776 1131386583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23582 13073 16 0 211729 0
vsize: 846980
[startup+220.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 21130 48 0 0 25 0 11 0 482912494 867307520 23582 4294967295 134512640 134569956 3221224400 3221214672 1131218405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23582 13073 16 0 211729 0
vsize: 846980
[startup+230.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 22116 49 0 0 25 0 11 0 482912494 867307520 23652 4294967295 134512640 134569956 3221224400 3221214904 1131590629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23652 13073 16 0 211729 0
vsize: 846980
[startup+240.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 23105 49 0 0 25 0 11 0 482912494 867307520 23667 4294967295 134512640 134569956 3221224400 3221214672 1131219311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23667 13073 16 0 211729 0
vsize: 846980
[startup+250.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 24096 50 0 0 25 0 11 0 482912494 867307520 23690 4294967295 134512640 134569956 3221224400 3221214776 1131391189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23690 13073 16 0 211729 0
vsize: 846980
[startup+260.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 25086 50 0 0 25 0 11 0 482912494 867307520 23718 4294967295 134512640 134569956 3221224400 3221214672 1131218516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23718 13073 16 0 211729 0
vsize: 846980
[startup+270.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 26077 50 0 0 25 0 11 0 482912494 867307520 23747 4294967295 134512640 134569956 3221224400 3221214776 1131386399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23747 13073 16 0 211729 0
vsize: 846980
[startup+280.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 27070 50 0 0 25 0 11 0 482912494 867307520 23763 4294967295 134512640 134569956 3221224400 3221214672 1131218490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23763 13073 16 0 211729 0
vsize: 846980
[startup+290.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 28061 50 0 0 25 0 11 0 482912494 867307520 23784 4294967295 134512640 134569956 3221224400 3221214776 1131391134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23784 13073 16 0 211729 0
vsize: 846980
[startup+300.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 29053 50 0 0 25 0 11 0 482912494 867307520 23811 4294967295 134512640 134569956 3221224400 3221214672 1131219042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23811 13073 16 0 211729 0
vsize: 846980
[startup+310.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 30043 50 0 0 25 0 11 0 482912494 867307520 23842 4294967295 134512640 134569956 3221224400 3221214672 1131219279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23842 13073 16 0 211729 0
vsize: 846980
[startup+320.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 31034 50 0 0 25 0 11 0 482912494 867307520 23872 4294967295 134512640 134569956 3221224400 3221214672 1131219002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23872 13073 16 0 211729 0
vsize: 846980
[startup+330.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 32023 51 0 0 25 0 11 0 482912494 867307520 23908 4294967295 134512640 134569956 3221224400 3221214776 1131391348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23908 13073 16 0 211729 0
vsize: 846980
[startup+340.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 33014 51 0 0 25 0 11 0 482912494 867307520 23925 4294967295 134512640 134569956 3221224400 3221214672 1131219293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23925 13073 16 0 211729 0
vsize: 846980
[startup+350.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 34006 52 0 0 25 0 11 0 482912494 867307520 23944 4294967295 134512640 134569956 3221224400 3221214776 1131386623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23944 13073 16 0 211729 0
vsize: 846980
[startup+360.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 34996 52 0 0 25 0 11 0 482912494 867307520 23973 4294967295 134512640 134569956 3221224400 3221214672 1131219036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 23973 13073 16 0 211729 0
vsize: 846980
[startup+370.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 35986 53 0 0 25 0 11 0 482912494 867307520 23991 4294967295 134512640 134569956 3221224400 3221214776 1131387638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 23991 13073 16 0 211729 0
vsize: 846980
[startup+380.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 36974 53 0 0 24 0 11 0 482912494 867307520 24013 4294967295 134512640 134569956 3221224400 3221214672 1131218777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24013 13073 16 0 211729 0
vsize: 846980
[startup+390.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 37963 53 0 0 25 0 11 0 482912494 867307520 24055 4294967295 134512640 134569956 3221224400 3221214776 1131387594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24055 13073 16 0 211729 0
vsize: 846980
[startup+400.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 38952 53 0 0 17 0 11 0 482912494 867307520 24110 4294967295 134512640 134569956 3221224400 3221214776 1131386729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24110 13073 16 0 211729 0
vsize: 846980
[startup+410.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 39944 54 0 0 25 0 11 0 482912494 867307520 24133 4294967295 134512640 134569956 3221224400 3221214664 1131615744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24133 13073 16 0 211729 0
vsize: 846980
[startup+420.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 40935 54 0 0 25 0 11 0 482912494 867307520 24149 4294967295 134512640 134569956 3221224400 3221214672 1131218516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24149 13073 16 0 211729 0
vsize: 846980
[startup+430.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 41925 54 0 0 25 0 11 0 482912494 867307520 24172 4294967295 134512640 134569956 3221224400 3221214632 1131219058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 24172 13073 16 0 211729 0
vsize: 846980
[startup+440.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 42916 54 0 0 25 0 11 0 482912494 867307520 24220 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24220 13073 16 0 211729 0
vsize: 846980
[startup+450.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 43907 55 0 0 24 0 11 0 482912494 867307520 24252 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 24252 13073 16 0 211729 0
vsize: 846980
[startup+460.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 44898 55 0 0 25 0 11 0 482912494 867307520 24274 4294967295 134512640 134569956 3221224400 3221214632 1131218958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24274 13073 16 0 211729 0
vsize: 846980
[startup+470.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 45889 55 0 0 25 0 11 0 482912494 867307520 24294 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24294 13073 16 0 211729 0
vsize: 846980
[startup+480.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 46881 56 0 0 25 0 11 0 482912494 867307520 24320 4294967295 134512640 134569956 3221224400 3221214736 1131391354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24320 13073 16 0 211729 0
vsize: 846980
[startup+490.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 47871 56 0 0 25 0 11 0 482912494 867307520 24339 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24339 13073 16 0 211729 0
vsize: 846980
[startup+500.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 48863 56 0 0 25 0 11 0 482912494 867307520 24374 4294967295 134512640 134569956 3221224400 3221214664 1131282312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24374 13073 16 0 211729 0
vsize: 846980
[startup+510.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 49854 57 0 0 25 0 11 0 482912494 867307520 24387 4294967295 134512640 134569956 3221224400 3221214632 1131218823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24387 13073 16 0 211729 0
vsize: 846980
[startup+520.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 50845 57 0 0 25 0 11 0 482912494 867307520 24418 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24418 13073 16 0 211729 0
vsize: 846980
[startup+530.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 51836 58 0 0 25 0 11 0 482912494 867307520 24434 4294967295 134512640 134569956 3221224400 3221214632 1131218842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24434 13073 16 0 211729 0
vsize: 846980
[startup+540.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 52825 58 0 0 25 0 11 0 482912494 867307520 24458 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24458 13073 16 0 211729 0
vsize: 846980
[startup+550.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 53816 59 0 0 25 0 11 0 482912494 867307520 24506 4294967295 134512640 134569956 3221224400 3221214632 1131218490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24506 13073 16 0 211729 0
vsize: 846980
[startup+560.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 54808 59 0 0 25 0 11 0 482912494 867307520 24530 4294967295 134512640 134569956 3221224400 3221214904 1131590620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24530 13073 16 0 211729 0
vsize: 846980
[startup+570.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 55797 59 0 0 25 0 11 0 482912494 867307520 24553 4294967295 134512640 134569956 3221224400 3221214736 1131386583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24553 13073 16 0 211729 0
vsize: 846980
[startup+580.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 56786 60 0 0 25 0 11 0 482912494 867307520 24580 4294967295 134512640 134569956 3221224400 3221214736 1131387638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24580 13073 16 0 211729 0
vsize: 846980
[startup+590.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 57776 60 0 0 25 0 11 0 482912494 867307520 24624 4294967295 134512640 134569956 3221224400 3221214632 1131218490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24624 13073 16 0 211729 0
vsize: 846980
[startup+600.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 58765 61 0 0 25 0 11 0 482912494 867307520 24661 4294967295 134512640 134569956 3221224400 3221214632 1131219420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24661 13073 16 0 211729 0
vsize: 846980
[startup+610.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 59755 61 0 0 25 0 11 0 482912494 867307520 24704 4294967295 134512640 134569956 3221224400 3221214632 1131219032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24704 13073 16 0 211729 0
vsize: 846980
[startup+620.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 60744 61 0 0 25 0 11 0 482912494 867307520 24741 4294967295 134512640 134569956 3221224400 3221214736 1131388571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24741 13073 16 0 211729 0
vsize: 846980
[startup+630.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 61733 62 0 0 25 0 11 0 482912494 867307520 24773 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24773 13073 16 0 211729 0
vsize: 846980
[startup+640.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 62723 62 0 0 25 0 11 0 482912494 867307520 24811 4294967295 134512640 134569956 3221224400 3221214632 1131218433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24811 13073 16 0 211729 0
vsize: 846980
[startup+650.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 63714 62 0 0 25 0 11 0 482912494 867307520 24851 4294967295 134512640 134569956 3221224400 3221214736 1131388546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24851 13073 16 0 211729 0
vsize: 846980
[startup+660.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 64704 63 0 0 25 0 11 0 482912494 867307520 24878 4294967295 134512640 134569956 3221224400 3221214632 1131218405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24878 13073 16 0 211729 0
vsize: 846980
[startup+670.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 65695 64 0 0 25 0 11 0 482912494 867307520 24891 4294967295 134512640 134569956 3221224400 3221214736 1131387542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24891 13073 16 0 211729 0
vsize: 846980
[startup+680.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 66686 64 0 0 25 0 11 0 482912494 867307520 24930 4294967295 134512640 134569956 3221224400 3221214560 1131471034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24930 13073 16 0 211729 0
vsize: 846980
[startup+690.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 67675 65 0 0 25 0 11 0 482912494 867307520 24946 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24946 13073 16 0 211729 0
vsize: 846980
[startup+700.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 68666 65 0 0 25 0 11 0 482912494 867307520 24990 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 24990 13073 16 0 211729 0
vsize: 846980
[startup+710.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 69656 66 0 0 25 0 11 0 482912494 867307520 25022 4294967295 134512640 134569956 3221224400 3221214736 1131386576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25022 13073 16 0 211729 0
vsize: 846980
[startup+720.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 70646 66 0 0 25 0 11 0 482912494 867307520 25055 4294967295 134512640 134569956 3221224400 3221214632 1131218405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25055 13073 16 0 211729 0
vsize: 846980
[startup+730.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 71637 67 0 0 25 0 11 0 482912494 867307520 25079 4294967295 134512640 134569956 3221224400 3221214632 1131218626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25079 13073 16 0 211729 0
vsize: 846980
[startup+740.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 72627 67 0 0 25 0 11 0 482912494 867307520 25115 4294967295 134512640 134569956 3221224400 3221214632 1131219050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25115 13073 16 0 211729 0
vsize: 846980
[startup+750.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 73617 67 0 0 25 0 11 0 482912494 867307520 25153 4294967295 134512640 134569956 3221224400 3221214736 1131386583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25153 13073 16 0 211729 0
vsize: 846980
[startup+760.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 74608 68 0 0 25 0 11 0 482912494 867307520 25187 4294967295 134512640 134569956 3221224400 3221214632 1131219200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25187 13073 16 0 211729 0
vsize: 846980
[startup+770.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 75599 68 0 0 25 0 11 0 482912494 867307520 25221 4294967295 134512640 134569956 3221224400 3221214736 1131386648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25221 13073 16 0 211729 0
vsize: 846980
[startup+780.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 76590 69 0 0 25 0 11 0 482912494 867307520 25242 4294967295 134512640 134569956 3221224400 3221214632 1131219455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25242 13073 16 0 211729 0
vsize: 846980
[startup+790.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 77581 69 0 0 25 0 11 0 482912494 867307520 25269 4294967295 134512640 134569956 3221224400 3221214736 1131386758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25269 13073 16 0 211729 0
vsize: 846980
[startup+800.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 78572 70 0 0 25 0 11 0 482912494 867307520 25287 4294967295 134512640 134569956 3221224400 3221214736 1131386284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25287 13073 16 0 211729 0
vsize: 846980
[startup+810.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 79562 71 0 0 25 0 11 0 482912494 867307520 25311 4294967295 134512640 134569956 3221224400 3221214736 1131391129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25311 13073 16 0 211729 0
vsize: 846980
[startup+820.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 80553 71 0 0 25 0 11 0 482912494 867307520 25333 4294967295 134512640 134569956 3221224400 3221214736 1131387594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25333 13073 16 0 211729 0
vsize: 846980
[startup+830.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 81545 71 0 0 25 0 11 0 482912494 867307520 25374 4294967295 134512640 134569956 3221224400 3221214632 1131219457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25374 13073 16 0 211729 0
vsize: 846980
[startup+840.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 82536 71 0 0 25 0 11 0 482912494 867307520 25393 4294967295 134512640 134569956 3221224400 3221214736 1131386583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25393 13073 16 0 211729 0
vsize: 846980
[startup+850.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 83527 72 0 0 25 0 11 0 482912494 867307520 25415 4294967295 134512640 134569956 3221224400 3221214632 1131218777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25415 13073 16 0 211729 0
vsize: 846980
[startup+860.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 84518 73 0 0 25 0 11 0 482912494 867307520 25440 4294967295 134512640 134569956 3221224400 3221214632 1131218606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25440 13073 16 0 211729 0
vsize: 846980
[startup+870.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 85508 73 0 0 25 0 11 0 482912494 867307520 25456 4294967295 134512640 134569956 3221224400 3221214632 1131218773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25456 13073 16 0 211729 0
vsize: 846980
[startup+880.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 86499 74 0 0 25 0 11 0 482912494 867307520 25490 4294967295 134512640 134569956 3221224400 3221214736 1131387407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25490 13073 16 0 211729 0
vsize: 846980
[startup+890.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 87490 74 0 0 25 0 11 0 482912494 867307520 25514 4294967295 134512640 134569956 3221224400 3221214736 1131391174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211745 25514 13073 16 0 211729 0
vsize: 846980
[startup+900.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 88481 74 0 0 25 0 11 0 482912494 867307520 25554 4294967295 134512640 134569956 3221224400 3221214632 1131218558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25554 13073 16 0 211729 0
vsize: 846980
[startup+910.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 89473 74 0 0 25 0 11 0 482912494 867307520 25566 4294967295 134512640 134569956 3221224400 3221214736 1131386648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25566 13073 16 0 211729 0
vsize: 846980
[startup+920.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 90465 74 0 0 25 0 11 0 482912494 867307520 25598 4294967295 134512640 134569956 3221224400 3221214632 1131218947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25598 13073 16 0 211729 0
vsize: 846980
[startup+930.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 91457 74 0 0 25 0 11 0 482912494 867307520 25625 4294967295 134512640 134569956 3221224400 3221214736 1131386583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25625 13073 16 0 211729 0
vsize: 846980
[startup+940.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 92449 74 0 0 25 0 11 0 482912494 867307520 25636 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25636 13073 16 0 211729 0
vsize: 846980
[startup+950.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 93439 74 0 0 25 0 11 0 482912494 867307520 25657 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25657 13073 16 0 211729 0
vsize: 846980
[startup+960.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 94430 74 0 0 25 0 11 0 482912494 867307520 25691 4294967295 134512640 134569956 3221224400 3221214664 1131282503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25691 13073 16 0 211729 0
vsize: 846980
[startup+970.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 95421 75 0 0 25 0 11 0 482912494 867307520 25741 4294967295 134512640 134569956 3221224400 3221214632 1131219499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25741 13073 16 0 211729 0
vsize: 846980
[startup+980.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 96411 75 0 0 25 0 11 0 482912494 867307520 25754 4294967295 134512640 134569956 3221224400 3221214632 1131218819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25754 13073 16 0 211729 0
vsize: 846980
[startup+990.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 97401 75 0 0 25 0 11 0 482912494 867307520 25778 4294967295 134512640 134569956 3221224400 3221214632 1131218405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25778 13073 16 0 211729 0
vsize: 846980
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 98391 75 0 0 25 0 11 0 482912494 867307520 25831 4294967295 134512640 134569956 3221224400 3221214632 1131219054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25831 13073 16 0 211729 0
vsize: 846980
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 99381 75 0 0 25 0 11 0 482912494 867307520 25861 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25861 13073 16 0 211729 0
vsize: 846980
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 100371 75 0 0 25 0 11 0 482912494 867307520 25909 4294967295 134512640 134569956 3221224400 3221214632 1131218490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25909 13073 16 0 211729 0
vsize: 846980
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 101361 75 0 0 25 0 11 0 482912494 867307520 25933 4294967295 134512640 134569956 3221224400 3221214632 1131218823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25933 13073 16 0 211729 0
vsize: 846980
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 102349 75 0 0 24 0 11 0 482912494 867307520 25953 4294967295 134512640 134569956 3221224400 3221214632 1131219400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 25953 13073 16 0 211729 0
vsize: 846980
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 103339 75 0 0 25 0 11 0 482912494 867307520 26016 4294967295 134512640 134569956 3221224400 3221214460 1131522080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26016 13073 16 0 211729 0
vsize: 846980
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 104328 75 0 0 25 0 11 0 482912494 867307520 26061 4294967295 134512640 134569956 3221224400 3221214632 1131218490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26061 13073 16 0 211729 0
vsize: 846980
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 105316 75 0 0 25 0 11 0 482912494 867307520 26097 4294967295 134512640 134569956 3221224400 3221214632 1131218906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26097 13073 16 0 211729 0
vsize: 846980
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 106305 75 0 0 25 0 11 0 482912494 867307520 26142 4294967295 134512640 134569956 3221224400 3221214632 1131218890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26142 13073 16 0 211729 0
vsize: 846980
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 107295 75 0 0 25 0 11 0 482912494 867307520 26218 4294967295 134512640 134569956 3221224400 3221214600 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26218 13073 16 0 211729 0
vsize: 846980
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 108286 75 0 0 25 0 11 0 482912494 867307520 26240 4294967295 134512640 134569956 3221224400 3221214736 1131386580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26240 13073 16 0 211729 0
vsize: 846980
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 109279 75 0 0 25 0 11 0 482912494 867307520 26253 4294967295 134512640 134569956 3221224400 3221214576 1131615881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26253 13073 16 0 211729 0
vsize: 846980
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 110269 76 0 0 25 0 11 0 482912494 867307520 26288 4294967295 134512640 134569956 3221224400 3221214632 1131218718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26288 13073 16 0 211729 0
vsize: 846980
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 111259 76 0 0 25 0 11 0 482912494 867307520 26311 4294967295 134512640 134569956 3221224400 3221214736 1131387638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26311 13073 16 0 211729 0
vsize: 846980
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 112248 76 0 0 25 0 11 0 482912494 867307520 26353 4294967295 134512640 134569956 3221224400 3221214612 1131662416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26353 13073 16 0 211729 0
vsize: 846980
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 113240 76 0 0 25 0 11 0 482912494 867307520 26363 4294967295 134512640 134569956 3221224400 3221214632 1131219377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26363 13073 16 0 211729 0
vsize: 846980
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 114231 76 0 0 25 0 11 0 482912494 867307520 26414 4294967295 134512640 134569956 3221224400 3221214632 1131218401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26414 13073 16 0 211729 0
vsize: 846980
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 115223 76 0 0 25 0 11 0 482912494 867307520 26431 4294967295 134512640 134569956 3221224400 3221214736 1131387669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26431 13073 16 0 211729 0
vsize: 846980
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 116213 76 0 0 25 0 11 0 482912494 867307520 26461 4294967295 134512640 134569956 3221224400 3221214464 1131558308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26461 13073 16 0 211729 0
vsize: 846980
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 117204 76 0 0 25 0 11 0 482912494 867307520 26491 4294967295 134512640 134569956 3221224400 3221214632 1131218735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26491 13073 16 0 211729 0
vsize: 846980
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 118196 76 0 0 25 0 11 0 482912494 867307520 26531 4294967295 134512640 134569956 3221224400 3221214736 1131387638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26531 13073 16 0 211729 0
vsize: 846980
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 119186 76 0 0 25 0 11 0 482912494 867307520 26544 4294967295 134512640 134569956 3221224400 3221214632 1131218618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26544 13073 16 0 211729 0
vsize: 846980
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 25797
Raw data (stat): 25786 (java) R 25785 32461 32460 0 -1 0 18080 4 1 0 120177 76 0 0 25 0 11 0 482912494 867307520 26564 4294967295 134512640 134569956 3221224400 3221214736 1131388588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211745 26564 13073 16 0 211729 0
vsize: 846980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 25799
Raw data (stat): 25786 (java) Z 25785 32461 32460 0 -1 1036 18080 15691 1 0 120178 81 3077 46 25 0 1 0 482912494 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.25
CPU time (s): 1233.83
CPU user time (s): 1232.56
CPU system time (s): 1.27681
CPU usage (%): 101.113
Max. virtual memory (Kb): 848172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####