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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUM	7c5b217de8d505f751f776306b4ebb3a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3145687
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2182184958
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3785.95
Number of variables	3099
Total number of constraints	3267
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1089
Number of constraints which are nor clauses,nor cardinality constraints	2178
Minimum length of a constraint	1
Maximum length of a constraint	63
Trace number 16756

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-21 08:26:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12619 boxname=wulflinc8 idbench=971 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7c5b217de8d505f751f776306b4ebb3a  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-liu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-liu.opb
IDLAUNCH: 12619
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        829644 kB
Buffers:         21712 kB
Cached:         160664 kB
SwapCached:          0 kB
Active:          49312 kB
Inactive:       135924 kB
HighTotal:      131008 kB
HighFree:        15736 kB
LowTotal:       903652 kB
LowFree:        813908 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14020 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 08:47:24 (client local time) WITH STATUS 143 IN 1247.61 SECONDS
stats: 12619 7 1247.61 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-liu.opb
c reading problem 
c [nbvar=3099]
c [nbconstr=3267]
c time 9.062
c #vars     3099
c #clauses  2178
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
#### 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): 1.00 1.00 0.96 2/54 26077
Raw data (stat): 26077 (runsolver) R 26076 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 471843093 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.0002 s]
Raw data (loadavg): 1.00 1.00 0.96 3/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18026 0 1 0 823 42 0 0 25 0 11 0 471843093 854966272 21212 4294967295 134512640 134569956 3221224400 3221214904 1130897666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208732 21212 13073 16 0 208716 0
vsize: 834928
[startup+20.0015 s]
Raw data (loadavg): 1.16 1.03 0.97 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18080 0 1 0 1617 43 0 0 25 0 11 0 471843093 858382336 24207 4294967295 134512640 134569956 3221224400 3221214680 1131239547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209566 24207 13073 16 0 209550 0
vsize: 838264
[startup+30.0018 s]
Raw data (loadavg): 1.21 1.05 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18080 0 1 0 2526 43 0 0 25 0 11 0 471843093 861921280 25752 4294967295 134512640 134569956 3221224400 3221214776 1131327548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210430 25752 13073 16 0 210414 0
vsize: 841720
[startup+40.0021 s]
Raw data (loadavg): 1.17 1.05 0.98 2/64 26087
Raw data (stat): 26077 (java) S 26076 26667 26666 0 -1 0 18080 0 1 0 3476 43 0 0 25 0 11 0 471843093 858349568 24882 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 24882 13073 16 0 209542 0
vsize: 838232
[startup+50.0024 s]
Raw data (loadavg): 1.15 1.04 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18080 0 1 0 4417 44 0 0 24 0 11 0 471843093 858349568 25039 4294967295 134512640 134569956 3221224400 3221214824 1131394415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25039 13073 16 0 209542 0
vsize: 838232
[startup+60.0021 s]
Raw data (loadavg): 1.12 1.04 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 5383 44 0 0 25 0 11 0 471843093 858349568 25124 4294967295 134512640 134569956 3221224400 3221214560 1131495563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25124 13073 16 0 209542 0
vsize: 838232
[startup+70.0034 s]
Raw data (loadavg): 1.10 1.04 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 6368 44 0 0 25 0 11 0 471843093 858349568 25147 4294967295 134512640 134569956 3221224400 3221214512 1131519677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25147 13073 16 0 209542 0
vsize: 838232
[startup+80.0041 s]
Raw data (loadavg): 1.09 1.04 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 7357 44 0 0 25 0 11 0 471843093 858349568 25153 4294967295 134512640 134569956 3221224400 3221214696 1131303376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25153 13073 16 0 209542 0
vsize: 838232
[startup+90.0035 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 8342 45 0 0 25 0 11 0 471843093 858349568 25188 4294967295 134512640 134569956 3221224400 3221214512 1131519258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25188 13073 16 0 209542 0
vsize: 838232
[startup+100.005 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 9332 45 0 0 25 0 11 0 471843093 858349568 25207 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 25207 13073 16 0 209542 0
vsize: 838232
[startup+110.005 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 10281 45 0 0 25 0 11 0 471843093 858349568 25318 4294967295 134512640 134569956 3221224400 3221214680 1131238819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25318 13073 16 0 209542 0
vsize: 838232
[startup+120.007 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 11228 46 0 0 25 0 11 0 471843093 858349568 25460 4294967295 134512640 134569956 3221224400 3221214776 1131322465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25460 13073 16 0 209542 0
vsize: 838232
[startup+130.007 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 12172 46 0 0 25 0 11 0 471843093 858349568 25646 4294967295 134512640 134569956 3221224400 3221214776 1131322687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25646 13073 16 0 209542 0
vsize: 838232
[startup+140.007 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 13114 47 0 0 25 0 11 0 471843093 858349568 25839 4294967295 134512640 134569956 3221224400 3221214776 1131327684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25839 13073 16 0 209542 0
vsize: 838232
[startup+150.008 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 14067 47 0 0 25 0 11 0 471843093 858349568 26046 4294967295 134512640 134569956 3221224400 3221214680 1131239564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26046 13073 16 0 209542 0
vsize: 838232
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 15024 48 0 0 25 0 11 0 471843093 858349568 26163 4294967295 134512640 134569956 3221224400 3221214680 1131239571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26163 13073 16 0 209542 0
vsize: 838232
[startup+170.009 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 15983 48 0 0 25 0 11 0 471843093 858349568 26318 4294967295 134512640 134569956 3221224400 3221214664 1131238523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26318 13073 16 0 209542 0
vsize: 838232
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 16938 49 0 0 25 0 11 0 471843093 858349568 26482 4294967295 134512640 134569956 3221224400 3221214760 1131323794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26482 13073 16 0 209542 0
vsize: 838232
[startup+190.008 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 17892 49 0 0 25 0 11 0 471843093 858349568 26627 4294967295 134512640 134569956 3221224400 3221214664 1131238641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26627 13073 16 0 209542 0
vsize: 838232
[startup+200.008 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 18848 49 0 0 25 0 11 0 471843093 858349568 26792 4294967295 134512640 134569956 3221224400 3221214760 1131323858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26792 13073 16 0 209542 0
vsize: 838232
[startup+210.009 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 19801 50 0 0 25 0 11 0 471843093 858349568 26952 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 26952 13073 16 0 209542 0
vsize: 838232
[startup+220.01 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 20763 50 0 0 25 0 11 0 471843093 858349568 27135 4294967295 134512640 134569956 3221224400 3221214664 1131238692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27135 13073 16 0 209542 0
vsize: 838232
[startup+230.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 21726 50 0 0 25 0 11 0 471843093 858349568 27262 4294967295 134512640 134569956 3221224400 3221214664 1131238551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27262 13073 16 0 209542 0
vsize: 838232
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 22692 50 0 0 25 0 11 0 471843093 858349568 27422 4294967295 134512640 134569956 3221224400 3221214664 1131238796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27422 13073 16 0 209542 0
vsize: 838232
[startup+250.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 23657 51 0 0 25 0 11 0 471843093 858349568 27561 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27561 13073 16 0 209542 0
vsize: 838232
[startup+260.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 24622 51 0 0 25 0 11 0 471843093 858349568 27714 4294967295 134512640 134569956 3221224400 3221214760 1131323996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27714 13073 16 0 209542 0
vsize: 838232
[startup+270.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 25583 52 0 0 25 0 11 0 471843093 858349568 27882 4294967295 134512640 134569956 3221224400 3221214760 1131323844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 27882 13073 16 0 209542 0
vsize: 838232
[startup+280.011 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 26543 53 0 0 25 0 11 0 471843093 858349568 28045 4294967295 134512640 134569956 3221224400 3221214760 1131322849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28045 13073 16 0 209542 0
vsize: 838232
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 27508 53 0 0 25 0 11 0 471843093 858349568 28211 4294967295 134512640 134569956 3221224400 3221214664 1131238847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28211 13073 16 0 209542 0
vsize: 838232
[startup+300.013 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 28470 53 0 0 25 0 11 0 471843093 858349568 28365 4294967295 134512640 134569956 3221224400 3221214664 1131238857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28365 13073 16 0 209542 0
vsize: 838232
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 29431 54 0 0 25 0 11 0 471843093 858349568 28548 4294967295 134512640 134569956 3221224400 3221214664 1131238213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28548 13073 16 0 209542 0
vsize: 838232
[startup+320.015 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 30392 54 0 0 25 0 11 0 471843093 858349568 28727 4294967295 134512640 134569956 3221224400 3221214664 1131238643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28727 13073 16 0 209542 0
vsize: 838232
[startup+330.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 31354 55 0 0 25 0 11 0 471843093 858349568 28925 4294967295 134512640 134569956 3221224400 3221214664 1131238507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 28925 13073 16 0 209542 0
vsize: 838232
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 32319 55 0 0 25 0 11 0 471843093 858349568 29093 4294967295 134512640 134569956 3221224400 3221214756 1131238188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 29093 13073 16 0 209542 0
vsize: 838232
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 33277 56 0 0 25 0 11 0 471843093 858349568 29249 4294967295 134512640 134569956 3221224400 3221214664 1131238461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 29249 13073 16 0 209542 0
vsize: 838232
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 34235 56 0 0 25 0 11 0 471843093 858349568 29390 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 29390 13073 16 0 209542 0
vsize: 838232
[startup+370.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 35199 56 0 0 25 0 11 0 471843093 858349568 29584 4294967295 134512640 134569956 3221224400 3221214756 1131239631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 29584 13073 16 0 209542 0
vsize: 838232
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 36163 57 0 0 25 0 11 0 471843093 858349568 29750 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 29750 13073 16 0 209542 0
vsize: 838232
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 37129 57 0 0 25 0 11 0 471843093 858349568 29933 4294967295 134512640 134569956 3221224400 3221214760 1131323855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 29933 13073 16 0 209542 0
vsize: 838232
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 38095 57 0 0 25 0 11 0 471843093 858349568 30114 4294967295 134512640 134569956 3221224400 3221214760 1131322788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30114 13073 16 0 209542 0
vsize: 838232
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 39052 57 0 0 24 0 11 0 471843093 858349568 30246 4294967295 134512640 134569956 3221224400 3221214664 1131238585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30246 13073 16 0 209542 0
vsize: 838232
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 40011 58 0 0 25 0 11 0 471843093 858349568 30385 4294967295 134512640 134569956 3221224400 3221214664 1131238249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30385 13073 16 0 209542 0
vsize: 838232
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 40966 58 0 0 25 0 11 0 471843093 858349568 30569 4294967295 134512640 134569956 3221224400 3221214760 1131327539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30569 13073 16 0 209542 0
vsize: 838232
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 41928 59 0 0 25 0 11 0 471843093 858349568 30774 4294967295 134512640 134569956 3221224400 3221214664 1131238639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30774 13073 16 0 209542 0
vsize: 838232
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 42890 60 0 0 25 0 11 0 471843093 858349568 30885 4294967295 134512640 134569956 3221224400 3221214664 1131238595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 30885 13073 16 0 209542 0
vsize: 838232
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 43850 60 0 0 25 0 11 0 471843093 858349568 31021 4294967295 134512640 134569956 3221224400 3221214664 1131238953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31021 13073 16 0 209542 0
vsize: 838232
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 44811 61 0 0 25 0 11 0 471843093 858349568 31174 4294967295 134512640 134569956 3221224400 3221214664 1131238643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31174 13073 16 0 209542 0
vsize: 838232
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 45773 61 0 0 25 0 11 0 471843093 858349568 31351 4294967295 134512640 134569956 3221224400 3221214664 1131238205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31351 13073 16 0 209542 0
vsize: 838232
[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 46741 62 0 0 25 0 11 0 471843093 858349568 31474 4294967295 134512640 134569956 3221224400 3221214760 1131324865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31474 13073 16 0 209542 0
vsize: 838232
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 47707 62 0 0 25 0 11 0 471843093 858349568 31587 4294967295 134512640 134569956 3221224400 3221214664 1131238451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31587 13073 16 0 209542 0
vsize: 838232
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 48668 63 0 0 25 0 11 0 471843093 858349568 31720 4294967295 134512640 134569956 3221224400 3221214756 1131239631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31720 13073 16 0 209542 0
vsize: 838232
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 49631 63 0 0 25 0 11 0 471843093 858349568 31880 4294967295 134512640 134569956 3221224400 3221214664 1131238796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 31880 13073 16 0 209542 0
vsize: 838232
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 50597 64 0 0 25 0 11 0 471843093 858349568 32023 4294967295 134512640 134569956 3221224400 3221214980 1131309203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32023 13073 16 0 209542 0
vsize: 838232
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 51564 64 0 0 25 0 11 0 471843093 858349568 32163 4294967295 134512640 134569956 3221224400 3221214760 1131327639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32163 13073 16 0 209542 0
vsize: 838232
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 52531 65 0 0 24 0 11 0 471843093 858349568 32302 4294967295 134512640 134569956 3221224400 3221214760 1131322927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32302 13073 16 0 209542 0
vsize: 838232
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 53500 66 0 0 25 0 11 0 471843093 858349568 32413 4294967295 134512640 134569956 3221224400 3221214664 1131239490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32413 13073 16 0 209542 0
vsize: 838232
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 54467 66 0 0 25 0 11 0 471843093 858349568 32547 4294967295 134512640 134569956 3221224400 3221214664 1131238861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 32547 13073 16 0 209542 0
vsize: 838232
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 55432 67 0 0 25 0 11 0 471843093 858349568 32712 4294967295 134512640 134569956 3221224400 3221214656 1131385578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32712 13073 16 0 209542 0
vsize: 838232
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 56396 67 0 0 25 0 11 0 471843093 858349568 32845 4294967295 134512640 134569956 3221224400 3221214664 1131238511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32845 13073 16 0 209542 0
vsize: 838232
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) S 26076 26667 26666 0 -1 0 18081 0 1 0 57360 68 0 0 25 0 11 0 471843093 858349568 32958 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 32958 13073 16 0 209542 0
vsize: 838232
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 58322 68 0 0 25 0 11 0 471843093 858349568 33122 4294967295 134512640 134569956 3221224400 3221214664 1131239597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33122 13073 16 0 209542 0
vsize: 838232
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 59281 68 0 0 24 0 11 0 471843093 858349568 33271 4294967295 134512640 134569956 3221224400 3221214760 1131324695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33271 13073 16 0 209542 0
vsize: 838232
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 60242 69 0 0 25 0 11 0 471843093 858349568 33419 4294967295 134512640 134569956 3221224400 3221214664 1131238647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33419 13073 16 0 209542 0
vsize: 838232
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 61201 69 0 0 25 0 11 0 471843093 858349568 33592 4294967295 134512640 134569956 3221224400 3221214664 1131238213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33592 13073 16 0 209542 0
vsize: 838232
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 62155 70 0 0 25 0 11 0 471843093 858349568 33762 4294967295 134512640 134569956 3221224400 3221214664 1131238521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33762 13073 16 0 209542 0
vsize: 838232
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 63116 70 0 0 25 0 11 0 471843093 858349568 33967 4294967295 134512640 134569956 3221224400 3221214760 1131327478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 33967 13073 16 0 209542 0
vsize: 838232
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 64074 70 0 0 25 0 11 0 471843093 858349568 34170 4294967295 134512640 134569956 3221224400 3221214664 1131238249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34170 13073 16 0 209542 0
vsize: 838232
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 65035 71 0 0 25 0 11 0 471843093 858349568 34350 4294967295 134512640 134569956 3221224400 3221214664 1131238418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34350 13073 16 0 209542 0
vsize: 838232
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 65998 71 0 0 24 0 11 0 471843093 858349568 34530 4294967295 134512640 134569956 3221224400 3221214760 1131323858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34530 13073 16 0 209542 0
vsize: 838232
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 66964 72 0 0 24 0 11 0 471843093 858349568 34701 4294967295 134512640 134569956 3221224400 3221214760 1131322784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34701 13073 16 0 209542 0
vsize: 838232
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 67933 72 0 0 25 0 11 0 471843093 858349568 34814 4294967295 134512640 134569956 3221224400 3221214680 1131278862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34814 13073 16 0 209542 0
vsize: 838232
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 68897 72 0 0 25 0 11 0 471843093 858349568 34928 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 34928 13073 16 0 209542 0
vsize: 838232
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 69855 73 0 0 25 0 11 0 471843093 858349568 35048 4294967295 134512640 134569956 3221224400 3221214664 1131238823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35048 13073 16 0 209542 0
vsize: 838232
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 70814 73 0 0 25 0 11 0 471843093 858349568 35203 4294967295 134512640 134569956 3221224400 3221214592 1131279193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35203 13073 16 0 209542 0
vsize: 838232
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 71774 73 0 0 24 0 11 0 471843093 858349568 35416 4294967295 134512640 134569956 3221224400 3221214664 1131238414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35416 13073 16 0 209542 0
vsize: 838232
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 72739 74 0 0 25 0 11 0 471843093 858349568 35577 4294967295 134512640 134569956 3221224400 3221214664 1131238626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35577 13073 16 0 209542 0
vsize: 838232
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 73704 75 0 0 25 0 11 0 471843093 858349568 35710 4294967295 134512640 134569956 3221224400 3221214664 1131238424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35710 13073 16 0 209542 0
vsize: 838232
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 74670 75 0 0 25 0 11 0 471843093 858349568 35837 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 35837 13073 16 0 209542 0
vsize: 838232
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 75638 76 0 0 25 0 11 0 471843093 858349568 35965 4294967295 134512640 134569956 3221224400 3221214940 1131244963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 35965 13073 16 0 209542 0
vsize: 838232
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 76602 76 0 0 25 0 11 0 471843093 858349568 36133 4294967295 134512640 134569956 3221224400 3221214760 1131323844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36133 13073 16 0 209542 0
vsize: 838232
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 77563 77 0 0 25 0 11 0 471843093 858349568 36307 4294967295 134512640 134569956 3221224400 3221214760 1131324821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36307 13073 16 0 209542 0
vsize: 838232
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 78519 78 0 0 25 0 11 0 471843093 858349568 36449 4294967295 134512640 134569956 3221224400 3221214760 1131323814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36449 13073 16 0 209542 0
vsize: 838232
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 79475 78 0 0 25 0 11 0 471843093 858349568 36535 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36535 13073 16 0 209542 0
vsize: 838232
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 80426 78 0 0 25 0 11 0 471843093 858349568 36719 4294967295 134512640 134569956 3221224400 3221214664 1131238242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36719 13073 16 0 209542 0
vsize: 838232
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 81389 79 0 0 25 0 11 0 471843093 858349568 36920 4294967295 134512640 134569956 3221224400 3221214664 1131238674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 36920 13073 16 0 209542 0
vsize: 838232
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 82353 79 0 0 25 0 11 0 471843093 858349568 37016 4294967295 134512640 134569956 3221224400 3221214664 1131238869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37016 13073 16 0 209542 0
vsize: 838232
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 83318 80 0 0 25 0 11 0 471843093 858349568 37141 4294967295 134512640 134569956 3221224400 3221214664 1131238224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37141 13073 16 0 209542 0
vsize: 838232
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 84285 80 0 0 25 0 11 0 471843093 858349568 37262 4294967295 134512640 134569956 3221224400 3221214600 1131377440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37262 13073 16 0 209542 0
vsize: 838232
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 85245 81 0 0 25 0 11 0 471843093 858349568 37330 4294967295 134512640 134569956 3221224400 3221214760 1131409381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37330 13073 16 0 209542 0
vsize: 838232
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 86199 81 0 0 25 0 11 0 471843093 858349568 37379 4294967295 134512640 134569956 3221224400 3221214760 1131409381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37379 13073 16 0 209542 0
vsize: 838232
[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 87135 81 0 0 25 0 11 0 471843093 858349568 37539 4294967295 134512640 134569956 3221224400 3221214736 1131358622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37539 13073 16 0 209542 0
vsize: 838232
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 88079 82 0 0 25 0 11 0 471843093 858349568 37727 4294967295 134512640 134569956 3221224400 3221214552 1131465030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37727 13073 16 0 209542 0
vsize: 838232
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 89016 82 0 0 25 0 11 0 471843093 858349568 37938 4294967295 134512640 134569956 3221224400 3221214664 1131238643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 37938 13073 16 0 209542 0
vsize: 838232
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 89965 82 0 0 25 0 11 0 471843093 858349568 38165 4294967295 134512640 134569956 3221224400 3221214664 1131238881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 38165 13073 16 0 209542 0
vsize: 838232
[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 90913 82 0 0 25 0 11 0 471843093 858349568 38377 4294967295 134512640 134569956 3221224400 3221214696 1131303525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 38377 13073 16 0 209542 0
vsize: 838232
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 91870 82 0 0 25 0 11 0 471843093 858349568 38535 4294967295 134512640 134569956 3221224400 3221214664 1131239437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 38535 13073 16 0 209542 0
vsize: 838232
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 92826 83 0 0 25 0 11 0 471843093 858349568 38685 4294967295 134512640 134569956 3221224400 3221214084 1131604715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 38685 13073 16 0 209542 0
vsize: 838232
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 93781 83 0 0 25 0 11 0 471843093 858349568 38822 4294967295 134512640 134569956 3221224400 3221214016 1131604525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 38822 13073 16 0 209542 0
vsize: 838232
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 94736 84 0 0 25 0 11 0 471843093 858349568 38990 4294967295 134512640 134569956 3221224400 3221214016 1131604585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 38990 13073 16 0 209542 0
vsize: 838232
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 95690 84 0 0 25 0 11 0 471843093 858349568 39185 4294967295 134512640 134569956 3221224400 3221214520 1131470565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 39185 13073 16 0 209542 0
vsize: 838232
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 96623 85 0 0 24 0 11 0 471843093 858349568 39407 4294967295 134512640 134569956 3221224400 3221214760 1131327631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 39407 13073 16 0 209542 0
vsize: 838232
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 97568 85 0 0 25 0 11 0 471843093 858349568 39591 4294967295 134512640 134569956 3221224400 3221214400 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 39591 13073 16 0 209542 0
vsize: 838232
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 98533 86 0 0 25 0 11 0 471843093 858349568 39735 4294967295 134512640 134569956 3221224400 3221214664 1131238418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 39735 13073 16 0 209542 0
vsize: 838232
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 99507 86 0 0 25 0 11 0 471843093 858349568 39885 4294967295 134512640 134569956 3221224400 3221214664 1131239195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 39885 13073 16 0 209542 0
vsize: 838232
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 100474 87 0 0 24 0 11 0 471843093 858349568 40069 4294967295 134512640 134569956 3221224400 3221213912 1131612024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40069 13073 16 0 209542 0
vsize: 838232
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 101450 87 0 0 25 0 11 0 471843093 858349568 40180 4294967295 134512640 134569956 3221224400 3221214664 1131238224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40180 13073 16 0 209542 0
vsize: 838232
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 102428 88 0 0 25 0 11 0 471843093 858349568 40265 4294967295 134512640 134569956 3221224400 3221214600 1131612757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40265 13073 16 0 209542 0
vsize: 838232
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 103409 88 0 0 25 0 11 0 471843093 858349568 40336 4294967295 134512640 134569956 3221224400 3221214664 1131238847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40336 13073 16 0 209542 0
vsize: 838232
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 104391 88 0 0 25 0 11 0 471843093 858349568 40404 4294967295 134512640 134569956 3221224400 3221214760 1131322784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40404 13073 16 0 209542 0
vsize: 838232
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 105373 89 0 0 25 0 11 0 471843093 858349568 40472 4294967295 134512640 134569956 3221224400 3221214200 1131612017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40472 13073 16 0 209542 0
vsize: 838232
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 106355 89 0 0 25 0 11 0 471843093 858349568 40524 4294967295 134512640 134569956 3221224400 3221214488 1131612109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40524 13073 16 0 209542 0
vsize: 838232
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 107336 89 0 0 25 0 11 0 471843093 858349568 40573 4294967295 134512640 134569956 3221224400 3221214608 1131617212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40573 13073 16 0 209542 0
vsize: 838232
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 3/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 108313 89 0 0 25 0 11 0 471843093 858349568 40676 4294967295 134512640 134569956 3221224400 3221214184 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209558 40676 13073 16 0 209542 0
vsize: 838232
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 109294 89 0 0 25 0 11 0 471843093 858349568 40729 4294967295 134512640 134569956 3221224400 3221214696 1131303379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40729 13073 16 0 209542 0
vsize: 838232
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 110274 90 0 0 25 0 11 0 471843093 858349568 40776 4294967295 134512640 134569956 3221224400 3221214664 1131238695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40776 13073 16 0 209542 0
vsize: 838232
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 111251 90 0 0 25 0 11 0 471843093 858349568 40870 4294967295 134512640 134569956 3221224400 3221214272 1131611936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40870 13073 16 0 209542 0
vsize: 838232
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 112227 90 0 0 25 0 11 0 471843093 858349568 40964 4294967295 134512640 134569956 3221224400 3221214664 1131239622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 40964 13073 16 0 209542 0
vsize: 838232
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 113202 91 0 0 25 0 11 0 471843093 858349568 41006 4294967295 134512640 134569956 3221224400 3221213896 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41006 13073 16 0 209542 0
vsize: 838232
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 114174 91 0 0 25 0 11 0 471843093 858349568 41088 4294967295 134512640 134569956 3221224400 3221214344 1131612049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41088 13073 16 0 209542 0
vsize: 838232
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 115146 92 0 0 25 0 11 0 471843093 858349568 41162 4294967295 134512640 134569956 3221224400 3221214760 1131323756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41162 13073 16 0 209542 0
vsize: 838232
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 116117 92 0 0 25 0 11 0 471843093 858349568 41256 4294967295 134512640 134569956 3221224400 3221214664 1131238410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41256 13073 16 0 209542 0
vsize: 838232
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 117088 92 0 0 25 0 11 0 471843093 858349568 41359 4294967295 134512640 134569956 3221224400 3221214664 1131238615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41359 13073 16 0 209542 0
vsize: 838232
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 118063 93 0 0 25 0 11 0 471843093 858349568 41440 4294967295 134512640 134569956 3221224400 3221214760 1131327592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41440 13073 16 0 209542 0
vsize: 838232
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 119032 94 0 0 25 0 11 0 471843093 858349568 41527 4294967295 134512640 134569956 3221224400 3221214664 1131238217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41527 13073 16 0 209542 0
vsize: 838232
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26087
Raw data (stat): 26077 (java) R 26076 26667 26666 0 -1 0 18081 0 1 0 120001 94 0 0 25 0 11 0 471843093 858349568 41623 4294967295 134512640 134569956 3221224400 3221213892 1131612048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 41623 13073 16 0 209542 0
vsize: 838232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 26089
Raw data (stat): 26077 (java) Z 26076 26667 26666 0 -1 1036 18081 22114 1 0 120006 94 4600 59 25 0 1 0 471843093 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.21
CPU time (s): 1247.61
CPU user time (s): 1246.07
CPU system time (s): 1.53977
CPU usage (%): 99.7924
Max. virtual memory (Kb): 841720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####