PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb
MD5SUM	a940bff1d003826845b22f555cfd27b8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	88
Biggest coefficient in the objective function	24014225
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	235593725
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	37203426086400
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	1353236888971560
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.347946
Number of variables	2061
Total number of constraints	531
Number of constraints which are clauses	9
Number of constraints which are cardinality constraints (but not clauses)	310
Number of constraints which are nor clauses,nor cardinality constraints	212
Minimum length of a constraint	1
Maximum length of a constraint	1776
Trace number 18315

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        875756 kB
Buffers:          8416 kB
Cached:         128332 kB
SwapCached:          0 kB
Active:          10008 kB
Inactive:       129208 kB
HighTotal:      131008 kB
HighFree:        83384 kB
LowTotal:       903652 kB
LowFree:        792372 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13812 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:44:14 (client local time) WITH STATUS 143 IN 1243.63 SECONDS
stats: 18235 7 1243.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-blend2.opb
c reading problem 
c [nbvar=2061]
c [nbconstr=531]
c time 4.956
c #vars     2061
c #clauses  303
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
#### 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.98 0.97 0.91 2/54 455
Raw data (stat): 455 (runsolver) R 454 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487559351 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99999 s]
Raw data (loadavg): 1.06 0.98 0.92 4/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18067 0 1 0 762 42 0 0 25 0 11 0 487559351 859099136 20728 4294967295 134512640 134569956 3221224400 3221214024 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 20728 13073 16 0 209725 0
vsize: 838964
[startup+19.9996 s]
Raw data (loadavg): 1.28 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18078 0 1 0 1614 43 0 0 25 0 11 0 487559351 861999104 21778 4294967295 134512640 134569956 3221224400 3221214472 1131229386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210449 21778 13073 16 0 210433 0
vsize: 841796
[startup+30.0002 s]
Raw data (loadavg): 1.24 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18079 0 1 0 2533 43 0 0 25 0 11 0 487559351 859774976 21508 4294967295 134512640 134569956 3221224400 3221214568 1131447712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209906 21508 13073 16 0 209890 0
vsize: 839624
[startup+40.0002 s]
Raw data (loadavg): 1.20 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18079 0 1 0 3455 44 0 0 25 0 11 0 487559351 859774976 21692 4294967295 134512640 134569956 3221224400 3221214800 1131203017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209906 21692 13073 16 0 209890 0
vsize: 839624
[startup+50.0013 s]
Raw data (loadavg): 1.17 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18079 0 1 0 4377 44 0 0 25 0 11 0 487559351 859774976 22403 4294967295 134512640 134569956 3221224400 3221214848 1131185308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209906 22403 13073 16 0 209890 0
vsize: 839624
[startup+60.0008 s]
Raw data (loadavg): 1.14 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18079 0 1 0 5351 44 0 0 25 0 11 0 487559351 859774976 22456 4294967295 134512640 134569956 3221224400 3221214800 1131203960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209906 22456 13073 16 0 209890 0
vsize: 839624
[startup+70.0046 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 465
Raw data (stat): 455 (java) S 454 25347 25346 0 -1 0 18079 0 1 0 6325 44 0 0 25 0 11 0 487559351 862920704 23212 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210674 23212 13073 16 0 210658 0
vsize: 842696
[startup+80.005 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 7304 44 0 0 25 0 11 0 487559351 861872128 22958 4294967295 134512640 134569956 3221224400 3221214800 1131202636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22958 13073 16 0 210402 0
vsize: 841672
[startup+90.0045 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 8285 44 0 0 25 0 11 0 487559351 861872128 23049 4294967295 134512640 134569956 3221224400 3221214800 1131202868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23049 13073 16 0 210402 0
vsize: 841672
[startup+100.006 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 9267 44 0 0 25 0 11 0 487559351 861872128 23075 4294967295 134512640 134569956 3221224400 3221214896 1131311884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23075 13073 16 0 210402 0
vsize: 841672
[startup+110.006 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 10249 44 0 0 25 0 11 0 487559351 861872128 23085 4294967295 134512640 134569956 3221224400 3221214240 1130913350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23085 13073 16 0 210402 0
vsize: 841672
[startup+120.006 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 11228 45 0 0 25 0 11 0 487559351 861872128 23101 4294967295 134512640 134569956 3221224400 3221214664 1131602579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23101 13073 16 0 210402 0
vsize: 841672
[startup+130.006 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 12210 45 0 0 24 0 11 0 487559351 861872128 23209 4294967295 134512640 134569956 3221224400 3221214800 1131203806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23209 13073 16 0 210402 0
vsize: 841672
[startup+140.006 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 13199 45 0 0 25 0 11 0 487559351 861872128 23219 4294967295 134512640 134569956 3221224400 3221214800 1131202712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23219 13073 16 0 210402 0
vsize: 841672
[startup+150.007 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 14185 45 0 0 25 0 11 0 487559351 861872128 23232 4294967295 134512640 134569956 3221224400 3221214392 1078033055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23232 13073 16 0 210402 0
vsize: 841672
[startup+160.007 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 15172 45 0 0 25 0 11 0 487559351 861872128 23272 4294967295 134512640 134569956 3221224400 3221214512 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23272 13073 16 0 210402 0
vsize: 841672
[startup+170.006 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 16157 45 0 0 25 0 11 0 487559351 861872128 23315 4294967295 134512640 134569956 3221224400 3221214176 1131625101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23315 13073 16 0 210402 0
vsize: 841672
[startup+180.006 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18080 0 1 0 17143 45 0 0 25 0 11 0 487559351 861872128 23362 4294967295 134512640 134569956 3221224400 3221214600 1131625041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23362 13073 16 0 210402 0
vsize: 841672
[startup+190.007 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 18130 45 0 0 25 0 11 0 487559351 861872128 23401 4294967295 134512640 134569956 3221224400 3221214800 1131203142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23401 13073 16 0 210402 0
vsize: 841672
[startup+200.007 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 19119 45 0 0 25 0 11 0 487559351 861872128 23439 4294967295 134512640 134569956 3221224400 3221214848 1131185390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 23439 13073 16 0 210402 0
vsize: 841672
[startup+210.006 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 20105 45 0 0 25 0 11 0 487559351 861872128 23477 4294967295 134512640 134569956 3221224400 3221214840 1131339889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23477 13073 16 0 210402 0
vsize: 841672
[startup+220.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 21093 45 0 0 25 0 11 0 487559351 861872128 23513 4294967295 134512640 134569956 3221224400 3221214800 1131203183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23513 13073 16 0 210402 0
vsize: 841672
[startup+230.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 22077 45 0 0 25 0 11 0 487559351 861872128 23553 4294967295 134512640 134569956 3221224400 3221214800 1131203233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23553 13073 16 0 210402 0
vsize: 841672
[startup+240.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 23063 45 0 0 25 0 11 0 487559351 861872128 23585 4294967295 134512640 134569956 3221224400 3221214736 1131357985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23585 13073 16 0 210402 0
vsize: 841672
[startup+250.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 24049 46 0 0 25 0 11 0 487559351 861872128 23623 4294967295 134512640 134569956 3221224400 3221214896 1131311045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23623 13073 16 0 210402 0
vsize: 841672
[startup+260.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 25037 46 0 0 25 0 11 0 487559351 861872128 23654 4294967295 134512640 134569956 3221224400 3221214172 1131624320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23654 13073 16 0 210402 0
vsize: 841672
[startup+270.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 26021 46 0 0 25 0 11 0 487559351 861872128 23709 4294967295 134512640 134569956 3221224400 3221214768 1131342864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23709 13073 16 0 210402 0
vsize: 841672
[startup+280.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 27007 46 0 0 25 0 11 0 487559351 861872128 23765 4294967295 134512640 134569956 3221224400 3221214848 1131185280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23765 13073 16 0 210402 0
vsize: 841672
[startup+290.008 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 27992 46 0 0 25 0 11 0 487559351 861872128 23800 4294967295 134512640 134569956 3221224400 3221214848 1131185506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23800 13073 16 0 210402 0
vsize: 841672
[startup+300.009 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 28978 46 0 0 25 0 11 0 487559351 861872128 23837 4294967295 134512640 134569956 3221224400 3221214312 1131625041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23837 13073 16 0 210402 0
vsize: 841672
[startup+310.008 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 29961 46 0 0 25 0 11 0 487559351 861872128 23876 4294967295 134512640 134569956 3221224400 3221214320 1131625016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23876 13073 16 0 210402 0
vsize: 841672
[startup+320.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 30946 46 0 0 25 0 11 0 487559351 861872128 23921 4294967295 134512640 134569956 3221224400 3221214496 1131422308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23921 13073 16 0 210402 0
vsize: 841672
[startup+330.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 31930 46 0 0 25 0 11 0 487559351 861872128 23962 4294967295 134512640 134569956 3221224400 3221214704 1131486601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23962 13073 16 0 210402 0
vsize: 841672
[startup+340.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 32915 46 0 0 25 0 11 0 487559351 861872128 23989 4294967295 134512640 134569956 3221224400 3221214800 1131203077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 23989 13073 16 0 210402 0
vsize: 841672
[startup+350.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 33902 46 0 0 25 0 11 0 487559351 861872128 24029 4294967295 134512640 134569956 3221224400 3221214896 1131577436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24029 13073 16 0 210402 0
vsize: 841672
[startup+360.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 34884 46 0 0 25 0 11 0 487559351 861872128 24094 4294967295 134512640 134569956 3221224400 3221213848 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24094 13073 16 0 210402 0
vsize: 841672
[startup+370.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 35868 46 0 0 25 0 11 0 487559351 861872128 24133 4294967295 134512640 134569956 3221224400 3221214608 1131422750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24133 13073 16 0 210402 0
vsize: 841672
[startup+380.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 36857 46 0 0 25 0 11 0 487559351 861872128 24158 4294967295 134512640 134569956 3221224400 3221214400 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24158 13073 16 0 210402 0
vsize: 841672
[startup+390.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 37846 46 0 0 25 0 11 0 487559351 861872128 24198 4294967295 134512640 134569956 3221224400 3221214580 1079721460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24198 13073 16 0 210402 0
vsize: 841672
[startup+400.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 38835 47 0 0 25 0 11 0 487559351 861872128 24225 4294967295 134512640 134569956 3221224400 3221214600 1131515194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 24225 13073 16 0 210402 0
vsize: 841672
[startup+410.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 39821 47 0 0 25 0 11 0 487559351 861872128 24271 4294967295 134512640 134569956 3221224400 3221214528 1131534696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24271 13073 16 0 210402 0
vsize: 841672
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 40809 47 0 0 25 0 11 0 487559351 861872128 24276 4294967295 134512640 134569956 3221224400 3221214872 1131265771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24276 13073 16 0 210402 0
vsize: 841672
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 41798 47 0 0 25 0 11 0 487559351 861872128 24318 4294967295 134512640 134569956 3221224400 3221214456 1131694374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24318 13073 16 0 210402 0
vsize: 841672
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 42785 47 0 0 25 0 11 0 487559351 861872128 24379 4294967295 134512640 134569956 3221224400 3221214608 1131423090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24379 13073 16 0 210402 0
vsize: 841672
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 43773 48 0 0 25 0 11 0 487559351 861872128 24417 4294967295 134512640 134569956 3221224400 3221214896 1131311841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24417 13073 16 0 210402 0
vsize: 841672
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 44760 48 0 0 25 0 11 0 487559351 861872128 24450 4294967295 134512640 134569956 3221224400 3221214800 1131203153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24450 13073 16 0 210402 0
vsize: 841672
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 45746 48 0 0 25 0 11 0 487559351 861872128 24476 4294967295 134512640 134569956 3221224400 3221214704 1131484313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24476 13073 16 0 210402 0
vsize: 841672
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 46732 49 0 0 25 0 11 0 487559351 861872128 24502 4294967295 134512640 134569956 3221224400 3221214624 1131337378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24502 13073 16 0 210402 0
vsize: 841672
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 47718 49 0 0 25 0 11 0 487559351 861872128 24552 4294967295 134512640 134569956 3221224400 3221214648 1131696928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24552 13073 16 0 210402 0
vsize: 841672
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 48699 50 0 0 25 0 11 0 487559351 861872128 24580 4294967295 134512640 134569956 3221224400 3221214800 1131203831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24580 13073 16 0 210402 0
vsize: 841672
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 49682 50 0 0 25 0 11 0 487559351 861872128 24609 4294967295 134512640 134569956 3221224400 3221214272 1131624980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24609 13073 16 0 210402 0
vsize: 841672
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 50666 50 0 0 25 0 11 0 487559351 861872128 24661 4294967295 134512640 134569956 3221224400 3221214552 1131527012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24661 13073 16 0 210402 0
vsize: 841672
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 51647 51 0 0 24 0 11 0 487559351 861872128 24722 4294967295 134512640 134569956 3221224400 3221214608 1131422482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24722 13073 16 0 210402 0
vsize: 841672
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 52635 51 0 0 25 0 11 0 487559351 861872128 24760 4294967295 134512640 134569956 3221224400 3221214800 1131203249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24760 13073 16 0 210402 0
vsize: 841672
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 53620 51 0 0 25 0 11 0 487559351 861872128 24819 4294967295 134512640 134569956 3221224400 3221214848 1131185312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24819 13073 16 0 210402 0
vsize: 841672
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 54609 51 0 0 25 0 11 0 487559351 861872128 24848 4294967295 134512640 134569956 3221224400 3221214608 1131421933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24848 13073 16 0 210402 0
vsize: 841672
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 55595 51 0 0 24 0 11 0 487559351 861872128 24901 4294967295 134512640 134569956 3221224400 3221214576 1131630391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24901 13073 16 0 210402 0
vsize: 841672
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 56582 52 0 0 24 0 11 0 487559351 861872128 24950 4294967295 134512640 134569956 3221224400 3221214800 1131203070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24950 13073 16 0 210402 0
vsize: 841672
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 57571 52 0 0 25 0 11 0 487559351 861872128 24983 4294967295 134512640 134569956 3221224400 3221214800 1131203189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 24983 13073 16 0 210402 0
vsize: 841672
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 58558 52 0 0 25 0 11 0 487559351 861872128 25019 4294967295 134512640 134569956 3221224400 3221214608 1131423569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25019 13073 16 0 210402 0
vsize: 841672
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 59548 53 0 0 25 0 11 0 487559351 861872128 25047 4294967295 134512640 134569956 3221224400 3221214528 1131535306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25047 13073 16 0 210402 0
vsize: 841672
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 60538 53 0 0 25 0 11 0 487559351 861872128 25084 4294967295 134512640 134569956 3221224400 3221214528 1131534993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 25084 13073 16 0 210402 0
vsize: 841672
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 61528 53 0 0 25 0 11 0 487559351 861872128 25105 4294967295 134512640 134569956 3221224400 3221214528 1131534678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25105 13073 16 0 210402 0
vsize: 841672
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 62518 53 0 0 25 0 11 0 487559351 861872128 25145 4294967295 134512640 134569956 3221224400 3221214524 1079721528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25145 13073 16 0 210402 0
vsize: 841672
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 63505 54 0 0 25 0 11 0 487559351 861872128 25177 4294967295 134512640 134569956 3221224400 3221214800 1131202636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25177 13073 16 0 210402 0
vsize: 841672
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 64495 54 0 0 25 0 11 0 487559351 861872128 25213 4294967295 134512640 134569956 3221224400 3221213976 1131693456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25213 13073 16 0 210402 0
vsize: 841672
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 65481 54 0 0 25 0 11 0 487559351 861872128 25240 4294967295 134512640 134569956 3221224400 3221214848 1131185367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25240 13073 16 0 210402 0
vsize: 841672
[startup+680.028 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 66465 55 0 0 25 0 11 0 487559351 861872128 25263 4294967295 134512640 134569956 3221224400 3221214800 1131203017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25263 13073 16 0 210402 0
vsize: 841672
[startup+690.028 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 67449 55 0 0 25 0 11 0 487559351 861872128 25294 4294967295 134512640 134569956 3221224400 3221214256 1131696004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25294 13073 16 0 210402 0
vsize: 841672
[startup+700.029 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 68432 55 0 0 25 0 11 0 487559351 861872128 25321 4294967295 134512640 134569956 3221224400 3221214800 1131202647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25321 13073 16 0 210402 0
vsize: 841672
[startup+710.03 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 69414 56 0 0 25 0 11 0 487559351 861872128 25342 4294967295 134512640 134569956 3221224400 3221214800 1131203017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25342 13073 16 0 210402 0
vsize: 841672
[startup+720.03 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 70396 56 0 0 25 0 11 0 487559351 861872128 25368 4294967295 134512640 134569956 3221224400 3221214808 1131391096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25368 13073 16 0 210402 0
vsize: 841672
[startup+730.03 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 71382 57 0 0 25 0 11 0 487559351 861872128 25444 4294967295 134512640 134569956 3221224400 3221214608 1131423228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25444 13073 16 0 210402 0
vsize: 841672
[startup+740.031 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 72366 57 0 0 25 0 11 0 487559351 861872128 25499 4294967295 134512640 134569956 3221224400 3221214800 1131202972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25499 13073 16 0 210402 0
vsize: 841672
[startup+750.031 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 73350 58 0 0 25 0 11 0 487559351 861872128 25541 4294967295 134512640 134569956 3221224400 3221214168 1131697076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25541 13073 16 0 210402 0
vsize: 841672
[startup+760.032 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 74334 58 0 0 25 0 11 0 487559351 861872128 25581 4294967295 134512640 134569956 3221224400 3221214448 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25581 13073 16 0 210402 0
vsize: 841672
[startup+770.032 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 75318 58 0 0 25 0 11 0 487559351 861872128 25626 4294967295 134512640 134569956 3221224400 3221214460 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25626 13073 16 0 210402 0
vsize: 841672
[startup+780.032 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 76305 59 0 0 25 0 11 0 487559351 861872128 25680 4294967295 134512640 134569956 3221224400 3221214448 1131535379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25680 13073 16 0 210402 0
vsize: 841672
[startup+790.032 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 77292 59 0 0 25 0 11 0 487559351 861872128 25720 4294967295 134512640 134569956 3221224400 3221214688 1131333890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 25720 13073 16 0 210402 0
vsize: 841672
[startup+800.033 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 78279 59 0 0 25 0 11 0 487559351 861872128 25760 4294967295 134512640 134569956 3221224400 3221214800 1131203245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25760 13073 16 0 210402 0
vsize: 841672
[startup+810.033 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 79266 59 0 0 25 0 11 0 487559351 861872128 25789 4294967295 134512640 134569956 3221224400 3221214648 1131695465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25789 13073 16 0 210402 0
vsize: 841672
[startup+820.033 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 465
Raw data (stat): 455 (java) S 454 25347 25346 0 -1 0 18081 0 1 0 80254 60 0 0 25 0 11 0 487559351 861872128 25825 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25825 13073 16 0 210402 0
vsize: 841672
[startup+830.034 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 81244 60 0 0 25 0 11 0 487559351 861872128 25893 4294967295 134512640 134569956 3221224400 3221214584 1131635617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25893 13073 16 0 210402 0
vsize: 841672
[startup+840.034 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 82233 60 0 0 25 0 11 0 487559351 861872128 25931 4294967295 134512640 134569956 3221224400 3221214032 1131625047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25931 13073 16 0 210402 0
vsize: 841672
[startup+850.035 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 83224 61 0 0 25 0 11 0 487559351 861872128 25952 4294967295 134512640 134569956 3221224400 3221214032 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25952 13073 16 0 210402 0
vsize: 841672
[startup+860.036 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 84208 61 0 0 25 0 11 0 487559351 861872128 26024 4294967295 134512640 134569956 3221224400 3221214800 1131203017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26024 13073 16 0 210402 0
vsize: 841672
[startup+870.036 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 85192 61 0 0 25 0 11 0 487559351 861872128 26069 4294967295 134512640 134569956 3221224400 3221214688 1131334140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26069 13073 16 0 210402 0
vsize: 841672
[startup+880.037 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 86173 61 0 0 25 0 11 0 487559351 861872128 26102 4294967295 134512640 134569956 3221224400 3221214736 1131358723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26102 13073 16 0 210402 0
vsize: 841672
[startup+890.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 87157 62 0 0 25 0 11 0 487559351 861872128 26124 4294967295 134512640 134569956 3221224400 3221213980 1131625040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26124 13073 16 0 210402 0
vsize: 841672
[startup+900.038 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 88142 62 0 0 25 0 11 0 487559351 861872128 26144 4294967295 134512640 134569956 3221224400 3221214608 1131423308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26144 13073 16 0 210402 0
vsize: 841672
[startup+910.038 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 89126 62 0 0 25 0 11 0 487559351 861872128 26169 4294967295 134512640 134569956 3221224400 3221214216 1131627943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26169 13073 16 0 210402 0
vsize: 841672
[startup+920.038 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 90110 62 0 0 25 0 11 0 487559351 861872128 26211 4294967295 134512640 134569956 3221224400 3221214800 1131202712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26211 13073 16 0 210402 0
vsize: 841672
[startup+930.038 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) S 454 25347 25346 0 -1 0 18081 0 1 0 91091 63 0 0 25 0 11 0 487559351 861872128 26257 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26257 13073 16 0 210402 0
vsize: 841672
[startup+940.039 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 92074 63 0 0 25 0 11 0 487559351 861872128 26287 4294967295 134512640 134569956 3221224400 3221214032 1085679359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26287 13073 16 0 210402 0
vsize: 841672
[startup+950.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 93054 63 0 0 25 0 11 0 487559351 861872128 26335 4294967295 134512640 134569956 3221224400 3221214896 1130912672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26335 13073 16 0 210402 0
vsize: 841672
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 94035 63 0 0 25 0 11 0 487559351 861872128 26369 4294967295 134512640 134569956 3221224400 3221214800 1131203543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26369 13073 16 0 210402 0
vsize: 841672
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 95018 64 0 0 25 0 11 0 487559351 861872128 26389 4294967295 134512640 134569956 3221224400 3221214800 1131202714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26389 13073 16 0 210402 0
vsize: 841672
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 95998 64 0 0 25 0 11 0 487559351 861872128 26423 4294967295 134512640 134569956 3221224400 3221214848 1131185301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26423 13073 16 0 210402 0
vsize: 841672
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 96977 64 0 0 25 0 11 0 487559351 861872128 26501 4294967295 134512640 134569956 3221224400 3221214800 1131203547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26501 13073 16 0 210402 0
vsize: 841672
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 97961 65 0 0 25 0 11 0 487559351 861872128 26532 4294967295 134512640 134569956 3221224400 3221214168 1131694336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26532 13073 16 0 210402 0
vsize: 841672
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 98944 65 0 0 25 0 11 0 487559351 861872128 26566 4294967295 134512640 134569956 3221224400 3221214800 1131202654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26566 13073 16 0 210402 0
vsize: 841672
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 99922 65 0 0 25 0 11 0 487559351 861872128 26603 4294967295 134512640 134569956 3221224400 3221214800 1131202625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26603 13073 16 0 210402 0
vsize: 841672
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 3/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 100906 65 0 0 25 0 11 0 487559351 861872128 26662 4294967295 134512640 134569956 3221224400 3221214792 1131228964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26662 13073 16 0 210402 0
vsize: 841672
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 101889 66 0 0 25 0 11 0 487559351 861872128 26693 4294967295 134512640 134569956 3221224400 3221214400 1080217222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26693 13073 16 0 210402 0
vsize: 841672
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 102873 66 0 0 25 0 11 0 487559351 861872128 26730 4294967295 134512640 134569956 3221224400 3221214608 1131423308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26730 13073 16 0 210402 0
vsize: 841672
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 103860 66 0 0 25 0 11 0 487559351 861872128 26758 4294967295 134512640 134569956 3221224400 3221214608 1131423067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26758 13073 16 0 210402 0
vsize: 841672
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 104847 66 0 0 25 0 11 0 487559351 861872128 26785 4294967295 134512640 134569956 3221224400 3221214552 1131526948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26785 13073 16 0 210402 0
vsize: 841672
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 105831 66 0 0 25 0 11 0 487559351 861872128 26901 4294967295 134512640 134569956 3221224400 3221214512 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26901 13073 16 0 210402 0
vsize: 841672
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 106811 67 0 0 25 0 11 0 487559351 861872128 26959 4294967295 134512640 134569956 3221224400 3221214896 1131311862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26959 13073 16 0 210402 0
vsize: 841672
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 107792 67 0 0 25 0 11 0 487559351 861872128 26999 4294967295 134512640 134569956 3221224400 3221214800 1131203249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26999 13073 16 0 210402 0
vsize: 841672
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 108776 68 0 0 25 0 11 0 487559351 861872128 27031 4294967295 134512640 134569956 3221224400 3221214528 1131535190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27031 13073 16 0 210402 0
vsize: 841672
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 109761 68 0 0 25 0 11 0 487559351 861872128 27072 4294967295 134512640 134569956 3221224400 3221214360 1131693187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27072 13073 16 0 210402 0
vsize: 841672
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 110746 68 0 0 25 0 11 0 487559351 861872128 27093 4294967295 134512640 134569956 3221224400 3221214168 1131694406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27093 13073 16 0 210402 0
vsize: 841672
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 111730 69 0 0 25 0 11 0 487559351 861872128 27153 4294967295 134512640 134569956 3221224400 3221214600 1131625041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27153 13073 16 0 210402 0
vsize: 841672
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 112716 69 0 0 25 0 11 0 487559351 861872128 27176 4294967295 134512640 134569956 3221224400 3221214800 1131203134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27176 13073 16 0 210402 0
vsize: 841672
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 113701 69 0 0 25 0 11 0 487559351 861872128 27241 4294967295 134512640 134569956 3221224400 3221214688 1131333890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27241 13073 16 0 210402 0
vsize: 841672
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 114687 70 0 0 25 0 11 0 487559351 861872128 27312 4294967295 134512640 134569956 3221224400 3221214800 1131203081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27312 13073 16 0 210402 0
vsize: 841672
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 115671 70 0 0 25 0 11 0 487559351 861872128 27347 4294967295 134512640 134569956 3221224400 3221214308 1131625040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27347 13073 16 0 210402 0
vsize: 841672
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 116655 70 0 0 24 0 11 0 487559351 861872128 27388 4294967295 134512640 134569956 3221224400 3221214664 1131602451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27388 13073 16 0 210402 0
vsize: 841672
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 117641 71 0 0 25 0 11 0 487559351 861872128 27433 4294967295 134512640 134569956 3221224400 3221214600 1131515079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27433 13073 16 0 210402 0
vsize: 841672
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 118628 71 0 0 25 0 11 0 487559351 861872128 27463 4294967295 134512640 134569956 3221224400 3221214896 1131311045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27463 13073 16 0 210402 0
vsize: 841672
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 119615 71 0 0 25 0 11 0 487559351 861872128 27487 4294967295 134512640 134569956 3221224400 3221214896 1131311064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27487 13073 16 0 210402 0
vsize: 841672
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 465
Raw data (stat): 455 (java) R 454 25347 25346 0 -1 0 18081 0 1 0 120603 71 0 0 25 0 11 0 487559351 861872128 27524 4294967295 134512640 134569956 3221224400 3221214608 1131423595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27524 13073 16 0 210402 0
vsize: 841672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 467
Raw data (stat): 455 (java) Z 454 25347 25346 0 -1 1036 18081 16070 1 4 120608 76 3631 46 25 0 1 0 487559351 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): 1230.16
CPU time (s): 1243.63
CPU user time (s): 1242.39
CPU system time (s): 1.23481
CPU usage (%): 101.095
Max. virtual memory (Kb): 842696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####