PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
MD5SUM	32dd768e34cdc0e1cb04afadbe97060d
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	20
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	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.36179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 18782

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        537428 kB
Buffers:         17336 kB
Cached:         458052 kB
SwapCached:          0 kB
Active:         269900 kB
Inactive:       208060 kB
HighTotal:      131008 kB
HighFree:        10024 kB
LowTotal:       903652 kB
LowFree:        527404 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13768 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:49:01 (client local time) WITH STATUS 143 IN 1246.33 SECONDS
stats: 17507 7 1246.33 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-danoint.opb
c reading problem 
c [nbvar=9304]
c [nbconstr=728]
c time 33.212
c #vars     9304
c #clauses  816
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.83 0.93 0.92 2/54 2612
Raw data (stat): 2612 (runsolver) R 2611 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488306158 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.001 s]
Raw data (loadavg): 1.16 1.00 0.94 2/63 2621
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18013 0 1 0 737 40 0 0 24 0 10 0 488306158 861011968 21252 4294967295 134512640 134569956 3221224400 3221214456 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210208 21252 13073 16 0 210192 0
vsize: 840832
[startup+20.0021 s]
Raw data (loadavg): 1.22 1.01 0.94 2/63 2621
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18013 0 1 0 1622 41 0 0 25 0 10 0 488306158 861011968 22078 4294967295 134512640 134569956 3221224400 3221214688 1131276557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210208 22078 13073 16 0 210192 0
vsize: 840832
[startup+30.0026 s]
Raw data (loadavg): 1.18 1.01 0.94 2/63 2621
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18013 0 1 0 2492 41 0 0 25 0 10 0 488306158 861011968 22338 4294967295 134512640 134569956 3221224400 3221214384 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210208 22338 13073 16 0 210192 0
vsize: 840832
[startup+40.0025 s]
Raw data (loadavg): 1.15 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18042 0 1 0 3352 42 0 0 25 0 11 0 488306158 861540352 24096 4294967295 134512640 134569956 3221224400 3221214776 1131375790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 24096 13073 16 0 210321 0
vsize: 841348
[startup+50.0027 s]
Raw data (loadavg): 1.13 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18042 0 1 0 4238 42 0 0 24 0 11 0 488306158 861540352 24097 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 24097 13073 16 0 210321 0
vsize: 841348
[startup+60.0022 s]
Raw data (loadavg): 1.11 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18081 0 1 0 5052 43 0 0 25 0 11 0 488306158 861540352 24936 4294967295 134512640 134569956 3221224400 3221214664 1131422847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 24936 13073 16 0 210321 0
vsize: 841348
[startup+70.0033 s]
Raw data (loadavg): 1.09 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 5991 43 0 0 24 0 11 0 488306158 862953472 25296 4294967295 134512640 134569956 3221224400 3221214672 1131344695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210682 25296 13073 16 0 210666 0
vsize: 842728
[startup+80.0034 s]
Raw data (loadavg): 1.08 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 6952 43 0 0 24 0 11 0 488306158 862461952 25249 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210562 25249 13073 16 0 210546 0
vsize: 842248
[startup+90.0029 s]
Raw data (loadavg): 1.07 1.01 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 7917 44 0 0 25 0 11 0 488306158 862461952 25291 4294967295 134512640 134569956 3221224400 3221214552 1131545771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210562 25291 13073 16 0 210546 0
vsize: 842248
[startup+100.004 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 8890 44 0 0 25 0 11 0 488306158 861540352 25229 4294967295 134512640 134569956 3221224400 3221214672 1131344628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25229 13073 16 0 210321 0
vsize: 841348
[startup+110.004 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 9874 44 0 0 25 0 11 0 488306158 861540352 25295 4294967295 134512640 134569956 3221224400 3221214672 1131344602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25295 13073 16 0 210321 0
vsize: 841348
[startup+120.005 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 10860 44 0 0 25 0 11 0 488306158 861540352 25327 4294967295 134512640 134569956 3221224400 3221214936 1131370201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25327 13073 16 0 210321 0
vsize: 841348
[startup+130.005 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 11850 44 0 0 25 0 11 0 488306158 861540352 25353 4294967295 134512640 134569956 3221224400 3221214760 1131602813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25353 13073 16 0 210321 0
vsize: 841348
[startup+140.005 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 12837 44 0 0 25 0 11 0 488306158 861540352 25384 4294967295 134512640 134569956 3221224400 3221214672 1131344389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25384 13073 16 0 210321 0
vsize: 841348
[startup+150.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 13810 44 0 0 24 0 11 0 488306158 861540352 25417 4294967295 134512640 134569956 3221224400 3221214776 1131373125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25417 13073 16 0 210321 0
vsize: 841348
[startup+160.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 14788 44 0 0 25 0 11 0 488306158 861540352 25470 4294967295 134512640 134569956 3221224400 3221214672 1131344225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25470 13073 16 0 210321 0
vsize: 841348
[startup+170.007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 15773 45 0 0 25 0 11 0 488306158 861540352 25595 4294967295 134512640 134569956 3221224400 3221214672 1131344602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25595 13073 16 0 210321 0
vsize: 841348
[startup+180.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 16760 45 0 0 25 0 11 0 488306158 861540352 25625 4294967295 134512640 134569956 3221224400 3221214672 1131344293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25625 13073 16 0 210321 0
vsize: 841348
[startup+190.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 17747 45 0 0 25 0 11 0 488306158 861540352 25645 4294967295 134512640 134569956 3221224400 3221214776 1131371729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25645 13073 16 0 210321 0
vsize: 841348
[startup+200.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 18734 45 0 0 25 0 11 0 488306158 861540352 25673 4294967295 134512640 134569956 3221224400 3221214840 1131409104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25673 13073 16 0 210321 0
vsize: 841348
[startup+210.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 19713 45 0 0 25 0 11 0 488306158 861540352 25712 4294967295 134512640 134569956 3221224400 3221214672 1131345184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25712 13073 16 0 210321 0
vsize: 841348
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 20694 46 0 0 25 0 11 0 488306158 861540352 25755 4294967295 134512640 134569956 3221224400 3221214672 1131344335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25755 13073 16 0 210321 0
vsize: 841348
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 21674 46 0 0 24 0 11 0 488306158 861540352 25867 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25867 13073 16 0 210321 0
vsize: 841348
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 22660 46 0 0 25 0 11 0 488306158 861540352 25900 4294967295 134512640 134569956 3221224400 3221214776 1131372872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25900 13073 16 0 210321 0
vsize: 841348
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 23643 46 0 0 25 0 11 0 488306158 861540352 25982 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 25982 13073 16 0 210321 0
vsize: 841348
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 24629 46 0 0 25 0 11 0 488306158 861540352 26022 4294967295 134512640 134569956 3221224400 3221214672 1131344852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26022 13073 16 0 210321 0
vsize: 841348
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 25618 47 0 0 24 0 11 0 488306158 861540352 26052 4294967295 134512640 134569956 3221224400 3221214936 1131370201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26052 13073 16 0 210321 0
vsize: 841348
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 26603 47 0 0 25 0 11 0 488306158 861540352 26076 4294967295 134512640 134569956 3221224400 3221214672 1131344672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26076 13073 16 0 210321 0
vsize: 841348
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 27580 47 0 0 25 0 11 0 488306158 861540352 26104 4294967295 134512640 134569956 3221224400 3221214672 1131344435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26104 13073 16 0 210321 0
vsize: 841348
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 28559 47 0 0 25 0 11 0 488306158 861540352 26135 4294967295 134512640 134569956 3221224400 3221214672 1131345232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26135 13073 16 0 210321 0
vsize: 841348
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 29539 47 0 0 24 0 11 0 488306158 863789056 26797 4294967295 134512640 134569956 3221224400 3221214776 1131373864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210886 26797 13073 16 0 210870 0
vsize: 843544
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 30526 47 0 0 25 0 11 0 488306158 863789056 26819 4294967295 134512640 134569956 3221224400 3221214772 1131345511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210886 26819 13073 16 0 210870 0
vsize: 843544
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 31513 48 0 0 25 0 11 0 488306158 863789056 26876 4294967295 134512640 134569956 3221224400 3221214672 1131344258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210886 26876 13073 16 0 210870 0
vsize: 843544
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 32500 48 0 0 25 0 11 0 488306158 863789056 26900 4294967295 134512640 134569956 3221224400 3221214776 1131372024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210886 26900 13073 16 0 210870 0
vsize: 843544
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 33484 48 0 0 25 0 11 0 488306158 861540352 26400 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26400 13073 16 0 210321 0
vsize: 841348
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 34466 49 0 0 25 0 11 0 488306158 861540352 26435 4294967295 134512640 134569956 3221224400 3221214672 1131344882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26435 13073 16 0 210321 0
vsize: 841348
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 35448 49 0 0 25 0 11 0 488306158 861540352 26522 4294967295 134512640 134569956 3221224400 3221214776 1131375828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26522 13073 16 0 210321 0
vsize: 841348
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 36434 49 0 0 25 0 11 0 488306158 861540352 26593 4294967295 134512640 134569956 3221224400 3221214672 1131344429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26593 13073 16 0 210321 0
vsize: 841348
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 37423 50 0 0 25 0 11 0 488306158 861540352 26625 4294967295 134512640 134569956 3221224400 3221214760 1131602804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26625 13073 16 0 210321 0
vsize: 841348
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 38412 50 0 0 25 0 11 0 488306158 861540352 26658 4294967295 134512640 134569956 3221224400 3221214760 1131602813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26658 13073 16 0 210321 0
vsize: 841348
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 39401 50 0 0 25 0 11 0 488306158 861540352 26701 4294967295 134512640 134569956 3221224400 3221214732 1130885135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26701 13073 16 0 210321 0
vsize: 841348
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 40386 51 0 0 24 0 11 0 488306158 861540352 26740 4294967295 134512640 134569956 3221224400 3221214672 1131344798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26740 13073 16 0 210321 0
vsize: 841348
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 41373 51 0 0 25 0 11 0 488306158 861540352 26768 4294967295 134512640 134569956 3221224400 3221214672 1131344443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26768 13073 16 0 210321 0
vsize: 841348
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 42359 51 0 0 25 0 11 0 488306158 861540352 26798 4294967295 134512640 134569956 3221224400 3221214672 1131344236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26798 13073 16 0 210321 0
vsize: 841348
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 43344 52 0 0 25 0 11 0 488306158 861540352 26830 4294967295 134512640 134569956 3221224400 3221214760 1131602843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 26830 13073 16 0 210321 0
vsize: 841348
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 44329 52 0 0 25 0 11 0 488306158 861540352 26868 4294967295 134512640 134569956 3221224400 3221214672 1131344771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26868 13073 16 0 210321 0
vsize: 841348
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 45312 53 0 0 25 0 11 0 488306158 861540352 26922 4294967295 134512640 134569956 3221224400 3221214808 1131471816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26922 13073 16 0 210321 0
vsize: 841348
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 46289 53 0 0 25 0 11 0 488306158 861540352 26988 4294967295 134512640 134569956 3221224400 3221214664 1131366369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 26988 13073 16 0 210321 0
vsize: 841348
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 47265 55 0 0 25 0 11 0 488306158 861540352 27032 4294967295 134512640 134569956 3221224400 3221214672 1131344602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27032 13073 16 0 210321 0
vsize: 841348
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 48246 55 0 0 25 0 11 0 488306158 861540352 27106 4294967295 134512640 134569956 3221224400 3221214672 1131345132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27106 13073 16 0 210321 0
vsize: 841348
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 49231 55 0 0 24 0 11 0 488306158 861540352 27162 4294967295 134512640 134569956 3221224400 3221214776 1131375717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27162 13073 16 0 210321 0
vsize: 841348
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 50213 55 0 0 25 0 11 0 488306158 861540352 27190 4294967295 134512640 134569956 3221224400 3221214552 1131272270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27190 13073 16 0 210321 0
vsize: 841348
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 51198 55 0 0 25 0 11 0 488306158 861540352 27222 4294967295 134512640 134569956 3221224400 3221214744 1131598409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27222 13073 16 0 210321 0
vsize: 841348
[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 52178 56 0 0 24 0 11 0 488306158 861540352 27273 4294967295 134512640 134569956 3221224400 3221214672 1131344327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27273 13073 16 0 210321 0
vsize: 841348
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 53159 56 0 0 25 0 11 0 488306158 861540352 27339 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27339 13073 16 0 210321 0
vsize: 841348
[startup+560.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 54141 56 0 0 25 0 11 0 488306158 861540352 27389 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27389 13073 16 0 210321 0
vsize: 841348
[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 55124 56 0 0 25 0 11 0 488306158 861540352 27446 4294967295 134512640 134569956 3221224400 3221214672 1131345184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27446 13073 16 0 210321 0
vsize: 841348
[startup+580.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 56106 57 0 0 25 0 11 0 488306158 861540352 27462 4294967295 134512640 134569956 3221224400 3221214672 1131344602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27462 13073 16 0 210321 0
vsize: 841348
[startup+590.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 57094 57 0 0 25 0 11 0 488306158 861540352 27472 4294967295 134512640 134569956 3221224400 3221214760 1131602830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27472 13073 16 0 210321 0
vsize: 841348
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 58084 57 0 0 25 0 11 0 488306158 861540352 27501 4294967295 134512640 134569956 3221224400 3221214760 1131602796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27501 13073 16 0 210321 0
vsize: 841348
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 59056 58 0 0 25 0 11 0 488306158 861540352 27531 4294967295 134512640 134569956 3221224400 3221214760 1131602885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27531 13073 16 0 210321 0
vsize: 841348
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 60042 58 0 0 25 0 11 0 488306158 861540352 27560 4294967295 134512640 134569956 3221224400 3221214760 1131602830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27560 13073 16 0 210321 0
vsize: 841348
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 61024 58 0 0 25 0 11 0 488306158 861540352 27566 4294967295 134512640 134569956 3221224400 3221214760 1131602836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 27566 13073 16 0 210321 0
vsize: 841348
[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 62003 58 0 0 25 0 11 0 488306158 861540352 27572 4294967295 134512640 134569956 3221224400 3221214552 1131272019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27572 13073 16 0 210321 0
vsize: 841348
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 62969 59 0 0 24 0 11 0 488306158 861540352 27589 4294967295 134512640 134569956 3221224400 3221214664 1131366253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210337 27589 13073 16 0 210321 0
vsize: 841348
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 63921 59 0 0 25 0 11 0 488306158 861540352 27592 4294967295 134512640 134569956 3221224400 3221214776 1131375760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 27592 13073 16 0 210321 0
vsize: 841348
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 64877 59 0 0 25 0 11 0 488306158 861540352 27768 4294967295 134512640 134569956 3221224400 3221214760 1131664452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 27768 13073 16 0 210321 0
vsize: 841348
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18083 0 1 0 65849 59 0 0 25 0 11 0 488306158 861540352 27845 4294967295 134512640 134569956 3221224400 3221214552 1131272019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 27845 13073 16 0 210321 0
vsize: 841348
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 66806 59 0 0 25 0 11 0 488306158 861540352 27992 4294967295 134512640 134569956 3221224400 3221214760 1131602800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 27992 13073 16 0 210321 0
vsize: 841348
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 67775 59 0 0 25 0 11 0 488306158 861540352 28119 4294967295 134512640 134569956 3221224400 3221214664 1131510796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28119 13073 16 0 210321 0
vsize: 841348
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 68735 59 0 0 25 0 11 0 488306158 861540352 28267 4294967295 134512640 134569956 3221224400 3221214876 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28267 13073 16 0 210321 0
vsize: 841348
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 69705 59 0 0 25 0 11 0 488306158 861540352 28396 4294967295 134512640 134569956 3221224400 3221214760 1131602817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28396 13073 16 0 210321 0
vsize: 841348
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 70663 59 0 0 25 0 11 0 488306158 861540352 28593 4294967295 134512640 134569956 3221224400 3221214656 1131349093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28593 13073 16 0 210321 0
vsize: 841348
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 71632 59 0 0 25 0 11 0 488306158 861540352 28725 4294967295 134512640 134569956 3221224400 3221214760 1131602843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28725 13073 16 0 210321 0
vsize: 841348
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 72591 59 0 0 25 0 11 0 488306158 861540352 28894 4294967295 134512640 134569956 3221224400 3221214672 1131344221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 28894 13073 16 0 210321 0
vsize: 841348
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 73560 59 0 0 25 0 11 0 488306158 861540352 29021 4294967295 134512640 134569956 3221224400 3221214656 1131422156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29021 13073 16 0 210321 0
vsize: 841348
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 74521 59 0 0 25 0 11 0 488306158 861540352 29191 4294967295 134512640 134569956 3221224400 3221214672 1131345214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29191 13073 16 0 210321 0
vsize: 841348
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 75447 59 0 0 25 0 11 0 488306158 861540352 29282 4294967295 134512640 134569956 3221224400 3221214776 1131372970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29282 13073 16 0 210321 0
vsize: 841348
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 76399 59 0 0 24 0 11 0 488306158 861540352 29370 4294967295 134512640 134569956 3221224400 3221214552 1131271949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29370 13073 16 0 210321 0
vsize: 841348
[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 77369 59 0 0 25 0 11 0 488306158 861540352 29471 4294967295 134512640 134569956 3221224400 3221214760 1131602828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29471 13073 16 0 210321 0
vsize: 841348
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 78330 59 0 0 25 0 11 0 488306158 861540352 29662 4294967295 134512640 134569956 3221224400 3221214776 1131373014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29662 13073 16 0 210321 0
vsize: 841348
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 79293 59 0 0 25 0 11 0 488306158 861540352 29833 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 29833 13073 16 0 210321 0
vsize: 841348
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 80258 59 0 0 25 0 11 0 488306158 861540352 30018 4294967295 134512640 134569956 3221224400 3221214760 1131602796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30018 13073 16 0 210321 0
vsize: 841348
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 81225 60 0 0 25 0 11 0 488306158 861540352 30143 4294967295 134512640 134569956 3221224400 3221214760 1131602804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30143 13073 16 0 210321 0
vsize: 841348
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 82181 60 0 0 25 0 11 0 488306158 861540352 30158 4294967295 134512640 134569956 3221224400 3221214760 1131602843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30158 13073 16 0 210321 0
vsize: 841348
[startup+860.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 83141 60 0 0 25 0 11 0 488306158 861540352 30203 4294967295 134512640 134569956 3221224400 3221214760 1131602813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30203 13073 16 0 210321 0
vsize: 841348
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 84100 60 0 0 25 0 11 0 488306158 861540352 30322 4294967295 134512640 134569956 3221224400 3221214760 1131602800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30322 13073 16 0 210321 0
vsize: 841348
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 85060 60 0 0 25 0 11 0 488306158 861540352 30477 4294967295 134512640 134569956 3221224400 3221214544 1131543393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30477 13073 16 0 210321 0
vsize: 841348
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 86019 60 0 0 25 0 11 0 488306158 861540352 30600 4294967295 134512640 134569956 3221224400 3221214760 1131602796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30600 13073 16 0 210321 0
vsize: 841348
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 86979 60 0 0 25 0 11 0 488306158 861540352 30709 4294967295 134512640 134569956 3221224400 3221214760 1131602830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30709 13073 16 0 210321 0
vsize: 841348
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 87938 60 0 0 25 0 11 0 488306158 861540352 30836 4294967295 134512640 134569956 3221224400 3221214760 1131602815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30836 13073 16 0 210321 0
vsize: 841348
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 88896 60 0 0 25 0 11 0 488306158 861540352 30978 4294967295 134512640 134569956 3221224400 3221214304 1131240349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 30978 13073 16 0 210321 0
vsize: 841348
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 89856 60 0 0 24 0 11 0 488306158 861540352 31102 4294967295 134512640 134569956 3221224400 3221214808 1131468769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31102 13073 16 0 210321 0
vsize: 841348
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 90825 60 0 0 25 0 11 0 488306158 861540352 31231 4294967295 134512640 134569956 3221224400 3221214760 1131602804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31231 13073 16 0 210321 0
vsize: 841348
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 91785 60 0 0 25 0 11 0 488306158 861540352 31386 4294967295 134512640 134569956 3221224400 3221214760 1131602843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31386 13073 16 0 210321 0
vsize: 841348
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 92745 60 0 0 25 0 11 0 488306158 861540352 31547 4294967295 134512640 134569956 3221224400 3221214760 1131602822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31547 13073 16 0 210321 0
vsize: 841348
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 93694 60 0 0 24 0 11 0 488306158 861540352 31693 4294967295 134512640 134569956 3221224400 3221214752 1131556840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31693 13073 16 0 210321 0
vsize: 841348
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 94664 61 0 0 25 0 11 0 488306158 861540352 31819 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31819 13073 16 0 210321 0
vsize: 841348
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 95589 61 0 0 25 0 11 0 488306158 861540352 31889 4294967295 134512640 134569956 3221224400 3221214672 1131345114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 31889 13073 16 0 210321 0
vsize: 841348
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 96530 61 0 0 25 0 11 0 488306158 861540352 32152 4294967295 134512640 134569956 3221224400 3221214648 1131653481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32152 13073 16 0 210321 0
vsize: 841348
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 97490 61 0 0 25 0 11 0 488306158 861540352 32378 4294967295 134512640 134569956 3221224400 3221214552 1131271949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32378 13073 16 0 210321 0
vsize: 841348
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 98460 61 0 0 25 0 11 0 488306158 861540352 32573 4294967295 134512640 134569956 3221224400 3221214760 1131602815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32573 13073 16 0 210321 0
vsize: 841348
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 99429 61 0 0 25 0 11 0 488306158 861540352 32756 4294967295 134512640 134569956 3221224400 3221214656 1131422215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32756 13073 16 0 210321 0
vsize: 841348
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 100402 61 0 0 25 0 11 0 488306158 861540352 32761 4294967295 134512640 134569956 3221224400 3221214732 1131293664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32761 13073 16 0 210321 0
vsize: 841348
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 101371 61 0 0 25 0 11 0 488306158 861540352 32783 4294967295 134512640 134569956 3221224400 3221214672 1131344236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32783 13073 16 0 210321 0
vsize: 841348
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 102330 61 0 0 25 0 11 0 488306158 861540352 32847 4294967295 134512640 134569956 3221224400 3221214552 1131272019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32847 13073 16 0 210321 0
vsize: 841348
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 103294 61 0 0 25 0 11 0 488306158 861540352 32932 4294967295 134512640 134569956 3221224400 3221214672 1131222275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 32932 13073 16 0 210321 0
vsize: 841348
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 104251 61 0 0 25 0 11 0 488306158 861540352 33068 4294967295 134512640 134569956 3221224400 3221214476 1078128085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33068 13073 16 0 210321 0
vsize: 841348
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 105216 61 0 0 25 0 11 0 488306158 861540352 33166 4294967295 134512640 134569956 3221224400 3221214776 1131371940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33166 13073 16 0 210321 0
vsize: 841348
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 106182 61 0 0 25 0 11 0 488306158 861540352 33267 4294967295 134512640 134569956 3221224400 3221214672 1131344643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33267 13073 16 0 210321 0
vsize: 841348
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 107142 61 0 0 25 0 11 0 488306158 861540352 33403 4294967295 134512640 134569956 3221224400 3221214776 1131371940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33403 13073 16 0 210321 0
vsize: 841348
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 108109 62 0 0 25 0 11 0 488306158 861540352 33518 4294967295 134512640 134569956 3221224400 3221214672 1131344882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33518 13073 16 0 210321 0
vsize: 841348
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 109077 62 0 0 25 0 11 0 488306158 861540352 33606 4294967295 134512640 134569956 3221224400 3221214760 1131602813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33606 13073 16 0 210321 0
vsize: 841348
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 110038 62 0 0 25 0 11 0 488306158 861540352 33725 4294967295 134512640 134569956 3221224400 3221214716 1131510579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33725 13073 16 0 210321 0
vsize: 841348
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 111006 62 0 0 25 0 11 0 488306158 861540352 33816 4294967295 134512640 134569956 3221224400 3221214760 1131602817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33816 13073 16 0 210321 0
vsize: 841348
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 111967 62 0 0 25 0 11 0 488306158 861540352 33942 4294967295 134512640 134569956 3221224400 3221214776 1131372970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 33942 13073 16 0 210321 0
vsize: 841348
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 112935 62 0 0 25 0 11 0 488306158 861540352 34036 4294967295 134512640 134569956 3221224400 3221214808 1131454973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34036 13073 16 0 210321 0
vsize: 841348
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 113904 62 0 0 25 0 11 0 488306158 861540352 34122 4294967295 134512640 134569956 3221224400 3221214552 1131271969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34122 13073 16 0 210321 0
vsize: 841348
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 114866 62 0 0 25 0 11 0 488306158 861540352 34236 4294967295 134512640 134569956 3221224400 3221214044 1131652880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34236 13073 16 0 210321 0
vsize: 841348
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 115835 62 0 0 25 0 11 0 488306158 861540352 34326 4294967295 134512640 134569956 3221224400 3221214552 1131272019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34326 13073 16 0 210321 0
vsize: 841348
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 116802 62 0 0 25 0 11 0 488306158 861540352 34407 4294967295 134512640 134569956 3221224400 3221214672 1131344225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34407 13073 16 0 210321 0
vsize: 841348
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 117764 62 0 0 25 0 11 0 488306158 861540352 34511 4294967295 134512640 134569956 3221224400 3221214656 1131422128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34511 13073 16 0 210321 0
vsize: 841348
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 118731 62 0 0 25 0 11 0 488306158 861540352 34601 4294967295 134512640 134569956 3221224400 3221214760 1131602784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34601 13073 16 0 210321 0
vsize: 841348
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 119692 62 0 0 25 0 11 0 488306158 861540352 34728 4294967295 134512640 134569956 3221224400 3221214760 1131602784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34728 13073 16 0 210321 0
vsize: 841348
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2622
Raw data (stat): 2612 (java) R 2611 25347 25346 0 -1 0 18084 0 1 0 120659 62 0 0 25 0 11 0 488306158 861540352 34830 4294967295 134512640 134569956 3221224400 3221214672 1131344915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210337 34830 13073 16 0 210321 0
vsize: 841348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 2624
Raw data (stat): 2612 (java) Z 2611 25347 25346 0 -1 1036 18084 14605 1 0 120663 62 3867 39 25 0 1 0 488306158 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.21
CPU time (s): 1246.33
CPU user time (s): 1245.31
CPU system time (s): 1.02484
CPU usage (%): 99.6903
Max. virtual memory (Kb): 843544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####