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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-vtp.base.opb
MD5SUM	11ee9c7ad363b7002a0bcb50ec24f222
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	121
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	7340026
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	241446566912
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	12785129634632
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.088985
Number of variables	3129
Total number of constraints	262
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	262
Minimum length of a constraint	8
Maximum length of a constraint	720
Trace number 15961

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        628292 kB
Buffers:          9500 kB
Cached:         369780 kB
SwapCached:        432 kB
Active:          30764 kB
Inactive:       350664 kB
HighTotal:      131008 kB
HighFree:         9408 kB
LowTotal:       903652 kB
LowFree:        618884 kB
SwapTotal:     2097892 kB
SwapFree:      2096708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5932 kB
Slab:            19412 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:21:43 (client local time) WITH STATUS 143 IN 1242.66 SECONDS
stats: 16571 7 1242.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-vtp.base.opb
c reading problem 
c [nbvar=3129]
c [nbconstr=262]
c time 6.567
c #vars     3129
c #clauses  301
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.96 0.91 2/54 26232
Raw data (stat): 26232 (runsolver) R 26231 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542753856 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.08 0.99 0.92 4/64 26242
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18085 0 1 0 719 41 0 0 25 0 11 0 542753856 864952320 22055 4294967295 134512640 134569956 3221224400 3221214692 1130863947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211170 22055 13073 16 0 211154 0
vsize: 844680
[startup+20.0063 s]
Raw data (loadavg): 1.29 1.04 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18090 0 1 0 1559 42 0 0 25 0 11 0 542753856 862466048 21886 4294967295 134512640 134569956 3221224400 3221214856 1131370480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210563 21886 13073 16 0 210547 0
vsize: 842252
[startup+30.0116 s]
Raw data (loadavg): 1.24 1.04 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18091 0 1 0 2482 43 0 0 25 0 11 0 542753856 861741056 22018 4294967295 134512640 134569956 3221224400 3221214368 1131625992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210386 22018 13073 16 0 210370 0
vsize: 841544
[startup+40.0128 s]
Raw data (loadavg): 1.20 1.04 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18091 0 1 0 3418 43 0 0 25 0 11 0 542753856 861659136 22227 4294967295 134512640 134569956 3221224400 3221214672 1131270987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 22227 13073 16 0 210350 0
vsize: 841464
[startup+50.013 s]
Raw data (loadavg): 1.17 1.04 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18091 0 1 0 4345 43 0 0 25 0 11 0 542753856 861659136 22328 4294967295 134512640 134569956 3221224400 3221214672 1131271001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 22328 13073 16 0 210350 0
vsize: 841464
[startup+60.0127 s]
Raw data (loadavg): 1.15 1.04 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18091 0 1 0 5292 44 0 0 25 0 11 0 542753856 861659136 22793 4294967295 134512640 134569956 3221224400 3221214776 1131346672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 22793 13073 16 0 210350 0
vsize: 841464
[startup+70.0138 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 6255 44 0 0 25 0 11 0 542753856 861659136 22959 4294967295 134512640 134569956 3221224400 3221214816 1131471667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 22959 13073 16 0 210350 0
vsize: 841464
[startup+80.0147 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 7226 44 0 0 25 0 11 0 542753856 861659136 23115 4294967295 134512640 134569956 3221224400 3221214752 1131350436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23115 13073 16 0 210350 0
vsize: 841464
[startup+90.0148 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 8200 44 0 0 25 0 11 0 542753856 861659136 23201 4294967295 134512640 134569956 3221224400 3221214752 1131345313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23201 13073 16 0 210350 0
vsize: 841464
[startup+100.015 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 9175 44 0 0 25 0 11 0 542753856 861659136 23309 4294967295 134512640 134569956 3221224400 3221214832 1131461705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23309 13073 16 0 210350 0
vsize: 841464
[startup+110.015 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 10153 45 0 0 25 0 11 0 542753856 861659136 23392 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23392 13073 16 0 210350 0
vsize: 841464
[startup+120.016 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 11132 45 0 0 25 0 11 0 542753856 861659136 23454 4294967295 134512640 134569956 3221224400 3221214752 1131345800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23454 13073 16 0 210350 0
vsize: 841464
[startup+130.016 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 12112 45 0 0 25 0 11 0 542753856 861659136 23549 4294967295 134512640 134569956 3221224400 3221214648 1131271001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23549 13073 16 0 210350 0
vsize: 841464
[startup+140.018 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 13095 45 0 0 25 0 11 0 542753856 861659136 23619 4294967295 134512640 134569956 3221224400 3221214648 1131271639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23619 13073 16 0 210350 0
vsize: 841464
[startup+150.018 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 14076 46 0 0 25 0 11 0 542753856 861659136 23679 4294967295 134512640 134569956 3221224400 3221214648 1131271664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23679 13073 16 0 210350 0
vsize: 841464
[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 15059 46 0 0 25 0 11 0 542753856 861659136 23736 4294967295 134512640 134569956 3221224400 3221214752 1131346449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23736 13073 16 0 210350 0
vsize: 841464
[startup+170.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 16044 46 0 0 25 0 11 0 542753856 861659136 23786 4294967295 134512640 134569956 3221224400 3221214648 1131271561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23786 13073 16 0 210350 0
vsize: 841464
[startup+180.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 17027 46 0 0 25 0 11 0 542753856 861659136 23843 4294967295 134512640 134569956 3221224400 3221214648 1131327062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23843 13073 16 0 210350 0
vsize: 841464
[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 18009 47 0 0 25 0 11 0 542753856 861659136 23897 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23897 13073 16 0 210350 0
vsize: 841464
[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 18990 47 0 0 25 0 11 0 542753856 861659136 23943 4294967295 134512640 134569956 3221224400 3221214648 1131271331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 23943 13073 16 0 210350 0
vsize: 841464
[startup+210.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 19973 47 0 0 25 0 11 0 542753856 861659136 24005 4294967295 134512640 134569956 3221224400 3221214936 1131484100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24005 13073 16 0 210350 0
vsize: 841464
[startup+220.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 20954 47 0 0 25 0 11 0 542753856 861659136 24072 4294967295 134512640 134569956 3221224400 3221214448 1131625367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24072 13073 16 0 210350 0
vsize: 841464
[startup+230.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 21935 47 0 0 25 0 11 0 542753856 861659136 24153 4294967295 134512640 134569956 3221224400 3221214244 1131623184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24153 13073 16 0 210350 0
vsize: 841464
[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 22915 48 0 0 25 0 11 0 542753856 861659136 24210 4294967295 134512640 134569956 3221224400 3221214648 1131270692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24210 13073 16 0 210350 0
vsize: 841464
[startup+250.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 23890 48 0 0 25 0 11 0 542753856 861659136 24282 4294967295 134512640 134569956 3221224400 3221214664 1131338524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24282 13073 16 0 210350 0
vsize: 841464
[startup+260.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 24865 49 0 0 25 0 11 0 542753856 861659136 24349 4294967295 134512640 134569956 3221224400 3221214648 1131271744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24349 13073 16 0 210350 0
vsize: 841464
[startup+270.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 25840 49 0 0 25 0 11 0 542753856 861659136 24458 4294967295 134512640 134569956 3221224400 3221214292 1131625344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24458 13073 16 0 210350 0
vsize: 841464
[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 26819 49 0 0 25 0 11 0 542753856 861659136 24545 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24545 13073 16 0 210350 0
vsize: 841464
[startup+290.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) S 26231 28546 28545 0 -1 0 18092 0 1 0 27800 49 0 0 25 0 11 0 542753856 861659136 24629 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24629 13073 16 0 210350 0
vsize: 841464
[startup+300.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26244
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 28781 49 0 0 25 0 11 0 542753856 861659136 24687 4294967295 134512640 134569956 3221224400 3221214648 1131270629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24687 13073 16 0 210350 0
vsize: 841464
[startup+310.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 29761 50 0 0 25 0 11 0 542753856 861659136 24746 4294967295 134512640 134569956 3221224400 3221214752 1131346752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24746 13073 16 0 210350 0
vsize: 841464
[startup+320.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 30740 50 0 0 25 0 11 0 542753856 861659136 24826 4294967295 134512640 134569956 3221224400 3221214752 1131345441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24826 13073 16 0 210350 0
vsize: 841464
[startup+330.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 31720 50 0 0 25 0 11 0 542753856 861659136 24889 4294967295 134512640 134569956 3221224400 3221214260 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24889 13073 16 0 210350 0
vsize: 841464
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 32701 50 0 0 25 0 11 0 542753856 861659136 24951 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 24951 13073 16 0 210350 0
vsize: 841464
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 33680 51 0 0 24 0 11 0 542753856 861659136 25022 4294967295 134512640 134569956 3221224400 3221214648 1131270625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25022 13073 16 0 210350 0
vsize: 841464
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 34660 51 0 0 25 0 11 0 542753856 861659136 25081 4294967295 134512640 134569956 3221224400 3221214752 1131345716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25081 13073 16 0 210350 0
vsize: 841464
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 35637 52 0 0 24 0 11 0 542753856 861659136 25152 4294967295 134512640 134569956 3221224400 3221214752 1131345313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25152 13073 16 0 210350 0
vsize: 841464
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 36618 52 0 0 25 0 11 0 542753856 861659136 25208 4294967295 134512640 134569956 3221224400 3221214752 1131346642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25208 13073 16 0 210350 0
vsize: 841464
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 37598 53 0 0 25 0 11 0 542753856 861659136 25274 4294967295 134512640 134569956 3221224400 3221214648 1131270788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25274 13073 16 0 210350 0
vsize: 841464
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 38581 53 0 0 25 0 11 0 542753856 861659136 25324 4294967295 134512640 134569956 3221224400 3221214664 1131338384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25324 13073 16 0 210350 0
vsize: 841464
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 39560 54 0 0 24 0 11 0 542753856 861659136 25374 4294967295 134512640 134569956 3221224400 3221214648 1131271421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25374 13073 16 0 210350 0
vsize: 841464
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 40544 54 0 0 25 0 11 0 542753856 861659136 25413 4294967295 134512640 134569956 3221224400 3221214648 1131271507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25413 13073 16 0 210350 0
vsize: 841464
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 41525 54 0 0 25 0 11 0 542753856 861659136 25454 4294967295 134512640 134569956 3221224400 3221214648 1131271229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25454 13073 16 0 210350 0
vsize: 841464
[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 42502 54 0 0 25 0 11 0 542753856 861659136 25504 4294967295 134512640 134569956 3221224400 3221214488 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25504 13073 16 0 210350 0
vsize: 841464
[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 43482 55 0 0 25 0 11 0 542753856 861659136 25552 4294967295 134512640 134569956 3221224400 3221214720 1131627341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25552 13073 16 0 210350 0
vsize: 841464
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 44461 55 0 0 25 0 11 0 542753856 861659136 25609 4294967295 134512640 134569956 3221224400 3221214404 1131623184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25609 13073 16 0 210350 0
vsize: 841464
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 45441 55 0 0 25 0 11 0 542753856 861659136 25659 4294967295 134512640 134569956 3221224400 3221214648 1131270714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25659 13073 16 0 210350 0
vsize: 841464
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 46421 55 0 0 25 0 11 0 542753856 861659136 25719 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25719 13073 16 0 210350 0
vsize: 841464
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 47403 55 0 0 25 0 11 0 542753856 861659136 25785 4294967295 134512640 134569956 3221224400 3221214752 1131349408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25785 13073 16 0 210350 0
vsize: 841464
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 48385 56 0 0 25 0 11 0 542753856 861659136 25841 4294967295 134512640 134569956 3221224400 3221214752 1131345650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25841 13073 16 0 210350 0
vsize: 841464
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 49368 56 0 0 25 0 11 0 542753856 861659136 25893 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25893 13073 16 0 210350 0
vsize: 841464
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 50350 57 0 0 25 0 11 0 542753856 861659136 25953 4294967295 134512640 134569956 3221224400 3221214072 1131626013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 25953 13073 16 0 210350 0
vsize: 841464
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 51331 57 0 0 25 0 11 0 542753856 861659136 26001 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26001 13073 16 0 210350 0
vsize: 841464
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 52312 57 0 0 25 0 11 0 542753856 861659136 26064 4294967295 134512640 134569956 3221224400 3221214648 1131271028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26064 13073 16 0 210350 0
vsize: 841464
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 53295 58 0 0 25 0 11 0 542753856 861659136 26136 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26136 13073 16 0 210350 0
vsize: 841464
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 54276 58 0 0 25 0 11 0 542753856 861659136 26193 4294967295 134512640 134569956 3221224400 3221214752 1131349392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26193 13073 16 0 210350 0
vsize: 841464
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 55257 58 0 0 25 0 11 0 542753856 861659136 26252 4294967295 134512640 134569956 3221224400 3221214648 1131271704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26252 13073 16 0 210350 0
vsize: 841464
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 56240 59 0 0 25 0 11 0 542753856 861659136 26315 4294967295 134512640 134569956 3221224400 3221214752 1131350660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26315 13073 16 0 210350 0
vsize: 841464
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 57222 59 0 0 25 0 11 0 542753856 861659136 26387 4294967295 134512640 134569956 3221224400 3221214752 1131349356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26387 13073 16 0 210350 0
vsize: 841464
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 58203 60 0 0 25 0 11 0 542753856 861659136 26439 4294967295 134512640 134569956 3221224400 3221214648 1131270625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26439 13073 16 0 210350 0
vsize: 841464
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) S 26231 28546 28545 0 -1 0 18092 0 1 0 59181 61 0 0 25 0 11 0 542753856 861659136 26478 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26478 13073 16 0 210350 0
vsize: 841464
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 60161 61 0 0 25 0 11 0 542753856 861659136 26551 4294967295 134512640 134569956 3221224400 3221214752 1131345625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26551 13073 16 0 210350 0
vsize: 841464
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 61137 61 0 0 25 0 11 0 542753856 861659136 26595 4294967295 134512640 134569956 3221224400 3221214752 1131346686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 26595 13073 16 0 210350 0
vsize: 841464
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 62117 62 0 0 25 0 11 0 542753856 861659136 26670 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26670 13073 16 0 210350 0
vsize: 841464
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 63096 62 0 0 24 0 11 0 542753856 861659136 26757 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26757 13073 16 0 210350 0
vsize: 841464
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 64079 62 0 0 25 0 11 0 542753856 861659136 26816 4294967295 134512640 134569956 3221224400 3221214648 1131271421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26816 13073 16 0 210350 0
vsize: 841464
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 65060 62 0 0 25 0 11 0 542753856 861659136 26895 4294967295 134512640 134569956 3221224400 3221214752 1131345697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26895 13073 16 0 210350 0
vsize: 841464
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 66039 62 0 0 25 0 11 0 542753856 861659136 26956 4294967295 134512640 134569956 3221224400 3221214192 1131623245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26956 13073 16 0 210350 0
vsize: 841464
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 67022 62 0 0 25 0 11 0 542753856 861659136 26970 4294967295 134512640 134569956 3221224400 3221214648 1131271115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 26970 13073 16 0 210350 0
vsize: 841464
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 68001 62 0 0 25 0 11 0 542753856 861659136 27060 4294967295 134512640 134569956 3221224400 3221214752 1131347607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27060 13073 16 0 210350 0
vsize: 841464
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 68984 62 0 0 25 0 11 0 542753856 861659136 27112 4294967295 134512640 134569956 3221224400 3221214648 1131270638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27112 13073 16 0 210350 0
vsize: 841464
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 69964 62 0 0 25 0 11 0 542753856 861659136 27178 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27178 13073 16 0 210350 0
vsize: 841464
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 70946 63 0 0 25 0 11 0 542753856 861659136 27216 4294967295 134512640 134569956 3221224400 3221214124 1131623008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27216 13073 16 0 210350 0
vsize: 841464
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 71930 63 0 0 25 0 11 0 542753856 861659136 27275 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27275 13073 16 0 210350 0
vsize: 841464
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 72910 63 0 0 25 0 11 0 542753856 861659136 27329 4294967295 134512640 134569956 3221224400 3221214648 1131271217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27329 13073 16 0 210350 0
vsize: 841464
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 73892 63 0 0 25 0 11 0 542753856 861659136 27394 4294967295 134512640 134569956 3221224400 3221214752 1131345657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27394 13073 16 0 210350 0
vsize: 841464
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 74874 64 0 0 25 0 11 0 542753856 861659136 27425 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27425 13073 16 0 210350 0
vsize: 841464
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 75857 64 0 0 25 0 11 0 542753856 861659136 27478 4294967295 134512640 134569956 3221224400 3221214648 1131271058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27478 13073 16 0 210350 0
vsize: 841464
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 76839 64 0 0 24 0 11 0 542753856 861659136 27547 4294967295 134512640 134569956 3221224400 3221214752 1131345708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27547 13073 16 0 210350 0
vsize: 841464
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 77822 64 0 0 25 0 11 0 542753856 861659136 27590 4294967295 134512640 134569956 3221224400 3221214648 1131270629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27590 13073 16 0 210350 0
vsize: 841464
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 78805 64 0 0 22 0 11 0 542753856 861659136 27631 4294967295 134512640 134569956 3221224400 3221214648 1131270850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27631 13073 16 0 210350 0
vsize: 841464
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 79786 64 0 0 25 0 11 0 542753856 861659136 27679 4294967295 134512640 134569956 3221224400 3221214648 1131271732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27679 13073 16 0 210350 0
vsize: 841464
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 80769 64 0 0 25 0 11 0 542753856 861659136 27742 4294967295 134512640 134569956 3221224400 3221214648 1131271028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27742 13073 16 0 210350 0
vsize: 841464
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 81752 65 0 0 25 0 11 0 542753856 861659136 27782 4294967295 134512640 134569956 3221224400 3221214752 1131345697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27782 13073 16 0 210350 0
vsize: 841464
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 82737 65 0 0 25 0 11 0 542753856 861659136 27828 4294967295 134512640 134569956 3221224400 3221213964 1131623128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27828 13073 16 0 210350 0
vsize: 841464
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 83721 65 0 0 25 0 11 0 542753856 861659136 27884 4294967295 134512640 134569956 3221224400 3221214648 1131271043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27884 13073 16 0 210350 0
vsize: 841464
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 84705 65 0 0 25 0 11 0 542753856 861659136 27914 4294967295 134512640 134569956 3221224400 3221214240 1131625959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27914 13073 16 0 210350 0
vsize: 841464
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 85690 65 0 0 25 0 11 0 542753856 861659136 27937 4294967295 134512640 134569956 3221224400 3221214752 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27937 13073 16 0 210350 0
vsize: 841464
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 86675 65 0 0 25 0 11 0 542753856 861659136 27972 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 27972 13073 16 0 210350 0
vsize: 841464
[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) S 26231 28546 28545 0 -1 0 18092 0 1 0 87659 65 0 0 25 0 11 0 542753856 861659136 28004 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28004 13073 16 0 210350 0
vsize: 841464
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 88642 65 0 0 25 0 11 0 542753856 861659136 28050 4294967295 134512640 134569956 3221224400 3221214648 1131270807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28050 13073 16 0 210350 0
vsize: 841464
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 89627 65 0 0 25 0 11 0 542753856 861659136 28084 4294967295 134512640 134569956 3221224400 3221214648 1131271129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28084 13073 16 0 210350 0
vsize: 841464
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 90612 65 0 0 25 0 11 0 542753856 861659136 28149 4294967295 134512640 134569956 3221224400 3221214752 1131349484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28149 13073 16 0 210350 0
vsize: 841464
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 91597 65 0 0 25 0 11 0 542753856 861659136 28190 4294967295 134512640 134569956 3221224400 3221214664 1131338384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28190 13073 16 0 210350 0
vsize: 841464
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 92581 65 0 0 25 0 11 0 542753856 861659136 28227 4294967295 134512640 134569956 3221224400 3221214648 1131271001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28227 13073 16 0 210350 0
vsize: 841464
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 93565 65 0 0 25 0 11 0 542753856 861659136 28248 4294967295 134512640 134569956 3221224400 3221214912 1131342233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28248 13073 16 0 210350 0
vsize: 841464
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 94546 65 0 0 25 0 11 0 542753856 861659136 28278 4294967295 134512640 134569956 3221224400 3221214752 1131347484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28278 13073 16 0 210350 0
vsize: 841464
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 95528 65 0 0 25 0 11 0 542753856 861659136 28325 4294967295 134512640 134569956 3221224400 3221214792 1131364208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28325 13073 16 0 210350 0
vsize: 841464
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 96511 65 0 0 25 0 11 0 542753856 861659136 28342 4294967295 134512640 134569956 3221224400 3221214648 1131271599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28342 13073 16 0 210350 0
vsize: 841464
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 97494 65 0 0 25 0 11 0 542753856 861659136 28388 4294967295 134512640 134569956 3221224400 3221214748 1131270604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28388 13073 16 0 210350 0
vsize: 841464
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 98478 65 0 0 25 0 11 0 542753856 861659136 28449 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28449 13073 16 0 210350 0
vsize: 841464
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 99463 65 0 0 24 0 11 0 542753856 861659136 28468 4294967295 134512640 134569956 3221224400 3221214752 1131346551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28468 13073 16 0 210350 0
vsize: 841464
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 100449 66 0 0 25 0 11 0 542753856 861659136 28509 4294967295 134512640 134569956 3221224400 3221214752 1131345724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28509 13073 16 0 210350 0
vsize: 841464
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 101432 66 0 0 24 0 11 0 542753856 861659136 28523 4294967295 134512640 134569956 3221224400 3221214664 1131338507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28523 13073 16 0 210350 0
vsize: 841464
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 102417 66 0 0 25 0 11 0 542753856 861659136 28534 4294967295 134512640 134569956 3221224400 3221214048 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28534 13073 16 0 210350 0
vsize: 841464
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 103402 66 0 0 24 0 11 0 542753856 861659136 28553 4294967295 134512640 134569956 3221224400 3221214460 1131623179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28553 13073 16 0 210350 0
vsize: 841464
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 104385 66 0 0 25 0 11 0 542753856 861659136 28587 4294967295 134512640 134569956 3221224400 3221214912 1131342233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28587 13073 16 0 210350 0
vsize: 841464
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 105370 66 0 0 25 0 11 0 542753856 861659136 28607 4294967295 134512640 134569956 3221224400 3221214648 1131270852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28607 13073 16 0 210350 0
vsize: 841464
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 106354 66 0 0 25 0 11 0 542753856 861659136 28623 4294967295 134512640 134569956 3221224400 3221214752 1131345632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28623 13073 16 0 210350 0
vsize: 841464
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 107338 66 0 0 24 0 11 0 542753856 861659136 28670 4294967295 134512640 134569956 3221224400 3221214648 1131271460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28670 13073 16 0 210350 0
vsize: 841464
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 108323 66 0 0 25 0 11 0 542753856 861659136 28686 4294967295 134512640 134569956 3221224400 3221214752 1131345796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28686 13073 16 0 210350 0
vsize: 841464
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 109308 66 0 0 25 0 11 0 542753856 861659136 28691 4294967295 134512640 134569956 3221224400 3221214572 1131623184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28691 13073 16 0 210350 0
vsize: 841464
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 110293 66 0 0 25 0 11 0 542753856 861659136 28706 4294967295 134512640 134569956 3221224400 3221214648 1131271680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28706 13073 16 0 210350 0
vsize: 841464
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 111277 66 0 0 25 0 11 0 542753856 861659136 28758 4294967295 134512640 134569956 3221224400 3221214648 1131272710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28758 13073 16 0 210350 0
vsize: 841464
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 112263 66 0 0 25 0 11 0 542753856 861659136 28772 4294967295 134512640 134569956 3221224400 3221214648 1131271528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28772 13073 16 0 210350 0
vsize: 841464
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 113248 67 0 0 25 0 11 0 542753856 861659136 28792 4294967295 134512640 134569956 3221224400 3221214648 1131270625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210366 28792 13073 16 0 210350 0
vsize: 841464
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 114231 67 0 0 25 0 11 0 542753856 861659136 28811 4294967295 134512640 134569956 3221224400 3221214752 1131346828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28811 13073 16 0 210350 0
vsize: 841464
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 115215 67 0 0 25 0 11 0 542753856 861659136 28828 4294967295 134512640 134569956 3221224400 3221214688 1131326856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28828 13073 16 0 210350 0
vsize: 841464
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 116199 67 0 0 25 0 11 0 542753856 861659136 28848 4294967295 134512640 134569956 3221224400 3221214752 1131349367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28848 13073 16 0 210350 0
vsize: 841464
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 117182 67 0 0 25 0 11 0 542753856 861659136 28864 4294967295 134512640 134569956 3221224400 3221214752 1131345441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28864 13073 16 0 210350 0
vsize: 841464
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 118165 67 0 0 25 0 11 0 542753856 861659136 28894 4294967295 134512640 134569956 3221224400 3221214752 1131346686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28894 13073 16 0 210350 0
vsize: 841464
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 119148 67 0 0 25 0 11 0 542753856 861659136 28912 4294967295 134512640 134569956 3221224400 3221214648 1131270625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28912 13073 16 0 210350 0
vsize: 841464
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26246
Raw data (stat): 26232 (java) R 26231 28546 28545 0 -1 0 18092 0 1 0 120128 67 0 0 25 0 11 0 542753856 861659136 28961 4294967295 134512640 134569956 3221224400 3221214752 1131345643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210366 28961 13073 16 0 210350 0
vsize: 841464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 26248
Raw data (stat): 26232 (java) Z 26231 28546 28545 0 -1 1036 18092 15980 1 2 120134 72 4009 48 25 0 1 0 542753856 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.18
CPU time (s): 1242.66
CPU user time (s): 1241.44
CPU system time (s): 1.21881
CPU usage (%): 101.014
Max. virtual memory (Kb): 844680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####