PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1244.18
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 18224

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        735812 kB
Buffers:         28748 kB
Cached:         247740 kB
SwapCached:          0 kB
Active:          30528 kB
Inactive:       248552 kB
HighTotal:      131008 kB
HighFree:        76412 kB
LowTotal:       903652 kB
LowFree:        659400 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            14128 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:20:19 (client local time) WITH STATUS 143 IN 1235.59 SECONDS
stats: 18729 7 1235.59 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-p0548.opb
c reading problem 
c [nbvar=548]
c [nbconstr=724]
c time 1.659
c #vars     548
c #clauses  166
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=40874
c Current CPU time (ms) : 5.445
c starts	: 1
c conflicts	: 15
c decisions	: 770
c propagations	: 1431
c inspects	: 1258
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 3
c 
c CURRENT OPTIMUM=39754
c Current CPU time (ms) : 12.952
c starts	: 3
c conflicts	: 123
c decisions	: 1572
c propagations	: 3052
c inspects	: 10316
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 5
c 
c CURRENT OPTIMUM=28989
c Current CPU time (ms) : 14.25
c starts	: 4
c conflicts	: 124
c decisions	: 1930
c propagations	: 3606
c inspects	: 15531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 124
c root simplifications	: 6
c 
c CURRENT OPTIMUM=11893
c Current CPU time (ms) : 39.428
c starts	: 6
c conflicts	: 230
c decisions	: 2678
c propagations	: 6680
c inspects	: 47154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 230
c root simplifications	: 8
#### 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.70 0.91 0.90 2/54 32571
Raw data (stat): 32571 (runsolver) R 32570 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487414865 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.0001 s]
Raw data (loadavg): 0.91 0.95 0.91 3/64 32582
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18075 3 1 0 575 44 0 0 25 0 11 0 487414865 868204544 21985 4294967295 134512640 134569956 3221224400 3221214800 1131214040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211964 21985 13073 16 0 211948 0
vsize: 847856
[startup+20.0015 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 32584
Raw data (stat): 32571 (java) S 32570 25347 25346 0 -1 0 18078 3 1 0 1484 44 0 0 25 0 11 0 487414865 870137856 23319 4294967295 134512640 134569956 3221224400 3221213232 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212436 23319 13073 16 0 212420 0
vsize: 849744
[startup+30.0119 s]
Raw data (loadavg): 0.99 0.96 0.92 2/66 32621
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18078 3 1 0 2410 48 0 0 25 0 11 0 487414865 869089280 23457 4294967295 134512640 134569956 3221224400 3221214792 1131188541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 23457 13073 16 0 212164 0
vsize: 848720
[startup+40.0126 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 32637
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18078 3 1 0 3343 51 0 0 25 0 11 0 487414865 869089280 24069 4294967295 134512640 134569956 3221224400 3221214600 1131496054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 24069 13073 16 0 212164 0
vsize: 848720
[startup+50.0132 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 32638
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18078 3 1 0 4269 51 0 0 25 0 11 0 487414865 869089280 24164 4294967295 134512640 134569956 3221224400 3221214632 1131371448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 24164 13073 16 0 212164 0
vsize: 848720
[startup+60.0133 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 32638
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18078 3 1 0 5200 51 0 0 25 0 11 0 487414865 869089280 24439 4294967295 134512640 134569956 3221224400 3221214792 1131188565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 24439 13073 16 0 212164 0
vsize: 848720
[startup+70.0134 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 32638
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18078 3 1 0 6146 52 0 0 25 0 11 0 487414865 869089280 24665 4294967295 134512640 134569956 3221224400 3221214552 1131506668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 24665 13073 16 0 212164 0
vsize: 848720
[startup+80.014 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 32638
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 7105 52 0 0 25 0 11 0 487414865 869089280 24933 4294967295 134512640 134569956 3221224400 3221214752 1131213187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 24933 13073 16 0 212164 0
vsize: 848720
[startup+90.0151 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 32638
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 8070 53 0 0 25 0 11 0 487414865 869089280 25043 4294967295 134512640 134569956 3221224400 3221214752 1131213983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25043 13073 16 0 212164 0
vsize: 848720
[startup+100.015 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 9039 53 0 0 25 0 11 0 487414865 869089280 25125 4294967295 134512640 134569956 3221224400 3221214848 1131225225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25125 13073 16 0 212164 0
vsize: 848720
[startup+110.016 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 10006 53 0 0 25 0 11 0 487414865 869089280 25182 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25182 13073 16 0 212164 0
vsize: 848720
[startup+120.017 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 10976 54 0 0 25 0 11 0 487414865 869089280 25293 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25293 13073 16 0 212164 0
vsize: 848720
[startup+130.017 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 11954 54 0 0 25 0 11 0 487414865 869089280 25386 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25386 13073 16 0 212164 0
vsize: 848720
[startup+140.018 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) S 32570 25347 25346 0 -1 0 18079 3 1 0 12933 54 0 0 25 0 11 0 487414865 869089280 25440 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25440 13073 16 0 212164 0
vsize: 848720
[startup+150.024 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 13911 54 0 0 25 0 11 0 487414865 869089280 25489 4294967295 134512640 134569956 3221224400 3221214792 1131188594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25489 13073 16 0 212164 0
vsize: 848720
[startup+160.023 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 14881 54 0 0 25 0 11 0 487414865 869089280 25516 4294967295 134512640 134569956 3221224400 3221214752 1131213685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25516 13073 16 0 212164 0
vsize: 848720
[startup+170.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 15847 55 0 0 25 0 11 0 487414865 869089280 25609 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25609 13073 16 0 212164 0
vsize: 848720
[startup+180.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 16814 55 0 0 24 0 11 0 487414865 869089280 25684 4294967295 134512640 134569956 3221224400 3221214752 1131213029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25684 13073 16 0 212164 0
vsize: 848720
[startup+190.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 17785 55 0 0 25 0 11 0 487414865 869089280 25845 4294967295 134512640 134569956 3221224400 3221214752 1131213280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25845 13073 16 0 212164 0
vsize: 848720
[startup+200.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 18760 55 0 0 25 0 11 0 487414865 869089280 25915 4294967295 134512640 134569956 3221224400 3221214752 1131213082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25915 13073 16 0 212164 0
vsize: 848720
[startup+210.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 19731 55 0 0 25 0 11 0 487414865 869089280 25978 4294967295 134512640 134569956 3221224400 3221214712 1131243350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 25978 13073 16 0 212164 0
vsize: 848720
[startup+220.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 20702 56 0 0 25 0 11 0 487414865 869089280 26062 4294967295 134512640 134569956 3221224400 3221214632 1131371211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26062 13073 16 0 212164 0
vsize: 848720
[startup+230.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 21673 56 0 0 25 0 11 0 487414865 869089280 26160 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26160 13073 16 0 212164 0
vsize: 848720
[startup+240.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 22647 56 0 0 25 0 11 0 487414865 869089280 26262 4294967295 134512640 134569956 3221224400 3221214848 1131225376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26262 13073 16 0 212164 0
vsize: 848720
[startup+250.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 23621 57 0 0 25 0 11 0 487414865 869089280 26325 4294967295 134512640 134569956 3221224400 3221214512 1131279268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26325 13073 16 0 212164 0
vsize: 848720
[startup+260.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 24598 57 0 0 25 0 11 0 487414865 869089280 26392 4294967295 134512640 134569956 3221224400 3221214752 1131213098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26392 13073 16 0 212164 0
vsize: 848720
[startup+270.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 25574 57 0 0 23 0 11 0 487414865 869089280 26451 4294967295 134512640 134569956 3221224400 3221214792 1131188544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26451 13073 16 0 212164 0
vsize: 848720
[startup+280.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 26544 58 0 0 25 0 11 0 487414865 869089280 26499 4294967295 134512640 134569956 3221224400 3221214752 1131213325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26499 13073 16 0 212164 0
vsize: 848720
[startup+290.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 27519 58 0 0 25 0 11 0 487414865 869089280 26557 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26557 13073 16 0 212164 0
vsize: 848720
[startup+300.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 28498 58 0 0 25 0 11 0 487414865 869089280 26644 4294967295 134512640 134569956 3221224400 3221214792 1131188544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26644 13073 16 0 212164 0
vsize: 848720
[startup+310.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 29485 58 0 0 25 0 11 0 487414865 869089280 26720 4294967295 134512640 134569956 3221224400 3221214752 1131213029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26720 13073 16 0 212164 0
vsize: 848720
[startup+320.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 30471 58 0 0 25 0 11 0 487414865 869089280 26738 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26738 13073 16 0 212164 0
vsize: 848720
[startup+330.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 31454 59 0 0 25 0 11 0 487414865 869089280 26763 4294967295 134512640 134569956 3221224400 3221214752 1131295999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26763 13073 16 0 212164 0
vsize: 848720
[startup+340.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 32434 59 0 0 25 0 11 0 487414865 869089280 26799 4294967295 134512640 134569956 3221224400 3221214752 1131294083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26799 13073 16 0 212164 0
vsize: 848720
[startup+350.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 33412 59 0 0 25 0 11 0 487414865 869089280 26856 4294967295 134512640 134569956 3221224400 3221214848 1131225598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26856 13073 16 0 212164 0
vsize: 848720
[startup+360.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 34391 59 0 0 25 0 11 0 487414865 869089280 26892 4294967295 134512640 134569956 3221224400 3221214752 1131213060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26892 13073 16 0 212164 0
vsize: 848720
[startup+370.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32640
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 35369 60 0 0 25 0 11 0 487414865 869089280 26937 4294967295 134512640 134569956 3221224400 3221214792 1131188549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 26937 13073 16 0 212164 0
vsize: 848720
[startup+380.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 36351 60 0 0 25 0 11 0 487414865 869089280 27020 4294967295 134512640 134569956 3221224400 3221214512 1131279545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27020 13073 16 0 212164 0
vsize: 848720
[startup+390.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 37337 61 0 0 25 0 11 0 487414865 869089280 27052 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27052 13073 16 0 212164 0
vsize: 848720
[startup+400.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 38320 61 0 0 25 0 11 0 487414865 869089280 27108 4294967295 134512640 134569956 3221224400 3221214752 1131292903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27108 13073 16 0 212164 0
vsize: 848720
[startup+410.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 39301 61 0 0 25 0 11 0 487414865 869089280 27137 4294967295 134512640 134569956 3221224400 3221214792 1131188561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27137 13073 16 0 212164 0
vsize: 848720
[startup+420.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 40281 62 0 0 25 0 11 0 487414865 869089280 27208 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27208 13073 16 0 212164 0
vsize: 848720
[startup+430.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 41263 62 0 0 25 0 11 0 487414865 869089280 27259 4294967295 134512640 134569956 3221224400 3221214824 1131210225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27259 13073 16 0 212164 0
vsize: 848720
[startup+440.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 42245 62 0 0 25 0 11 0 487414865 869089280 27307 4294967295 134512640 134569956 3221224400 3221214752 1131213678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27307 13073 16 0 212164 0
vsize: 848720
[startup+450.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 43226 62 0 0 25 0 11 0 487414865 869089280 27349 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27349 13073 16 0 212164 0
vsize: 848720
[startup+460.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 44205 63 0 0 25 0 11 0 487414865 869089280 27395 4294967295 134512640 134569956 3221224400 3221214848 1131225398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27395 13073 16 0 212164 0
vsize: 848720
[startup+470.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 45182 63 0 0 25 0 11 0 487414865 869089280 27459 4294967295 134512640 134569956 3221224400 3221214792 1131188561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27459 13073 16 0 212164 0
vsize: 848720
[startup+480.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 46158 64 0 0 25 0 11 0 487414865 869089280 27512 4294967295 134512640 134569956 3221224400 3221214848 1131225599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27512 13073 16 0 212164 0
vsize: 848720
[startup+490.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 47134 64 0 0 25 0 11 0 487414865 869089280 27571 4294967295 134512640 134569956 3221224400 3221214752 1131214045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27571 13073 16 0 212164 0
vsize: 848720
[startup+500.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 48113 65 0 0 25 0 11 0 487414865 869089280 27644 4294967295 134512640 134569956 3221224400 3221214752 1131213464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27644 13073 16 0 212164 0
vsize: 848720
[startup+510.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 49092 65 0 0 25 0 11 0 487414865 869089280 27699 4294967295 134512640 134569956 3221224400 3221214792 1131188544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27699 13073 16 0 212164 0
vsize: 848720
[startup+520.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 50071 65 0 0 25 0 11 0 487414865 869089280 27740 4294967295 134512640 134569956 3221224400 3221214792 1131188584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27740 13073 16 0 212164 0
vsize: 848720
[startup+530.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 51048 66 0 0 25 0 11 0 487414865 869089280 27793 4294967295 134512640 134569956 3221224400 3221214424 1131496136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27793 13073 16 0 212164 0
vsize: 848720
[startup+540.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 52025 66 0 0 25 0 11 0 487414865 869089280 27878 4294967295 134512640 134569956 3221224400 3221214712 1131243640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27878 13073 16 0 212164 0
vsize: 848720
[startup+550.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 52999 66 0 0 25 0 11 0 487414865 869089280 27941 4294967295 134512640 134569956 3221224400 3221214752 1131213639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 27941 13073 16 0 212164 0
vsize: 848720
[startup+560.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 53968 66 0 0 25 0 11 0 487414865 869089280 28005 4294967295 134512640 134569956 3221224400 3221214848 1131225432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28005 13073 16 0 212164 0
vsize: 848720
[startup+570.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 54936 66 0 0 25 0 11 0 487414865 869089280 28064 4294967295 134512640 134569956 3221224400 3221214752 1131213029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28064 13073 16 0 212164 0
vsize: 848720
[startup+580.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 55908 67 0 0 25 0 11 0 487414865 869089280 28208 4294967295 134512640 134569956 3221224400 3221214752 1131213967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28208 13073 16 0 212164 0
vsize: 848720
[startup+590.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 56889 67 0 0 25 0 11 0 487414865 869089280 28281 4294967295 134512640 134569956 3221224400 3221214752 1131213905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28281 13073 16 0 212164 0
vsize: 848720
[startup+600.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 57872 67 0 0 25 0 11 0 487414865 869089280 28330 4294967295 134512640 134569956 3221224400 3221214632 1131375663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28330 13073 16 0 212164 0
vsize: 848720
[startup+610.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 58856 67 0 0 25 0 11 0 487414865 869089280 28363 4294967295 134512640 134569956 3221224400 3221214752 1131213433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28363 13073 16 0 212164 0
vsize: 848720
[startup+620.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 59841 68 0 0 25 0 11 0 487414865 869089280 28403 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28403 13073 16 0 212164 0
vsize: 848720
[startup+630.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 60823 68 0 0 25 0 11 0 487414865 869089280 28428 4294967295 134512640 134569956 3221224400 3221214752 1131212993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28428 13073 16 0 212164 0
vsize: 848720
[startup+640.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 61804 68 0 0 25 0 11 0 487414865 869089280 28462 4294967295 134512640 134569956 3221224400 3221214752 1131213004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28462 13073 16 0 212164 0
vsize: 848720
[startup+650.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 62782 69 0 0 25 0 11 0 487414865 869089280 28506 4294967295 134512640 134569956 3221224400 3221214752 1131213084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28506 13073 16 0 212164 0
vsize: 848720
[startup+660.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 63767 69 0 0 25 0 11 0 487414865 869089280 28541 4294967295 134512640 134569956 3221224400 3221214752 1131213414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28541 13073 16 0 212164 0
vsize: 848720
[startup+670.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 64753 69 0 0 25 0 11 0 487414865 869089280 28589 4294967295 134512640 134569956 3221224400 3221214792 1131188561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28589 13073 16 0 212164 0
vsize: 848720
[startup+680.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 65744 69 0 0 25 0 11 0 487414865 869089280 28604 4294967295 134512640 134569956 3221224400 3221214844 1131188524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28604 13073 16 0 212164 0
vsize: 848720
[startup+690.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 66734 70 0 0 25 0 11 0 487414865 869089280 28617 4294967295 134512640 134569956 3221224400 3221214752 1131213123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28617 13073 16 0 212164 0
vsize: 848720
[startup+700.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 67721 70 0 0 25 0 11 0 487414865 869089280 28629 4294967295 134512640 134569956 3221224400 3221214752 1131212997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28629 13073 16 0 212164 0
vsize: 848720
[startup+710.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 68710 70 0 0 25 0 11 0 487414865 869089280 28642 4294967295 134512640 134569956 3221224400 3221214684 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28642 13073 16 0 212164 0
vsize: 848720
[startup+720.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 69696 71 0 0 25 0 11 0 487414865 869089280 28663 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28663 13073 16 0 212164 0
vsize: 848720
[startup+730.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 70680 71 0 0 25 0 11 0 487414865 869089280 28682 4294967295 134512640 134569956 3221224400 3221214752 1131212989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28682 13073 16 0 212164 0
vsize: 848720
[startup+740.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 71660 71 0 0 25 0 11 0 487414865 869089280 28718 4294967295 134512640 134569956 3221224400 3221214752 1131213583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28718 13073 16 0 212164 0
vsize: 848720
[startup+750.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 72639 72 0 0 25 0 11 0 487414865 869089280 28757 4294967295 134512640 134569956 3221224400 3221214512 1131279313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28757 13073 16 0 212164 0
vsize: 848720
[startup+760.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 73620 72 0 0 25 0 11 0 487414865 869089280 28825 4294967295 134512640 134569956 3221224400 3221214752 1131213280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28825 13073 16 0 212164 0
vsize: 848720
[startup+770.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 74604 72 0 0 25 0 11 0 487414865 869089280 28892 4294967295 134512640 134569956 3221224400 3221214752 1131213029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28892 13073 16 0 212164 0
vsize: 848720
[startup+780.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 75588 73 0 0 24 0 11 0 487414865 869089280 28920 4294967295 134512640 134569956 3221224400 3221214752 1131213629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28920 13073 16 0 212164 0
vsize: 848720
[startup+790.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 76574 73 0 0 25 0 11 0 487414865 869089280 28948 4294967295 134512640 134569956 3221224400 3221214656 1131330596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28948 13073 16 0 212164 0
vsize: 848720
[startup+800.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 77560 73 0 0 25 0 11 0 487414865 869089280 28979 4294967295 134512640 134569956 3221224400 3221214296 1131512024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 28979 13073 16 0 212164 0
vsize: 848720
[startup+810.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 78541 74 0 0 25 0 11 0 487414865 869089280 29048 4294967295 134512640 134569956 3221224400 3221214752 1131214051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29048 13073 16 0 212164 0
vsize: 848720
[startup+820.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 79522 74 0 0 25 0 11 0 487414865 869089280 29082 4294967295 134512640 134569956 3221224400 3221214492 1131506640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29082 13073 16 0 212164 0
vsize: 848720
[startup+830.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 80503 74 0 0 25 0 11 0 487414865 869089280 29135 4294967295 134512640 134569956 3221224400 3221214752 1131213082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29135 13073 16 0 212164 0
vsize: 848720
[startup+840.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 81483 75 0 0 25 0 11 0 487414865 869089280 29190 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29190 13073 16 0 212164 0
vsize: 848720
[startup+850.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 82466 75 0 0 25 0 11 0 487414865 869089280 29233 4294967295 134512640 134569956 3221224400 3221214792 1131188642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29233 13073 16 0 212164 0
vsize: 848720
[startup+860.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 83447 75 0 0 25 0 11 0 487414865 869089280 29285 4294967295 134512640 134569956 3221224400 3221214752 1131213591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29285 13073 16 0 212164 0
vsize: 848720
[startup+870.045 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 84428 76 0 0 25 0 11 0 487414865 869089280 29344 4294967295 134512640 134569956 3221224400 3221214752 1131213652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29344 13073 16 0 212164 0
vsize: 848720
[startup+880.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 85409 76 0 0 25 0 11 0 487414865 869089280 29391 4294967295 134512640 134569956 3221224400 3221214608 1131588946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29391 13073 16 0 212164 0
vsize: 848720
[startup+890.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 86391 76 0 0 24 0 11 0 487414865 869089280 29443 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29443 13073 16 0 212164 0
vsize: 848720
[startup+900.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 87373 77 0 0 24 0 11 0 487414865 869089280 29482 4294967295 134512640 134569956 3221224400 3221214792 1131188549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29482 13073 16 0 212164 0
vsize: 848720
[startup+910.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 88357 78 0 0 25 0 11 0 487414865 869089280 29518 4294967295 134512640 134569956 3221224400 3221214848 1131225557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29518 13073 16 0 212164 0
vsize: 848720
[startup+920.048 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 89340 78 0 0 25 0 11 0 487414865 869089280 29540 4294967295 134512640 134569956 3221224400 3221214752 1131213916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29540 13073 16 0 212164 0
vsize: 848720
[startup+930.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 90320 78 0 0 25 0 11 0 487414865 869089280 29585 4294967295 134512640 134569956 3221224400 3221214824 1131210169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29585 13073 16 0 212164 0
vsize: 848720
[startup+940.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 91302 78 0 0 25 0 11 0 487414865 869089280 29625 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29625 13073 16 0 212164 0
vsize: 848720
[startup+950.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 92283 78 0 0 25 0 11 0 487414865 869089280 29661 4294967295 134512640 134569956 3221224400 3221214792 1131188544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29661 13073 16 0 212164 0
vsize: 848720
[startup+960.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 93265 79 0 0 25 0 11 0 487414865 869089280 29714 4294967295 134512640 134569956 3221224400 3221214848 1131225614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29714 13073 16 0 212164 0
vsize: 848720
[startup+970.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 94247 79 0 0 25 0 11 0 487414865 869089280 29744 4294967295 134512640 134569956 3221224400 3221214752 1131213583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29744 13073 16 0 212164 0
vsize: 848720
[startup+980.051 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 95230 80 0 0 25 0 11 0 487414865 869089280 29790 4294967295 134512640 134569956 3221224400 3221214792 1131188561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29790 13073 16 0 212164 0
vsize: 848720
[startup+990.051 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 96212 80 0 0 25 0 11 0 487414865 869089280 29851 4294967295 134512640 134569956 3221224400 3221214744 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29851 13073 16 0 212164 0
vsize: 848720
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 97195 80 0 0 25 0 11 0 487414865 869089280 29891 4294967295 134512640 134569956 3221224400 3221214752 1131213652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29891 13073 16 0 212164 0
vsize: 848720
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 98176 81 0 0 25 0 11 0 487414865 869089280 29930 4294967295 134512640 134569956 3221224400 3221214844 1131212972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29930 13073 16 0 212164 0
vsize: 848720
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 99157 81 0 0 25 0 11 0 487414865 869089280 29964 4294967295 134512640 134569956 3221224400 3221214792 1131188544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 29964 13073 16 0 212164 0
vsize: 848720
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 100137 81 0 0 25 0 11 0 487414865 869089280 30020 4294967295 134512640 134569956 3221224400 3221214792 1131188569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30020 13073 16 0 212164 0
vsize: 848720
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 101119 82 0 0 25 0 11 0 487414865 869089280 30068 4294967295 134512640 134569956 3221224400 3221214752 1131213359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30068 13073 16 0 212164 0
vsize: 848720
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 102098 82 0 0 25 0 11 0 487414865 869089280 30095 4294967295 134512640 134569956 3221224400 3221214752 1131213993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30095 13073 16 0 212164 0
vsize: 848720
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 103079 83 0 0 24 0 11 0 487414865 869089280 30142 4294967295 134512640 134569956 3221224400 3221214792 1131188541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30142 13073 16 0 212164 0
vsize: 848720
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 104059 83 0 0 25 0 11 0 487414865 869089280 30182 4294967295 134512640 134569956 3221224400 3221214632 1131374300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30182 13073 16 0 212164 0
vsize: 848720
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 105040 84 0 0 25 0 11 0 487414865 869089280 30239 4294967295 134512640 134569956 3221224400 3221214752 1131212989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30239 13073 16 0 212164 0
vsize: 848720
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 106015 84 0 0 25 0 11 0 487414865 869089280 30306 4294967295 134512640 134569956 3221224400 3221214792 1131188569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30306 13073 16 0 212164 0
vsize: 848720
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 106989 84 0 0 24 0 11 0 487414865 869089280 30359 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30359 13073 16 0 212164 0
vsize: 848720
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 107966 85 0 0 25 0 11 0 487414865 869089280 30439 4294967295 134512640 134569956 3221224400 3221214752 1131213187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30439 13073 16 0 212164 0
vsize: 848720
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 108943 85 0 0 25 0 11 0 487414865 869089280 30506 4294967295 134512640 134569956 3221224400 3221214752 1131213609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30506 13073 16 0 212164 0
vsize: 848720
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 109923 85 0 0 25 0 11 0 487414865 869089280 30588 4294967295 134512640 134569956 3221224400 3221214752 1131213417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30588 13073 16 0 212164 0
vsize: 848720
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 110907 86 0 0 25 0 11 0 487414865 869089280 30621 4294967295 134512640 134569956 3221224400 3221214752 1131213662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30621 13073 16 0 212164 0
vsize: 848720
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 111890 86 0 0 25 0 11 0 487414865 869089280 30655 4294967295 134512640 134569956 3221224400 3221214752 1131296656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30655 13073 16 0 212164 0
vsize: 848720
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 112872 87 0 0 25 0 11 0 487414865 869089280 30709 4294967295 134512640 134569956 3221224400 3221214568 1131427522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30709 13073 16 0 212164 0
vsize: 848720
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 113852 87 0 0 25 0 11 0 487414865 869089280 30730 4294967295 134512640 134569956 3221224400 3221214752 1131213390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30730 13073 16 0 212164 0
vsize: 848720
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 114830 87 0 0 25 0 11 0 487414865 869089280 30770 4294967295 134512640 134569956 3221224400 3221214848 1131658898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212180 30770 13073 16 0 212164 0
vsize: 848720
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 115812 87 0 0 25 0 11 0 487414865 869089280 30816 4294967295 134512640 134569956 3221224400 3221214792 1131188561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 30816 13073 16 0 212164 0
vsize: 848720
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 116796 87 0 0 25 0 11 0 487414865 869089280 30877 4294967295 134512640 134569956 3221224400 3221214752 1131297361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 30877 13073 16 0 212164 0
vsize: 848720
[startup+1210.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 117780 87 0 0 25 0 11 0 487414865 869089280 30906 4294967295 134512640 134569956 3221224400 3221214752 1131214018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 30906 13073 16 0 212164 0
vsize: 848720
[startup+1220.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 118762 88 0 0 25 0 11 0 487414865 869089280 30927 4294967295 134512640 134569956 3221224400 3221214792 1131188569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 30927 13073 16 0 212164 0
vsize: 848720
[startup+1230.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 119742 88 0 0 25 0 11 0 487414865 869089280 30979 4294967295 134512640 134569956 3221224400 3221214752 1131213195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 30979 13073 16 0 212164 0
vsize: 848720
[startup+1240.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 32642
Raw data (stat): 32571 (java) R 32570 25347 25346 0 -1 0 18079 3 1 0 120724 88 0 0 25 0 11 0 487414865 869089280 31029 4294967295 134512640 134569956 3221224400 3221214752 1131213361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212180 31029 13073 16 0 212164 0
vsize: 848720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 32644
Raw data (stat): 32571 (java) Z 32570 25347 25346 0 -1 1036 18079 9019 1 0 120728 88 2705 36 25 0 1 0 487414865 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.16
CPU time (s): 1235.59
CPU user time (s): 1234.34
CPU system time (s): 1.25081
CPU usage (%): 99.6314
Max. virtual memory (Kb): 849744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####