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/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
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	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 15175

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 03:13:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18352 boxname=wulflinc11 idbench=1412 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 18352
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        874588 kB
Buffers:         23200 kB
Cached:         116200 kB
SwapCached:          0 kB
Active:          65944 kB
Inactive:        76200 kB
HighTotal:      131008 kB
HighFree:        14392 kB
LowTotal:       903652 kB
LowFree:        860196 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12476 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 03:34:05 (client local time) WITH STATUS 143 IN 1257.39 SECONDS
stats: 18352 7 1257.39 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fixnet6.opb
c reading problem 
c [nbvar=9890]
c [nbconstr=978]
c time 32.918
c #vars     9890
c #clauses  700
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.94 0.98 2/54 26564
Raw data (stat): 26564 (runsolver) R 26563 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483524369 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.001 s]
Raw data (loadavg): 0.87 0.94 0.98 2/63 26573
Raw data (stat): 26564 (java) S 26563 32461 32460 0 -1 0 17981 0 1 0 890 40 0 0 25 0 10 0 483524369 853495808 19137 4294967295 134512640 134569956 3221224400 3221213724 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208373 19137 13073 16 0 208357 0
vsize: 833492
[startup+20.0023 s]
Raw data (loadavg): 0.89 0.94 0.98 2/63 26573
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 17982 0 1 0 1780 41 0 0 25 0 10 0 483524369 853598208 19709 4294967295 134512640 134569956 3221224400 3221214824 1131203084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208398 19709 13073 16 0 208382 0
vsize: 833592
[startup+30.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 26573
Raw data (stat): 26564 (java) S 26563 32461 32460 0 -1 0 18014 0 1 0 2593 42 0 0 25 0 10 0 483524369 874835968 25026 4294967295 134512640 134569956 3221224400 3221213448 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213583 25027 13073 16 0 213567 0
vsize: 854332
[startup+40.0318 s]
Raw data (loadavg): 0.98 0.96 0.98 3/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18081 0 1 0 3374 43 0 0 25 0 11 0 483524369 862273536 23289 4294967295 134512640 134569956 3221224400 3221214748 1130917310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 23289 13073 16 0 210500 0
vsize: 842064
[startup+50.0937 s]
Raw data (loadavg): 1.13 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18081 0 1 0 4282 43 0 0 22 0 11 0 483524369 862273536 23317 4294967295 134512640 134569956 3221224400 3221214896 1131345685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 23317 13073 16 0 210500 0
vsize: 842064
[startup+60.0934 s]
Raw data (loadavg): 1.11 0.99 0.99 4/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18083 0 1 0 5197 44 0 0 25 0 11 0 483524369 863027200 23573 4294967295 134512640 134569956 3221224400 3221214808 1131339180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210700 23573 13073 16 0 210684 0
vsize: 842800
[startup+70.0945 s]
Raw data (loadavg): 1.10 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18083 0 1 0 6102 44 0 0 25 0 11 0 483524369 862273536 23597 4294967295 134512640 134569956 3221224400 3221214728 1131607714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 23597 13073 16 0 210500 0
vsize: 842064
[startup+80.0951 s]
Raw data (loadavg): 1.08 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18083 0 1 0 7067 44 0 0 25 0 11 0 483524369 862273536 24225 4294967295 134512640 134569956 3221224400 3221214896 1131346284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24225 13073 16 0 210500 0
vsize: 842064
[startup+90.0948 s]
Raw data (loadavg): 1.07 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 8048 44 0 0 25 0 11 0 483524369 862273536 24244 4294967295 134512640 134569956 3221224400 3221214568 1131511536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24244 13073 16 0 210500 0
vsize: 842064
[startup+100.096 s]
Raw data (loadavg): 1.06 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 9027 44 0 0 25 0 11 0 483524369 862273536 24284 4294967295 134512640 134569956 3221224400 3221214552 1131313311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24284 13073 16 0 210500 0
vsize: 842064
[startup+110.096 s]
Raw data (loadavg): 1.05 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 10001 44 0 0 25 0 11 0 483524369 862273536 24345 4294967295 134512640 134569956 3221224400 3221214664 1131786145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24345 13073 16 0 210500 0
vsize: 842064
[startup+120.098 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 10969 44 0 0 25 0 11 0 483524369 862273536 24355 4294967295 134512640 134569956 3221224400 3221214656 1131614659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24355 13073 16 0 210500 0
vsize: 842064
[startup+130.098 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 11928 44 0 0 25 0 11 0 483524369 862273536 24540 4294967295 134512640 134569956 3221224400 3221214896 1131346277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24540 13073 16 0 210500 0
vsize: 842064
[startup+140.098 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 12890 44 0 0 25 0 11 0 483524369 862273536 24637 4294967295 134512640 134569956 3221224400 3221214896 1131345225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24637 13073 16 0 210500 0
vsize: 842064
[startup+150.099 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 13852 44 0 0 25 0 11 0 483524369 862273536 24782 4294967295 134512640 134569956 3221224400 3221214664 1131785996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24782 13073 16 0 210500 0
vsize: 842064
[startup+160.098 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 14813 44 0 0 25 0 11 0 483524369 862273536 24955 4294967295 134512640 134569956 3221224400 3221214664 1131785992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 24955 13073 16 0 210500 0
vsize: 842064
[startup+170.099 s]
Raw data (loadavg): 1.02 0.99 0.99 3/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 15775 44 0 0 25 0 11 0 483524369 862273536 25065 4294967295 134512640 134569956 3221224400 3221214664 1131786145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25065 13073 16 0 210500 0
vsize: 842064
[startup+180.099 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 16738 44 0 0 25 0 11 0 483524369 862273536 25173 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25173 13073 16 0 210500 0
vsize: 842064
[startup+190.099 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 17700 45 0 0 25 0 11 0 483524369 862273536 25290 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25290 13073 16 0 210500 0
vsize: 842064
[startup+200.1 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 18653 45 0 0 25 0 11 0 483524369 862273536 25426 4294967295 134512640 134569956 3221224400 3221214664 1131786145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25426 13073 16 0 210500 0
vsize: 842064
[startup+210.099 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 19615 45 0 0 25 0 11 0 483524369 862273536 25556 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25556 13073 16 0 210500 0
vsize: 842064
[startup+220.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 20577 45 0 0 25 0 11 0 483524369 862273536 25682 4294967295 134512640 134569956 3221224400 3221214552 1131593148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25682 13073 16 0 210500 0
vsize: 842064
[startup+230.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 21532 45 0 0 25 0 11 0 483524369 862273536 25803 4294967295 134512640 134569956 3221224400 3221214792 1131296582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25803 13073 16 0 210500 0
vsize: 842064
[startup+240.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 22487 45 0 0 24 0 11 0 483524369 862273536 25974 4294967295 134512640 134569956 3221224400 3221214792 1131297182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 25974 13073 16 0 210500 0
vsize: 842064
[startup+250.101 s]
Raw data (loadavg): 1.00 0.99 0.99 3/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 23449 45 0 0 25 0 11 0 483524369 862273536 26092 4294967295 134512640 134569956 3221224400 3221214560 1131297547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26092 13073 16 0 210500 0
vsize: 842064
[startup+260.101 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 24410 45 0 0 25 0 11 0 483524369 862273536 26221 4294967295 134512640 134569956 3221224400 3221214552 1131593160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26221 13073 16 0 210500 0
vsize: 842064
[startup+270.102 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 25372 45 0 0 25 0 11 0 483524369 862273536 26325 4294967295 134512640 134569956 3221224400 3221214552 1131593145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26325 13073 16 0 210500 0
vsize: 842064
[startup+280.102 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 26334 45 0 0 25 0 11 0 483524369 862273536 26447 4294967295 134512640 134569956 3221224400 3221214528 1131540538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26447 13073 16 0 210500 0
vsize: 842064
[startup+290.102 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 27289 45 0 0 24 0 11 0 483524369 862273536 26594 4294967295 134512640 134569956 3221224400 3221214664 1131786010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26594 13073 16 0 210500 0
vsize: 842064
[startup+300.103 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 28254 45 0 0 25 0 11 0 483524369 862273536 26639 4294967295 134512640 134569956 3221224400 3221214560 1131313337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26639 13073 16 0 210500 0
vsize: 842064
[startup+310.103 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 29218 45 0 0 25 0 11 0 483524369 862273536 26787 4294967295 134512640 134569956 3221224400 3221214656 1131788011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26787 13073 16 0 210500 0
vsize: 842064
[startup+320.103 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 30178 45 0 0 25 0 11 0 483524369 862273536 26973 4294967295 134512640 134569956 3221224400 3221214664 1131786026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 26973 13073 16 0 210500 0
vsize: 842064
[startup+330.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 31148 45 0 0 25 0 11 0 483524369 862273536 27109 4294967295 134512640 134569956 3221224400 3221214456 1131509084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27109 13073 16 0 210500 0
vsize: 842064
[startup+340.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 32119 45 0 0 25 0 11 0 483524369 862273536 27192 4294967295 134512640 134569956 3221224400 3221214792 1131297188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27192 13073 16 0 210500 0
vsize: 842064
[startup+350.109 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 33083 45 0 0 25 0 11 0 483524369 862273536 27299 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27299 13073 16 0 210500 0
vsize: 842064
[startup+360.109 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 34053 45 0 0 25 0 11 0 483524369 862273536 27382 4294967295 134512640 134569956 3221224400 3221214560 1131313379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27382 13073 16 0 210500 0
vsize: 842064
[startup+370.111 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 35016 45 0 0 25 0 11 0 483524369 862273536 27480 4294967295 134512640 134569956 3221224400 3221214576 1131756911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27480 13073 16 0 210500 0
vsize: 842064
[startup+380.111 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 35985 45 0 0 25 0 11 0 483524369 862273536 27580 4294967295 134512640 134569956 3221224400 3221214636 1131762547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27580 13073 16 0 210500 0
vsize: 842064
[startup+390.111 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 36948 45 0 0 25 0 11 0 483524369 862273536 27686 4294967295 134512640 134569956 3221224400 3221214792 1131297182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27686 13073 16 0 210500 0
vsize: 842064
[startup+400.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 37920 45 0 0 25 0 11 0 483524369 862273536 27794 4294967295 134512640 134569956 3221224400 3221214520 1131705568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27794 13073 16 0 210500 0
vsize: 842064
[startup+410.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 38880 45 0 0 25 0 11 0 483524369 862273536 27910 4294967295 134512640 134569956 3221224400 3221214664 1131785996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27910 13073 16 0 210500 0
vsize: 842064
[startup+420.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 39852 45 0 0 25 0 11 0 483524369 862273536 27998 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 27998 13073 16 0 210500 0
vsize: 842064
[startup+430.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 40818 45 0 0 25 0 11 0 483524369 862273536 28113 4294967295 134512640 134569956 3221224400 3221214664 1131550802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28113 13073 16 0 210500 0
vsize: 842064
[startup+440.113 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 41782 45 0 0 25 0 11 0 483524369 862273536 28230 4294967295 134512640 134569956 3221224400 3221214664 1131785996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28230 13073 16 0 210500 0
vsize: 842064
[startup+450.113 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 42753 45 0 0 25 0 11 0 483524369 862273536 28312 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28312 13073 16 0 210500 0
vsize: 842064
[startup+460.113 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 43714 45 0 0 25 0 11 0 483524369 862273536 28397 4294967295 134512640 134569956 3221224400 3221214664 1131550468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28397 13073 16 0 210500 0
vsize: 842064
[startup+470.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 44674 45 0 0 25 0 11 0 483524369 862273536 28466 4294967295 134512640 134569956 3221224400 3221214792 1131297182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28466 13073 16 0 210500 0
vsize: 842064
[startup+480.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 45630 45 0 0 25 0 11 0 483524369 862273536 28564 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28564 13073 16 0 210500 0
vsize: 842064
[startup+490.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 46586 45 0 0 25 0 11 0 483524369 862273536 28695 4294967295 134512640 134569956 3221224400 3221214664 1131785996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28695 13073 16 0 210500 0
vsize: 842064
[startup+500.116 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 47543 45 0 0 25 0 11 0 483524369 862273536 28828 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28828 13073 16 0 210500 0
vsize: 842064
[startup+510.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 48499 45 0 0 25 0 11 0 483524369 862273536 28961 4294967295 134512640 134569956 3221224400 3221214664 1131785984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 28961 13073 16 0 210500 0
vsize: 842064
[startup+520.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 49457 45 0 0 25 0 11 0 483524369 862273536 29096 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 29096 13073 16 0 210500 0
vsize: 842064
[startup+530.118 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 50414 45 0 0 25 0 11 0 483524369 862273536 29225 4294967295 134512640 134569956 3221224400 3221214792 1131296947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 29225 13073 16 0 210500 0
vsize: 842064
[startup+540.118 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 51373 46 0 0 25 0 11 0 483524369 862273536 29353 4294967295 134512640 134569956 3221224400 3221214552 1131313297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 29353 13073 16 0 210500 0
vsize: 842064
[startup+550.119 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 52332 46 0 0 25 0 11 0 483524369 862273536 29473 4294967295 134512640 134569956 3221224400 3221214664 1131786145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 29473 13073 16 0 210500 0
vsize: 842064
[startup+560.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 53292 46 0 0 25 0 11 0 483524369 862273536 29593 4294967295 134512640 134569956 3221224400 3221214848 1131247829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 29593 13073 16 0 210500 0
vsize: 842064
[startup+570.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 54245 46 0 0 25 0 11 0 483524369 862273536 29752 4294967295 134512640 134569956 3221224400 3221214560 1131313490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 29752 13073 16 0 210500 0
vsize: 842064
[startup+580.121 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 55207 46 0 0 25 0 11 0 483524369 862273536 29900 4294967295 134512640 134569956 3221224400 3221214848 1131247808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 29900 13073 16 0 210500 0
vsize: 842064
[startup+590.124 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 56163 46 0 0 24 0 11 0 483524369 862273536 30021 4294967295 134512640 134569956 3221224400 3221214848 1131247825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30021 13073 16 0 210500 0
vsize: 842064
[startup+600.124 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 57126 46 0 0 25 0 11 0 483524369 862273536 30153 4294967295 134512640 134569956 3221224400 3221214664 1131785984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30153 13073 16 0 210500 0
vsize: 842064
[startup+610.125 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 58088 46 0 0 25 0 11 0 483524369 862273536 30260 4294967295 134512640 134569956 3221224400 3221214848 1131247808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30260 13073 16 0 210500 0
vsize: 842064
[startup+620.129 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) S 26563 32461 32460 0 -1 0 18084 0 1 0 59045 46 0 0 25 0 11 0 483524369 862273536 30357 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30357 13073 16 0 210500 0
vsize: 842064
[startup+630.129 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 60005 46 0 0 25 0 11 0 483524369 862273536 30491 4294967295 134512640 134569956 3221224400 3221214664 1131785984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30491 13073 16 0 210500 0
vsize: 842064
[startup+640.13 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 60966 46 0 0 25 0 11 0 483524369 862273536 30590 4294967295 134512640 134569956 3221224400 3221214892 1131296332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30590 13073 16 0 210500 0
vsize: 842064
[startup+650.131 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 61935 46 0 0 25 0 11 0 483524369 862273536 30677 4294967295 134512640 134569956 3221224400 3221214792 1131297034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30677 13073 16 0 210500 0
vsize: 842064
[startup+660.131 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 62894 46 0 0 25 0 11 0 483524369 862273536 30820 4294967295 134512640 134569956 3221224400 3221214592 1131517412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30820 13073 16 0 210500 0
vsize: 842064
[startup+670.133 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 63859 46 0 0 25 0 11 0 483524369 862273536 30939 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 30939 13073 16 0 210500 0
vsize: 842064
[startup+680.133 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 64823 46 0 0 25 0 11 0 483524369 862273536 31043 4294967295 134512640 134569956 3221224400 3221214664 1131786135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31043 13073 16 0 210500 0
vsize: 842064
[startup+690.133 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 65786 46 0 0 25 0 11 0 483524369 862273536 31163 4294967295 134512640 134569956 3221224400 3221214664 1131785984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31163 13073 16 0 210500 0
vsize: 842064
[startup+700.133 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 66748 46 0 0 25 0 11 0 483524369 862273536 31263 4294967295 134512640 134569956 3221224400 3221214664 1131786003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31263 13073 16 0 210500 0
vsize: 842064
[startup+710.134 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 67701 46 0 0 25 0 11 0 483524369 862273536 31351 4294967295 134512640 134569956 3221224400 3221214664 1131786014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31351 13073 16 0 210500 0
vsize: 842064
[startup+720.134 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 68658 46 0 0 25 0 11 0 483524369 862273536 31447 4294967295 134512640 134569956 3221224400 3221214552 1131595403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31447 13073 16 0 210500 0
vsize: 842064
[startup+730.135 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 69615 46 0 0 25 0 11 0 483524369 862273536 31560 4294967295 134512640 134569956 3221224400 3221214664 1131785984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31560 13073 16 0 210500 0
vsize: 842064
[startup+740.134 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 70570 46 0 0 25 0 11 0 483524369 862273536 31682 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31682 13073 16 0 210500 0
vsize: 842064
[startup+750.135 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 71523 46 0 0 25 0 11 0 483524369 862273536 31798 4294967295 134512640 134569956 3221224400 3221214640 1131796373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31798 13073 16 0 210500 0
vsize: 842064
[startup+760.135 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 72475 46 0 0 25 0 11 0 483524369 862273536 31924 4294967295 134512640 134569956 3221224400 3221214664 1131786149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 31924 13073 16 0 210500 0
vsize: 842064
[startup+770.136 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 73427 46 0 0 25 0 11 0 483524369 862273536 32045 4294967295 134512640 134569956 3221224400 3221214664 1131786152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32045 13073 16 0 210500 0
vsize: 842064
[startup+780.136 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 74378 46 0 0 25 0 11 0 483524369 862273536 32171 4294967295 134512640 134569956 3221224400 3221214896 1131345628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32171 13073 16 0 210500 0
vsize: 842064
[startup+790.136 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 75320 46 0 0 25 0 11 0 483524369 862273536 32326 4294967295 134512640 134569956 3221224400 3221214448 1131763974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32326 13073 16 0 210500 0
vsize: 842064
[startup+800.137 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 76274 46 0 0 25 0 11 0 483524369 862273536 32496 4294967295 134512640 134569956 3221224400 3221214240 1131802716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32496 13073 16 0 210500 0
vsize: 842064
[startup+810.137 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 77230 46 0 0 25 0 11 0 483524369 862273536 32638 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32638 13073 16 0 210500 0
vsize: 842064
[startup+820.141 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) S 26563 32461 32460 0 -1 0 18084 0 1 0 78177 46 0 0 25 0 11 0 483524369 862273536 32777 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32779 13073 16 0 210500 0
vsize: 842064
[startup+830.141 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 79132 46 0 0 25 0 11 0 483524369 862273536 32967 4294967295 134512640 134569956 3221224400 3221214576 1131756949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 32967 13073 16 0 210500 0
vsize: 842064
[startup+840.14 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 80080 46 0 0 24 0 11 0 483524369 862273536 33105 4294967295 134512640 134569956 3221224400 3221214656 1131787888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 33105 13073 16 0 210500 0
vsize: 842064
[startup+850.141 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 81037 47 0 0 25 0 11 0 483524369 862273536 33201 4294967295 134512640 134569956 3221224400 3221214792 1131297186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 33201 13073 16 0 210500 0
vsize: 842064
[startup+860.142 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 81993 47 0 0 25 0 11 0 483524369 862273536 33313 4294967295 134512640 134569956 3221224400 3221214848 1131247862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 33313 13073 16 0 210500 0
vsize: 842064
[startup+870.141 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 82942 47 0 0 24 0 11 0 483524369 862273536 33516 4294967295 134512640 134569956 3221224400 3221214552 1131313379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 33516 13073 16 0 210500 0
vsize: 842064
[startup+880.142 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 83903 47 0 0 25 0 11 0 483524369 862273536 33644 4294967295 134512640 134569956 3221224400 3221214896 1131345689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 33644 13073 16 0 210500 0
vsize: 842064
[startup+890.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 84864 47 0 0 25 0 11 0 483524369 862273536 33780 4294967295 134512640 134569956 3221224400 3221214504 1131581180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 33780 13073 16 0 210500 0
vsize: 842064
[startup+900.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 85816 47 0 0 25 0 11 0 483524369 862273536 33914 4294967295 134512640 134569956 3221224400 3221214792 1131296861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 33914 13073 16 0 210500 0
vsize: 842064
[startup+910.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 86777 47 0 0 25 0 11 0 483524369 862273536 34027 4294967295 134512640 134569956 3221224400 3221214552 1131313229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34027 13073 16 0 210500 0
vsize: 842064
[startup+920.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 87729 48 0 0 25 0 11 0 483524369 862273536 34156 4294967295 134512640 134569956 3221224400 3221214664 1131786010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34156 13073 16 0 210500 0
vsize: 842064
[startup+930.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 88682 48 0 0 24 0 11 0 483524369 862273536 34270 4294967295 134512640 134569956 3221224400 3221214792 1131296947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34270 13073 16 0 210500 0
vsize: 842064
[startup+940.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 89637 48 0 0 25 0 11 0 483524369 862273536 34400 4294967295 134512640 134569956 3221224400 3221214664 1131785996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34400 13073 16 0 210500 0
vsize: 842064
[startup+950.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 90600 48 0 0 25 0 11 0 483524369 862273536 34521 4294967295 134512640 134569956 3221224400 3221214792 1131297102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34521 13073 16 0 210500 0
vsize: 842064
[startup+960.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 91557 49 0 0 25 0 11 0 483524369 862273536 34647 4294967295 134512640 134569956 3221224400 3221214792 1131296947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 34647 13073 16 0 210500 0
vsize: 842064
[startup+970.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 92514 49 0 0 25 0 11 0 483524369 862273536 34770 4294967295 134512640 134569956 3221224400 3221214560 1131313379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34770 13073 16 0 210500 0
vsize: 842064
[startup+980.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 93469 49 0 0 25 0 11 0 483524369 862273536 34875 4294967295 134512640 134569956 3221224400 3221214792 1131297608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 34875 13073 16 0 210500 0
vsize: 842064
[startup+990.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 94408 49 0 0 25 0 11 0 483524369 862273536 35046 4294967295 134512640 134569956 3221224400 3221214792 1131296582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 35046 13073 16 0 210500 0
vsize: 842064
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 95360 50 0 0 25 0 11 0 483524369 862273536 35229 4294967295 134512640 134569956 3221224400 3221214872 1131368489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35229 13073 16 0 210500 0
vsize: 842064
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 96326 50 0 0 25 0 11 0 483524369 862273536 35440 4294967295 134512640 134569956 3221224400 3221214792 1131296594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35440 13073 16 0 210500 0
vsize: 842064
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 97309 51 0 0 25 0 11 0 483524369 862273536 35540 4294967295 134512640 134569956 3221224400 3221214792 1131297178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35540 13073 16 0 210500 0
vsize: 842064
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 98290 51 0 0 25 0 11 0 483524369 862273536 35556 4294967295 134512640 134569956 3221224400 3221214792 1131296835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35556 13073 16 0 210500 0
vsize: 842064
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 99260 51 0 0 25 0 11 0 483524369 862273536 35577 4294967295 134512640 134569956 3221224400 3221214848 1131247808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35577 13073 16 0 210500 0
vsize: 842064
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 100221 52 0 0 25 0 11 0 483524369 862273536 35603 4294967295 134512640 134569956 3221224400 3221214664 1131786014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 35603 13073 16 0 210500 0
vsize: 842064
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 101173 52 0 0 25 0 11 0 483524369 862273536 35655 4294967295 134512640 134569956 3221224400 3221214792 1131296907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35655 13073 16 0 210500 0
vsize: 842064
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 102127 52 0 0 25 0 11 0 483524369 862273536 35779 4294967295 134512640 134569956 3221224400 3221214848 1131247832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 35779 13073 16 0 210500 0
vsize: 842064
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 103075 53 0 0 25 0 11 0 483524369 862273536 35925 4294967295 134512640 134569956 3221224400 3221214832 1131497440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210516 35925 13073 16 0 210500 0
vsize: 842064
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 104024 54 0 0 21 0 11 0 483524369 862273536 36080 4294967295 134512640 134569956 3221224400 3221214792 1131297138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36080 13073 16 0 210500 0
vsize: 842064
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 104973 54 0 0 25 0 11 0 483524369 862273536 36213 4294967295 134512640 134569956 3221224400 3221214896 1131345608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36213 13073 16 0 210500 0
vsize: 842064
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 105927 55 0 0 25 0 11 0 483524369 862273536 36358 4294967295 134512640 134569956 3221224400 3221214792 1131297523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36358 13073 16 0 210500 0
vsize: 842064
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 106888 55 0 0 25 0 11 0 483524369 862273536 36475 4294967295 134512640 134569956 3221224400 3221214792 1131297061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36475 13073 16 0 210500 0
vsize: 842064
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 107844 56 0 0 25 0 11 0 483524369 862273536 36620 4294967295 134512640 134569956 3221224400 3221214792 1131296947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36620 13073 16 0 210500 0
vsize: 842064
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 108805 57 0 0 25 0 11 0 483524369 862273536 36756 4294967295 134512640 134569956 3221224400 3221214792 1131297057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36756 13073 16 0 210500 0
vsize: 842064
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 109767 57 0 0 25 0 11 0 483524369 862273536 36847 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36847 13073 16 0 210500 0
vsize: 842064
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 110730 57 0 0 25 0 11 0 483524369 862273536 36956 4294967295 134512640 134569956 3221224400 3221214664 1131786014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 36956 13073 16 0 210500 0
vsize: 842064
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 111693 57 0 0 25 0 11 0 483524369 862273536 37067 4294967295 134512640 134569956 3221224400 3221214792 1131296947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37067 13073 16 0 210500 0
vsize: 842064
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 112655 58 0 0 25 0 11 0 483524369 862273536 37134 4294967295 134512640 134569956 3221224400 3221214792 1131296389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37134 13073 16 0 210500 0
vsize: 842064
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 113616 58 0 0 25 0 11 0 483524369 862273536 37220 4294967295 134512640 134569956 3221224400 3221214896 1131346176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37220 13073 16 0 210500 0
vsize: 842064
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 114575 59 0 0 25 0 11 0 483524369 862273536 37357 4294967295 134512640 134569956 3221224400 3221214792 1131297130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37357 13073 16 0 210500 0
vsize: 842064
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 115535 59 0 0 25 0 11 0 483524369 862273536 37436 4294967295 134512640 134569956 3221224400 3221214664 1131786145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37436 13073 16 0 210500 0
vsize: 842064
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 116499 59 0 0 25 0 11 0 483524369 862273536 37535 4294967295 134512640 134569956 3221224400 3221214792 1131296628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37535 13073 16 0 210500 0
vsize: 842064
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 117457 59 0 0 25 0 11 0 483524369 862273536 37639 4294967295 134512640 134569956 3221224400 3221214664 1131786000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37639 13073 16 0 210500 0
vsize: 842064
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 118410 60 0 0 25 0 11 0 483524369 862273536 37785 4294967295 134512640 134569956 3221224400 3221214592 1131519149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37785 13073 16 0 210500 0
vsize: 842064
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 119369 61 0 0 25 0 11 0 483524369 862273536 37886 4294967295 134512640 134569956 3221224400 3221214552 1131593951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 37886 13073 16 0 210500 0
vsize: 842064
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26574
Raw data (stat): 26564 (java) R 26563 32461 32460 0 -1 0 18084 0 1 0 120328 61 0 0 25 0 11 0 483524369 862273536 38013 4294967295 134512640 134569956 3221224400 3221214848 1131247805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210516 38013 13073 16 0 210500 0
vsize: 842064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26576
Raw data (stat): 26564 (java) Z 26563 32461 32460 0 -1 1036 18084 17595 1 0 120333 61 5303 40 25 0 1 0 483524369 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.28
CPU time (s): 1257.39
CPU user time (s): 1256.37
CPU system time (s): 1.02084
CPU usage (%): 99.771
Max. virtual memory (Kb): 854332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####