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/miplib/normalized-mps-v2-20-10-set1cl.opb
MD5SUM	fa4a7fbdb8e29a803b111007243b55e8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	26591232
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616008034847
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616008034847
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1246.2
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 21980

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-22 01:41:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12307 boxname=wulflinc8 idbench=947 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fa4a7fbdb8e29a803b111007243b55e8  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1cl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1cl.opb
IDLAUNCH: 12307
/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:        324000 kB
Buffers:         28668 kB
Cached:         659356 kB
SwapCached:          0 kB
Active:         172436 kB
Inactive:       518440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        323748 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            14064 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:02:12 (client local time) WITH STATUS 143 IN 1236.26 SECONDS
stats: 12307 7 1236.26 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1cl.opb
c reading problem 
c [nbvar=14400]
c [nbconstr=732]
c time 63.466
c #vars     14400
c #clauses  733
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=26591232
c Current CPU time (ms) : 70.938
c starts	: 1
c conflicts	: 0
c decisions	: 4398
c propagations	: 14400
c inspects	: 16019
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.81 0.90 0.91 2/54 11338
Raw data (stat): 11338 (runsolver) R 11337 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478053697 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.91 0.92 0.92 2/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 17978 0 1 0 879 39 0 0 24 0 10 0 478053697 853655552 19270 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 19270 13073 16 0 208396 0
vsize: 833648
[startup+20.0017 s]
Raw data (loadavg): 0.92 0.92 0.92 4/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18007 0 1 0 1722 40 0 0 25 0 10 0 478053697 863764480 22398 4294967295 134512640 134569956 3221224400 3221213640 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210880 22398 13073 16 0 210864 0
vsize: 843520
[startup+30.003 s]
Raw data (loadavg): 1.08 0.96 0.93 2/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18009 0 1 0 2502 40 0 0 24 0 10 0 478053697 869879808 24444 4294967295 134512640 134569956 3221224400 3221214808 1131213503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212373 24444 13073 16 0 212357 0
vsize: 849492
[startup+40.0037 s]
Raw data (loadavg): 1.07 0.96 0.93 2/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18009 0 1 0 3388 40 0 0 25 0 10 0 478053697 859426816 22354 4294967295 134512640 134569956 3221224400 3221214808 1131211196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209821 22354 13073 16 0 209805 0
vsize: 839284
[startup+50.004 s]
Raw data (loadavg): 1.06 0.96 0.93 2/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18009 0 1 0 4302 41 0 0 24 0 10 0 478053697 859426816 22546 4294967295 134512640 134569956 3221224400 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209821 22546 13073 16 0 209805 0
vsize: 839284
[startup+60.0079 s]
Raw data (loadavg): 1.05 0.96 0.93 2/63 11347
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18009 0 1 0 5220 41 0 0 25 0 10 0 478053697 859426816 22683 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209821 22683 13073 16 0 209805 0
vsize: 839284
[startup+70.008 s]
Raw data (loadavg): 1.12 0.98 0.94 2/64 11348
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18038 0 1 0 6097 42 0 0 25 0 11 0 478053697 859955200 24680 4294967295 134512640 134569956 3221224400 3221214680 1131357944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 24680 13073 16 0 209934 0
vsize: 839800
[startup+80.0094 s]
Raw data (loadavg): 1.10 0.98 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18039 3 1 0 7055 43 0 0 25 0 11 0 478053697 859955200 24511 4294967295 134512640 134569956 3221224400 3221214680 1131357596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 24511 13073 16 0 209934 0
vsize: 839800
[startup+90.0096 s]
Raw data (loadavg): 1.09 0.98 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18077 3 1 0 7977 43 0 0 25 0 11 0 478053697 859955200 24577 4294967295 134512640 134569956 3221224400 3221214776 1131521456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 24577 13073 16 0 209934 0
vsize: 839800
[startup+100.009 s]
Raw data (loadavg): 1.15 0.99 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18078 3 1 0 8914 44 0 0 25 0 11 0 478053697 859955200 24589 4294967295 134512640 134569956 3221224400 3221214808 1131703641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 24589 13073 16 0 209934 0
vsize: 839800
[startup+110.01 s]
Raw data (loadavg): 1.13 0.99 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18078 3 1 0 9882 44 0 0 25 0 11 0 478053697 859955200 24793 4294967295 134512640 134569956 3221224400 3221214728 1131517795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 24793 13073 16 0 209934 0
vsize: 839800
[startup+120.011 s]
Raw data (loadavg): 1.11 0.99 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18079 3 1 0 10854 44 0 0 25 0 11 0 478053697 859955200 24801 4294967295 134512640 134569956 3221224400 3221214632 1131357929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 24801 13073 16 0 209934 0
vsize: 839800
[startup+130.012 s]
Raw data (loadavg): 1.09 0.99 0.94 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18079 3 1 0 11818 44 0 0 25 0 11 0 478053697 859955200 24817 4294967295 134512640 134569956 3221224400 3221214348 1130883206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 24817 13073 16 0 209934 0
vsize: 839800
[startup+140.013 s]
Raw data (loadavg): 1.15 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18080 3 1 0 12788 45 0 0 25 0 11 0 478053697 859955200 24835 4294967295 134512640 134569956 3221224400 3221214756 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 24835 13073 16 0 209934 0
vsize: 839800
[startup+150.013 s]
Raw data (loadavg): 1.13 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 13774 45 0 0 25 0 11 0 478053697 863100928 25678 4294967295 134512640 134569956 3221224400 3221214656 1131786851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 25678 13073 16 0 210702 0
vsize: 842872
[startup+160.014 s]
Raw data (loadavg): 1.11 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 14757 45 0 0 25 0 11 0 478053697 863100928 25689 4294967295 134512640 134569956 3221224400 3221214716 1080203725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 25689 13073 16 0 210702 0
vsize: 842872
[startup+170.013 s]
Raw data (loadavg): 1.09 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 15736 45 0 0 25 0 11 0 478053697 863100928 25704 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 25704 13073 16 0 210702 0
vsize: 842872
[startup+180.014 s]
Raw data (loadavg): 1.08 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 16704 45 0 0 25 0 11 0 478053697 863100928 25880 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 25880 13073 16 0 210702 0
vsize: 842872
[startup+190.015 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 17683 45 0 0 25 0 11 0 478053697 863100928 26052 4294967295 134512640 134569956 3221224400 3221214544 1131729241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26052 13073 16 0 210702 0
vsize: 842872
[startup+200.015 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 18662 46 0 0 25 0 11 0 478053697 863100928 26151 4294967295 134512640 134569956 3221224400 3221214552 1131511642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26151 13073 16 0 210702 0
vsize: 842872
[startup+210.016 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 19643 46 0 0 25 0 11 0 478053697 863100928 26281 4294967295 134512640 134569956 3221224400 3221214664 1131294388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26281 13073 16 0 210702 0
vsize: 842872
[startup+220.017 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 20615 46 0 0 25 0 11 0 478053697 863100928 26431 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26431 13073 16 0 210702 0
vsize: 842872
[startup+230.016 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 21595 46 0 0 25 0 11 0 478053697 863100928 26509 4294967295 134512640 134569956 3221224400 3221214672 1131357929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26509 13073 16 0 210702 0
vsize: 842872
[startup+240.016 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 22575 46 0 0 25 0 11 0 478053697 863100928 26587 4294967295 134512640 134569956 3221224400 3221214696 1131582235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26587 13073 16 0 210702 0
vsize: 842872
[startup+250.016 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 23547 47 0 0 25 0 11 0 478053697 863100928 26720 4294967295 134512640 134569956 3221224400 3221214648 1131743173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26720 13073 16 0 210702 0
vsize: 842872
[startup+260.017 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 24528 47 0 0 25 0 11 0 478053697 863100928 26794 4294967295 134512640 134569956 3221224400 3221214652 1131674860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 26794 13073 16 0 210702 0
vsize: 842872
[startup+270.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 25498 47 0 0 25 0 11 0 478053697 863100928 26935 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26935 13073 16 0 210702 0
vsize: 842872
[startup+280.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 26478 47 0 0 25 0 11 0 478053697 863100928 27043 4294967295 134512640 134569956 3221224400 3221214716 1080204241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27043 13073 16 0 210702 0
vsize: 842872
[startup+290.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 27459 47 0 0 25 0 11 0 478053697 863100928 27110 4294967295 134512640 134569956 3221224400 3221214656 1131786737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27110 13073 16 0 210702 0
vsize: 842872
[startup+300.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 28439 47 0 0 25 0 11 0 478053697 863100928 27235 4294967295 134512640 134569956 3221224400 3221214808 1131572565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27235 13073 16 0 210702 0
vsize: 842872
[startup+310.022 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 29418 47 0 0 25 0 11 0 478053697 863100928 27366 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27366 13073 16 0 210702 0
vsize: 842872
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 30398 47 0 0 25 0 11 0 478053697 863100928 27493 4294967295 134512640 134569956 3221224400 3221214696 1131582207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27493 13073 16 0 210702 0
vsize: 842872
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 31377 47 0 0 25 0 11 0 478053697 863100928 27662 4294967295 134512640 134569956 3221224400 3221214656 1131786743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27662 13073 16 0 210702 0
vsize: 842872
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 32356 47 0 0 25 0 11 0 478053697 863100928 27788 4294967295 134512640 134569956 3221224400 3221214500 1131804944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27788 13073 16 0 210702 0
vsize: 842872
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 33335 47 0 0 25 0 11 0 478053697 863100928 27923 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 27923 13073 16 0 210702 0
vsize: 842872
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 34313 47 0 0 25 0 11 0 478053697 863100928 28078 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28078 13073 16 0 210702 0
vsize: 842872
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 35292 47 0 0 25 0 11 0 478053697 863100928 28221 4294967295 134512640 134569956 3221224400 3221214696 1131582232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28221 13073 16 0 210702 0
vsize: 842872
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 36270 47 0 0 25 0 11 0 478053697 863100928 28361 4294967295 134512640 134569956 3221224400 3221213944 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28361 13073 16 0 210702 0
vsize: 842872
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 37259 48 0 0 25 0 11 0 478053697 863100928 28444 4294967295 134512640 134569956 3221224400 3221214168 1131875404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28444 13073 16 0 210702 0
vsize: 842872
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 38239 48 0 0 25 0 11 0 478053697 863100928 28579 4294967295 134512640 134569956 3221224400 3221214656 1131786844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28579 13073 16 0 210702 0
vsize: 842872
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 39219 48 0 0 25 0 11 0 478053697 863100928 28648 4294967295 134512640 134569956 3221224400 3221213936 1085679366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 28648 13073 16 0 210702 0
vsize: 842872
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 40200 48 0 0 25 0 11 0 478053697 863100928 28719 4294967295 134512640 134569956 3221224400 3221214308 1131804944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28719 13073 16 0 210702 0
vsize: 842872
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 41180 48 0 0 25 0 11 0 478053697 863100928 28855 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28855 13073 16 0 210702 0
vsize: 842872
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 42160 48 0 0 25 0 11 0 478053697 863100928 28935 4294967295 134512640 134569956 3221224400 3221214456 1131293616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 28935 13073 16 0 210702 0
vsize: 842872
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 43141 48 0 0 25 0 11 0 478053697 863100928 29022 4294967295 134512640 134569956 3221224400 3221214264 1131875183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29022 13073 16 0 210702 0
vsize: 842872
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 44122 48 0 0 25 0 11 0 478053697 863100928 29022 4294967295 134512640 134569956 3221224400 3221214808 1131572124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29022 13073 16 0 210702 0
vsize: 842872
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 45103 48 0 0 25 0 11 0 478053697 863100928 29101 4294967295 134512640 134569956 3221224400 3221214656 1131786720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29101 13073 16 0 210702 0
vsize: 842872
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 46084 48 0 0 25 0 11 0 478053697 863100928 29184 4294967295 134512640 134569956 3221224400 3221214712 1131666916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29184 13073 16 0 210702 0
vsize: 842872
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 47064 49 0 0 25 0 11 0 478053697 863100928 29252 4294967295 134512640 134569956 3221224400 3221214656 1131786851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29252 13073 16 0 210702 0
vsize: 842872
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 48045 49 0 0 25 0 11 0 478053697 863100928 29323 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29323 13073 16 0 210702 0
vsize: 842872
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 49025 49 0 0 25 0 11 0 478053697 863100928 29391 4294967295 134512640 134569956 3221224400 3221214656 1131786851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29391 13073 16 0 210702 0
vsize: 842872
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 50005 49 0 0 25 0 11 0 478053697 863100928 29502 4294967295 134512640 134569956 3221224400 3221214696 1131582207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29502 13073 16 0 210702 0
vsize: 842872
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 50985 49 0 0 25 0 11 0 478053697 863100928 29544 4294967295 134512640 134569956 3221224400 3221214648 1131792387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29544 13073 16 0 210702 0
vsize: 842872
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 51964 49 0 0 25 0 11 0 478053697 863100928 29656 4294967295 134512640 134569956 3221224400 3221214656 1131786844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29656 13073 16 0 210702 0
vsize: 842872
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 52943 49 0 0 25 0 11 0 478053697 863100928 29803 4294967295 134512640 134569956 3221224400 3221214600 1131700549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29803 13073 16 0 210702 0
vsize: 842872
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 53924 49 0 0 25 0 11 0 478053697 863100928 29875 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29875 13073 16 0 210702 0
vsize: 842872
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 54903 49 0 0 25 0 11 0 478053697 863100928 29970 4294967295 134512640 134569956 3221224400 3221214656 1131786720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 29970 13073 16 0 210702 0
vsize: 842872
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 55883 49 0 0 25 0 11 0 478053697 863100928 30033 4294967295 134512640 134569956 3221224400 3221214628 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30033 13073 16 0 210702 0
vsize: 842872
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 56863 49 0 0 25 0 11 0 478053697 863100928 30143 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30143 13073 16 0 210702 0
vsize: 842872
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 57843 49 0 0 24 0 11 0 478053697 863100928 30214 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30214 13073 16 0 210702 0
vsize: 842872
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 58833 49 0 0 25 0 11 0 478053697 863100928 30248 4294967295 134512640 134569956 3221224400 3221214768 1131516889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30248 13073 16 0 210702 0
vsize: 842872
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 59812 49 0 0 25 0 11 0 478053697 863100928 30372 4294967295 134512640 134569956 3221224400 3221214808 1131572349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30372 13073 16 0 210702 0
vsize: 842872
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 60792 49 0 0 25 0 11 0 478053697 863100928 30453 4294967295 134512640 134569956 3221224400 3221214560 1131511649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30453 13073 16 0 210702 0
vsize: 842872
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 61772 49 0 0 25 0 11 0 478053697 863100928 30541 4294967295 134512640 134569956 3221224400 3221214656 1131786737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30541 13073 16 0 210702 0
vsize: 842872
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 62763 49 0 0 25 0 11 0 478053697 863100928 30620 4294967295 134512640 134569956 3221224400 3221214656 1131786851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30620 13073 16 0 210702 0
vsize: 842872
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 63743 50 0 0 25 0 11 0 478053697 863100928 30682 4294967295 134512640 134569956 3221224400 3221214504 1131804924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30682 13073 16 0 210702 0
vsize: 842872
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 64723 50 0 0 25 0 11 0 478053697 863100928 30769 4294967295 134512640 134569956 3221224400 3221213792 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30769 13073 16 0 210702 0
vsize: 842872
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 65713 50 0 0 25 0 11 0 478053697 863100928 30808 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30808 13073 16 0 210702 0
vsize: 842872
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 66692 50 0 0 25 0 11 0 478053697 863100928 30937 4294967295 134512640 134569956 3221224400 3221214776 1131713903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 30937 13073 16 0 210702 0
vsize: 842872
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 67682 50 0 0 25 0 11 0 478053697 863100928 31021 4294967295 134512640 134569956 3221224400 3221214360 1131879149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31021 13073 16 0 210702 0
vsize: 842872
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 68662 50 0 0 25 0 11 0 478053697 863100928 31114 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31114 13073 16 0 210702 0
vsize: 842872
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 69642 50 0 0 25 0 11 0 478053697 863100928 31194 4294967295 134512640 134569956 3221224400 3221214552 1131511663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31194 13073 16 0 210702 0
vsize: 842872
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 70621 50 0 0 25 0 11 0 478053697 863100928 31274 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31274 13073 16 0 210702 0
vsize: 842872
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 71601 50 0 0 25 0 11 0 478053697 863100928 31373 4294967295 134512640 134569956 3221224400 3221213792 1131801327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31373 13073 16 0 210702 0
vsize: 842872
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 72581 50 0 0 25 0 11 0 478053697 863100928 31458 4294967295 134512640 134569956 3221224400 3221213928 1131804865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31458 13073 16 0 210702 0
vsize: 842872
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 73561 50 0 0 25 0 11 0 478053697 863100928 31540 4294967295 134512640 134569956 3221224400 3221214312 1131805009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31540 13073 16 0 210702 0
vsize: 842872
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 74551 50 0 0 25 0 11 0 478053697 863100928 31585 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31585 13073 16 0 210702 0
vsize: 842872
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 75531 50 0 0 25 0 11 0 478053697 863100928 31653 4294967295 134512640 134569956 3221224400 3221214500 1131804944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31653 13073 16 0 210702 0
vsize: 842872
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 76510 50 0 0 25 0 11 0 478053697 863100928 31777 4294967295 134512640 134569956 3221224400 3221213984 1131801327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31777 13073 16 0 210702 0
vsize: 842872
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 77490 50 0 0 25 0 11 0 478053697 863100928 31887 4294967295 134512640 134569956 3221224400 3221213744 1131804920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31887 13073 16 0 210702 0
vsize: 842872
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 78470 50 0 0 25 0 11 0 478053697 863100928 31997 4294967295 134512640 134569956 3221224400 3221214524 1079721495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 31997 13073 16 0 210702 0
vsize: 842872
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 79460 50 0 0 25 0 11 0 478053697 863100928 32050 4294967295 134512640 134569956 3221224400 3221214808 1131572128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32050 13073 16 0 210702 0
vsize: 842872
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 80440 50 0 0 25 0 11 0 478053697 863100928 32139 4294967295 134512640 134569956 3221224400 3221214544 1131729904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32139 13073 16 0 210702 0
vsize: 842872
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 81420 51 0 0 25 0 11 0 478053697 863100928 32212 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32212 13073 16 0 210702 0
vsize: 842872
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 82400 51 0 0 25 0 11 0 478053697 863100928 32323 4294967295 134512640 134569956 3221224400 3221214352 1131875438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32323 13073 16 0 210702 0
vsize: 842872
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 83380 51 0 0 25 0 11 0 478053697 863100928 32411 4294967295 134512640 134569956 3221224400 3221214552 1131357705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32411 13073 16 0 210702 0
vsize: 842872
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 84370 51 0 0 25 0 11 0 478053697 863100928 32448 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32448 13073 16 0 210702 0
vsize: 842872
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 85349 51 0 0 25 0 11 0 478053697 863100928 32542 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32542 13073 16 0 210702 0
vsize: 842872
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 86329 51 0 0 25 0 11 0 478053697 863100928 32671 4294967295 134512640 134569956 3221224400 3221214120 1131804945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32671 13073 16 0 210702 0
vsize: 842872
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 87309 51 0 0 25 0 11 0 478053697 863100928 32731 4294967295 134512640 134569956 3221224400 3221214600 1131699329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32731 13073 16 0 210702 0
vsize: 842872
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 88299 51 0 0 25 0 11 0 478053697 863100928 32774 4294967295 134512640 134569956 3221224400 3221214576 1131606130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32774 13073 16 0 210702 0
vsize: 842872
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 89278 51 0 0 25 0 11 0 478053697 863100928 32909 4294967295 134512640 134569956 3221224400 3221214448 1131875126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32909 13073 16 0 210702 0
vsize: 842872
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 90268 51 0 0 25 0 11 0 478053697 863100928 32909 4294967295 134512640 134569956 3221224400 3221214504 1131804972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 32909 13073 16 0 210702 0
vsize: 842872
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 91247 51 0 0 25 0 11 0 478053697 863100928 33010 4294967295 134512640 134569956 3221224400 3221214032 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33010 13073 16 0 210702 0
vsize: 842872
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 92237 51 0 0 25 0 11 0 478053697 863100928 33053 4294967295 134512640 134569956 3221224400 3221214768 1131517844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33053 13073 16 0 210702 0
vsize: 842872
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 93218 51 0 0 25 0 11 0 478053697 863100928 33103 4294967295 134512640 134569956 3221224400 3221214360 1131876398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33103 13073 16 0 210702 0
vsize: 842872
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 94198 51 0 0 25 0 11 0 478053697 863100928 33147 4294967295 134512640 134569956 3221224400 3221214712 1131666866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33147 13073 16 0 210702 0
vsize: 842872
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 95179 51 0 0 25 0 11 0 478053697 863100928 33191 4294967295 134512640 134569956 3221224400 3221214224 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33191 13073 16 0 210702 0
vsize: 842872
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 96159 51 0 0 25 0 11 0 478053697 863100928 33276 4294967295 134512640 134569956 3221224400 3221213844 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33276 13073 16 0 210702 0
vsize: 842872
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 97140 51 0 0 25 0 11 0 478053697 863100928 33323 4294967295 134512640 134569956 3221224400 3221214656 1131664323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33323 13073 16 0 210702 0
vsize: 842872
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 98120 51 0 0 25 0 11 0 478053697 863100928 33370 4294967295 134512640 134569956 3221224400 3221214768 1131516889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 33370 13073 16 0 210702 0
vsize: 842872
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 99091 51 0 0 25 0 11 0 478053697 863100928 33421 4294967295 134512640 134569956 3221224400 3221214712 1131666513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33421 13073 16 0 210702 0
vsize: 842872
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 100070 51 0 0 25 0 11 0 478053697 863100928 33516 4294967295 134512640 134569956 3221224400 3221214160 1131873994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 33516 13073 16 0 210702 0
vsize: 842872
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 101051 51 0 0 25 0 11 0 478053697 863100928 33555 4294967295 134512640 134569956 3221224400 3221214656 1131786840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33555 13073 16 0 210702 0
vsize: 842872
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 102021 51 0 0 25 0 11 0 478053697 863100928 33654 4294967295 134512640 134569956 3221224400 3221213800 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33654 13073 16 0 210702 0
vsize: 842872
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 103001 51 0 0 25 0 11 0 478053697 863100928 33700 4294967295 134512640 134569956 3221224400 3221214656 1131786851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33700 13073 16 0 210702 0
vsize: 842872
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 103991 51 0 0 25 0 11 0 478053697 863100928 33749 4294967295 134512640 134569956 3221224400 3221214360 1131875424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33749 13073 16 0 210702 0
vsize: 842872
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 104971 51 0 0 25 0 11 0 478053697 863100928 33792 4294967295 134512640 134569956 3221224400 3221213872 1131880842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33792 13073 16 0 210702 0
vsize: 842872
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 105952 51 0 0 25 0 11 0 478053697 863100928 33868 4294967295 134512640 134569956 3221224400 3221214696 1131581534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33868 13073 16 0 210702 0
vsize: 842872
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 106932 51 0 0 25 0 11 0 478053697 863100928 33915 4294967295 134512640 134569956 3221224400 3221214696 1131581552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 33915 13073 16 0 210702 0
vsize: 842872
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11349
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 107912 52 0 0 25 0 11 0 478053697 863100928 33964 4294967295 134512640 134569956 3221224400 3221214672 1131357345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33964 13073 16 0 210702 0
vsize: 842872
[startup+1120.06 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 108888 55 0 0 25 0 11 0 478053697 863100928 34048 4294967295 134512640 134569956 3221224400 3221213984 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34048 13073 16 0 210702 0
vsize: 842872
[startup+1130.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 109869 55 0 0 25 0 11 0 478053697 863100928 34107 4294967295 134512640 134569956 3221224400 3221213984 1131801340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34107 13073 16 0 210702 0
vsize: 842872
[startup+1140.06 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 110850 55 0 0 25 0 11 0 478053697 863100928 34158 4294967295 134512640 134569956 3221224400 3221214216 1131804920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34158 13073 16 0 210702 0
vsize: 842872
[startup+1150.06 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 111832 55 0 0 25 0 11 0 478053697 863100928 34210 4294967295 134512640 134569956 3221224400 3221214576 1131605692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34210 13073 16 0 210702 0
vsize: 842872
[startup+1160.06 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 112813 55 0 0 25 0 11 0 478053697 863100928 34270 4294967295 134512640 134569956 3221224400 3221214768 1131516889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 34270 13073 16 0 210702 0
vsize: 842872
[startup+1170.06 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 113794 55 0 0 25 0 11 0 478053697 863100928 34322 4294967295 134512640 134569956 3221224400 3221214072 1131875120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34322 13073 16 0 210702 0
vsize: 842872
[startup+1180.06 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 11402
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 114765 55 0 0 25 0 11 0 478053697 863100928 34397 4294967295 134512640 134569956 3221224400 3221214656 1131786732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34397 13073 16 0 210702 0
vsize: 842872
[startup+1190.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 115745 55 0 0 25 0 11 0 478053697 863100928 34454 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34454 13073 16 0 210702 0
vsize: 842872
[startup+1200.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 116716 55 0 0 25 0 11 0 478053697 863100928 34538 4294967295 134512640 134569956 3221224400 3221214656 1131786735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 34538 13073 16 0 210702 0
vsize: 842872
[startup+1210.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 117697 55 0 0 25 0 11 0 478053697 863100928 34600 4294967295 134512640 134569956 3221224400 3221214800 1131856089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34600 13073 16 0 210702 0
vsize: 842872
[startup+1220.06 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 118678 55 0 0 25 0 11 0 478053697 863100928 34655 4294967295 134512640 134569956 3221224400 3221214672 1131358001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 34655 13073 16 0 210702 0
vsize: 842872
[startup+1230.06 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 119659 55 0 0 25 0 11 0 478053697 863100928 34721 4294967295 134512640 134569956 3221224400 3221214672 1131358793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34721 13073 16 0 210702 0
vsize: 842872
[startup+1240.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11404
Raw data (stat): 11338 (java) R 11337 26667 26666 0 -1 0 18081 3 1 0 120640 56 0 0 25 0 11 0 478053697 863100928 34776 4294967295 134512640 134569956 3221224400 3221214656 1131786829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34776 13073 16 0 210702 0
vsize: 842872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.01 1.00 0.95 1/54 11406
Raw data (stat): 11338 (java) Z 11337 26667 26666 0 -1 1036 18081 14103 1 0 120643 56 2895 31 25 0 1 0 478053697 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): 1240.15
CPU time (s): 1236.26
CPU user time (s): 1235.39
CPU system time (s): 0.876866
CPU usage (%): 99.6862
Max. virtual memory (Kb): 849492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####