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/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	407
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 4286

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-13 16:13:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=621 boxname=wulflinc1 idbench=69 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc1/normalized-f51m.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-f51m.b.opb
IDLAUNCH: 621
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        874012 kB
Buffers:         39508 kB
Cached:          96424 kB
SwapCached:          0 kB
Active:         101992 kB
Inactive:        37652 kB
HighTotal:      131008 kB
HighFree:        41608 kB
LowTotal:       903652 kB
LowFree:        832404 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15196 kB
Committed_AS:    96700 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:34:31 (client local time) WITH STATUS 143 IN  SECONDS
stats: 621 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-f51m.b.opb
c reading problem 
c [nbvar=407]
c [nbconstr=538]
c time 2.903
c #vars     407
c #clauses  520
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=27
c Current CPU time (ms) : 4.165
c starts	: 1
c conflicts	: 1
c decisions	: 376
c propagations	: 410
c inspects	: 2510
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 1
c 
c CURRENT OPTIMUM=26
c Current CPU time (ms) : 20.99
c starts	: 2
c conflicts	: 19
c decisions	: 636
c propagations	: 1922
c inspects	: 5036
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 19
c root simplifications	: 2
c 
c CURRENT OPTIMUM=22
c Current CPU time (ms) : 21.089
c starts	: 3
c conflicts	: 20
c decisions	: 1004
c propagations	: 2325
c inspects	: 6238
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 3
c 
c CURRENT OPTIMUM=21
c Current CPU time (ms) : 44.043
c starts	: 5
c conflicts	: 130
c decisions	: 2899
c propagations	: 7289
c inspects	: 21993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 130
c root simplifications	: 5
c 
c CURRENT OPTIMUM=20
c Current CPU time (ms) : 45.6
c starts	: 6
c conflicts	: 141
c decisions	: 3306
c propagations	: 7993
c inspects	: 24861
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 141
c root simplifications	: 6
c 
c CURRENT OPTIMUM=19
c Current CPU time (ms) : 60.424
c starts	: 7
c conflicts	: 214
c decisions	: 4545
c propagations	: 10388
c inspects	: 37097
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 214
c root simplifications	: 7
c 
c CURRENT OPTIMUM=18
c Current CPU time (ms) : 731.22
c starts	: 12
c conflicts	: 1226
c decisions	: 19184
c propagations	: 45313
c inspects	: 582357
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1226
c root simplifications	: 12
#### 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.95 0.74 2/59 12885
Raw data (stat): 12885 (runsolver) R 12884 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 362227073 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.24 1.02 0.76 4/69 12896
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 9253 3 1 0 666 22 0 0 25 0 11 0 362227073 877244416 14979 4294967295 134512640 134569956 3221224416 3221214464 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214171 14979 13073 16 0 214155 0
vsize: 856684
[startup+20.0016 s]
Raw data (loadavg): 1.51 1.09 0.79 4/69 12896
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18090 3 1 0 1389 44 0 0 25 0 11 0 362227073 881143808 24719 4294967295 134512640 134569956 3221224416 3221214388 1078025645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215123 24719 13073 16 0 215107 0
vsize: 860492
[startup+30.0013 s]
Raw data (loadavg): 1.43 1.08 0.79 2/69 12898
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18097 3 1 0 2279 45 0 0 25 0 11 0 362227073 874827776 24279 4294967295 134512640 134569956 3221224416 3221214792 1131310237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 24279 13073 16 0 213565 0
vsize: 854324
[startup+40.0022 s]
Raw data (loadavg): 1.36 1.08 0.79 3/69 12898
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18097 3 1 0 3198 45 0 0 25 0 11 0 362227073 874827776 24655 4294967295 134512640 134569956 3221224416 3221214648 1131426400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 24655 13073 16 0 213565 0
vsize: 854324
[startup+50.0028 s]
Raw data (loadavg): 1.31 1.08 0.79 2/69 12900
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 4116 45 0 0 25 0 11 0 362227073 874827776 25280 4294967295 134512640 134569956 3221224416 3221214568 1131353791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 25280 13073 16 0 213565 0
vsize: 854324
[startup+60.004 s]
Raw data (loadavg): 1.26 1.07 0.80 2/69 12900
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 5027 45 0 0 25 0 11 0 362227073 874827776 25612 4294967295 134512640 134569956 3221224416 3221214560 1131353724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 25612 13073 16 0 213565 0
vsize: 854324
[startup+70.0044 s]
Raw data (loadavg): 1.22 1.07 0.80 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 5934 45 0 0 25 0 11 0 362227073 874827776 25827 4294967295 134512640 134569956 3221224416 3221214604 1131421747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 25827 13073 16 0 213565 0
vsize: 854324
[startup+80.0051 s]
Raw data (loadavg): 1.18 1.07 0.80 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 6861 45 0 0 25 0 11 0 362227073 874827776 26138 4294967295 134512640 134569956 3221224416 3221214712 1131603287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26138 13073 16 0 213565 0
vsize: 854324
[startup+90.006 s]
Raw data (loadavg): 1.16 1.07 0.80 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 7807 46 0 0 25 0 11 0 362227073 874827776 26450 4294967295 134512640 134569956 3221224416 3221214568 1131353441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26450 13073 16 0 213565 0
vsize: 854324
[startup+100.006 s]
Raw data (loadavg): 1.13 1.06 0.80 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 8771 46 0 0 24 0 11 0 362227073 874827776 26625 4294967295 134512640 134569956 3221224416 3221214328 1131893192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26625 13073 16 0 213565 0
vsize: 854324
[startup+110.014 s]
Raw data (loadavg): 1.11 1.06 0.81 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 9741 46 0 0 25 0 11 0 362227073 874827776 26676 4294967295 134512640 134569956 3221224416 3221214592 1131217941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26676 13073 16 0 213565 0
vsize: 854324
[startup+120.015 s]
Raw data (loadavg): 1.09 1.06 0.81 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 10716 46 0 0 25 0 11 0 362227073 874827776 26758 4294967295 134512640 134569956 3221224416 3221214552 1131893104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26758 13073 16 0 213565 0
vsize: 854324
[startup+130.014 s]
Raw data (loadavg): 1.08 1.06 0.81 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 11685 46 0 0 25 0 11 0 362227073 874827776 26810 4294967295 134512640 134569956 3221224416 3221214792 1131311258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26810 13073 16 0 213565 0
vsize: 854324
[startup+140.014 s]
Raw data (loadavg): 1.07 1.05 0.81 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 12633 46 0 0 25 0 11 0 362227073 874827776 26899 4294967295 134512640 134569956 3221224416 3221214560 1131727368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26899 13073 16 0 213565 0
vsize: 854324
[startup+150.015 s]
Raw data (loadavg): 1.06 1.05 0.81 2/69 12901
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 13569 46 0 0 25 0 11 0 362227073 874827776 26940 4294967295 134512640 134569956 3221224416 3221214648 1131353526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 26940 13073 16 0 213565 0
vsize: 854324
[startup+160.015 s]
Raw data (loadavg): 1.05 1.05 0.81 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18098 3 1 0 14490 46 0 0 25 0 11 0 362227073 874827776 27057 4294967295 134512640 134569956 3221224416 3221214568 1131353642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 27057 13073 16 0 213565 0
vsize: 854324
[startup+170.015 s]
Raw data (loadavg): 1.04 1.05 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 15419 46 0 0 25 0 11 0 362227073 874827776 27315 4294967295 134512640 134569956 3221224416 3221214568 1131353642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 27315 13073 16 0 213565 0
vsize: 854324
[startup+180.015 s]
Raw data (loadavg): 1.03 1.05 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 16364 46 0 0 25 0 11 0 362227073 874827776 27533 4294967295 134512640 134569956 3221224416 3221214616 1131894316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 27533 13073 16 0 213565 0
vsize: 854324
[startup+190.016 s]
Raw data (loadavg): 1.03 1.04 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 17335 46 0 0 25 0 11 0 362227073 874827776 27739 4294967295 134512640 134569956 3221224416 3221214792 1131317444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 27739 13073 16 0 213565 0
vsize: 854324
[startup+200.015 s]
Raw data (loadavg): 1.02 1.04 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 18289 46 0 0 25 0 11 0 362227073 874827776 27796 4294967295 134512640 134569956 3221224416 3221214304 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 27796 13073 16 0 213565 0
vsize: 854324
[startup+210.016 s]
Raw data (loadavg): 1.02 1.04 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 19243 46 0 0 25 0 11 0 362227073 874827776 27971 4294967295 134512640 134569956 3221224416 3221214712 1131603287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 27971 13073 16 0 213565 0
vsize: 854324
[startup+220.017 s]
Raw data (loadavg): 1.02 1.04 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 20207 46 0 0 25 0 11 0 362227073 874827776 28020 4294967295 134512640 134569956 3221224416 3221214552 1131562403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 28020 13073 16 0 213565 0
vsize: 854324
[startup+230.017 s]
Raw data (loadavg): 1.01 1.04 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 21164 46 0 0 25 0 11 0 362227073 874827776 28178 4294967295 134512640 134569956 3221224416 3221214440 1131893148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 28178 13073 16 0 213565 0
vsize: 854324
[startup+240.017 s]
Raw data (loadavg): 1.01 1.03 0.82 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 22127 46 0 0 25 0 11 0 362227073 874827776 28263 4294967295 134512640 134569956 3221224416 3221214568 1131353542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28263 13073 16 0 213565 0
vsize: 854324
[startup+250.017 s]
Raw data (loadavg): 1.01 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 23092 46 0 0 25 0 11 0 362227073 874827776 28383 4294967295 134512640 134569956 3221224416 3221214688 1131274059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 28383 13073 16 0 213565 0
vsize: 854324
[startup+260.018 s]
Raw data (loadavg): 1.01 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 24065 46 0 0 25 0 11 0 362227073 874827776 28471 4294967295 134512640 134569956 3221224416 3221214568 1131353791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28471 13073 16 0 213565 0
vsize: 854324
[startup+270.018 s]
Raw data (loadavg): 1.00 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 25032 46 0 0 25 0 11 0 362227073 874827776 28541 4294967295 134512640 134569956 3221224416 3221214792 1131311243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28541 13073 16 0 213565 0
vsize: 854324
[startup+280.018 s]
Raw data (loadavg): 1.00 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 26001 46 0 0 25 0 11 0 362227073 874827776 28596 4294967295 134512640 134569956 3221224416 3221214504 1131894289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28596 13073 16 0 213565 0
vsize: 854324
[startup+290.018 s]
Raw data (loadavg): 1.00 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 26967 47 0 0 25 0 11 0 362227073 874827776 28652 4294967295 134512640 134569956 3221224416 3221214568 1131353717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28652 13073 16 0 213565 0
vsize: 854324
[startup+300.019 s]
Raw data (loadavg): 1.00 1.03 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 27937 47 0 0 25 0 11 0 362227073 874827776 28786 4294967295 134512640 134569956 3221224416 3221214568 1131353819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28786 13073 16 0 213565 0
vsize: 854324
[startup+310.019 s]
Raw data (loadavg): 1.00 1.02 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 28914 47 0 0 25 0 11 0 362227073 874827776 28839 4294967295 134512640 134569956 3221224416 3221214568 1131353973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28839 13073 16 0 213565 0
vsize: 854324
[startup+320.019 s]
Raw data (loadavg): 1.00 1.02 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 29886 47 0 0 25 0 11 0 362227073 874827776 28900 4294967295 134512640 134569956 3221224416 3221214688 1131274059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28900 13073 16 0 213565 0
vsize: 854324
[startup+330.019 s]
Raw data (loadavg): 1.00 1.02 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 30859 48 0 0 25 0 11 0 362227073 874827776 28923 4294967295 134512640 134569956 3221224416 3221214552 1131353755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28923 13073 16 0 213565 0
vsize: 854324
[startup+340.02 s]
Raw data (loadavg): 1.00 1.02 0.83 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 31817 48 0 0 24 0 11 0 362227073 874827776 28972 4294967295 134512640 134569956 3221224416 3221214664 1131273669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 28972 13073 16 0 213565 0
vsize: 854324
[startup+350.02 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 32777 48 0 0 25 0 11 0 362227073 874827776 29054 4294967295 134512640 134569956 3221224416 3221214552 1131728495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29054 13073 16 0 213565 0
vsize: 854324
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 33750 48 0 0 25 0 11 0 362227073 874827776 29154 4294967295 134512640 134569956 3221224416 3221214664 1131867731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29154 13073 16 0 213565 0
vsize: 854324
[startup+370.021 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 34722 48 0 0 25 0 11 0 362227073 874827776 29284 4294967295 134512640 134569956 3221224416 3221214408 1131893192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29284 13073 16 0 213565 0
vsize: 854324
[startup+380.021 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 35692 48 0 0 25 0 11 0 362227073 874827776 29359 4294967295 134512640 134569956 3221224416 3221214472 1131893134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29359 13073 16 0 213565 0
vsize: 854324
[startup+390.022 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 36659 49 0 0 25 0 11 0 362227073 874827776 29374 4294967295 134512640 134569956 3221224416 3221214704 1131599974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29374 13073 16 0 213565 0
vsize: 854324
[startup+400.023 s]
Raw data (loadavg): 1.00 1.02 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 37620 49 0 0 25 0 11 0 362227073 874827776 29424 4294967295 134512640 134569956 3221224416 3221214560 1131353761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29424 13073 16 0 213565 0
vsize: 854324
[startup+410.024 s]
Raw data (loadavg): 1.00 1.01 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 38575 49 0 0 25 0 11 0 362227073 874827776 29537 4294967295 134512640 134569956 3221224416 3221214664 1131867690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29537 13073 16 0 213565 0
vsize: 854324
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 39541 49 0 0 25 0 11 0 362227073 874827776 29667 4294967295 134512640 134569956 3221224416 3221214560 1131353642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29667 13073 16 0 213565 0
vsize: 854324
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 40505 49 0 0 25 0 11 0 362227073 874827776 29742 4294967295 134512640 134569956 3221224416 3221214592 1131894264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29742 13073 16 0 213565 0
vsize: 854324
[startup+440.024 s]
Raw data (loadavg): 1.00 1.01 0.84 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 41480 49 0 0 25 0 11 0 362227073 874827776 29834 4294967295 134512640 134569956 3221224416 3221214768 1131310276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29834 13073 16 0 213565 0
vsize: 854324
[startup+450.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12903
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 42445 49 0 0 25 0 11 0 362227073 874827776 29913 4294967295 134512640 134569956 3221224416 3221214896 1131685134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 29913 13073 16 0 213565 0
vsize: 854324
[startup+460.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 43407 50 0 0 25 0 11 0 362227073 874827776 30004 4294967295 134512640 134569956 3221224416 3221214652 1131304876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30004 13073 16 0 213565 0
vsize: 854324
[startup+470.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 44367 50 0 0 25 0 11 0 362227073 874827776 30026 4294967295 134512640 134569956 3221224416 3221214664 1131867603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30026 13073 16 0 213565 0
vsize: 854324
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 45322 50 0 0 25 0 11 0 362227073 874827776 30169 4294967295 134512640 134569956 3221224416 3221214768 1131310237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30169 13073 16 0 213565 0
vsize: 854324
[startup+490.025 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 46269 50 0 0 25 0 11 0 362227073 874827776 30235 4294967295 134512640 134569956 3221224416 3221214148 1131894288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30235 13073 16 0 213565 0
vsize: 854324
[startup+500.026 s]
Raw data (loadavg): 1.00 1.01 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 47228 50 0 0 25 0 11 0 362227073 874827776 30393 4294967295 134512640 134569956 3221224416 3221214664 1131274490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30393 13073 16 0 213565 0
vsize: 854324
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 48188 50 0 0 25 0 11 0 362227073 874827776 30527 4294967295 134512640 134569956 3221224416 3221214560 1131353761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30527 13073 16 0 213565 0
vsize: 854324
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 49152 50 0 0 25 0 11 0 362227073 874827776 30607 4294967295 134512640 134569956 3221224416 3221214552 1131354038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30607 13073 16 0 213565 0
vsize: 854324
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 50107 51 0 0 25 0 11 0 362227073 874827776 30671 4294967295 134512640 134569956 3221224416 3221214768 1131318208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30671 13073 16 0 213565 0
vsize: 854324
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 51063 51 0 0 25 0 11 0 362227073 874827776 30784 4294967295 134512640 134569956 3221224416 3221214768 1131311258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30784 13073 16 0 213565 0
vsize: 854324
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.85 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 52023 51 0 0 25 0 11 0 362227073 874827776 30896 4294967295 134512640 134569956 3221224416 3221214768 1131311343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 30896 13073 16 0 213565 0
vsize: 854324
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 52988 51 0 0 25 0 11 0 362227073 874827776 31019 4294967295 134512640 134569956 3221224416 3221214768 1131310244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31019 13073 16 0 213565 0
vsize: 854324
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 53953 51 0 0 25 0 11 0 362227073 874827776 31079 4294967295 134512640 134569956 3221224416 3221214640 1131521848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31079 13073 16 0 213565 0
vsize: 854324
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 54924 51 0 0 25 0 11 0 362227073 874827776 31152 4294967295 134512640 134569956 3221224416 3221214768 1131310305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31152 13073 16 0 213565 0
vsize: 854324
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 55890 51 0 0 25 0 11 0 362227073 874827776 31233 4294967295 134512640 134569956 3221224416 3221214768 1131310229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31233 13073 16 0 213565 0
vsize: 854324
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 56857 51 0 0 25 0 11 0 362227073 874827776 31278 4294967295 134512640 134569956 3221224416 3221214264 1131894264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31278 13073 16 0 213565 0
vsize: 854324
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 57829 51 0 0 25 0 11 0 362227073 874827776 31349 4294967295 134512640 134569956 3221224416 3221214944 1131897608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31349 13073 16 0 213565 0
vsize: 854324
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 58794 52 0 0 25 0 11 0 362227073 874827776 31431 4294967295 134512640 134569956 3221224416 3221214552 1131353791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31431 13073 16 0 213565 0
vsize: 854324
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 59765 52 0 0 25 0 11 0 362227073 874827776 31529 4294967295 134512640 134569956 3221224416 3221214768 1131311368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31529 13073 16 0 213565 0
vsize: 854324
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 60730 52 0 0 25 0 11 0 362227073 874827776 31604 4294967295 134512640 134569956 3221224416 3221214664 1131273694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31604 13073 16 0 213565 0
vsize: 854324
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 61703 53 0 0 25 0 11 0 362227073 874827776 31659 4294967295 134512640 134569956 3221224416 3221214364 1131894288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31659 13073 16 0 213565 0
vsize: 854324
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 62666 53 0 0 25 0 11 0 362227073 874827776 31751 4294967295 134512640 134569956 3221224416 3221214584 1131892979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31751 13073 16 0 213565 0
vsize: 854324
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 63633 53 0 0 25 0 11 0 362227073 874827776 31822 4294967295 134512640 134569956 3221224416 3221214704 1131598305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31822 13073 16 0 213565 0
vsize: 854324
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 64592 53 0 0 25 0 11 0 362227073 874827776 31886 4294967295 134512640 134569956 3221224416 3221214768 1131317415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31886 13073 16 0 213565 0
vsize: 854324
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 65550 53 0 0 25 0 11 0 362227073 874827776 31992 4294967295 134512640 134569956 3221224416 3221214560 1131353761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 31992 13073 16 0 213565 0
vsize: 854324
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12905
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 66520 53 0 0 25 0 11 0 362227073 874827776 32061 4294967295 134512640 134569956 3221224416 3221214636 1131893156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32061 13073 16 0 213565 0
vsize: 854324
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12906
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 67490 53 0 0 24 0 11 0 362227073 874827776 32213 4294967295 134512640 134569956 3221224416 3221214664 1131867618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32213 13073 16 0 213565 0
vsize: 854324
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12906
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 68465 54 0 0 25 0 11 0 362227073 874827776 32261 4294967295 134512640 134569956 3221224416 3221214232 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32261 13073 16 0 213565 0
vsize: 854324
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12906
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 69445 54 0 0 25 0 11 0 362227073 874827776 32305 4294967295 134512640 134569956 3221224416 3221214592 1131894264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32305 13073 16 0 213565 0
vsize: 854324
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12907
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 70431 54 0 0 25 0 11 0 362227073 874827776 32327 4294967295 134512640 134569956 3221224416 3221214768 1131310305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32327 13073 16 0 213565 0
vsize: 854324
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.87 2/69 12907
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 71400 54 0 0 25 0 11 0 362227073 874827776 32362 4294967295 134512640 134569956 3221224416 3221214560 1131353642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32362 13073 16 0 213565 0
vsize: 854324
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 72356 55 0 0 25 0 11 0 362227073 874827776 32420 4294967295 134512640 134569956 3221224416 3221214664 1131274306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32420 13073 16 0 213565 0
vsize: 854324
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) S 12884 12452 12451 0 -1 0 18099 3 1 0 73306 55 0 0 25 0 11 0 362227073 874827776 32448 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32448 13073 16 0 213565 0
vsize: 854324
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 74277 55 0 0 25 0 11 0 362227073 874827776 32461 4294967295 134512640 134569956 3221224416 3221214704 1131599898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32461 13073 16 0 213565 0
vsize: 854324
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 75223 55 0 0 25 0 11 0 362227073 874827776 32563 4294967295 134512640 134569956 3221224416 3221214768 1131310244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32563 13073 16 0 213565 0
vsize: 854324
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 76177 55 0 0 25 0 11 0 362227073 874827776 32764 4294967295 134512640 134569956 3221224416 3221214768 1131310344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32764 13073 16 0 213565 0
vsize: 854324
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 77141 55 0 0 25 0 11 0 362227073 874827776 32927 4294967295 134512640 134569956 3221224416 3221214592 1131894199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 32927 13073 16 0 213565 0
vsize: 854324
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 78110 56 0 0 25 0 11 0 362227073 874827776 33037 4294967295 134512640 134569956 3221224416 3221214848 1131853168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33037 13073 16 0 213565 0
vsize: 854324
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 79075 56 0 0 25 0 11 0 362227073 874827776 33132 4294967295 134512640 134569956 3221224416 3221214560 1131274761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33132 13073 16 0 213565 0
vsize: 854324
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 80054 56 0 0 25 0 11 0 362227073 874827776 33167 4294967295 134512640 134569956 3221224416 3221214192 1131893186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33167 13073 16 0 213565 0
vsize: 854324
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.88 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 81026 56 0 0 25 0 11 0 362227073 874827776 33236 4294967295 134512640 134569956 3221224416 3221214840 1131502061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33236 13073 16 0 213565 0
vsize: 854324
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 81994 56 0 0 25 0 11 0 362227073 874827776 33302 4294967295 134512640 134569956 3221224416 3221214768 1131310081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33302 13073 16 0 213565 0
vsize: 854324
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 82972 56 0 0 25 0 11 0 362227073 874827776 33336 4294967295 134512640 134569956 3221224416 3221214464 1131893186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33336 13073 16 0 213565 0
vsize: 854324
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) S 12884 12452 12451 0 -1 0 18099 3 1 0 83948 57 0 0 25 0 11 0 362227073 874827776 33373 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33373 13073 16 0 213565 0
vsize: 854324
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 84922 57 0 0 25 0 11 0 362227073 874827776 33450 4294967295 134512640 134569956 3221224416 3221214664 1131867727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33450 13073 16 0 213565 0
vsize: 854324
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 85898 57 0 0 25 0 11 0 362227073 874827776 33493 4294967295 134512640 134569956 3221224416 3221214664 1131274121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33493 13073 16 0 213565 0
vsize: 854324
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 86871 57 0 0 25 0 11 0 362227073 874827776 33542 4294967295 134512640 134569956 3221224416 3221214768 1131310244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33542 13073 16 0 213565 0
vsize: 854324
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 87852 58 0 0 25 0 11 0 362227073 874827776 33586 4294967295 134512640 134569956 3221224416 3221214664 1131867618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33586 13073 16 0 213565 0
vsize: 854324
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 88832 58 0 0 25 0 11 0 362227073 874827776 33612 4294967295 134512640 134569956 3221224416 3221214552 1131727641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33612 13073 16 0 213565 0
vsize: 854324
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 89810 58 0 0 25 0 11 0 362227073 874827776 33648 4294967295 134512640 134569956 3221224416 3221214560 1131353791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33648 13073 16 0 213565 0
vsize: 854324
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 90794 58 0 0 25 0 11 0 362227073 874827776 33689 4294967295 134512640 134569956 3221224416 3221214664 1131274865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33689 13073 16 0 213565 0
vsize: 854324
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.89 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 91769 58 0 0 25 0 11 0 362227073 874827776 33726 4294967295 134512640 134569956 3221224416 3221214560 1131353880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33726 13073 16 0 213565 0
vsize: 854324
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 92753 58 0 0 25 0 11 0 362227073 874827776 33747 4294967295 134512640 134569956 3221224416 3221214664 1131273771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33747 13073 16 0 213565 0
vsize: 854324
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 93731 58 0 0 25 0 11 0 362227073 874827776 33771 4294967295 134512640 134569956 3221224416 3221214552 1131727285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33771 13073 16 0 213565 0
vsize: 854324
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 94703 59 0 0 25 0 11 0 362227073 874827776 33821 4294967295 134512640 134569956 3221224416 3221214560 1131353761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33821 13073 16 0 213565 0
vsize: 854324
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 95681 59 0 0 25 0 11 0 362227073 874827776 33870 4294967295 134512640 134569956 3221224416 3221214768 1131310244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33870 13073 16 0 213565 0
vsize: 854324
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 96660 59 0 0 25 0 11 0 362227073 874827776 33889 4294967295 134512640 134569956 3221224416 3221214560 1131353511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33889 13073 16 0 213565 0
vsize: 854324
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 97640 59 0 0 25 0 11 0 362227073 874827776 33905 4294967295 134512640 134569956 3221224416 3221214664 1131867727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33905 13073 16 0 213565 0
vsize: 854324
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 98609 60 0 0 25 0 11 0 362227073 874827776 33972 4294967295 134512640 134569956 3221224416 3221214560 1131353642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33972 13073 16 0 213565 0
vsize: 854324
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 99580 60 0 0 25 0 11 0 362227073 874827776 33983 4294967295 134512640 134569956 3221224416 3221214664 1131867610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 33983 13073 16 0 213565 0
vsize: 854324
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12909
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 100555 60 0 0 25 0 11 0 362227073 874827776 34058 4294967295 134512640 134569956 3221224416 3221214664 1131274189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34058 13073 16 0 213565 0
vsize: 854324
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 101525 60 0 0 25 0 11 0 362227073 874827776 34133 4294967295 134512640 134569956 3221224416 3221214664 1131867592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34133 13073 16 0 213565 0
vsize: 854324
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 102503 61 0 0 25 0 11 0 362227073 874827776 34185 4294967295 134512640 134569956 3221224416 3221214552 1131727687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34185 13073 16 0 213565 0
vsize: 854324
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 103477 61 0 0 25 0 11 0 362227073 874827776 34222 4294967295 134512640 134569956 3221224416 3221214552 1131353642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34222 13073 16 0 213565 0
vsize: 854324
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 104460 61 0 0 25 0 11 0 362227073 874827776 34259 4294967295 134512640 134569956 3221224416 3221214896 1131685134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34259 13073 16 0 213565 0
vsize: 854324
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 105439 61 0 0 25 0 11 0 362227073 874827776 34287 4294967295 134512640 134569956 3221224416 3221214700 1131520684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34287 13073 16 0 213565 0
vsize: 854324
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 106416 61 0 0 25 0 11 0 362227073 874827776 34317 4294967295 134512640 134569956 3221224416 3221214656 1131880328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34317 13073 16 0 213565 0
vsize: 854324
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 107390 62 0 0 25 0 11 0 362227073 874827776 34338 4294967295 134512640 134569956 3221224416 3221214664 1131273815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34338 13073 16 0 213565 0
vsize: 854324
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 108358 62 0 0 25 0 11 0 362227073 874827776 34385 4294967295 134512640 134569956 3221224416 3221214368 1131894156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34385 13073 16 0 213565 0
vsize: 854324
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 109338 62 0 0 25 0 11 0 362227073 874827776 34418 4294967295 134512640 134569956 3221224416 3221214584 1131893180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34418 13073 16 0 213565 0
vsize: 854324
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 110318 62 0 0 25 0 11 0 362227073 874827776 34487 4294967295 134512640 134569956 3221224416 3221214200 1131894264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34487 13073 16 0 213565 0
vsize: 854324
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 111297 62 0 0 25 0 11 0 362227073 874827776 34507 4294967295 134512640 134569956 3221224416 3221214560 1131353433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34507 13073 16 0 213565 0
vsize: 854324
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 112265 62 0 0 25 0 11 0 362227073 874827776 34567 4294967295 134512640 134569956 3221224416 3221214552 1131353752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34567 13073 16 0 213565 0
vsize: 854324
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 113231 62 0 0 25 0 11 0 362227073 874827776 34601 4294967295 134512640 134569956 3221224416 3221214424 1131894236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34601 13073 16 0 213565 0
vsize: 854324
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 114200 63 0 0 25 0 11 0 362227073 874827776 34668 4294967295 134512640 134569956 3221224416 3221214768 1131317576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34668 13073 16 0 213565 0
vsize: 854324
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 115174 63 0 0 25 0 11 0 362227073 874827776 34785 4294967295 134512640 134569956 3221224416 3221214552 1131353620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34785 13073 16 0 213565 0
vsize: 854324
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 116153 63 0 0 25 0 11 0 362227073 874827776 34823 4294967295 134512640 134569956 3221224416 3221214636 1131418355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34823 13073 16 0 213565 0
vsize: 854324
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 117127 63 0 0 25 0 11 0 362227073 874827776 34835 4294967295 134512640 134569956 3221224416 3221214552 1131727248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34835 13073 16 0 213565 0
vsize: 854324
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 118098 64 0 0 25 0 11 0 362227073 874827776 34891 4294967295 134512640 134569956 3221224416 3221214768 1131311281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34891 13073 16 0 213565 0
vsize: 854324
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 119068 64 0 0 25 0 11 0 362227073 874827776 34924 4294967295 134512640 134569956 3221224416 3221214664 1131274851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34924 13073 16 0 213565 0
vsize: 854324
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/69 12911
Raw data (stat): 12885 (java) R 12884 12452 12451 0 -1 0 18099 3 1 0 120033 64 0 0 25 0 11 0 362227073 874827776 34971 4294967295 134512640 134569956 3221224416 3221214560 1131353920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213581 34971 13073 16 0 213565 0
vsize: 854324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.91 1/59 12913
Raw data (stat): 12885 (java) Z 12884 12452 12451 0 -1 1036 18099 35542 1 0 120035 70 7158 95 25 0 1 0 362227073 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.14
CPU time (s): 1273.6
CPU user time (s): 1271.93
CPU system time (s): 1.66675
CPU usage (%): 101.876
Max. virtual memory (Kb): 860492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####