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/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
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	360
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.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 4346

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 16:36:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1476 boxname=wulflinc18 idbench=164 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb
IDLAUNCH: 1476
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        926516 kB
Buffers:         32564 kB
Cached:          39740 kB
SwapCached:        320 kB
Active:          41912 kB
Inactive:        33544 kB
HighTotal:      131008 kB
HighFree:        87276 kB
LowTotal:       903652 kB
LowFree:        839240 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27000 kB
Committed_AS:    63668 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:57:07 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1476 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb
c reading problem 
c [nbvar=360]
c [nbconstr=980]
c time 1.545
c #vars     360
c #clauses  980
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=162
c Current CPU time (ms) : 3.485
c starts	: 1
c conflicts	: 21
c decisions	: 117
c propagations	: 1250
c inspects	: 2936
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 21
c root simplifications	: 1
c 
c CURRENT OPTIMUM=161
c Current CPU time (ms) : 25.133
c starts	: 3
c conflicts	: 130
c decisions	: 591
c propagations	: 3883
c inspects	: 26432
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 130
c root simplifications	: 3
c 
c CURRENT OPTIMUM=160
c Current CPU time (ms) : 32.179
c starts	: 4
c conflicts	: 179
c decisions	: 816
c propagations	: 4940
c inspects	: 40844
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 179
c root simplifications	: 4
c 
c CURRENT OPTIMUM=159
c Current CPU time (ms) : 34.721
c starts	: 5
c conflicts	: 191
c decisions	: 905
c propagations	: 5442
c inspects	: 50536
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 191
c root simplifications	: 5
c 
c CURRENT OPTIMUM=158
c Current CPU time (ms) : 38.74
c starts	: 6
c conflicts	: 210
c decisions	: 1024
c propagations	: 6149
c inspects	: 61993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 210
c root simplifications	: 6
c 
c CURRENT OPTIMUM=157
c Current CPU time (ms) : 45.402
c starts	: 7
c conflicts	: 271
c decisions	: 1260
c propagations	: 7161
c inspects	: 78493
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 271
c root simplifications	: 7
c 
c CURRENT OPTIMUM=156
c Current CPU time (ms) : 49.549
c starts	: 8
c conflicts	: 295
c decisions	: 1412
c propagations	: 7806
c inspects	: 92845
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 295
c root simplifications	: 8
c 
c CURRENT OPTIMUM=155
c Current CPU time (ms) : 63.763
c starts	: 9
c conflicts	: 368
c decisions	: 1732
c propagations	: 9324
c inspects	: 130404
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 368
c root simplifications	: 9
c 
c CURRENT OPTIMUM=154
c Current CPU time (ms) : 67.314
c starts	: 10
c conflicts	: 381
c decisions	: 1842
c propagations	: 9798
c inspects	: 146603
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 381
c root simplifications	: 10
c 
c CURRENT OPTIMUM=153
c Current CPU time (ms) : 69.963
c starts	: 11
c conflicts	: 383
c decisions	: 1930
c propagations	: 10169
c inspects	: 158175
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 383
c root simplifications	: 11
c 
c CURRENT OPTIMUM=152
c Current CPU time (ms) : 233.335
c starts	: 14
c conflicts	: 841
c decisions	: 3671
c propagations	: 19913
c inspects	: 651736
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 841
c root simplifications	: 14
c 
c CURRENT OPTIMUM=151
c Current CPU time (ms) : 258.622
c starts	: 15
c conflicts	: 924
c decisions	: 4048
c propagations	: 21171
c inspects	: 734126
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 924
c root simplifications	: 15
c 
c CURRENT OPTIMUM=150
c Current CPU time (ms) : 815.27
c starts	: 20
c conflicts	: 1749
c decisions	: 6916
c propagations	: 36832
c inspects	: 2871311
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 1
c learned clauses	: 1749
c root simplifications	: 20
#### 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.85 0.96 0.90 2/55 20860
Raw data (stat): 20860 (runsolver) D 20859 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477431203 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 3225161850 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): 0.87 0.96 0.90 2/65 20871
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18068 3 1 0 669 45 0 0 25 0 11 0 477431203 867225600 22095 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 22095 13073 16 0 211709 0
vsize: 846900
[startup+20.0026 s]
Raw data (loadavg): 0.96 0.98 0.91 2/65 20871
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 1623 45 0 0 25 0 11 0 477431203 867225600 22549 4294967295 134512640 134569956 3221224416 3221214624 1131274523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 22549 13073 16 0 211709 0
vsize: 846900
[startup+30.003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/65 20872
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 2565 45 0 0 25 0 11 0 477431203 867225600 23150 4294967295 134512640 134569956 3221224416 3221214744 1131281723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 23150 13073 16 0 211709 0
vsize: 846900
[startup+40.0034 s]
Raw data (loadavg): 0.97 0.98 0.91 2/65 20877
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 3485 45 0 0 25 0 11 0 477431203 867225600 23620 4294967295 134512640 134569956 3221224416 3221214816 1131209688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 23620 13073 16 0 211709 0
vsize: 846900
[startup+50.0046 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 20878
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 4388 46 0 0 24 0 11 0 477431203 867225600 24193 4294967295 134512640 134569956 3221224416 3221214816 1131209484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 24193 13073 16 0 211709 0
vsize: 846900
[startup+60.0047 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 20879
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 5314 46 0 0 25 0 11 0 477431203 867225600 24466 4294967295 134512640 134569956 3221224416 3221214624 1131274523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 24466 13073 16 0 211709 0
vsize: 846900
[startup+70.0061 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 20881
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 6240 46 0 0 25 0 11 0 477431203 867225600 24625 4294967295 134512640 134569956 3221224416 3221214816 1131209345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 24625 13073 16 0 211709 0
vsize: 846900
[startup+80.0071 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 7159 46 0 0 25 0 11 0 477431203 867225600 24837 4294967295 134512640 134569956 3221224416 3221214664 1131395525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 24837 13073 16 0 211709 0
vsize: 846900
[startup+90.0066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 8083 46 0 0 25 0 11 0 477431203 867225600 25064 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25064 13073 16 0 211709 0
vsize: 846900
[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 9030 46 0 0 25 0 11 0 477431203 867225600 25341 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25341 13073 16 0 211709 0
vsize: 846900
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 9984 46 0 0 25 0 11 0 477431203 867225600 25569 4294967295 134512640 134569956 3221224416 3221214664 1131394834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25569 13073 16 0 211709 0
vsize: 846900
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 10948 46 0 0 25 0 11 0 477431203 867225600 25641 4294967295 134512640 134569956 3221224416 3221214872 1131141244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25641 13073 16 0 211709 0
vsize: 846900
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 11906 46 0 0 25 0 11 0 477431203 867225600 25797 4294967295 134512640 134569956 3221224416 3221214816 1131209741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25797 13073 16 0 211709 0
vsize: 846900
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 12857 46 0 0 25 0 11 0 477431203 867225600 25896 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25896 13073 16 0 211709 0
vsize: 846900
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 13806 46 0 0 25 0 11 0 477431203 867225600 25964 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 25964 13073 16 0 211709 0
vsize: 846900
[startup+160.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 14740 47 0 0 25 0 11 0 477431203 867225600 26056 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26056 13073 16 0 211709 0
vsize: 846900
[startup+170.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 15679 47 0 0 25 0 11 0 477431203 867225600 26168 4294967295 134512640 134569956 3221224416 3221214696 1131140761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26168 13073 16 0 211709 0
vsize: 846900
[startup+180.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 16609 47 0 0 25 0 11 0 477431203 867225600 26367 4294967295 134512640 134569956 3221224416 3221214816 1131209426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26367 13073 16 0 211709 0
vsize: 846900
[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 17548 47 0 0 24 0 11 0 477431203 867225600 26629 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26629 13073 16 0 211709 0
vsize: 846900
[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 18503 47 0 0 25 0 11 0 477431203 867225600 26775 4294967295 134512640 134569956 3221224416 3221214612 1131568216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26775 13073 16 0 211709 0
vsize: 846900
[startup+210.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 19447 47 0 0 25 0 11 0 477431203 867225600 26892 4294967295 134512640 134569956 3221224416 3221214912 1131222593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26892 13073 16 0 211709 0
vsize: 846900
[startup+220.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 20393 47 0 0 25 0 11 0 477431203 867225600 27069 4294967295 134512640 134569956 3221224416 3221214820 1131276513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27069 13073 16 0 211709 0
vsize: 846900
[startup+230.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20882
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 21340 47 0 0 25 0 11 0 477431203 867225600 27178 4294967295 134512640 134569956 3221224416 3221214816 1131209422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27178 13073 16 0 211709 0
vsize: 846900
[startup+240.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20883
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 22293 47 0 0 25 0 11 0 477431203 867225600 27264 4294967295 134512640 134569956 3221224416 3221214816 1131209341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27264 13073 16 0 211709 0
vsize: 846900
[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20883
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 23243 47 0 0 23 0 11 0 477431203 867225600 27471 4294967295 134512640 134569956 3221224416 3221214872 1131141208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27471 13073 16 0 211709 0
vsize: 846900
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 24199 47 0 0 25 0 11 0 477431203 867225600 27543 4294967295 134512640 134569956 3221224416 3221214816 1131210217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27543 13073 16 0 211709 0
vsize: 846900
[startup+270.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 25142 47 0 0 25 0 11 0 477431203 867225600 27675 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27675 13073 16 0 211709 0
vsize: 846900
[startup+280.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 26086 47 0 0 25 0 11 0 477431203 867225600 27778 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27778 13073 16 0 211709 0
vsize: 846900
[startup+290.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 27037 47 0 0 25 0 11 0 477431203 867225600 27885 4294967295 134512640 134569956 3221224416 3221214912 1131222388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27885 13073 16 0 211709 0
vsize: 846900
[startup+300.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 27989 47 0 0 25 0 11 0 477431203 867225600 28121 4294967295 134512640 134569956 3221224416 3221214816 1131209694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28121 13073 16 0 211709 0
vsize: 846900
[startup+310.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 28950 47 0 0 25 0 11 0 477431203 867225600 28203 4294967295 134512640 134569956 3221224416 3221214912 1131222246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28203 13073 16 0 211709 0
vsize: 846900
[startup+320.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 29910 47 0 0 25 0 11 0 477431203 867225600 28362 4294967295 134512640 134569956 3221224416 3221214912 1131222388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28362 13073 16 0 211709 0
vsize: 846900
[startup+330.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20884
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 30881 47 0 0 25 0 11 0 477431203 867225600 28490 4294967295 134512640 134569956 3221224416 3221214912 1131221865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28490 13073 16 0 211709 0
vsize: 846900
[startup+340.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 31856 48 0 0 25 0 11 0 477431203 867225600 28574 4294967295 134512640 134569956 3221224416 3221214816 1131210001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28574 13073 16 0 211709 0
vsize: 846900
[startup+350.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 32830 48 0 0 25 0 11 0 477431203 867225600 28652 4294967295 134512640 134569956 3221224416 3221214816 1131209907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28652 13073 16 0 211709 0
vsize: 846900
[startup+360.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 33806 48 0 0 25 0 11 0 477431203 867225600 28664 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28664 13073 16 0 211709 0
vsize: 846900
[startup+370.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 34771 48 0 0 25 0 11 0 477431203 867225600 28708 4294967295 134512640 134569956 3221224416 3221214816 1131209472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28708 13073 16 0 211709 0
vsize: 846900
[startup+380.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 35737 48 0 0 25 0 11 0 477431203 867225600 28790 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28790 13073 16 0 211709 0
vsize: 846900
[startup+390.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 36698 48 0 0 25 0 11 0 477431203 867225600 28850 4294967295 134512640 134569956 3221224416 3221214648 1131564480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28850 13073 16 0 211709 0
vsize: 846900
[startup+400.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 37664 48 0 0 25 0 11 0 477431203 867225600 28942 4294967295 134512640 134569956 3221224416 3221214872 1131141162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28942 13073 16 0 211709 0
vsize: 846900
[startup+410.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 38634 48 0 0 25 0 11 0 477431203 867225600 29024 4294967295 134512640 134569956 3221224416 3221214816 1131209895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29024 13073 16 0 211709 0
vsize: 846900
[startup+420.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 39603 48 0 0 25 0 11 0 477431203 867225600 29144 4294967295 134512640 134569956 3221224416 3221214912 1131222168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29144 13073 16 0 211709 0
vsize: 846900
[startup+430.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 40579 48 0 0 25 0 11 0 477431203 867225600 29216 4294967295 134512640 134569956 3221224416 3221214816 1131209402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29216 13073 16 0 211709 0
vsize: 846900
[startup+440.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 41552 48 0 0 25 0 11 0 477431203 867225600 29268 4294967295 134512640 134569956 3221224416 3221214816 1131209492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29268 13073 16 0 211709 0
vsize: 846900
[startup+450.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 42524 48 0 0 25 0 11 0 477431203 867225600 29312 4294967295 134512640 134569956 3221224416 3221214816 1131209445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29312 13073 16 0 211709 0
vsize: 846900
[startup+460.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 43490 48 0 0 25 0 11 0 477431203 867225600 29320 4294967295 134512640 134569956 3221224416 3221214328 1131571714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29320 13073 16 0 211709 0
vsize: 846900
[startup+470.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 44453 48 0 0 25 0 11 0 477431203 867225600 29387 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29387 13073 16 0 211709 0
vsize: 846900
[startup+480.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 45413 48 0 0 25 0 11 0 477431203 867225600 29500 4294967295 134512640 134569956 3221224416 3221214912 1131222134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29500 13073 16 0 211709 0
vsize: 846900
[startup+490.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 46379 49 0 0 25 0 11 0 477431203 867225600 29614 4294967295 134512640 134569956 3221224416 3221214196 1131570041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29614 13073 16 0 211709 0
vsize: 846900
[startup+500.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 47347 49 0 0 25 0 11 0 477431203 867225600 29665 4294967295 134512640 134569956 3221224416 3221214912 1131222354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29665 13073 16 0 211709 0
vsize: 846900
[startup+510.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 48316 49 0 0 25 0 11 0 477431203 867225600 29781 4294967295 134512640 134569956 3221224416 3221214816 1131209364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29781 13073 16 0 211709 0
vsize: 846900
[startup+520.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 49282 49 0 0 25 0 11 0 477431203 867225600 29787 4294967295 134512640 134569956 3221224416 3221214064 1131568273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29787 13073 16 0 211709 0
vsize: 846900
[startup+530.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 50239 49 0 0 25 0 11 0 477431203 867225600 29882 4294967295 134512640 134569956 3221224416 3221214816 1131210328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29882 13073 16 0 211709 0
vsize: 846900
[startup+540.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 51204 49 0 0 25 0 11 0 477431203 867225600 29977 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29977 13073 16 0 211709 0
vsize: 846900
[startup+550.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 52162 49 0 0 25 0 11 0 477431203 867225600 30094 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30094 13073 16 0 211709 0
vsize: 846900
[startup+560.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 53129 49 0 0 25 0 11 0 477431203 867225600 30197 4294967295 134512640 134569956 3221224416 3221214872 1131141117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30197 13073 16 0 211709 0
vsize: 846900
[startup+570.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 54099 49 0 0 25 0 11 0 477431203 867225600 30267 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30267 13073 16 0 211709 0
vsize: 846900
[startup+580.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 55072 49 0 0 25 0 11 0 477431203 867225600 30338 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30338 13073 16 0 211709 0
vsize: 846900
[startup+590.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 56041 49 0 0 25 0 11 0 477431203 867225600 30401 4294967295 134512640 134569956 3221224416 3221214816 1131209472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30401 13073 16 0 211709 0
vsize: 846900
[startup+600.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 57011 49 0 0 25 0 11 0 477431203 867225600 30451 4294967295 134512640 134569956 3221224416 3221214816 1131209658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30451 13073 16 0 211709 0
vsize: 846900
[startup+610.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 57971 49 0 0 25 0 11 0 477431203 867225600 30498 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30498 13073 16 0 211709 0
vsize: 846900
[startup+620.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 58924 49 0 0 25 0 11 0 477431203 867225600 30553 4294967295 134512640 134569956 3221224416 3221214816 1131209970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30553 13073 16 0 211709 0
vsize: 846900
[startup+630.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20886
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 59872 49 0 0 25 0 11 0 477431203 867225600 30652 4294967295 134512640 134569956 3221224416 3221214816 1131210213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30652 13073 16 0 211709 0
vsize: 846900
[startup+640.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 60823 49 0 0 25 0 11 0 477431203 867225600 30721 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30721 13073 16 0 211709 0
vsize: 846900
[startup+650.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 61781 49 0 0 25 0 11 0 477431203 867225600 30919 4294967295 134512640 134569956 3221224416 3221214816 1131209426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30919 13073 16 0 211709 0
vsize: 846900
[startup+660.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 62741 49 0 0 25 0 11 0 477431203 867225600 31017 4294967295 134512640 134569956 3221224416 3221214816 1131210356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31017 13073 16 0 211709 0
vsize: 846900
[startup+670.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 63712 49 0 0 25 0 11 0 477431203 867225600 31057 4294967295 134512640 134569956 3221224416 3221214908 1131141100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31057 13073 16 0 211709 0
vsize: 846900
[startup+680.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 64687 49 0 0 25 0 11 0 477431203 867225600 31263 4294967295 134512640 134569956 3221224416 3221214816 1131210001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31263 13073 16 0 211709 0
vsize: 846900
[startup+690.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 65670 49 0 0 25 0 11 0 477431203 867225600 31299 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31299 13073 16 0 211709 0
vsize: 846900
[startup+700.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 66650 49 0 0 25 0 11 0 477431203 867225600 31311 4294967295 134512640 134569956 3221224416 3221214776 1131342458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31311 13073 16 0 211709 0
vsize: 846900
[startup+710.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 67624 50 0 0 25 0 11 0 477431203 867225600 31335 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31335 13073 16 0 211709 0
vsize: 846900
[startup+720.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 68595 50 0 0 25 0 11 0 477431203 867225600 31360 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31360 13073 16 0 211709 0
vsize: 846900
[startup+730.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 69566 50 0 0 25 0 11 0 477431203 867225600 31420 4294967295 134512640 134569956 3221224416 3221214912 1131221973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31420 13073 16 0 211709 0
vsize: 846900
[startup+740.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 70539 50 0 0 25 0 11 0 477431203 867225600 31487 4294967295 134512640 134569956 3221224416 3221214816 1131209341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31487 13073 16 0 211709 0
vsize: 846900
[startup+750.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 71512 50 0 0 25 0 11 0 477431203 867225600 31559 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31559 13073 16 0 211709 0
vsize: 846900
[startup+760.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 72491 50 0 0 25 0 11 0 477431203 867225600 31608 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31608 13073 16 0 211709 0
vsize: 846900
[startup+770.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 73469 50 0 0 25 0 11 0 477431203 867225600 31650 4294967295 134512640 134569956 3221224416 3221214816 1131209349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31650 13073 16 0 211709 0
vsize: 846900
[startup+780.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 74448 50 0 0 25 0 11 0 477431203 867225600 31689 4294967295 134512640 134569956 3221224416 3221214716 1131298656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31689 13073 16 0 211709 0
vsize: 846900
[startup+790.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 75426 50 0 0 25 0 11 0 477431203 867225600 31720 4294967295 134512640 134569956 3221224416 3221214908 1131141100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31720 13073 16 0 211709 0
vsize: 846900
[startup+800.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 76404 50 0 0 25 0 11 0 477431203 867225600 31753 4294967295 134512640 134569956 3221224416 3221214816 1131210343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31753 13073 16 0 211709 0
vsize: 846900
[startup+810.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20888
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 77377 50 0 0 25 0 11 0 477431203 867225600 31815 4294967295 134512640 134569956 3221224416 3221214816 1131209982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31815 13073 16 0 211709 0
vsize: 846900
[startup+820.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 78360 50 0 0 25 0 11 0 477431203 867225600 31833 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31833 13073 16 0 211709 0
vsize: 846900
[startup+830.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 79338 50 0 0 25 0 11 0 477431203 867225600 31912 4294967295 134512640 134569956 3221224416 3221214616 1131568248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31912 13073 16 0 211709 0
vsize: 846900
[startup+840.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 80317 50 0 0 25 0 11 0 477431203 867225600 31926 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31926 13073 16 0 211709 0
vsize: 846900
[startup+850.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 81292 50 0 0 25 0 11 0 477431203 867225600 31930 4294967295 134512640 134569956 3221224416 3221214816 1131209356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31930 13073 16 0 211709 0
vsize: 846900
[startup+860.071 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 82270 50 0 0 25 0 11 0 477431203 867225600 32001 4294967295 134512640 134569956 3221224416 3221214816 1131209734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32001 13073 16 0 211709 0
vsize: 846900
[startup+870.071 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 83244 50 0 0 25 0 11 0 477431203 867225600 32025 4294967295 134512640 134569956 3221224416 3221214760 1131238287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32025 13073 16 0 211709 0
vsize: 846900
[startup+880.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 84219 50 0 0 25 0 11 0 477431203 867225600 32063 4294967295 134512640 134569956 3221224416 3221214624 1131274284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32063 13073 16 0 211709 0
vsize: 846900
[startup+890.071 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 85190 50 0 0 25 0 11 0 477431203 867225600 32110 4294967295 134512640 134569956 3221224416 3221214816 1131209484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32110 13073 16 0 211709 0
vsize: 846900
[startup+900.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 86161 50 0 0 25 0 11 0 477431203 867225600 32165 4294967295 134512640 134569956 3221224416 3221214816 1131210590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32165 13073 16 0 211709 0
vsize: 846900
[startup+910.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 87138 50 0 0 25 0 11 0 477431203 867225600 32202 4294967295 134512640 134569956 3221224416 3221214816 1131210365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32202 13073 16 0 211709 0
vsize: 846900
[startup+920.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 88112 50 0 0 25 0 11 0 477431203 867225600 32273 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32273 13073 16 0 211709 0
vsize: 846900
[startup+930.075 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20889
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 89080 50 0 0 25 0 11 0 477431203 867225600 32317 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32317 13073 16 0 211709 0
vsize: 846900
[startup+940.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 90056 50 0 0 25 0 11 0 477431203 867225600 32378 4294967295 134512640 134569956 3221224416 3221214816 1131209653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32378 13073 16 0 211709 0
vsize: 846900
[startup+950.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 91034 50 0 0 25 0 11 0 477431203 867225600 32433 4294967295 134512640 134569956 3221224416 3221214324 1131571684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32433 13073 16 0 211709 0
vsize: 846900
[startup+960.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 92009 50 0 0 25 0 11 0 477431203 867225600 32479 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 32479 13073 16 0 211709 0
vsize: 846900
[startup+970.077 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 92983 50 0 0 25 0 11 0 477431203 867225600 32486 4294967295 134512640 134569956 3221224416 3221214816 1131209356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32486 13073 16 0 211709 0
vsize: 846900
[startup+980.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 93953 50 0 0 25 0 11 0 477431203 867225600 32557 4294967295 134512640 134569956 3221224416 3221214912 1131222425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32557 13073 16 0 211709 0
vsize: 846900
[startup+990.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 94929 50 0 0 25 0 11 0 477431203 867225600 32618 4294967295 134512640 134569956 3221224416 3221214624 1131274630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32618 13073 16 0 211709 0
vsize: 846900
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 95909 50 0 0 25 0 11 0 477431203 867225600 32648 4294967295 134512640 134569956 3221224416 3221214872 1131141178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32648 13073 16 0 211709 0
vsize: 846900
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 96885 50 0 0 25 0 11 0 477431203 867225600 32706 4294967295 134512640 134569956 3221224416 3221214816 1131209345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32706 13073 16 0 211709 0
vsize: 846900
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 97863 50 0 0 25 0 11 0 477431203 867225600 32728 4294967295 134512640 134569956 3221224416 3221214976 1131326106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32728 13073 16 0 211709 0
vsize: 846900
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 98839 50 0 0 25 0 11 0 477431203 867225600 32756 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32756 13073 16 0 211709 0
vsize: 846900
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 99813 50 0 0 25 0 11 0 477431203 867225600 32795 4294967295 134512640 134569956 3221224416 3221214912 1131222406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32795 13073 16 0 211709 0
vsize: 846900
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 100786 50 0 0 25 0 11 0 477431203 867225600 32832 4294967295 134512640 134569956 3221224416 3221214624 1131274481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32832 13073 16 0 211709 0
vsize: 846900
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 101763 51 0 0 25 0 11 0 477431203 867225600 32897 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32897 13073 16 0 211709 0
vsize: 846900
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 102742 51 0 0 25 0 11 0 477431203 867225600 32951 4294967295 134512640 134569956 3221224416 3221214912 1131221973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32951 13073 16 0 211709 0
vsize: 846900
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 103718 51 0 0 25 0 11 0 477431203 867225600 32984 4294967295 134512640 134569956 3221224416 3221214816 1131209848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32984 13073 16 0 211709 0
vsize: 846900
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 104694 51 0 0 25 0 11 0 477431203 867225600 33023 4294967295 134512640 134569956 3221224416 3221214888 1131298713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33023 13073 16 0 211709 0
vsize: 846900
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 105669 51 0 0 25 0 11 0 477431203 867225600 33074 4294967295 134512640 134569956 3221224416 3221214912 1131222364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33074 13073 16 0 211709 0
vsize: 846900
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 106641 51 0 0 25 0 11 0 477431203 867225600 33086 4294967295 134512640 134569956 3221224416 3221214816 1131209405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33086 13073 16 0 211709 0
vsize: 846900
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 107609 51 0 0 25 0 11 0 477431203 867225600 33117 4294967295 134512640 134569956 3221224416 3221214448 1078032837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33117 13073 16 0 211709 0
vsize: 846900
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 108573 51 0 0 25 0 11 0 477431203 867225600 33181 4294967295 134512640 134569956 3221224416 3221214896 1131217561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33181 13073 16 0 211709 0
vsize: 846900
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 109538 51 0 0 25 0 11 0 477431203 867225600 33224 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33224 13073 16 0 211709 0
vsize: 846900
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 110499 51 0 0 25 0 11 0 477431203 867225600 33319 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33319 13073 16 0 211709 0
vsize: 846900
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 111464 51 0 0 25 0 11 0 477431203 867225600 33394 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33394 13073 16 0 211709 0
vsize: 846900
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 112425 51 0 0 25 0 11 0 477431203 867225600 33495 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33495 13073 16 0 211709 0
vsize: 846900
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 113393 52 0 0 25 0 11 0 477431203 867225600 33570 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33570 13073 16 0 211709 0
vsize: 846900
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 114361 52 0 0 25 0 11 0 477431203 867225600 33667 4294967295 134512640 134569956 3221224416 3221214912 1131222145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33667 13073 16 0 211709 0
vsize: 846900
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 115329 52 0 0 25 0 11 0 477431203 867225600 33715 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33715 13073 16 0 211709 0
vsize: 846900
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 116303 52 0 0 25 0 11 0 477431203 867225600 33770 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33770 13073 16 0 211709 0
vsize: 846900
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 117270 52 0 0 25 0 11 0 477431203 867225600 33837 4294967295 134512640 134569956 3221224416 3221214816 1131209741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33837 13073 16 0 211709 0
vsize: 846900
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20891
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 118230 52 0 0 25 0 11 0 477431203 867225600 33858 4294967295 134512640 134569956 3221224416 3221214000 1131571564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33858 13073 16 0 211709 0
vsize: 846900
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20893
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 119189 52 0 0 25 0 11 0 477431203 867225600 33952 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 33952 13073 16 0 211709 0
vsize: 846900
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 20893
Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 120154 52 0 0 25 0 11 0 477431203 867225600 34051 4294967295 134512640 134569956 3221224416 3221214816 1131209787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 34051 13073 16 0 211709 0
vsize: 846900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 20895
Raw data (stat): 20860 (java) Z 20859 20024 20023 0 -1 1036 18070 15709 1 0 120158 52 5105 45 25 0 1 0 477431203 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.2
CPU time (s): 1253.62
CPU user time (s): 1252.64
CPU system time (s): 0.986849
CPU usage (%): 100.274
Max. virtual memory (Kb): 846900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####