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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb
MD5SUM	8d3c68301f62da0e55b9c337557ad45c
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	930
Biggest coefficient in the objective function	268435456000000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	2701523689249770
Number of bits of the sum of numbers in the objective function	52
Biggest number in a constraint	7098668259737600
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	57387730531810471
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.317951
Number of variables	6750
Total number of constraints	117
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	117
Minimum length of a constraint	30
Maximum length of a constraint	1110
Trace number 22703

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-22 03:33:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11371 boxname=wulflinc28 idbench=875 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8d3c68301f62da0e55b9c337557ad45c  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-share1b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-share1b.opb
IDLAUNCH: 11371
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        907972 kB
Buffers:         13196 kB
Cached:          90640 kB
SwapCached:        952 kB
Active:          14004 kB
Inactive:        91832 kB
HighTotal:      131008 kB
HighFree:       113372 kB
LowTotal:       903652 kB
LowFree:        794600 kB
SwapTotal:     2097640 kB
SwapFree:      2095784 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4792 kB
Slab:            15184 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:54:10 (client local time) WITH STATUS 143 IN 1226.14 SECONDS
stats: 11371 7 1226.14 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-share1b.opb
c reading problem 
c [nbvar=6750]
c [nbconstr=117]
c time 19.891
c #vars     6750
c #clauses  207
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.80 0.94 0.97 2/54 5240
Raw data (stat): 5240 (runsolver) R 5239 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550518778 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.0003 s]
Raw data (loadavg): 0.83 0.94 0.97 2/63 5249
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17919 0 82 0 491 53 0 0 25 0 10 0 550518778 856805376 20220 4294967295 134512640 134569956 3221224400 3221214624 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 20220 13073 16 0 209165 0
vsize: 836724
[startup+20.0046 s]
Raw data (loadavg): 0.93 0.96 0.97 2/63 5249
Raw data (stat): 5240 (java) S 5239 10614 10613 0 -1 0 17919 0 82 0 1362 53 0 0 25 0 10 0 550518778 856084480 21212 4294967295 134512640 134569956 3221224400 3221213752 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209005 21212 13073 16 0 208989 0
vsize: 836020
[startup+30.0056 s]
Raw data (loadavg): 1.18 1.01 0.99 3/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 2200 54 0 0 25 0 11 0 550518778 859922432 22798 4294967295 134512640 134569956 3221224400 3221214736 1131446820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 22798 13073 16 0 209926 0
vsize: 839768
[startup+40.0053 s]
Raw data (loadavg): 1.30 1.04 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 3162 54 0 0 25 0 11 0 550518778 858476544 22468 4294967295 134512640 134569956 3221224400 3221214528 1131521753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 22468 13073 16 0 209573 0
vsize: 838356
[startup+50.0063 s]
Raw data (loadavg): 1.26 1.04 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 4143 54 0 0 25 0 11 0 550518778 858476544 22567 4294967295 134512640 134569956 3221224400 3221214640 1131481875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22567 13073 16 0 209573 0
vsize: 838356
[startup+60.0065 s]
Raw data (loadavg): 1.22 1.04 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 5124 55 0 0 25 0 11 0 550518778 858476544 22715 4294967295 134512640 134569956 3221224400 3221214336 1131521474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 22715 13073 16 0 209573 0
vsize: 838356
[startup+70.0064 s]
Raw data (loadavg): 1.18 1.04 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 6109 55 0 0 25 0 11 0 550518778 858476544 22715 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22715 13073 16 0 209573 0
vsize: 838356
[startup+80.0075 s]
Raw data (loadavg): 1.15 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 7101 55 0 0 25 0 11 0 550518778 858476544 22715 4294967295 134512640 134569956 3221224400 3221214544 1079721461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22715 13073 16 0 209573 0
vsize: 838356
[startup+90.0076 s]
Raw data (loadavg): 1.13 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 8101 56 0 0 25 0 11 0 550518778 858476544 22715 4294967295 134512640 134569956 3221224400 3221214640 1131481827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22715 13073 16 0 209573 0
vsize: 838356
[startup+100.008 s]
Raw data (loadavg): 1.11 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 9093 56 0 0 25 0 11 0 550518778 858476544 22715 4294967295 134512640 134569956 3221224400 3221214528 1131521515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22715 13073 16 0 209573 0
vsize: 838356
[startup+110.01 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 10077 56 0 0 25 0 11 0 550518778 858476544 22728 4294967295 134512640 134569956 3221224400 3221214528 1131521330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22728 13073 16 0 209573 0
vsize: 838356
[startup+120.01 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 11062 56 0 0 25 0 11 0 550518778 858476544 22921 4294967295 134512640 134569956 3221224400 3221214584 1131505570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 22921 13073 16 0 209573 0
vsize: 838356
[startup+130.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 12050 57 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214560 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+140.011 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 13047 57 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214528 1131521515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+150.012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 14045 57 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214528 1131521508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+160.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 15041 57 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214528 1131521436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+170.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 16034 58 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214680 1131376270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+180.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 17030 58 0 0 24 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214528 1131521219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+190.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 18028 58 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214528 1131522094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+200.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 19023 58 0 0 25 0 11 0 550518778 858476544 23324 4294967295 134512640 134569956 3221224400 3221214608 1131419245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23324 13073 16 0 209573 0
vsize: 838356
[startup+210.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 20020 59 0 0 25 0 11 0 550518778 858476544 23333 4294967295 134512640 134569956 3221224400 3221214408 1131506809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23333 13073 16 0 209573 0
vsize: 838356
[startup+220.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 21019 59 0 0 25 0 11 0 550518778 858476544 23333 4294967295 134512640 134569956 3221224400 3221214472 1131522076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23333 13073 16 0 209573 0
vsize: 838356
[startup+230.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 22018 59 0 0 25 0 11 0 550518778 858476544 23362 4294967295 134512640 134569956 3221224400 3221214420 1080217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23362 13073 16 0 209573 0
vsize: 838356
[startup+240.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 23015 59 0 0 25 0 11 0 550518778 858476544 23395 4294967295 134512640 134569956 3221224400 3221214528 1131521354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23395 13073 16 0 209573 0
vsize: 838356
[startup+250.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 24012 60 0 0 25 0 11 0 550518778 858476544 23441 4294967295 134512640 134569956 3221224400 3221214608 1131421016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23441 13073 16 0 209573 0
vsize: 838356
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 25009 60 0 0 25 0 11 0 550518778 858476544 23445 4294967295 134512640 134569956 3221224400 3221214608 1131419245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23445 13073 16 0 209573 0
vsize: 838356
[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 26006 60 0 0 25 0 11 0 550518778 858476544 23446 4294967295 134512640 134569956 3221224400 3221214528 1131521330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23446 13073 16 0 209573 0
vsize: 838356
[startup+280.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 27004 60 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214608 1131420835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 28002 61 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214416 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+300.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 28999 61 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214528 1131521725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+310.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 29996 61 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214528 1131521543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+320.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 30995 62 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214448 1131494644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+330.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 31994 62 0 0 25 0 11 0 550518778 858476544 23523 4294967295 134512640 134569956 3221224400 3221214424 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23523 13073 16 0 209573 0
vsize: 838356
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 32991 62 0 0 25 0 11 0 550518778 858476544 23575 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23575 13073 16 0 209573 0
vsize: 838356
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 33989 62 0 0 25 0 11 0 550518778 858476544 23575 4294967295 134512640 134569956 3221224400 3221214608 1131420620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23575 13073 16 0 209573 0
vsize: 838356
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 34987 62 0 0 25 0 11 0 550518778 858476544 23593 4294967295 134512640 134569956 3221224400 3221214608 1131420606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23593 13073 16 0 209573 0
vsize: 838356
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 35985 62 0 0 25 0 11 0 550518778 858476544 23593 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23593 13073 16 0 209573 0
vsize: 838356
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 36983 63 0 0 25 0 11 0 550518778 858476544 23593 4294967295 134512640 134569956 3221224400 3221214528 1131521553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23593 13073 16 0 209573 0
vsize: 838356
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 37980 63 0 0 25 0 11 0 550518778 858476544 23604 4294967295 134512640 134569956 3221224400 3221214576 1131499415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23604 13073 16 0 209573 0
vsize: 838356
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 38977 64 0 0 25 0 11 0 550518778 858476544 23604 4294967295 134512640 134569956 3221224400 3221214528 1131521678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23604 13073 16 0 209573 0
vsize: 838356
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 39975 64 0 0 25 0 11 0 550518778 858476544 23604 4294967295 134512640 134569956 3221224400 3221214528 1131521273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23604 13073 16 0 209573 0
vsize: 838356
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 40973 64 0 0 25 0 11 0 550518778 858476544 23635 4294967295 134512640 134569956 3221224400 3221214608 1131419633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23635 13073 16 0 209573 0
vsize: 838356
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 41971 64 0 0 25 0 11 0 550518778 858476544 23635 4294967295 134512640 134569956 3221224400 3221214528 1131521165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23635 13073 16 0 209573 0
vsize: 838356
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 42968 65 0 0 25 0 11 0 550518778 858476544 23670 4294967295 134512640 134569956 3221224400 3221214528 1131521587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23670 13073 16 0 209573 0
vsize: 838356
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 43967 65 0 0 25 0 11 0 550518778 858476544 23671 4294967295 134512640 134569956 3221224400 3221214560 1131509850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23671 13073 16 0 209573 0
vsize: 838356
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 44965 65 0 0 25 0 11 0 550518778 858476544 23671 4294967295 134512640 134569956 3221224400 3221214500 1080216948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23671 13073 16 0 209573 0
vsize: 838356
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 45963 65 0 0 25 0 11 0 550518778 858476544 23676 4294967295 134512640 134569956 3221224400 3221214608 1131420888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23676 13073 16 0 209573 0
vsize: 838356
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 46961 66 0 0 25 0 11 0 550518778 858476544 23678 4294967295 134512640 134569956 3221224400 3221214528 1131521247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23678 13073 16 0 209573 0
vsize: 838356
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 47959 66 0 0 25 0 11 0 550518778 858476544 23678 4294967295 134512640 134569956 3221224400 3221214608 1131420393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23678 13073 16 0 209573 0
vsize: 838356
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 48956 67 0 0 24 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214528 1131521777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 49956 67 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214488 1131225310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 50955 67 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214640 1131481885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 51954 67 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214528 1131521802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 52952 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214640 1131481813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 53952 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214448 1131494530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 54952 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214640 1131481813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 55950 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214584 1131505552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 56947 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214576 1131499415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 57945 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214336 1131522021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 58944 68 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214408 1131506612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 59944 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214448 1131478903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 60944 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214448 1131494540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 61944 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214680 1131376270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 62941 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214528 1131521499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 63940 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214408 1131506660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 64941 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214408 1131506793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 65940 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214472 1131522042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 66939 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214640 1131481977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 67939 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214640 1131481864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 68939 69 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 69936 70 0 0 25 0 11 0 550518778 858476544 23680 4294967295 134512640 134569956 3221224400 3221214608 1131419245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23680 13073 16 0 209573 0
vsize: 838356
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 70932 70 0 0 25 0 11 0 550518778 858476544 23711 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 23711 13073 16 0 209573 0
vsize: 838356
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 71930 70 0 0 25 0 11 0 550518778 858476544 23711 4294967295 134512640 134569956 3221224400 3221214528 1131521207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23711 13073 16 0 209573 0
vsize: 838356
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 72926 70 0 0 25 0 11 0 550518778 858476544 23714 4294967295 134512640 134569956 3221224400 3221214528 1131521704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23714 13073 16 0 209573 0
vsize: 838356
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 73921 71 0 0 25 0 11 0 550518778 858476544 23714 4294967295 134512640 134569956 3221224400 3221214608 1131420207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23714 13073 16 0 209573 0
vsize: 838356
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 74916 71 0 0 25 0 11 0 550518778 858476544 23714 4294967295 134512640 134569956 3221224400 3221214608 1131420391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23714 13073 16 0 209573 0
vsize: 838356
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 75910 71 0 0 25 0 11 0 550518778 858476544 23714 4294967295 134512640 134569956 3221224400 3221214528 1131521338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23714 13073 16 0 209573 0
vsize: 838356
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 76906 72 0 0 25 0 11 0 550518778 858476544 23714 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 23714 13073 16 0 209573 0
vsize: 838356
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 77897 72 0 0 24 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214528 1131521196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 78896 72 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214576 1131499409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 79896 72 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214528 1131521704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 80895 72 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214528 1131521662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 81894 73 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214576 1131509903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 82893 73 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214528 1131521426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 83888 74 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214608 1131420391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 84882 74 0 0 25 0 11 0 550518778 858476544 24837 4294967295 134512640 134569956 3221224400 3221214552 1131494632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 24837 13073 16 0 209573 0
vsize: 838356
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 85878 74 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214432 1080217008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 86876 74 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214368 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 87873 74 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214552 1131494656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 88869 74 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214592 1131420333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 89866 74 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214528 1131521247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 90864 75 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214528 1131521571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 91860 75 0 0 25 0 11 0 550518778 858476544 25646 4294967295 134512640 134569956 3221224400 3221214584 1131505556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 25646 13073 16 0 209573 0
vsize: 838356
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 92853 75 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214560 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 93852 75 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214608 1131421013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 94851 76 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214552 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 95851 76 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214528 1131521345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+980.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 96863 76 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214580 1079721552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+990.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 97859 77 0 0 25 0 11 0 550518778 858476544 26576 4294967295 134512640 134569956 3221224400 3221214528 1131521734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 26576 13073 16 0 209573 0
vsize: 838356
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 98853 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131421016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 99852 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214584 1131505520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 100851 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214408 1131506512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 101851 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214472 1131521987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 102851 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214584 1131505518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 103850 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 104847 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214528 1131521599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 105843 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 106840 77 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 107838 78 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 108835 78 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214584 1131505501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 109833 78 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 110830 78 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 111826 78 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214368 1080217256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 112822 79 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214608 1131420846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 113818 79 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214576 1131509889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 114813 79 0 0 25 0 11 0 550518778 858476544 27386 4294967295 134512640 134569956 3221224400 3221214584 1131505570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 27386 13073 16 0 209573 0
vsize: 838356
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 115809 79 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214608 1131420892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 116808 79 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214584 1131505543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 117807 79 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 118807 79 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 119806 80 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214448 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5250
Raw data (stat): 5240 (java) R 5239 10614 10613 0 -1 0 17997 0 82 0 120805 80 0 0 25 0 11 0 550518778 858476544 28357 4294967295 134512640 134569956 3221224400 3221214472 1131521995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209589 28357 13073 16 0 209573 0
vsize: 838356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5252
Raw data (stat): 5240 (java) Z 5239 10614 10613 0 -1 1036 17997 13336 82 0 120812 85 1682 33 25 0 1 0 550518778 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.33
CPU time (s): 1226.14
CPU user time (s): 1224.96
CPU system time (s): 1.18682
CPU usage (%): 100.476
Max. virtual memory (Kb): 839768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####