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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb
MD5SUM	0633214154e8bab02f648560b9bfa54f
Bench Category	optimization, medium integers (OPTMEDINT)
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	4460
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	233832225
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	233832225
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18697
Number of variables	17260
Total number of constraints	9376
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	9095
Number of constraints which are nor clauses,nor cardinality constraints	233
Minimum length of a constraint	1
Maximum length of a constraint	834
Trace number 14620

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 00:24:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19730 boxname=wulflinc24 idbench=1518 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0633214154e8bab02f648560b9bfa54f  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-neos6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-neos6.opb
IDLAUNCH: 19730
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        670512 kB
Buffers:         31576 kB
Cached:         298396 kB
SwapCached:        508 kB
Active:          61320 kB
Inactive:       270904 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670260 kB
SwapTotal:     2097892 kB
SwapFree:      2096708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5932 kB
Slab:            26332 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:45:08 (client local time) WITH STATUS 143 IN 1248.45 SECONDS
stats: 19730 7 1248.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-neos6.opb
c reading problem 
c [nbvar=17260]
c [nbconstr=9376]
c time 116.041
c #vars     17260
c #clauses  1259
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.92 0.95 0.91 2/54 22291
Raw data (stat): 22291 (runsolver) R 22290 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540734067 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.01 0.97 0.91 3/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 17997 0 1 0 857 41 0 0 24 0 10 0 540734067 860471296 20729 4294967295 134512640 134569956 3221224400 3221214724 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 20729 13073 16 0 210060 0
vsize: 840304
[startup+20.0031 s]
Raw data (loadavg): 1.08 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) S 22290 28546 28545 0 -1 0 18000 0 1 0 1760 41 0 0 25 0 10 0 540734067 862035968 21501 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 21501 13073 16 0 210442 0
vsize: 841832
[startup+30.0045 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 2667 41 0 0 25 0 10 0 540734067 861577216 21790 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210346 21790 13073 16 0 210330 0
vsize: 841384
[startup+40.0046 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 3599 41 0 0 25 0 10 0 540734067 861577216 22013 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210346 22013 13073 16 0 210330 0
vsize: 841384
[startup+50.0054 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 4541 41 0 0 25 0 10 0 540734067 859918336 21783 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 21783 13073 16 0 209925 0
vsize: 839764
[startup+60.0052 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 5491 42 0 0 25 0 10 0 540734067 859918336 21872 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 21872 13073 16 0 209925 0
vsize: 839764
[startup+70.0047 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 6417 44 0 0 25 0 10 0 540734067 859918336 22123 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 22123 13073 16 0 209925 0
vsize: 839764
[startup+80.0055 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 7289 45 0 0 25 0 10 0 540734067 859918336 23602 4294967295 134512640 134569956 3221224400 3221214120 1131416834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23602 13073 16 0 209925 0
vsize: 839764
[startup+90.0059 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 8153 46 0 0 25 0 10 0 540734067 859918336 24581 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 24581 13073 16 0 209925 0
vsize: 839764
[startup+100.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 9020 46 0 0 25 0 10 0 540734067 859918336 25341 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 25341 13073 16 0 209925 0
vsize: 839764
[startup+110.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 22300
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18001 0 1 0 9875 47 0 0 25 0 10 0 540734067 859918336 26263 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 26263 13073 16 0 209925 0
vsize: 839764
[startup+120.007 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) S 22290 28546 28545 0 -1 0 18032 0 1 0 10759 47 0 0 25 0 11 0 540734067 860446720 27424 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 27424 13073 16 0 210054 0
vsize: 840280
[startup+130.008 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 11647 48 0 0 25 0 11 0 540734067 860446720 28320 4294967295 134512640 134569956 3221224400 3221214664 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 28320 13073 16 0 210054 0
vsize: 840280
[startup+140.008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 12542 48 0 0 25 0 11 0 540734067 860446720 28320 4294967295 134512640 134569956 3221224400 3221214664 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 28320 13073 16 0 210054 0
vsize: 840280
[startup+150.009 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 13496 48 0 0 25 0 11 0 540734067 860446720 28972 4294967295 134512640 134569956 3221224400 3221214760 1131468832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 28972 13073 16 0 210054 0
vsize: 840280
[startup+160.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 14471 48 0 0 25 0 11 0 540734067 860446720 29216 4294967295 134512640 134569956 3221224400 3221214664 1131410468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29216 13073 16 0 210054 0
vsize: 840280
[startup+170.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 15462 48 0 0 25 0 11 0 540734067 860446720 29224 4294967295 134512640 134569956 3221224400 3221214664 1131411175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 29224 13073 16 0 210054 0
vsize: 840280
[startup+180.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 16452 49 0 0 25 0 11 0 540734067 860446720 29233 4294967295 134512640 134569956 3221224400 3221214760 1131466704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29233 13073 16 0 210054 0
vsize: 840280
[startup+190.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 17443 49 0 0 25 0 11 0 540734067 860446720 29246 4294967295 134512640 134569956 3221224400 3221214752 1131266147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29246 13073 16 0 210054 0
vsize: 840280
[startup+200.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 18434 49 0 0 25 0 11 0 540734067 860446720 29263 4294967295 134512640 134569956 3221224400 3221214760 1131460578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 29263 13073 16 0 210054 0
vsize: 840280
[startup+210.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 19424 50 0 0 25 0 11 0 540734067 860446720 29280 4294967295 134512640 134569956 3221224400 3221214664 1131410608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 29280 13073 16 0 210054 0
vsize: 840280
[startup+220.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 20414 50 0 0 25 0 11 0 540734067 860446720 29313 4294967295 134512640 134569956 3221224400 3221214760 1131459439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29313 13073 16 0 210054 0
vsize: 840280
[startup+230.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 21405 51 0 0 25 0 11 0 540734067 860446720 29339 4294967295 134512640 134569956 3221224400 3221214664 1131410297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29339 13073 16 0 210054 0
vsize: 840280
[startup+240.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 22394 51 0 0 25 0 11 0 540734067 860446720 29362 4294967295 134512640 134569956 3221224400 3221214712 1131426232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29362 13073 16 0 210054 0
vsize: 840280
[startup+250.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 23383 51 0 0 24 0 11 0 540734067 860446720 29379 4294967295 134512640 134569956 3221224400 3221214664 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29379 13073 16 0 210054 0
vsize: 840280
[startup+260.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 24372 52 0 0 25 0 11 0 540734067 860446720 29398 4294967295 134512640 134569956 3221224400 3221214648 1131415246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 29398 13073 16 0 210054 0
vsize: 840280
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) S 22290 28546 28545 0 -1 0 18032 0 1 0 25358 52 0 0 25 0 11 0 540734067 860446720 29447 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29447 13073 16 0 210054 0
vsize: 840280
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 26344 52 0 0 24 0 11 0 540734067 860446720 29479 4294967295 134512640 134569956 3221224400 3221214760 1131460387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29479 13073 16 0 210054 0
vsize: 840280
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18032 0 1 0 27330 53 0 0 25 0 11 0 540734067 860446720 29512 4294967295 134512640 134569956 3221224400 3221214664 1131411188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210070 29512 13073 16 0 210054 0
vsize: 840280
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 28241 53 0 0 25 0 11 0 540734067 860479488 29591 4294967295 134512640 134569956 3221224400 3221214712 1131426246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29591 13073 16 0 210062 0
vsize: 840312
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 29229 53 0 0 25 0 11 0 540734067 860479488 29623 4294967295 134512640 134569956 3221224400 3221214648 1131415264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29623 13073 16 0 210062 0
vsize: 840312
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 30218 53 0 0 25 0 11 0 540734067 860479488 29650 4294967295 134512640 134569956 3221224400 3221214760 1131465960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29650 13073 16 0 210062 0
vsize: 840312
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 31211 53 0 0 25 0 11 0 540734067 860479488 29675 4294967295 134512640 134569956 3221224400 3221214712 1131426277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29675 13073 16 0 210062 0
vsize: 840312
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 32205 53 0 0 25 0 11 0 540734067 860479488 29706 4294967295 134512640 134569956 3221224400 3221214760 1131466704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29706 13073 16 0 210062 0
vsize: 840312
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 33198 53 0 0 25 0 11 0 540734067 860479488 29724 4294967295 134512640 134569956 3221224400 3221214760 1131459167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29724 13073 16 0 210062 0
vsize: 840312
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 34192 54 0 0 25 0 11 0 540734067 860479488 29748 4294967295 134512640 134569956 3221224400 3221214664 1131410337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29748 13073 16 0 210062 0
vsize: 840312
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 35186 54 0 0 25 0 11 0 540734067 860479488 29778 4294967295 134512640 134569956 3221224400 3221214664 1131410337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29778 13073 16 0 210062 0
vsize: 840312
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18069 0 1 0 36180 54 0 0 25 0 11 0 540734067 860479488 29802 4294967295 134512640 134569956 3221224400 3221214760 1131459439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29802 13073 16 0 210062 0
vsize: 840312
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 37148 54 0 0 25 0 11 0 540734067 860479488 29829 4294967295 134512640 134569956 3221224400 3221214576 1131410196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 29829 13073 16 0 210062 0
vsize: 840312
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 38136 54 0 0 25 0 11 0 540734067 860479488 29838 4294967295 134512640 134569956 3221224400 3221214560 1131415161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 29838 13073 16 0 210062 0
vsize: 840312
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 39126 55 0 0 25 0 11 0 540734067 860479488 29858 4294967295 134512640 134569956 3221224400 3221214672 1131459332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 29858 13073 16 0 210062 0
vsize: 840312
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 40117 55 0 0 25 0 11 0 540734067 860479488 29881 4294967295 134512640 134569956 3221224400 3221214576 1131410526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 29881 13073 16 0 210062 0
vsize: 840312
[startup+430.019 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 41106 55 0 0 25 0 11 0 540734067 860479488 29901 4294967295 134512640 134569956 3221224400 3221214576 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 29901 13073 16 0 210062 0
vsize: 840312
[startup+440.019 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 42095 56 0 0 25 0 11 0 540734067 860479488 29907 4294967295 134512640 134569956 3221224400 3221214712 1131509332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 29907 13073 16 0 210062 0
vsize: 840312
[startup+450.019 s]
Raw data (loadavg): 1.05 1.01 0.93 3/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 43072 56 0 0 25 0 11 0 540734067 860766208 30004 4294967295 134512640 134569956 3221224400 3221214672 1131468832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210148 30004 13073 16 0 210132 0
vsize: 840592
[startup+460.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 44057 57 0 0 25 0 11 0 540734067 860479488 30029 4294967295 134512640 134569956 3221224400 3221214672 1131465960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30029 13073 16 0 210062 0
vsize: 840312
[startup+470.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 45042 57 0 0 25 0 11 0 540734067 860479488 30041 4294967295 134512640 134569956 3221224400 3221214560 1131415271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30041 13073 16 0 210062 0
vsize: 840312
[startup+480.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 46030 57 0 0 25 0 11 0 540734067 860479488 30095 4294967295 134512640 134569956 3221224400 3221214576 1131410591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30095 13073 16 0 210062 0
vsize: 840312
[startup+490.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 47016 58 0 0 24 0 11 0 540734067 860479488 30092 4294967295 134512640 134569956 3221224400 3221214672 1131465960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30092 13073 16 0 210062 0
vsize: 840312
[startup+500.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 48003 58 0 0 25 0 11 0 540734067 860479488 30112 4294967295 134512640 134569956 3221224400 3221214672 1131465960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30112 13073 16 0 210062 0
vsize: 840312
[startup+510.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 48988 58 0 0 25 0 11 0 540734067 860479488 30114 4294967295 134512640 134569956 3221224400 3221214576 1131410365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30114 13073 16 0 210062 0
vsize: 840312
[startup+520.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 49976 58 0 0 25 0 11 0 540734067 860479488 30163 4294967295 134512640 134569956 3221224400 3221214576 1131410523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30163 13073 16 0 210062 0
vsize: 840312
[startup+530.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 50967 59 0 0 25 0 11 0 540734067 860479488 30186 4294967295 134512640 134569956 3221224400 3221214560 1131415281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30186 13073 16 0 210062 0
vsize: 840312
[startup+540.039 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 51956 59 0 0 25 0 11 0 540734067 860479488 30235 4294967295 134512640 134569956 3221224400 3221214672 1131463230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30235 13073 16 0 210062 0
vsize: 840312
[startup+550.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 52947 60 0 0 25 0 11 0 540734067 860479488 30249 4294967295 134512640 134569956 3221224400 3221214608 1131572607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30249 13073 16 0 210062 0
vsize: 840312
[startup+560.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 53932 61 0 0 24 0 11 0 540734067 860479488 30279 4294967295 134512640 134569956 3221224400 3221214576 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30279 13073 16 0 210062 0
vsize: 840312
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 54916 62 0 0 25 0 11 0 540734067 862576640 30966 4294967295 134512640 134569956 3221224400 3221214576 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210590 30966 13073 16 0 210574 0
vsize: 842360
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 55903 62 0 0 25 0 11 0 540734067 861528064 30766 4294967295 134512640 134569956 3221224400 3221214576 1131410399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30766 13073 16 0 210318 0
vsize: 841336
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 56890 62 0 0 25 0 11 0 540734067 861528064 30821 4294967295 134512640 134569956 3221224400 3221214664 1131266162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30821 13073 16 0 210318 0
vsize: 841336
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 57879 63 0 0 25 0 11 0 540734067 861528064 30854 4294967295 134512640 134569956 3221224400 3221214576 1131410422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30854 13073 16 0 210318 0
vsize: 841336
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 58867 63 0 0 25 0 11 0 540734067 861528064 30865 4294967295 134512640 134569956 3221224400 3221214576 1131410326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30865 13073 16 0 210318 0
vsize: 841336
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 59857 63 0 0 25 0 11 0 540734067 861528064 30876 4294967295 134512640 134569956 3221224400 3221214576 1131410326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30876 13073 16 0 210318 0
vsize: 841336
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 60847 64 0 0 25 0 11 0 540734067 861528064 30902 4294967295 134512640 134569956 3221224400 3221214672 1131465960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30902 13073 16 0 210318 0
vsize: 841336
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 61839 64 0 0 25 0 11 0 540734067 861528064 30908 4294967295 134512640 134569956 3221224400 3221214672 1131469228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30908 13073 16 0 210318 0
vsize: 841336
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 62831 65 0 0 25 0 11 0 540734067 861528064 30920 4294967295 134512640 134569956 3221224400 3221214672 1131460578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30920 13073 16 0 210318 0
vsize: 841336
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 63823 65 0 0 25 0 11 0 540734067 861528064 30934 4294967295 134512640 134569956 3221224400 3221214672 1131469352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30934 13073 16 0 210318 0
vsize: 841336
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 64813 66 0 0 25 0 11 0 540734067 861528064 30938 4294967295 134512640 134569956 3221224400 3221214576 1131410549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30938 13073 16 0 210318 0
vsize: 841336
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18070 0 1 0 65804 66 0 0 25 0 11 0 540734067 861528064 30939 4294967295 134512640 134569956 3221224400 3221214768 1131509332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30939 13073 16 0 210318 0
vsize: 841336
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 66792 67 0 0 25 0 11 0 540734067 861528064 30903 4294967295 134512640 134569956 3221224400 3221214768 1131509279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210334 30903 13073 16 0 210318 0
vsize: 841336
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 67786 67 0 0 25 0 11 0 540734067 860479488 30503 4294967295 134512640 134569956 3221224400 3221214768 1131509297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30503 13073 16 0 210062 0
vsize: 840312
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 68772 67 0 0 25 0 11 0 540734067 860479488 30505 4294967295 134512640 134569956 3221224400 3221214736 1131572160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30505 13073 16 0 210062 0
vsize: 840312
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 69765 67 0 0 25 0 11 0 540734067 860479488 30512 4294967295 134512640 134569956 3221224400 3221214768 1131509106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30512 13073 16 0 210062 0
vsize: 840312
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 70757 68 0 0 25 0 11 0 540734067 860479488 30512 4294967295 134512640 134569956 3221224400 3221214728 1131523961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30512 13073 16 0 210062 0
vsize: 840312
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 71749 68 0 0 25 0 11 0 540734067 860479488 30532 4294967295 134512640 134569956 3221224400 3221214688 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30532 13073 16 0 210062 0
vsize: 840312
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 72741 68 0 0 25 0 11 0 540734067 860479488 30537 4294967295 134512640 134569956 3221224400 3221214744 1131507605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30537 13073 16 0 210062 0
vsize: 840312
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 73733 68 0 0 25 0 11 0 540734067 860479488 30537 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30537 13073 16 0 210062 0
vsize: 840312
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 74728 69 0 0 25 0 11 0 540734067 860479488 30538 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30538 13073 16 0 210062 0
vsize: 840312
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 75722 69 0 0 25 0 11 0 540734067 860479488 30542 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30542 13073 16 0 210062 0
vsize: 840312
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 76716 70 0 0 25 0 11 0 540734067 860479488 30543 4294967295 134512640 134569956 3221224400 3221214688 1131268968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30543 13073 16 0 210062 0
vsize: 840312
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 77708 70 0 0 25 0 11 0 540734067 860479488 30553 4294967295 134512640 134569956 3221224400 3221214760 1131709561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30553 13073 16 0 210062 0
vsize: 840312
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 78702 70 0 0 25 0 11 0 540734067 860479488 30568 4294967295 134512640 134569956 3221224400 3221214544 1131416787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30568 13073 16 0 210062 0
vsize: 840312
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 79697 71 0 0 25 0 11 0 540734067 860479488 30589 4294967295 134512640 134569956 3221224400 3221214840 1131509084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30589 13073 16 0 210062 0
vsize: 840312
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 80690 71 0 0 24 0 11 0 540734067 860479488 30606 4294967295 134512640 134569956 3221224400 3221214760 1131709561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30606 13073 16 0 210062 0
vsize: 840312
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 81686 71 0 0 25 0 11 0 540734067 860479488 30617 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30617 13073 16 0 210062 0
vsize: 840312
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 82682 72 0 0 25 0 11 0 540734067 860479488 30629 4294967295 134512640 134569956 3221224400 3221214840 1131509312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30629 13073 16 0 210062 0
vsize: 840312
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 83675 72 0 0 24 0 11 0 540734067 860479488 30654 4294967295 134512640 134569956 3221224400 3221214648 1131410337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30654 13073 16 0 210062 0
vsize: 840312
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 84671 72 0 0 25 0 11 0 540734067 860479488 30669 4294967295 134512640 134569956 3221224400 3221214744 1131465878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30669 13073 16 0 210062 0
vsize: 840312
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 85666 72 0 0 25 0 11 0 540734067 860479488 30692 4294967295 134512640 134569956 3221224400 3221214840 1131509087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30692 13073 16 0 210062 0
vsize: 840312
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 86662 73 0 0 25 0 11 0 540734067 860479488 30694 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30694 13073 16 0 210062 0
vsize: 840312
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 87659 73 0 0 25 0 11 0 540734067 860479488 30696 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30696 13073 16 0 210062 0
vsize: 840312
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 88655 73 0 0 25 0 11 0 540734067 860479488 30699 4294967295 134512640 134569956 3221224400 3221214840 1131509102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30699 13073 16 0 210062 0
vsize: 840312
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 89651 73 0 0 25 0 11 0 540734067 860479488 30702 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30702 13073 16 0 210062 0
vsize: 840312
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 90647 74 0 0 25 0 11 0 540734067 860479488 30706 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30706 13073 16 0 210062 0
vsize: 840312
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 91643 74 0 0 25 0 11 0 540734067 860479488 30709 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30709 13073 16 0 210062 0
vsize: 840312
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 92639 74 0 0 24 0 11 0 540734067 860479488 30718 4294967295 134512640 134569956 3221224400 3221214744 1131466738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30718 13073 16 0 210062 0
vsize: 840312
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 93635 75 0 0 25 0 11 0 540734067 860479488 30723 4294967295 134512640 134569956 3221224400 3221214744 1131465960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30723 13073 16 0 210062 0
vsize: 840312
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 94632 75 0 0 25 0 11 0 540734067 860479488 30729 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30729 13073 16 0 210062 0
vsize: 840312
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 95629 75 0 0 25 0 11 0 540734067 860479488 30738 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30738 13073 16 0 210062 0
vsize: 840312
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 96624 75 0 0 25 0 11 0 540734067 860479488 30759 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30759 13073 16 0 210062 0
vsize: 840312
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 97621 76 0 0 25 0 11 0 540734067 860479488 30767 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30767 13073 16 0 210062 0
vsize: 840312
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 98616 76 0 0 25 0 11 0 540734067 860479488 30789 4294967295 134512640 134569956 3221224400 3221214744 1131469352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30789 13073 16 0 210062 0
vsize: 840312
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 99613 77 0 0 25 0 11 0 540734067 860479488 30809 4294967295 134512640 134569956 3221224400 3221214760 1131709554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30809 13073 16 0 210062 0
vsize: 840312
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 100608 77 0 0 25 0 11 0 540734067 860479488 30835 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30835 13073 16 0 210062 0
vsize: 840312
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 101604 77 0 0 25 0 11 0 540734067 860479488 30838 4294967295 134512640 134569956 3221224400 3221214760 1131709561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30838 13073 16 0 210062 0
vsize: 840312
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 102600 78 0 0 25 0 11 0 540734067 860479488 30844 4294967295 134512640 134569956 3221224400 3221214632 1131415224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30844 13073 16 0 210062 0
vsize: 840312
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 103596 78 0 0 25 0 11 0 540734067 860479488 30851 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30851 13073 16 0 210062 0
vsize: 840312
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 104591 79 0 0 25 0 11 0 540734067 860479488 30860 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30860 13073 16 0 210062 0
vsize: 840312
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 105587 79 0 0 25 0 11 0 540734067 860479488 30863 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30863 13073 16 0 210062 0
vsize: 840312
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 106584 79 0 0 25 0 11 0 540734067 860479488 30868 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30868 13073 16 0 210062 0
vsize: 840312
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 107578 79 0 0 25 0 11 0 540734067 860479488 30876 4294967295 134512640 134569956 3221224400 3221214760 1131709554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30876 13073 16 0 210062 0
vsize: 840312
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 108575 80 0 0 25 0 11 0 540734067 860479488 30885 4294967295 134512640 134569956 3221224400 3221214560 1131614834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30885 13073 16 0 210062 0
vsize: 840312
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 109569 80 0 0 25 0 11 0 540734067 860479488 30918 4294967295 134512640 134569956 3221224400 3221214760 1131709440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30918 13073 16 0 210062 0
vsize: 840312
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 110564 80 0 0 25 0 11 0 540734067 860479488 30926 4294967295 134512640 134569956 3221224400 3221214760 1131709554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30926 13073 16 0 210062 0
vsize: 840312
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 111558 80 0 0 25 0 11 0 540734067 860479488 30943 4294967295 134512640 134569956 3221224400 3221214840 1131509084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210078 30943 13073 16 0 210062 0
vsize: 840312
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 112554 81 0 0 25 0 11 0 540734067 860479488 30960 4294967295 134512640 134569956 3221224400 3221214648 1131728476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30960 13073 16 0 210062 0
vsize: 840312
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 113548 81 0 0 25 0 11 0 540734067 860479488 30995 4294967295 134512640 134569956 3221224400 3221214760 1131709455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 30995 13073 16 0 210062 0
vsize: 840312
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 114544 82 0 0 25 0 11 0 540734067 860479488 31028 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31028 13073 16 0 210062 0
vsize: 840312
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 115539 82 0 0 25 0 11 0 540734067 860479488 31082 4294967295 134512640 134569956 3221224400 3221214760 1131709452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31082 13073 16 0 210062 0
vsize: 840312
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 116536 82 0 0 25 0 11 0 540734067 860479488 31087 4294967295 134512640 134569956 3221224400 3221214840 1131509084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31087 13073 16 0 210062 0
vsize: 840312
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 117528 82 0 0 25 0 11 0 540734067 860479488 31097 4294967295 134512640 134569956 3221224400 3221214644 1131417704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31097 13073 16 0 210062 0
vsize: 840312
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 118523 83 0 0 25 0 11 0 540734067 860479488 31112 4294967295 134512640 134569956 3221224400 3221214744 1131507832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31112 13073 16 0 210062 0
vsize: 840312
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 119518 83 0 0 25 0 11 0 540734067 860479488 31121 4294967295 134512640 134569956 3221224400 3221214744 1131507598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31121 13073 16 0 210062 0
vsize: 840312
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22301
Raw data (stat): 22291 (java) R 22290 28546 28545 0 -1 0 18071 0 1 0 120512 83 0 0 25 0 11 0 540734067 860479488 31123 4294967295 134512640 134569956 3221224400 3221214648 1131410339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210078 31123 13073 16 0 210062 0
vsize: 840312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22303
Raw data (stat): 22291 (java) Z 22290 28546 28545 0 -1 1036 18071 22660 1 0 120513 89 4174 67 25 0 1 0 540734067 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): 1230.17
CPU time (s): 1248.45
CPU user time (s): 1246.88
CPU system time (s): 1.56876
CPU usage (%): 101.486
Max. virtual memory (Kb): 842360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####