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-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 18113

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-21 13:37:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18521 boxname=wulflinc13 idbench=1425 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 18521
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        385144 kB
Buffers:         35360 kB
Cached:         591968 kB
SwapCached:        176 kB
Active:         270368 kB
Inactive:       359748 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        384892 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            13840 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:57:50 (client local time) WITH STATUS 143 IN 1228.03 SECONDS
stats: 18521 7 1228.03 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-markshare2.opb
c reading problem 
c [nbvar=200]
c [nbconstr=67]
c time 0.832
c #vars     200
c #clauses  14
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=253312
c Current CPU time (ms) : 2.63
c starts	: 1
c conflicts	: 3
c decisions	: 229
c propagations	: 447
c inspects	: 1321
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 2
c 
c CURRENT OPTIMUM=203520
c Current CPU time (ms) : 5.947
c starts	: 2
c conflicts	: 15
c decisions	: 441
c propagations	: 1108
c inspects	: 5019
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 5
c 
c CURRENT OPTIMUM=200832
c Current CPU time (ms) : 134.552
c starts	: 5
c conflicts	: 307
c decisions	: 3336
c propagations	: 8625
c inspects	: 308401
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 307
c root simplifications	: 55
c 
c CURRENT OPTIMUM=195328
c Current CPU time (ms) : 146.796
c starts	: 6
c conflicts	: 312
c decisions	: 3425
c propagations	: 9090
c inspects	: 335740
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 312
c root simplifications	: 57
c 
c CURRENT OPTIMUM=129664
c Current CPU time (ms) : 150.886
c starts	: 7
c conflicts	: 312
c decisions	: 3470
c propagations	: 9274
c inspects	: 347271
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 312
c root simplifications	: 58
c 
c CURRENT OPTIMUM=128256
c Current CPU time (ms) : 156.504
c starts	: 8
c conflicts	: 313
c decisions	: 3515
c propagations	: 9542
c inspects	: 359371
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 313
c root simplifications	: 59
c 
c CURRENT OPTIMUM=125056
c Current CPU time (ms) : 187.347
c starts	: 9
c conflicts	: 328
c decisions	: 3855
c propagations	: 10452
c inspects	: 440916
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 328
c root simplifications	: 69
#### 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.92 0.96 0.91 2/54 9548
Raw data (stat): 9548 (runsolver) R 9547 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487278073 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0199 s]
Raw data (loadavg): 1.08 1.00 0.93 3/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18065 3 1 0 688 38 0 0 25 0 11 0 487278073 858832896 19895 4294967295 134512640 134569956 3221224400 3221214640 1130883833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209676 19895 13073 16 0 209660 0
vsize: 838704
[startup+20.0205 s]
Raw data (loadavg): 1.21 1.03 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 1644 38 0 0 25 0 11 0 487278073 859955200 20365 4294967295 134512640 134569956 3221224400 3221214848 1131178837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209950 20365 13073 16 0 209934 0
vsize: 839800
[startup+30.0217 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 2609 38 0 0 25 0 11 0 487278073 859430912 20454 4294967295 134512640 134569956 3221224400 3221214848 1131178816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 20454 13073 16 0 209806 0
vsize: 839288
[startup+40.0219 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 3574 38 0 0 25 0 11 0 487278073 859430912 20696 4294967295 134512640 134569956 3221224400 3221214648 1131363804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 20696 13073 16 0 209806 0
vsize: 839288
[startup+50.0225 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 4548 39 0 0 25 0 11 0 487278073 859430912 20781 4294967295 134512640 134569956 3221224400 3221214800 1131172103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 20781 13073 16 0 209806 0
vsize: 839288
[startup+60.0227 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 5518 39 0 0 24 0 11 0 487278073 859430912 20863 4294967295 134512640 134569956 3221224400 3221214800 1131172547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 20863 13073 16 0 209806 0
vsize: 839288
[startup+70.0238 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 6488 39 0 0 25 0 11 0 487278073 859430912 20970 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 20970 13073 16 0 209806 0
vsize: 839288
[startup+80.0255 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 7456 39 0 0 25 0 11 0 487278073 859430912 21060 4294967295 134512640 134569956 3221224400 3221214800 1131172174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21060 13073 16 0 209806 0
vsize: 839288
[startup+90.0258 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) S 9547 30701 30700 0 -1 0 18066 3 1 0 8432 40 0 0 25 0 11 0 487278073 859430912 21225 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21225 13073 16 0 209806 0
vsize: 839288
[startup+100.026 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18066 3 1 0 9411 40 0 0 25 0 11 0 487278073 859430912 21333 4294967295 134512640 134569956 3221224400 3221214728 1131238713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21333 13073 16 0 209806 0
vsize: 839288
[startup+110.028 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 10391 40 0 0 25 0 11 0 487278073 859430912 21415 4294967295 134512640 134569956 3221224400 3221214600 1131295055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21415 13073 16 0 209806 0
vsize: 839288
[startup+120.028 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 11371 40 0 0 25 0 11 0 487278073 859430912 21501 4294967295 134512640 134569956 3221224400 3221214800 1131171784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21501 13073 16 0 209806 0
vsize: 839288
[startup+130.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 9560
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 12355 40 0 0 25 0 11 0 487278073 859430912 21573 4294967295 134512640 134569956 3221224400 3221214800 1131171849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21573 13073 16 0 209806 0
vsize: 839288
[startup+140.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 9561
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 13339 40 0 0 24 0 11 0 487278073 859430912 21654 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21654 13073 16 0 209806 0
vsize: 839288
[startup+150.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9562
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 14326 41 0 0 25 0 11 0 487278073 859430912 21717 4294967295 134512640 134569956 3221224400 3221214800 1131172738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21717 13073 16 0 209806 0
vsize: 839288
[startup+160.031 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9564
Raw data (stat): 9548 (java) S 9547 30701 30700 0 -1 0 18067 3 1 0 15311 41 0 0 25 0 11 0 487278073 859430912 21792 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21792 13073 16 0 209806 0
vsize: 839288
[startup+170.031 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9564
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 16298 41 0 0 25 0 11 0 487278073 859430912 21853 4294967295 134512640 134569956 3221224400 3221214800 1131171614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21853 13073 16 0 209806 0
vsize: 839288
[startup+180.032 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9564
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 17284 41 0 0 25 0 11 0 487278073 859430912 21909 4294967295 134512640 134569956 3221224400 3221214816 1131199676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21909 13073 16 0 209806 0
vsize: 839288
[startup+190.033 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 18270 41 0 0 25 0 11 0 487278073 859430912 21993 4294967295 134512640 134569956 3221224400 3221214800 1131171750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 21993 13073 16 0 209806 0
vsize: 839288
[startup+200.032 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 19256 41 0 0 25 0 11 0 487278073 859430912 22059 4294967295 134512640 134569956 3221224400 3221214800 1131171741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22059 13073 16 0 209806 0
vsize: 839288
[startup+210.033 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 20241 42 0 0 25 0 11 0 487278073 859430912 22113 4294967295 134512640 134569956 3221224400 3221214800 1131171298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22113 13073 16 0 209806 0
vsize: 839288
[startup+220.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 21226 42 0 0 25 0 11 0 487278073 859430912 22172 4294967295 134512640 134569956 3221224400 3221214800 1131171853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22172 13073 16 0 209806 0
vsize: 839288
[startup+230.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 22213 42 0 0 25 0 11 0 487278073 859430912 22266 4294967295 134512640 134569956 3221224400 3221214800 1131172203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22266 13073 16 0 209806 0
vsize: 839288
[startup+240.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 23200 43 0 0 25 0 11 0 487278073 859430912 22330 4294967295 134512640 134569956 3221224400 3221214800 1131171730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 22330 13073 16 0 209806 0
vsize: 839288
[startup+250.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 24185 43 0 0 25 0 11 0 487278073 859430912 22393 4294967295 134512640 134569956 3221224400 3221214800 1131171753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22393 13073 16 0 209806 0
vsize: 839288
[startup+260.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 25171 43 0 0 25 0 11 0 487278073 859430912 22465 4294967295 134512640 134569956 3221224400 3221214848 1131178816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22465 13073 16 0 209806 0
vsize: 839288
[startup+270.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 26158 44 0 0 25 0 11 0 487278073 859430912 22557 4294967295 134512640 134569956 3221224400 3221214376 1131400771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22557 13073 16 0 209806 0
vsize: 839288
[startup+280.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 27149 44 0 0 25 0 11 0 487278073 859430912 22608 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22608 13073 16 0 209806 0
vsize: 839288
[startup+290.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 28137 45 0 0 25 0 11 0 487278073 859430912 22656 4294967295 134512640 134569956 3221224400 3221214892 1131172759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22656 13073 16 0 209806 0
vsize: 839288
[startup+300.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 29124 46 0 0 25 0 11 0 487278073 859430912 22702 4294967295 134512640 134569956 3221224400 3221214800 1131171833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22702 13073 16 0 209806 0
vsize: 839288
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 30112 46 0 0 25 0 11 0 487278073 859430912 22761 4294967295 134512640 134569956 3221224400 3221214800 1131171909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22761 13073 16 0 209806 0
vsize: 839288
[startup+320.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 31101 47 0 0 25 0 11 0 487278073 859430912 22810 4294967295 134512640 134569956 3221224400 3221214800 1131171909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22810 13073 16 0 209806 0
vsize: 839288
[startup+330.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 32089 47 0 0 24 0 11 0 487278073 859430912 22871 4294967295 134512640 134569956 3221224400 3221214848 1131178837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22871 13073 16 0 209806 0
vsize: 839288
[startup+340.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 33078 47 0 0 25 0 11 0 487278073 859430912 22901 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22901 13073 16 0 209806 0
vsize: 839288
[startup+350.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 34064 47 0 0 25 0 11 0 487278073 859430912 22938 4294967295 134512640 134569956 3221224400 3221214800 1131171361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22938 13073 16 0 209806 0
vsize: 839288
[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 35048 48 0 0 25 0 11 0 487278073 859430912 23001 4294967295 134512640 134569956 3221224400 3221214800 1131172620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23001 13073 16 0 209806 0
vsize: 839288
[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 36035 48 0 0 25 0 11 0 487278073 859430912 23081 4294967295 134512640 134569956 3221224400 3221214848 1131178991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23081 13073 16 0 209806 0
vsize: 839288
[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 37020 48 0 0 25 0 11 0 487278073 859430912 23149 4294967295 134512640 134569956 3221224400 3221214936 1131176537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23149 13073 16 0 209806 0
vsize: 839288
[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 38006 48 0 0 25 0 11 0 487278073 859430912 23211 4294967295 134512640 134569956 3221224400 3221214800 1131171594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 23211 13073 16 0 209806 0
vsize: 839288
[startup+400.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 38992 48 0 0 25 0 11 0 487278073 859430912 23295 4294967295 134512640 134569956 3221224400 3221214568 1131228560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23295 13073 16 0 209806 0
vsize: 839288
[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 39985 49 0 0 25 0 11 0 487278073 859430912 23335 4294967295 134512640 134569956 3221224400 3221214872 1131193080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23335 13073 16 0 209806 0
vsize: 839288
[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 40972 49 0 0 25 0 11 0 487278073 859430912 23408 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23408 13073 16 0 209806 0
vsize: 839288
[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 41960 49 0 0 25 0 11 0 487278073 859430912 23465 4294967295 134512640 134569956 3221224400 3221214800 1131171794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23465 13073 16 0 209806 0
vsize: 839288
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 42948 50 0 0 24 0 11 0 487278073 859430912 23511 4294967295 134512640 134569956 3221224400 3221214800 1131171693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23511 13073 16 0 209806 0
vsize: 839288
[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 43936 50 0 0 25 0 11 0 487278073 859430912 23560 4294967295 134512640 134569956 3221224400 3221214800 1131171802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 23560 13073 16 0 209806 0
vsize: 839288
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 44926 50 0 0 25 0 11 0 487278073 859430912 23595 4294967295 134512640 134569956 3221224400 3221214800 1131171741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23595 13073 16 0 209806 0
vsize: 839288
[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 45914 51 0 0 24 0 11 0 487278073 859430912 23643 4294967295 134512640 134569956 3221224400 3221214800 1131171298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23643 13073 16 0 209806 0
vsize: 839288
[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 46904 51 0 0 25 0 11 0 487278073 859430912 23674 4294967295 134512640 134569956 3221224400 3221214800 1131172517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23674 13073 16 0 209806 0
vsize: 839288
[startup+490.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 47895 51 0 0 25 0 11 0 487278073 859430912 23705 4294967295 134512640 134569956 3221224400 3221214800 1131172232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23705 13073 16 0 209806 0
vsize: 839288
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 48884 51 0 0 25 0 11 0 487278073 859430912 23746 4294967295 134512640 134569956 3221224400 3221214648 1131363841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23746 13073 16 0 209806 0
vsize: 839288
[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 49873 51 0 0 25 0 11 0 487278073 859430912 23775 4294967295 134512640 134569956 3221224400 3221214848 1131178816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 23775 13073 16 0 209806 0
vsize: 839288
[startup+520.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 50864 51 0 0 25 0 11 0 487278073 859430912 23814 4294967295 134512640 134569956 3221224400 3221214800 1131171298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23814 13073 16 0 209806 0
vsize: 839288
[startup+530.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 51854 52 0 0 25 0 11 0 487278073 859430912 23855 4294967295 134512640 134569956 3221224400 3221214568 1131228591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23855 13073 16 0 209806 0
vsize: 839288
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 52843 52 0 0 25 0 11 0 487278073 859430912 23895 4294967295 134512640 134569956 3221224400 3221214800 1131172224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23895 13073 16 0 209806 0
vsize: 839288
[startup+550.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 53834 52 0 0 25 0 11 0 487278073 859430912 23910 4294967295 134512640 134569956 3221224400 3221214520 1131476974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23910 13073 16 0 209806 0
vsize: 839288
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 54824 52 0 0 25 0 11 0 487278073 859430912 23945 4294967295 134512640 134569956 3221224400 3221214664 1131179026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23945 13073 16 0 209806 0
vsize: 839288
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 55813 53 0 0 25 0 11 0 487278073 859430912 23999 4294967295 134512640 134569956 3221224400 3221214800 1131171466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 23999 13073 16 0 209806 0
vsize: 839288
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 56803 53 0 0 25 0 11 0 487278073 859430912 24017 4294967295 134512640 134569956 3221224400 3221214800 1131171853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24017 13073 16 0 209806 0
vsize: 839288
[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 57790 54 0 0 25 0 11 0 487278073 859430912 24032 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24032 13073 16 0 209806 0
vsize: 839288
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 58780 54 0 0 25 0 11 0 487278073 859430912 24075 4294967295 134512640 134569956 3221224400 3221214800 1131171708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24075 13073 16 0 209806 0
vsize: 839288
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 59770 54 0 0 25 0 11 0 487278073 859430912 24135 4294967295 134512640 134569956 3221224400 3221214800 1131172174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24135 13073 16 0 209806 0
vsize: 839288
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 60760 54 0 0 24 0 11 0 487278073 859430912 24167 4294967295 134512640 134569956 3221224400 3221214800 1131171772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24167 13073 16 0 209806 0
vsize: 839288
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 61750 54 0 0 25 0 11 0 487278073 859430912 24197 4294967295 134512640 134569956 3221224400 3221214896 1131180752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24197 13073 16 0 209806 0
vsize: 839288
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 62740 55 0 0 25 0 11 0 487278073 859430912 24242 4294967295 134512640 134569956 3221224400 3221214800 1131171631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24242 13073 16 0 209806 0
vsize: 839288
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 63728 55 0 0 25 0 11 0 487278073 859430912 24270 4294967295 134512640 134569956 3221224400 3221214800 1131172527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24270 13073 16 0 209806 0
vsize: 839288
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 64715 56 0 0 25 0 11 0 487278073 859430912 24347 4294967295 134512640 134569956 3221224400 3221214800 1131171726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 24347 13073 16 0 209806 0
vsize: 839288
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 65705 56 0 0 25 0 11 0 487278073 859430912 24424 4294967295 134512640 134569956 3221224400 3221214800 1131171269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24424 13073 16 0 209806 0
vsize: 839288
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 66695 57 0 0 25 0 11 0 487278073 859430912 24468 4294967295 134512640 134569956 3221224400 3221214848 1131178848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24468 13073 16 0 209806 0
vsize: 839288
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 67685 57 0 0 25 0 11 0 487278073 859430912 24479 4294967295 134512640 134569956 3221224400 3221214800 1131171629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24479 13073 16 0 209806 0
vsize: 839288
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 68674 58 0 0 25 0 11 0 487278073 859430912 24512 4294967295 134512640 134569956 3221224400 3221214800 1131171881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24512 13073 16 0 209806 0
vsize: 839288
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 69664 58 0 0 25 0 11 0 487278073 859430912 24544 4294967295 134512640 134569956 3221224400 3221214848 1131178833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24544 13073 16 0 209806 0
vsize: 839288
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 70652 58 0 0 25 0 11 0 487278073 859430912 24611 4294967295 134512640 134569956 3221224400 3221214392 1080217319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 24611 13073 16 0 209806 0
vsize: 839288
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 71643 58 0 0 25 0 11 0 487278073 859430912 24638 4294967295 134512640 134569956 3221224400 3221214800 1131171571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24638 13073 16 0 209806 0
vsize: 839288
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 72629 59 0 0 25 0 11 0 487278073 859430912 24648 4294967295 134512640 134569956 3221224400 3221214800 1131171761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24648 13073 16 0 209806 0
vsize: 839288
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 73617 60 0 0 25 0 11 0 487278073 859430912 24709 4294967295 134512640 134569956 3221224400 3221214800 1131171825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24709 13073 16 0 209806 0
vsize: 839288
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 74606 60 0 0 25 0 11 0 487278073 859430912 24789 4294967295 134512640 134569956 3221224400 3221214800 1131171802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24789 13073 16 0 209806 0
vsize: 839288
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 75596 60 0 0 25 0 11 0 487278073 859430912 24842 4294967295 134512640 134569956 3221224400 3221214800 1131172203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24842 13073 16 0 209806 0
vsize: 839288
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 76583 61 0 0 25 0 11 0 487278073 859430912 24856 4294967295 134512640 134569956 3221224400 3221214800 1131172564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24856 13073 16 0 209806 0
vsize: 839288
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 77572 61 0 0 25 0 11 0 487278073 859430912 24886 4294967295 134512640 134569956 3221224400 3221214800 1131171897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24886 13073 16 0 209806 0
vsize: 839288
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 78560 62 0 0 25 0 11 0 487278073 859430912 24966 4294967295 134512640 134569956 3221224400 3221214800 1131171809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 24966 13073 16 0 209806 0
vsize: 839288
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 79550 62 0 0 25 0 11 0 487278073 859430912 25029 4294967295 134512640 134569956 3221224400 3221214800 1131171849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25029 13073 16 0 209806 0
vsize: 839288
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 80541 62 0 0 25 0 11 0 487278073 859430912 25072 4294967295 134512640 134569956 3221224400 3221214600 1131295924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25072 13073 16 0 209806 0
vsize: 839288
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 81533 63 0 0 25 0 11 0 487278073 859430912 25118 4294967295 134512640 134569956 3221224400 3221214800 1131171629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25118 13073 16 0 209806 0
vsize: 839288
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 82523 63 0 0 25 0 11 0 487278073 859430912 25147 4294967295 134512640 134569956 3221224400 3221214848 1131178816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25147 13073 16 0 209806 0
vsize: 839288
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 83515 63 0 0 25 0 11 0 487278073 859430912 25173 4294967295 134512640 134569956 3221224400 3221214800 1131171926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25173 13073 16 0 209806 0
vsize: 839288
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 84506 64 0 0 25 0 11 0 487278073 859430912 25187 4294967295 134512640 134569956 3221224400 3221214800 1131171825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25187 13073 16 0 209806 0
vsize: 839288
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 85496 64 0 0 25 0 11 0 487278073 859430912 25238 4294967295 134512640 134569956 3221224400 3221214800 1131171780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25238 13073 16 0 209806 0
vsize: 839288
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 86486 64 0 0 25 0 11 0 487278073 859430912 25249 4294967295 134512640 134569956 3221224400 3221214800 1131171911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25249 13073 16 0 209806 0
vsize: 839288
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 87478 65 0 0 25 0 11 0 487278073 859430912 25298 4294967295 134512640 134569956 3221224400 3221214672 1131287014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25298 13073 16 0 209806 0
vsize: 839288
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 88468 65 0 0 24 0 11 0 487278073 859430912 25309 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25309 13073 16 0 209806 0
vsize: 839288
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 89458 66 0 0 25 0 11 0 487278073 859430912 25373 4294967295 134512640 134569956 3221224400 3221214800 1131172746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25373 13073 16 0 209806 0
vsize: 839288
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 90451 66 0 0 25 0 11 0 487278073 859430912 25391 4294967295 134512640 134569956 3221224400 3221214512 1131341146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25391 13073 16 0 209806 0
vsize: 839288
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 91438 66 0 0 25 0 11 0 487278073 859430912 25454 4294967295 134512640 134569956 3221224400 3221214800 1131171331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25454 13073 16 0 209806 0
vsize: 839288
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 92426 66 0 0 25 0 11 0 487278073 859430912 25478 4294967295 134512640 134569956 3221224400 3221214800 1131171741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25478 13073 16 0 209806 0
vsize: 839288
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 93416 67 0 0 25 0 11 0 487278073 859430912 25556 4294967295 134512640 134569956 3221224400 3221214800 1131171881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25556 13073 16 0 209806 0
vsize: 839288
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 94402 67 0 0 25 0 11 0 487278073 859430912 25619 4294967295 134512640 134569956 3221224400 3221214800 1131171817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25619 13073 16 0 209806 0
vsize: 839288
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 95392 67 0 0 25 0 11 0 487278073 859430912 25677 4294967295 134512640 134569956 3221224400 3221214800 1131171677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25677 13073 16 0 209806 0
vsize: 839288
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 96380 67 0 0 25 0 11 0 487278073 859430912 25733 4294967295 134512640 134569956 3221224400 3221214800 1131171841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25733 13073 16 0 209806 0
vsize: 839288
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 97370 67 0 0 25 0 11 0 487278073 859430912 25756 4294967295 134512640 134569956 3221224400 3221214576 1131461447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25756 13073 16 0 209806 0
vsize: 839288
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 98359 68 0 0 25 0 11 0 487278073 859430912 25857 4294967295 134512640 134569956 3221224400 3221214800 1131171833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25857 13073 16 0 209806 0
vsize: 839288
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 99349 69 0 0 25 0 11 0 487278073 859430912 25887 4294967295 134512640 134569956 3221224400 3221214600 1131296129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25887 13073 16 0 209806 0
vsize: 839288
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 100347 69 0 0 25 0 11 0 487278073 859430912 25887 4294967295 134512640 134569956 3221224400 3221214456 1131476755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25887 13073 16 0 209806 0
vsize: 839288
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 101344 69 0 0 25 0 11 0 487278073 859430912 25888 4294967295 134512640 134569956 3221224400 3221214424 1131476956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25888 13073 16 0 209806 0
vsize: 839288
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 102341 69 0 0 25 0 11 0 487278073 859430912 25903 4294967295 134512640 134569956 3221224400 3221214424 1131476824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25903 13073 16 0 209806 0
vsize: 839288
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 103338 70 0 0 25 0 11 0 487278073 859430912 25906 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25906 13073 16 0 209806 0
vsize: 839288
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 104333 70 0 0 25 0 11 0 487278073 859430912 25938 4294967295 134512640 134569956 3221224400 3221214496 1131487420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25938 13073 16 0 209806 0
vsize: 839288
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 105326 70 0 0 25 0 11 0 487278073 859430912 25960 4294967295 134512640 134569956 3221224400 3221214800 1131171809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25960 13073 16 0 209806 0
vsize: 839288
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 106316 70 0 0 25 0 11 0 487278073 859430912 25994 4294967295 134512640 134569956 3221224400 3221214892 1131172753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 25994 13073 16 0 209806 0
vsize: 839288
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 107305 71 0 0 25 0 11 0 487278073 859430912 26045 4294967295 134512640 134569956 3221224400 3221214296 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26045 13073 16 0 209806 0
vsize: 839288
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 108293 71 0 0 25 0 11 0 487278073 859430912 26113 4294967295 134512640 134569956 3221224400 3221214848 1131178816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26113 13073 16 0 209806 0
vsize: 839288
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 109283 72 0 0 25 0 11 0 487278073 859430912 26175 4294967295 134512640 134569956 3221224400 3221214800 1131171811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26175 13073 16 0 209806 0
vsize: 839288
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 110273 72 0 0 25 0 11 0 487278073 859430912 26216 4294967295 134512640 134569956 3221224400 3221214800 1131171564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26216 13073 16 0 209806 0
vsize: 839288
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 111263 72 0 0 25 0 11 0 487278073 859430912 26241 4294967295 134512640 134569956 3221224400 3221214848 1131178983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26241 13073 16 0 209806 0
vsize: 839288
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 112253 73 0 0 25 0 11 0 487278073 859430912 26266 4294967295 134512640 134569956 3221224400 3221214800 1131172462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26266 13073 16 0 209806 0
vsize: 839288
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 113242 73 0 0 25 0 11 0 487278073 859430912 26291 4294967295 134512640 134569956 3221224400 3221214800 1131171849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26291 13073 16 0 209806 0
vsize: 839288
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 114232 73 0 0 25 0 11 0 487278073 859430912 26331 4294967295 134512640 134569956 3221224400 3221214800 1131171629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26331 13073 16 0 209806 0
vsize: 839288
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 115221 74 0 0 25 0 11 0 487278073 859430912 26364 4294967295 134512640 134569956 3221224400 3221214848 1131178833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26364 13073 16 0 209806 0
vsize: 839288
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 116212 74 0 0 25 0 11 0 487278073 859430912 26385 4294967295 134512640 134569956 3221224400 3221214848 1131178809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26385 13073 16 0 209806 0
vsize: 839288
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 117202 74 0 0 25 0 11 0 487278073 859430912 26428 4294967295 134512640 134569956 3221224400 3221214800 1131171833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26428 13073 16 0 209806 0
vsize: 839288
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 118191 74 0 0 25 0 11 0 487278073 859430912 26500 4294967295 134512640 134569956 3221224400 3221214800 1131171869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26500 13073 16 0 209806 0
vsize: 839288
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 119182 74 0 0 25 0 11 0 487278073 859430912 26545 4294967295 134512640 134569956 3221224400 3221214800 1131171736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26545 13073 16 0 209806 0
vsize: 839288
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9565
Raw data (stat): 9548 (java) R 9547 30701 30700 0 -1 0 18067 3 1 0 120171 75 0 0 24 0 11 0 487278073 859430912 26557 4294967295 134512640 134569956 3221224400 3221214800 1131171730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 26557 13073 16 0 209806 0
vsize: 839288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 9567
Raw data (stat): 9548 (java) Z 9547 30701 30700 0 -1 1036 18067 10251 1 0 120172 80 2515 34 25 0 1 0 487278073 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.13
CPU time (s): 1228.03
CPU user time (s): 1226.88
CPU system time (s): 1.14982
CPU usage (%): 100.648
Max. virtual memory (Kb): 839800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####