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-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 15490

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        843924 kB
Buffers:         17392 kB
Cached:         145208 kB
SwapCached:        464 kB
Active:          45588 kB
Inactive:       119220 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843672 kB
SwapTotal:     2097892 kB
SwapFree:      2096700 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5296 kB
Slab:            20376 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:59:59 (client local time) WITH STATUS 143 IN 1255.91 SECONDS
stats: 17429 7 1255.91 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-air04.opb
c reading problem 
c [nbvar=8904]
c [nbconstr=9727]
c time 33.331
c #vars     8904
c #clauses  1646
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.84 0.95 0.91 2/54 22139
Raw data (stat): 22139 (runsolver) R 22138 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542260720 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.0004 s]
Raw data (loadavg): 0.87 0.95 0.91 2/63 22148
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 17980 0 1 0 895 38 0 0 25 0 10 0 542260720 853557248 19131 4294967295 134512640 134569956 3221224400 3221214588 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208388 19131 13073 16 0 208372 0
vsize: 833552
[startup+20.0031 s]
Raw data (loadavg): 0.89 0.95 0.91 2/63 22148
Raw data (stat): 22139 (java) S 22138 27222 27221 0 -1 0 17981 0 1 0 1788 38 0 0 25 0 10 0 542260720 853893120 19683 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208470 19683 13073 16 0 208454 0
vsize: 833880
[startup+30.0045 s]
Raw data (loadavg): 1.06 0.99 0.92 3/63 22148
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18010 0 1 0 2624 38 0 0 25 0 10 0 542260720 873046016 24438 4294967295 134512640 134569956 3221224400 3221214956 1131199052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213146 24438 13073 16 0 213130 0
vsize: 852584
[startup+40.0047 s]
Raw data (loadavg): 1.21 1.02 0.93 4/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18085 0 1 0 3374 40 0 0 25 0 11 0 542260720 878592000 28250 4294967295 134512640 134569956 3221224400 3221213576 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214500 28250 13073 16 0 214484 0
vsize: 858000
[startup+50.0194 s]
Raw data (loadavg): 1.17 1.02 0.93 3/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 4330 40 0 0 25 0 11 0 542260720 877826048 29081 4294967295 134512640 134569956 3221224400 3221214728 1131592847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214313 29081 13073 16 0 214297 0
vsize: 857252
[startup+60.0199 s]
Raw data (loadavg): 1.15 1.02 0.93 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 5302 40 0 0 25 0 11 0 542260720 877465600 28997 4294967295 134512640 134569956 3221224400 3221214816 1131399471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214225 28997 13073 16 0 214209 0
vsize: 856900
[startup+70.021 s]
Raw data (loadavg): 1.20 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 6222 41 0 0 25 0 11 0 542260720 882708480 30304 4294967295 134512640 134569956 3221224400 3221214736 1131405639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215505 30304 13073 16 0 215489 0
vsize: 862020
[startup+80.0218 s]
Raw data (loadavg): 1.17 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 7190 41 0 0 25 0 11 0 542260720 882675712 30296 4294967295 134512640 134569956 3221224400 3221214672 1131517896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30296 13073 16 0 215481 0
vsize: 861988
[startup+90.0231 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 8152 41 0 0 24 0 11 0 542260720 882675712 30377 4294967295 134512640 134569956 3221224400 3221214672 1131521863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30377 13073 16 0 215481 0
vsize: 861988
[startup+100.023 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 9118 41 0 0 25 0 11 0 542260720 882675712 30441 4294967295 134512640 134569956 3221224400 3221214784 1131425568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30441 13073 16 0 215481 0
vsize: 861988
[startup+110.024 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 10091 41 0 0 25 0 11 0 542260720 882675712 30513 4294967295 134512640 134569956 3221224400 3221214632 1131338917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30513 13073 16 0 215481 0
vsize: 861988
[startup+120.026 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 11064 41 0 0 25 0 11 0 542260720 882675712 30538 4294967295 134512640 134569956 3221224400 3221214624 1131545442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30538 13073 16 0 215481 0
vsize: 861988
[startup+130.026 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 12034 41 0 0 25 0 11 0 542260720 882675712 30627 4294967295 134512640 134569956 3221224400 3221214784 1131422560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30627 13073 16 0 215481 0
vsize: 861988
[startup+140.026 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 12997 41 0 0 25 0 11 0 542260720 882675712 30640 4294967295 134512640 134569956 3221224400 3221214724 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30640 13073 16 0 215481 0
vsize: 861988
[startup+150.028 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 13959 42 0 0 25 0 11 0 542260720 882675712 30690 4294967295 134512640 134569956 3221224400 3221214728 1131619175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30690 13073 16 0 215481 0
vsize: 861988
[startup+160.027 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 14923 42 0 0 25 0 11 0 542260720 882675712 30757 4294967295 134512640 134569956 3221224400 3221214784 1131425218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30757 13073 16 0 215481 0
vsize: 861988
[startup+170.027 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 15888 42 0 0 25 0 11 0 542260720 882675712 30869 4294967295 134512640 134569956 3221224400 3221214624 1131545434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30869 13073 16 0 215481 0
vsize: 861988
[startup+180.027 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 16852 42 0 0 25 0 11 0 542260720 882675712 30932 4294967295 134512640 134569956 3221224400 3221214616 1131343983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30932 13073 16 0 215481 0
vsize: 861988
[startup+190.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 17814 42 0 0 25 0 11 0 542260720 882675712 30988 4294967295 134512640 134569956 3221224400 3221214728 1131625344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 30988 13073 16 0 215481 0
vsize: 861988
[startup+200.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 18773 42 0 0 25 0 11 0 542260720 882675712 31028 4294967295 134512640 134569956 3221224400 3221214452 1131346408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 31028 13073 16 0 215481 0
vsize: 861988
[startup+210.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 19734 42 0 0 25 0 11 0 542260720 882675712 31069 4294967295 134512640 134569956 3221224400 3221214544 1131820278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 31069 13073 16 0 215481 0
vsize: 861988
[startup+220.029 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 20692 42 0 0 25 0 11 0 542260720 882675712 31182 4294967295 134512640 134569956 3221224400 3221214552 1131667566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31182 13073 16 0 215481 0
vsize: 861988
[startup+230.028 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 21656 42 0 0 25 0 11 0 542260720 882675712 31281 4294967295 134512640 134569956 3221224400 3221214784 1131424418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31281 13073 16 0 215481 0
vsize: 861988
[startup+240.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 22608 42 0 0 24 0 11 0 542260720 882675712 31423 4294967295 134512640 134569956 3221224400 3221214784 1131425568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31423 13073 16 0 215481 0
vsize: 861988
[startup+250.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 23571 43 0 0 23 0 11 0 542260720 882675712 31482 4294967295 134512640 134569956 3221224400 3221214784 1131422434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31482 13073 16 0 215481 0
vsize: 861988
[startup+260.029 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18086 0 1 0 24536 43 0 0 25 0 11 0 542260720 882675712 31499 4294967295 134512640 134569956 3221224400 3221214736 1131507412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 31499 13073 16 0 215481 0
vsize: 861988
[startup+270.03 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 25497 43 0 0 25 0 11 0 542260720 882675712 31573 4294967295 134512640 134569956 3221224400 3221214728 1131619175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31573 13073 16 0 215481 0
vsize: 861988
[startup+280.03 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 26459 44 0 0 25 0 11 0 542260720 882675712 31688 4294967295 134512640 134569956 3221224400 3221214784 1131422517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31688 13073 16 0 215481 0
vsize: 861988
[startup+290.031 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 27427 44 0 0 25 0 11 0 542260720 882675712 31785 4294967295 134512640 134569956 3221224400 3221214544 1131820157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31785 13073 16 0 215481 0
vsize: 861988
[startup+300.031 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) S 22138 27222 27221 0 -1 0 18087 0 1 0 28399 44 0 0 25 0 11 0 542260720 882675712 31846 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31846 13073 16 0 215481 0
vsize: 861988
[startup+310.031 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 29378 45 0 0 24 0 11 0 542260720 882675712 31883 4294967295 134512640 134569956 3221224400 3221214440 1131345299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31883 13073 16 0 215481 0
vsize: 861988
[startup+320.031 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 30355 45 0 0 25 0 11 0 542260720 882675712 31928 4294967295 134512640 134569956 3221224400 3221214728 1131619259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31928 13073 16 0 215481 0
vsize: 861988
[startup+330.032 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 31326 46 0 0 25 0 11 0 542260720 882675712 31995 4294967295 134512640 134569956 3221224400 3221214784 1131423274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31995 13073 16 0 215481 0
vsize: 861988
[startup+340.033 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 32295 46 0 0 25 0 11 0 542260720 882675712 31995 4294967295 134512640 134569956 3221224400 3221214728 1131625451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 31995 13073 16 0 215481 0
vsize: 861988
[startup+350.032 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 33258 46 0 0 25 0 11 0 542260720 882675712 32019 4294967295 134512640 134569956 3221224400 3221214784 1131425199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32019 13073 16 0 215481 0
vsize: 861988
[startup+360.033 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 34212 47 0 0 25 0 11 0 542260720 882675712 32134 4294967295 134512640 134569956 3221224400 3221214680 1131338900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32134 13073 16 0 215481 0
vsize: 861988
[startup+370.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 35185 47 0 0 24 0 11 0 542260720 882675712 32164 4294967295 134512640 134569956 3221224400 3221214728 1131620145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32164 13073 16 0 215481 0
vsize: 861988
[startup+380.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 36155 47 0 0 25 0 11 0 542260720 882675712 32215 4294967295 134512640 134569956 3221224400 3221214632 1131339892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32215 13073 16 0 215481 0
vsize: 861988
[startup+390.034 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 37116 47 0 0 25 0 11 0 542260720 882675712 32314 4294967295 134512640 134569956 3221224400 3221214672 1131519427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32314 13073 16 0 215481 0
vsize: 861988
[startup+400.034 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 38074 48 0 0 25 0 11 0 542260720 882675712 32324 4294967295 134512640 134569956 3221224400 3221214632 1131339892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32324 13073 16 0 215481 0
vsize: 861988
[startup+410.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 39021 48 0 0 25 0 11 0 542260720 882675712 32382 4294967295 134512640 134569956 3221224400 3221214632 1131339126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32382 13073 16 0 215481 0
vsize: 861988
[startup+420.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 39972 48 0 0 25 0 11 0 542260720 882675712 32445 4294967295 134512640 134569956 3221224400 3221214816 1131399694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32445 13073 16 0 215481 0
vsize: 861988
[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 40926 48 0 0 25 0 11 0 542260720 882675712 32637 4294967295 134512640 134569956 3221224400 3221214728 1131621466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32637 13073 16 0 215481 0
vsize: 861988
[startup+440.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 41890 48 0 0 25 0 11 0 542260720 882675712 32689 4294967295 134512640 134569956 3221224400 3221214728 1131619240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32689 13073 16 0 215481 0
vsize: 861988
[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 42854 49 0 0 25 0 11 0 542260720 882675712 32746 4294967295 134512640 134569956 3221224400 3221213728 1073940401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32746 13073 16 0 215481 0
vsize: 861988
[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 43816 49 0 0 25 0 11 0 542260720 882675712 32792 4294967295 134512640 134569956 3221224400 3221214672 1131521834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32792 13073 16 0 215481 0
vsize: 861988
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 44773 49 0 0 25 0 11 0 542260720 882675712 32815 4294967295 134512640 134569956 3221224400 3221214816 1131399436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32815 13073 16 0 215481 0
vsize: 861988
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 45731 49 0 0 25 0 11 0 542260720 882675712 32897 4294967295 134512640 134569956 3221224400 3221214720 1131235644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32897 13073 16 0 215481 0
vsize: 861988
[startup+490.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 46685 50 0 0 25 0 11 0 542260720 882675712 32949 4294967295 134512640 134569956 3221224400 3221214632 1131339127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 32949 13073 16 0 215481 0
vsize: 861988
[startup+500.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 47644 50 0 0 24 0 11 0 542260720 882675712 33049 4294967295 134512640 134569956 3221224400 3221214672 1131518226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33049 13073 16 0 215481 0
vsize: 861988
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 48606 51 0 0 25 0 11 0 542260720 882675712 33090 4294967295 134512640 134569956 3221224400 3221214728 1131627568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 33090 13073 16 0 215481 0
vsize: 861988
[startup+520.038 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 49564 51 0 0 25 0 11 0 542260720 882675712 33129 4294967295 134512640 134569956 3221224400 3221214728 1131622428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33129 13073 16 0 215481 0
vsize: 861988
[startup+530.038 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 50518 52 0 0 25 0 11 0 542260720 882675712 33187 4294967295 134512640 134569956 3221224400 3221214632 1131339041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33187 13073 16 0 215481 0
vsize: 861988
[startup+540.04 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 51474 52 0 0 25 0 11 0 542260720 882675712 33276 4294967295 134512640 134569956 3221224400 3221214440 1131345491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33276 13073 16 0 215481 0
vsize: 861988
[startup+550.04 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 52440 53 0 0 25 0 11 0 542260720 882675712 33321 4294967295 134512640 134569956 3221224400 3221214648 1131585377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33321 13073 16 0 215481 0
vsize: 861988
[startup+560.04 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 53412 53 0 0 25 0 11 0 542260720 882675712 33365 4294967295 134512640 134569956 3221224400 3221214440 1131345491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33365 13073 16 0 215481 0
vsize: 861988
[startup+570.041 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 54379 53 0 0 25 0 11 0 542260720 882675712 33436 4294967295 134512640 134569956 3221224400 3221214816 1131399784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33436 13073 16 0 215481 0
vsize: 861988
[startup+580.041 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 55348 54 0 0 25 0 11 0 542260720 882675712 33496 4294967295 134512640 134569956 3221224400 3221214728 1131619968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33496 13073 16 0 215481 0
vsize: 861988
[startup+590.042 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 56313 54 0 0 25 0 11 0 542260720 882675712 33511 4294967295 134512640 134569956 3221224400 3221214616 1131343863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33511 13073 16 0 215481 0
vsize: 861988
[startup+600.043 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 57272 54 0 0 25 0 11 0 542260720 882675712 33542 4294967295 134512640 134569956 3221224400 3221214440 1131345455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33542 13073 16 0 215481 0
vsize: 861988
[startup+610.042 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 58226 54 0 0 25 0 11 0 542260720 882675712 33602 4294967295 134512640 134569956 3221224400 3221214728 1131619240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33602 13073 16 0 215481 0
vsize: 861988
[startup+620.042 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 59177 55 0 0 25 0 11 0 542260720 882675712 33654 4294967295 134512640 134569956 3221224400 3221214736 1131402234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33654 13073 16 0 215481 0
vsize: 861988
[startup+630.042 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 60130 55 0 0 25 0 11 0 542260720 882675712 33737 4294967295 134512640 134569956 3221224400 3221214784 1131424467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33737 13073 16 0 215481 0
vsize: 861988
[startup+640.043 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 61082 55 0 0 25 0 11 0 542260720 882675712 33832 4294967295 134512640 134569956 3221224400 3221214672 1131519694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215497 33832 13073 16 0 215481 0
vsize: 861988
[startup+650.043 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 62036 55 0 0 25 0 11 0 542260720 882675712 33925 4294967295 134512640 134569956 3221224400 3221214728 1131624984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 33925 13073 16 0 215481 0
vsize: 861988
[startup+660.044 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 62996 55 0 0 25 0 11 0 542260720 882675712 33968 4294967295 134512640 134569956 3221224400 3221214552 1131491204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 33968 13073 16 0 215481 0
vsize: 861988
[startup+670.047 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22149
Raw data (stat): 22139 (java) S 22138 27222 27221 0 -1 0 18087 0 1 0 63958 55 0 0 25 0 11 0 542260720 882675712 34036 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34036 13073 16 0 215481 0
vsize: 861988
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 64915 55 0 0 25 0 11 0 542260720 882675712 34109 4294967295 134512640 134569956 3221224400 3221214672 1131520654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34109 13073 16 0 215481 0
vsize: 861988
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 65867 56 0 0 25 0 11 0 542260720 882675712 34150 4294967295 134512640 134569956 3221224400 3221214716 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34150 13073 16 0 215481 0
vsize: 861988
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 66828 56 0 0 25 0 11 0 542260720 882675712 34225 4294967295 134512640 134569956 3221224400 3221214632 1131339041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34225 13073 16 0 215481 0
vsize: 861988
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 67778 56 0 0 25 0 11 0 542260720 882675712 34320 4294967295 134512640 134569956 3221224400 3221214632 1131339230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34320 13073 16 0 215481 0
vsize: 861988
[startup+720.049 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 68732 56 0 0 25 0 11 0 542260720 882675712 34381 4294967295 134512640 134569956 3221224400 3221214672 1131517562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34381 13073 16 0 215481 0
vsize: 861988
[startup+730.049 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 69685 56 0 0 25 0 11 0 542260720 882675712 34441 4294967295 134512640 134569956 3221224400 3221214816 1131399471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34441 13073 16 0 215481 0
vsize: 861988
[startup+740.05 s]
Raw data (loadavg): 1.13 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 70647 56 0 0 25 0 11 0 542260720 882675712 34505 4294967295 134512640 134569956 3221224400 3221214648 1131579438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34505 13073 16 0 215481 0
vsize: 861988
[startup+750.05 s]
Raw data (loadavg): 1.11 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 71611 56 0 0 25 0 11 0 542260720 882675712 34615 4294967295 134512640 134569956 3221224400 3221214816 1131399784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34615 13073 16 0 215481 0
vsize: 861988
[startup+760.05 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 72570 56 0 0 25 0 11 0 542260720 882675712 34657 4294967295 134512640 134569956 3221224400 3221214664 1080204352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34657 13073 16 0 215481 0
vsize: 861988
[startup+770.05 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 73531 57 0 0 25 0 11 0 542260720 882675712 34684 4294967295 134512640 134569956 3221224400 3221214816 1131399520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34684 13073 16 0 215481 0
vsize: 861988
[startup+780.053 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) S 22138 27222 27221 0 -1 0 18087 0 1 0 74489 57 0 0 25 0 11 0 542260720 882675712 34724 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34724 13073 16 0 215481 0
vsize: 861988
[startup+790.054 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 75447 57 0 0 25 0 11 0 542260720 882675712 34817 4294967295 134512640 134569956 3221224400 3221214816 1131399489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34817 13073 16 0 215481 0
vsize: 861988
[startup+800.054 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 76411 57 0 0 25 0 11 0 542260720 882675712 34894 4294967295 134512640 134569956 3221224400 3221214728 1131627108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34894 13073 16 0 215481 0
vsize: 861988
[startup+810.054 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 77376 57 0 0 25 0 11 0 542260720 882675712 34969 4294967295 134512640 134569956 3221224400 3221214632 1131339001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 34969 13073 16 0 215481 0
vsize: 861988
[startup+820.055 s]
Raw data (loadavg): 1.11 1.04 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 78350 57 0 0 25 0 11 0 542260720 882675712 35001 4294967295 134512640 134569956 3221224400 3221214816 1131399543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35001 13073 16 0 215481 0
vsize: 861988
[startup+830.056 s]
Raw data (loadavg): 1.09 1.04 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 79310 57 0 0 25 0 11 0 542260720 882675712 35063 4294967295 134512640 134569956 3221224400 3221214728 1131624933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35063 13073 16 0 215481 0
vsize: 861988
[startup+840.057 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 80273 57 0 0 25 0 11 0 542260720 882675712 35098 4294967295 134512640 134569956 3221224400 3221214728 1131619175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35098 13073 16 0 215481 0
vsize: 861988
[startup+850.058 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 81231 57 0 0 25 0 11 0 542260720 882675712 35177 4294967295 134512640 134569956 3221224400 3221214816 1131399587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35177 13073 16 0 215481 0
vsize: 861988
[startup+860.058 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 82190 57 0 0 25 0 11 0 542260720 882675712 35243 4294967295 134512640 134569956 3221224400 3221214736 1131413462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35243 13073 16 0 215481 0
vsize: 861988
[startup+870.059 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 83134 57 0 0 25 0 11 0 542260720 882675712 35304 4294967295 134512640 134569956 3221224400 3221214720 1131235577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35304 13073 16 0 215481 0
vsize: 861988
[startup+880.059 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 84087 57 0 0 25 0 11 0 542260720 882675712 35399 4294967295 134512640 134569956 3221224400 3221214760 1131404878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35399 13073 16 0 215481 0
vsize: 861988
[startup+890.06 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 85041 57 0 0 25 0 11 0 542260720 882675712 35449 4294967295 134512640 134569956 3221224400 3221214784 1131422560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35449 13073 16 0 215481 0
vsize: 861988
[startup+900.061 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 85995 57 0 0 24 0 11 0 542260720 882675712 35545 4294967295 134512640 134569956 3221224400 3221214728 1131619175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35545 13073 16 0 215481 0
vsize: 861988
[startup+910.061 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 86955 57 0 0 24 0 11 0 542260720 882675712 35631 4294967295 134512640 134569956 3221224400 3221214728 1131625087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35631 13073 16 0 215481 0
vsize: 861988
[startup+920.061 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 87910 57 0 0 25 0 11 0 542260720 882675712 35682 4294967295 134512640 134569956 3221224400 3221214728 1131625357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35682 13073 16 0 215481 0
vsize: 861988
[startup+930.062 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 88867 58 0 0 25 0 11 0 542260720 882675712 35714 4294967295 134512640 134569956 3221224400 3221214672 1131519756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35714 13073 16 0 215481 0
vsize: 861988
[startup+940.062 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 89818 58 0 0 25 0 11 0 542260720 882675712 35773 4294967295 134512640 134569956 3221224400 3221214816 1131399504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35773 13073 16 0 215481 0
vsize: 861988
[startup+950.063 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 90764 58 0 0 25 0 11 0 542260720 882675712 35854 4294967295 134512640 134569956 3221224400 3221214544 1131820157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35854 13073 16 0 215481 0
vsize: 861988
[startup+960.063 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 91727 58 0 0 25 0 11 0 542260720 882675712 35976 4294967295 134512640 134569956 3221224400 3221214440 1131345330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 35976 13073 16 0 215481 0
vsize: 861988
[startup+970.064 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 92687 58 0 0 25 0 11 0 542260720 882675712 36031 4294967295 134512640 134569956 3221224400 3221214728 1131627089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36031 13073 16 0 215481 0
vsize: 861988
[startup+980.064 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 93649 58 0 0 25 0 11 0 542260720 882675712 36111 4294967295 134512640 134569956 3221224400 3221214608 1131345344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36111 13073 16 0 215481 0
vsize: 861988
[startup+990.065 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 94613 58 0 0 25 0 11 0 542260720 882675712 36253 4294967295 134512640 134569956 3221224400 3221214544 1131820063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36253 13073 16 0 215481 0
vsize: 861988
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 95586 58 0 0 25 0 11 0 542260720 882675712 36253 4294967295 134512640 134569956 3221224400 3221214648 1131584976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36253 13073 16 0 215481 0
vsize: 861988
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 96561 58 0 0 25 0 11 0 542260720 882675712 36281 4294967295 134512640 134569956 3221224400 3221214544 1131819732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36281 13073 16 0 215481 0
vsize: 861988
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 97533 58 0 0 25 0 11 0 542260720 882675712 36304 4294967295 134512640 134569956 3221224400 3221214616 1131343863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36304 13073 16 0 215481 0
vsize: 861988
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 98507 58 0 0 24 0 11 0 542260720 882675712 36380 4294967295 134512640 134569956 3221224400 3221214648 1131584983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36380 13073 16 0 215481 0
vsize: 861988
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 99489 58 0 0 25 0 11 0 542260720 882675712 36380 4294967295 134512640 134569956 3221224400 3221214440 1131345421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36380 13073 16 0 215481 0
vsize: 861988
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 100457 58 0 0 25 0 11 0 542260720 882675712 36380 4294967295 134512640 134569956 3221224400 3221214816 1131399709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36380 13073 16 0 215481 0
vsize: 861988
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 101427 58 0 0 25 0 11 0 542260720 882675712 36418 4294967295 134512640 134569956 3221224400 3221214552 1131491249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36418 13073 16 0 215481 0
vsize: 861988
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 102393 58 0 0 25 0 11 0 542260720 882675712 36484 4294967295 134512640 134569956 3221224400 3221214672 1131521087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36484 13073 16 0 215481 0
vsize: 861988
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 103347 58 0 0 25 0 11 0 542260720 882675712 36501 4294967295 134512640 134569956 3221224400 3221214784 1131422717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36501 13073 16 0 215481 0
vsize: 861988
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 104294 58 0 0 25 0 11 0 542260720 882675712 36550 4294967295 134512640 134569956 3221224400 3221214736 1131507412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36550 13073 16 0 215481 0
vsize: 861988
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 105258 59 0 0 25 0 11 0 542260720 882675712 36627 4294967295 134512640 134569956 3221224400 3221214648 1131585058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36627 13073 16 0 215481 0
vsize: 861988
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 106230 59 0 0 25 0 11 0 542260720 882675712 36674 4294967295 134512640 134569956 3221224400 3221214632 1131339041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36674 13073 16 0 215481 0
vsize: 861988
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 107194 59 0 0 25 0 11 0 542260720 882675712 36770 4294967295 134512640 134569956 3221224400 3221214672 1131521276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36770 13073 16 0 215481 0
vsize: 861988
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 108156 59 0 0 25 0 11 0 542260720 882675712 36782 4294967295 134512640 134569956 3221224400 3221214672 1131521276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36782 13073 16 0 215481 0
vsize: 861988
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 109108 59 0 0 25 0 11 0 542260720 882675712 36810 4294967295 134512640 134569956 3221224400 3221214728 1131625428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36810 13073 16 0 215481 0
vsize: 861988
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 110058 59 0 0 25 0 11 0 542260720 882675712 36894 4294967295 134512640 134569956 3221224400 3221214816 1131399528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36894 13073 16 0 215481 0
vsize: 861988
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 111013 60 0 0 25 0 11 0 542260720 882675712 36988 4294967295 134512640 134569956 3221224400 3221214672 1131520406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 36988 13073 16 0 215481 0
vsize: 861988
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 111966 60 0 0 25 0 11 0 542260720 882675712 37025 4294967295 134512640 134569956 3221224400 3221214352 1076461259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37025 13073 16 0 215481 0
vsize: 861988
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 112916 60 0 0 25 0 11 0 542260720 882675712 37064 4294967295 134512640 134569956 3221224400 3221214728 1131619175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37064 13073 16 0 215481 0
vsize: 861988
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 113868 60 0 0 25 0 11 0 542260720 882675712 37133 4294967295 134512640 134569956 3221224400 3221214816 1131399520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37133 13073 16 0 215481 0
vsize: 861988
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 114815 60 0 0 25 0 11 0 542260720 882675712 37211 4294967295 134512640 134569956 3221224400 3221214816 1131399471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37211 13073 16 0 215481 0
vsize: 861988
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 115770 60 0 0 25 0 11 0 542260720 882675712 37304 4294967295 134512640 134569956 3221224400 3221214728 1131624979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37304 13073 16 0 215481 0
vsize: 861988
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 116727 60 0 0 25 0 11 0 542260720 882675712 37422 4294967295 134512640 134569956 3221224400 3221214672 1131517837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37422 13073 16 0 215481 0
vsize: 861988
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 117676 60 0 0 25 0 11 0 542260720 882675712 37478 4294967295 134512640 134569956 3221224400 3221214608 1131345491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37478 13073 16 0 215481 0
vsize: 861988
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 118630 60 0 0 24 0 11 0 542260720 882675712 37531 4294967295 134512640 134569956 3221224400 3221214440 1131345379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37531 13073 16 0 215481 0
vsize: 861988
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 119602 60 0 0 25 0 11 0 542260720 882675712 37562 4294967295 134512640 134569956 3221224400 3221214648 1131584990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37562 13073 16 0 215481 0
vsize: 861988
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 22149
Raw data (stat): 22139 (java) R 22138 27222 27221 0 -1 0 18087 0 1 0 120563 60 0 0 25 0 11 0 542260720 882675712 37626 4294967295 134512640 134569956 3221224400 3221214784 1131425273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215497 37626 13073 16 0 215481 0
vsize: 861988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 22151
Raw data (stat): 22139 (java) Z 22138 27222 27221 0 -1 1036 18087 12241 1 0 120564 60 4923 42 25 0 1 0 542260720 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.17
CPU time (s): 1255.91
CPU user time (s): 1254.88
CPU system time (s): 1.03184
CPU usage (%): 99.6622
Max. virtual memory (Kb): 862020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####