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/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 4214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 15:53:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=486 boxname=wulflinc18 idbench=54 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc18/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 486
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        927380 kB
Buffers:         32296 kB
Cached:          38988 kB
SwapCached:        320 kB
Active:          38752 kB
Inactive:        35672 kB
HighTotal:      131008 kB
HighFree:        87612 kB
LowTotal:       903652 kB
LowFree:        839768 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27300 kB
Committed_AS:    63692 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:28 (client local time) WITH STATUS 143 IN  SECONDS
stats: 486 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-fpga40_40_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=2400]
c [nbconstr=1720]
c time 5.269
c #vars     2400
c #clauses  1720
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.86 0.27 0.09 2/55 20170
Raw data (stat): 20170 (runsolver) R 20169 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477175244 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.0006 s]
Raw data (loadavg): 1.19 0.36 0.12 3/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18066 0 1 0 705 44 0 0 25 0 11 0 477175244 859840512 20941 4294967295 134512640 134569956 3221224400 3221214848 1131318752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209922 20941 13073 16 0 209906 0
vsize: 839688
[startup+20.0014 s]
Raw data (loadavg): 1.31 0.42 0.14 2/65 20180
Raw data (stat): 20170 (java) S 20169 20024 20023 0 -1 0 18066 0 1 0 1614 44 0 0 25 0 11 0 477175244 862953472 22648 4294967295 134512640 134569956 3221224400 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210682 22648 13073 16 0 210666 0
vsize: 842728
[startup+30.0017 s]
Raw data (loadavg): 1.33 0.45 0.16 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18067 0 1 0 2528 44 0 0 25 0 11 0 477175244 865280000 23479 4294967295 134512640 134569956 3221224400 3221214832 1131319072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211250 23479 13073 16 0 211234 0
vsize: 845000
[startup+40.0024 s]
Raw data (loadavg): 1.28 0.47 0.17 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 3450 45 0 0 25 0 11 0 477175244 864620544 23544 4294967295 134512640 134569956 3221224400 3221214688 1131394225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 23544 13073 16 0 211073 0
vsize: 844356
[startup+50.0041 s]
Raw data (loadavg): 1.24 0.49 0.18 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 4398 45 0 0 25 0 11 0 477175244 864620544 23844 4294967295 134512640 134569956 3221224400 3221214568 1131584320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 23844 13073 16 0 211073 0
vsize: 844356
[startup+60.0045 s]
Raw data (loadavg): 1.20 0.50 0.18 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 5347 45 0 0 25 0 11 0 477175244 864620544 23928 4294967295 134512640 134569956 3221224400 3221214448 1131403766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 23928 13073 16 0 211073 0
vsize: 844356
[startup+70.0048 s]
Raw data (loadavg): 1.17 0.52 0.19 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 6300 46 0 0 24 0 11 0 477175244 864620544 23991 4294967295 134512640 134569956 3221224400 3221214568 1131584678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 23991 13073 16 0 211073 0
vsize: 844356
[startup+80.0057 s]
Raw data (loadavg): 1.14 0.53 0.20 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 7264 46 0 0 25 0 11 0 477175244 864620544 24049 4294967295 134512640 134569956 3221224400 3221214672 1131487149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 24049 13073 16 0 211073 0
vsize: 844356
[startup+90.006 s]
Raw data (loadavg): 1.12 0.55 0.21 2/65 20180
Raw data (stat): 20170 (java) S 20169 20024 20023 0 -1 0 18068 0 1 0 8202 46 0 0 25 0 11 0 477175244 864620544 24167 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 24167 13073 16 0 211073 0
vsize: 844356
[startup+100.008 s]
Raw data (loadavg): 1.10 0.56 0.22 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 9154 46 0 0 25 0 11 0 477175244 864620544 24485 4294967295 134512640 134569956 3221224400 3221214568 1131280124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 24485 13073 16 0 211073 0
vsize: 844356
[startup+110.008 s]
Raw data (loadavg): 1.09 0.58 0.22 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 10107 47 0 0 25 0 11 0 477175244 864620544 24743 4294967295 134512640 134569956 3221224400 3221214672 1131487108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 24743 13073 16 0 211073 0
vsize: 844356
[startup+120.008 s]
Raw data (loadavg): 1.07 0.59 0.23 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 11075 47 0 0 25 0 11 0 477175244 864620544 24828 4294967295 134512640 134569956 3221224400 3221214608 1131405518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 24828 13073 16 0 211073 0
vsize: 844356
[startup+130.008 s]
Raw data (loadavg): 1.06 0.60 0.24 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 12025 47 0 0 25 0 11 0 477175244 864620544 24915 4294967295 134512640 134569956 3221224400 3221214832 1131318852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 24915 13073 16 0 211073 0
vsize: 844356
[startup+140.009 s]
Raw data (loadavg): 1.05 0.62 0.25 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 12961 48 0 0 24 0 11 0 477175244 864620544 25054 4294967295 134512640 134569956 3221224400 3221214744 1131342921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 25054 13073 16 0 211073 0
vsize: 844356
[startup+150.011 s]
Raw data (loadavg): 1.04 0.63 0.25 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 13876 48 0 0 24 0 11 0 477175244 864620544 25365 4294967295 134512640 134569956 3221224400 3221214640 1131285112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 25365 13073 16 0 211073 0
vsize: 844356
[startup+160.011 s]
Raw data (loadavg): 1.04 0.64 0.26 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 14793 48 0 0 25 0 11 0 477175244 864620544 25560 4294967295 134512640 134569956 3221224400 3221214424 1079721457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 25560 13073 16 0 211073 0
vsize: 844356
[startup+170.012 s]
Raw data (loadavg): 1.03 0.65 0.27 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 15696 48 0 0 25 0 11 0 477175244 864620544 25845 4294967295 134512640 134569956 3221224400 3221214728 1131279947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 25845 13073 16 0 211073 0
vsize: 844356
[startup+180.012 s]
Raw data (loadavg): 1.02 0.66 0.28 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 16622 48 0 0 25 0 11 0 477175244 864620544 26209 4294967295 134512640 134569956 3221224400 3221214784 1131322886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26209 13073 16 0 211073 0
vsize: 844356
[startup+190.013 s]
Raw data (loadavg): 1.02 0.67 0.28 2/65 20180
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 17591 49 0 0 25 0 11 0 477175244 864620544 26232 4294967295 134512640 134569956 3221224400 3221214672 1131485207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26232 13073 16 0 211073 0
vsize: 844356
[startup+200.013 s]
Raw data (loadavg): 1.02 0.68 0.29 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 18561 49 0 0 25 0 11 0 477175244 864620544 26232 4294967295 134512640 134569956 3221224400 3221214672 1131487115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26232 13073 16 0 211073 0
vsize: 844356
[startup+210.014 s]
Raw data (loadavg): 1.01 0.69 0.30 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 19532 50 0 0 25 0 11 0 477175244 864620544 26257 4294967295 134512640 134569956 3221224400 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26257 13073 16 0 211073 0
vsize: 844356
[startup+220.014 s]
Raw data (loadavg): 1.01 0.70 0.30 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 20494 50 0 0 25 0 11 0 477175244 864620544 26459 4294967295 134512640 134569956 3221224400 3221214568 1131585497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26459 13073 16 0 211073 0
vsize: 844356
[startup+230.015 s]
Raw data (loadavg): 1.01 0.71 0.31 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 21471 50 0 0 25 0 11 0 477175244 864620544 26484 4294967295 134512640 134569956 3221224400 3221214696 1131315845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26484 13073 16 0 211073 0
vsize: 844356
[startup+240.016 s]
Raw data (loadavg): 1.01 0.72 0.32 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 22448 50 0 0 25 0 11 0 477175244 864620544 26535 4294967295 134512640 134569956 3221224400 3221214568 1131584497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26535 13073 16 0 211073 0
vsize: 844356
[startup+250.017 s]
Raw data (loadavg): 1.01 0.73 0.33 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 23426 51 0 0 25 0 11 0 477175244 864620544 26588 4294967295 134512640 134569956 3221224400 3221214672 1131487047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 26588 13073 16 0 211073 0
vsize: 844356
[startup+260.018 s]
Raw data (loadavg): 1.00 0.74 0.33 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 24400 51 0 0 25 0 11 0 477175244 864620544 26762 4294967295 134512640 134569956 3221224400 3221214760 1131350030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26762 13073 16 0 211073 0
vsize: 844356
[startup+270.018 s]
Raw data (loadavg): 1.00 0.75 0.34 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 25386 51 0 0 25 0 11 0 477175244 864620544 26960 4294967295 134512640 134569956 3221224400 3221214568 1131584548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 26960 13073 16 0 211073 0
vsize: 844356
[startup+280.02 s]
Raw data (loadavg): 1.00 0.75 0.35 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 26378 51 0 0 25 0 11 0 477175244 864620544 27107 4294967295 134512640 134569956 3221224400 3221214760 1131349203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27107 13073 16 0 211073 0
vsize: 844356
[startup+290.02 s]
Raw data (loadavg): 1.00 0.76 0.35 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 27371 52 0 0 25 0 11 0 477175244 864620544 27129 4294967295 134512640 134569956 3221224400 3221214568 1131584761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27129 13073 16 0 211073 0
vsize: 844356
[startup+300.021 s]
Raw data (loadavg): 1.00 0.77 0.36 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 28363 52 0 0 25 0 11 0 477175244 864620544 27158 4294967295 134512640 134569956 3221224400 3221214568 1131584114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27158 13073 16 0 211073 0
vsize: 844356
[startup+310.021 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 29357 52 0 0 25 0 11 0 477175244 864620544 27179 4294967295 134512640 134569956 3221224400 3221214672 1131485204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27179 13073 16 0 211073 0
vsize: 844356
[startup+320.021 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 30348 53 0 0 25 0 11 0 477175244 864620544 27207 4294967295 134512640 134569956 3221224400 3221214672 1131485207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27207 13073 16 0 211073 0
vsize: 844356
[startup+330.022 s]
Raw data (loadavg): 1.00 0.79 0.38 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 31341 53 0 0 25 0 11 0 477175244 864620544 27228 4294967295 134512640 134569956 3221224400 3221214568 1131584478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27228 13073 16 0 211073 0
vsize: 844356
[startup+340.022 s]
Raw data (loadavg): 1.00 0.80 0.38 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 32335 54 0 0 25 0 11 0 477175244 864620544 27248 4294967295 134512640 134569956 3221224400 3221214568 1131584077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27248 13073 16 0 211073 0
vsize: 844356
[startup+350.023 s]
Raw data (loadavg): 1.00 0.80 0.39 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 33328 54 0 0 25 0 11 0 477175244 864620544 27267 4294967295 134512640 134569956 3221224400 3221214568 1131585631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27267 13073 16 0 211073 0
vsize: 844356
[startup+360.023 s]
Raw data (loadavg): 1.00 0.81 0.40 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 34320 55 0 0 25 0 11 0 477175244 864620544 27297 4294967295 134512640 134569956 3221224400 3221214760 1131349144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27297 13073 16 0 211073 0
vsize: 844356
[startup+370.024 s]
Raw data (loadavg): 1.00 0.81 0.40 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 35313 55 0 0 25 0 11 0 477175244 864620544 27318 4294967295 134512640 134569956 3221224400 3221214672 1131485200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27318 13073 16 0 211073 0
vsize: 844356
[startup+380.024 s]
Raw data (loadavg): 1.00 0.82 0.41 2/65 20182
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 36307 55 0 0 25 0 11 0 477175244 864620544 27345 4294967295 134512640 134569956 3221224400 3221214568 1131586417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27345 13073 16 0 211073 0
vsize: 844356
[startup+390.035 s]
Raw data (loadavg): 1.00 0.83 0.41 2/67 20218
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 37298 56 0 0 25 0 11 0 477175244 864620544 27371 4294967295 134512640 134569956 3221224400 3221214568 1131584590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 27371 13073 16 0 211073 0
vsize: 844356
[startup+400.036 s]
Raw data (loadavg): 1.00 0.83 0.42 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 38291 56 0 0 25 0 11 0 477175244 864620544 27396 4294967295 134512640 134569956 3221224400 3221214568 1131279688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27396 13073 16 0 211073 0
vsize: 844356
[startup+410.036 s]
Raw data (loadavg): 1.00 0.84 0.42 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 39282 57 0 0 25 0 11 0 477175244 864620544 27415 4294967295 134512640 134569956 3221224400 3221214568 1131584541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27415 13073 16 0 211073 0
vsize: 844356
[startup+420.036 s]
Raw data (loadavg): 1.00 0.84 0.43 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 40275 57 0 0 25 0 11 0 477175244 864620544 27443 4294967295 134512640 134569956 3221224400 3221214568 1131584475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27443 13073 16 0 211073 0
vsize: 844356
[startup+430.037 s]
Raw data (loadavg): 1.00 0.85 0.44 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 41268 57 0 0 25 0 11 0 477175244 864620544 27463 4294967295 134512640 134569956 3221224400 3221214672 1131487091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27463 13073 16 0 211073 0
vsize: 844356
[startup+440.038 s]
Raw data (loadavg): 1.00 0.85 0.44 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 42260 57 0 0 24 0 11 0 477175244 864620544 27493 4294967295 134512640 134569956 3221224400 3221214616 1131234077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27493 13073 16 0 211073 0
vsize: 844356
[startup+450.039 s]
Raw data (loadavg): 1.00 0.85 0.45 2/65 20235
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 43253 58 0 0 25 0 11 0 477175244 864620544 27514 4294967295 134512640 134569956 3221224400 3221214672 1131487191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27514 13073 16 0 211073 0
vsize: 844356
[startup+460.04 s]
Raw data (loadavg): 1.00 0.86 0.45 2/65 20237
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 44246 58 0 0 25 0 11 0 477175244 864620544 27534 4294967295 134512640 134569956 3221224400 3221214728 1131388762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27534 13073 16 0 211073 0
vsize: 844356
[startup+470.041 s]
Raw data (loadavg): 1.00 0.86 0.46 2/65 20237
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 45238 59 0 0 25 0 11 0 477175244 864620544 27566 4294967295 134512640 134569956 3221224400 3221214568 1131585602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27566 13073 16 0 211073 0
vsize: 844356
[startup+480.041 s]
Raw data (loadavg): 1.00 0.87 0.46 2/65 20237
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 46230 59 0 0 25 0 11 0 477175244 864620544 27588 4294967295 134512640 134569956 3221224400 3221214568 1131584732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27588 13073 16 0 211073 0
vsize: 844356
[startup+490.042 s]
Raw data (loadavg): 1.00 0.87 0.47 2/65 20237
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 47224 59 0 0 25 0 11 0 477175244 864620544 27612 4294967295 134512640 134569956 3221224400 3221214888 1131522623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27612 13073 16 0 211073 0
vsize: 844356
[startup+500.043 s]
Raw data (loadavg): 1.00 0.87 0.47 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 48216 60 0 0 25 0 11 0 477175244 864620544 27638 4294967295 134512640 134569956 3221224400 3221214552 1131520449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27638 13073 16 0 211073 0
vsize: 844356
[startup+510.044 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 49209 60 0 0 25 0 11 0 477175244 864620544 27662 4294967295 134512640 134569956 3221224400 3221214672 1131487067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27662 13073 16 0 211073 0
vsize: 844356
[startup+520.045 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 50201 60 0 0 25 0 11 0 477175244 864620544 27691 4294967295 134512640 134569956 3221224400 3221214640 1131212171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27691 13073 16 0 211073 0
vsize: 844356
[startup+530.046 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18068 0 1 0 51180 61 0 0 25 0 11 0 477175244 864620544 27735 4294967295 134512640 134569956 3221224400 3221214688 1131395600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27735 13073 16 0 211073 0
vsize: 844356
[startup+540.047 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 52137 61 0 0 25 0 11 0 477175244 864620544 27782 4294967295 134512640 134569956 3221224400 3221214688 1131394635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27782 13073 16 0 211073 0
vsize: 844356
[startup+550.048 s]
Raw data (loadavg): 1.00 0.89 0.50 3/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 53097 61 0 0 25 0 11 0 477175244 864620544 27818 4294967295 134512640 134569956 3221224400 3221214684 1080203680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27818 13073 16 0 211073 0
vsize: 844356
[startup+560.05 s]
Raw data (loadavg): 1.00 0.89 0.50 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 54033 61 0 0 25 0 11 0 477175244 864620544 27868 4294967295 134512640 134569956 3221224400 3221214688 1131394054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 27868 13073 16 0 211073 0
vsize: 844356
[startup+570.049 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 54982 62 0 0 25 0 11 0 477175244 864620544 28004 4294967295 134512640 134569956 3221224400 3221214672 1131487047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 28004 13073 16 0 211073 0
vsize: 844356
[startup+580.051 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 55923 62 0 0 25 0 11 0 477175244 864620544 28258 4294967295 134512640 134569956 3221224400 3221214568 1131584559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 28258 13073 16 0 211073 0
vsize: 844356
[startup+590.051 s]
Raw data (loadavg): 1.00 0.90 0.52 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 56870 62 0 0 25 0 11 0 477175244 864620544 28489 4294967295 134512640 134569956 3221224400 3221214688 1131394946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 28489 13073 16 0 211073 0
vsize: 844356
[startup+600.052 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 57820 63 0 0 25 0 11 0 477175244 864620544 28622 4294967295 134512640 134569956 3221224400 3221214672 1131485200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 28622 13073 16 0 211073 0
vsize: 844356
[startup+610.053 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 58768 63 0 0 25 0 11 0 477175244 864620544 28823 4294967295 134512640 134569956 3221224400 3221214672 1131487191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 28823 13073 16 0 211073 0
vsize: 844356
[startup+620.053 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 59724 64 0 0 25 0 11 0 477175244 864620544 29051 4294967295 134512640 134569956 3221224400 3221214568 1131279695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 29051 13073 16 0 211073 0
vsize: 844356
[startup+630.054 s]
Raw data (loadavg): 1.00 0.91 0.54 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 60679 64 0 0 25 0 11 0 477175244 864620544 29420 4294967295 134512640 134569956 3221224400 3221214568 1131584637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 29420 13073 16 0 211073 0
vsize: 844356
[startup+640.054 s]
Raw data (loadavg): 1.00 0.92 0.54 3/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 61624 64 0 0 25 0 11 0 477175244 864620544 29855 4294967295 134512640 134569956 3221224400 3221214832 1131318752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 29855 13073 16 0 211073 0
vsize: 844356
[startup+650.056 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 62583 65 0 0 25 0 11 0 477175244 864620544 30125 4294967295 134512640 134569956 3221224400 3221214568 1131584678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 30125 13073 16 0 211073 0
vsize: 844356
[startup+660.057 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 63521 65 0 0 24 0 11 0 477175244 864620544 30478 4294967295 134512640 134569956 3221224400 3221214672 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 30478 13073 16 0 211073 0
vsize: 844356
[startup+670.056 s]
Raw data (loadavg): 1.00 0.92 0.56 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 64464 65 0 0 25 0 11 0 477175244 864620544 30545 4294967295 134512640 134569956 3221224400 3221214672 1131485184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 30545 13073 16 0 211073 0
vsize: 844356
[startup+680.057 s]
Raw data (loadavg): 1.00 0.92 0.56 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 65402 66 0 0 25 0 11 0 477175244 864620544 30613 4294967295 134512640 134569956 3221224400 3221214608 1131279850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 30613 13073 16 0 211073 0
vsize: 844356
[startup+690.058 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 66348 66 0 0 25 0 11 0 477175244 864620544 30706 4294967295 134512640 134569956 3221224400 3221214648 1131395164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 30706 13073 16 0 211073 0
vsize: 844356
[startup+700.059 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 20239
Raw data (stat): 20170 (java) S 20169 20024 20023 0 -1 0 18069 0 1 0 67271 66 0 0 25 0 11 0 477175244 864620544 31234 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 31234 13073 16 0 211073 0
vsize: 844356
[startup+710.06 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 68232 66 0 0 25 0 11 0 477175244 864620544 31449 4294967295 134512640 134569956 3221224400 3221214792 1131319031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 31449 13073 16 0 211073 0
vsize: 844356
[startup+720.061 s]
Raw data (loadavg): 1.07 0.95 0.58 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 69179 67 0 0 25 0 11 0 477175244 864620544 31670 4294967295 134512640 134569956 3221224400 3221214632 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 31670 13073 16 0 211073 0
vsize: 844356
[startup+730.063 s]
Raw data (loadavg): 1.06 0.95 0.58 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 70138 67 0 0 25 0 11 0 477175244 864620544 32027 4294967295 134512640 134569956 3221224400 3221214632 1131255910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32027 13073 16 0 211073 0
vsize: 844356
[startup+740.064 s]
Raw data (loadavg): 1.05 0.95 0.59 2/65 20239
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 71069 67 0 0 25 0 11 0 477175244 864620544 32222 4294967295 134512640 134569956 3221224400 3221214792 1131318762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32222 13073 16 0 211073 0
vsize: 844356
[startup+750.065 s]
Raw data (loadavg): 1.04 0.95 0.59 2/65 20241
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 72010 67 0 0 25 0 11 0 477175244 864620544 32390 4294967295 134512640 134569956 3221224400 3221214792 1131319031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32390 13073 16 0 211073 0
vsize: 844356
[startup+760.066 s]
Raw data (loadavg): 1.04 0.95 0.60 2/65 20241
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 72943 68 0 0 25 0 11 0 477175244 864620544 32481 4294967295 134512640 134569956 3221224400 3221214648 1131395518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32481 13073 16 0 211073 0
vsize: 844356
[startup+770.065 s]
Raw data (loadavg): 1.03 0.95 0.60 2/65 20241
Raw data (stat): 20170 (java) S 20169 20024 20023 0 -1 0 18069 0 1 0 73882 68 0 0 25 0 11 0 477175244 864620544 32575 4294967295 134512640 134569956 3221224400 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32575 13073 16 0 211073 0
vsize: 844356
[startup+780.066 s]
Raw data (loadavg): 1.02 0.95 0.60 2/65 20241
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 74829 69 0 0 25 0 11 0 477175244 864620544 32922 4294967295 134512640 134569956 3221224400 3221214648 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 32922 13073 16 0 211073 0
vsize: 844356
[startup+790.067 s]
Raw data (loadavg): 1.02 0.95 0.61 2/65 20241
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 75781 69 0 0 25 0 11 0 477175244 864620544 33141 4294967295 134512640 134569956 3221224400 3221214792 1131319028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33141 13073 16 0 211073 0
vsize: 844356
[startup+800.068 s]
Raw data (loadavg): 1.02 0.96 0.61 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 76740 70 0 0 24 0 11 0 477175244 864620544 33263 4294967295 134512640 134569956 3221224400 3221214792 1131318852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33263 13073 16 0 211073 0
vsize: 844356
[startup+810.069 s]
Raw data (loadavg): 1.01 0.96 0.62 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 77702 71 0 0 25 0 11 0 477175244 864620544 33368 4294967295 134512640 134569956 3221224400 3221214632 1131255975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33368 13073 16 0 211073 0
vsize: 844356
[startup+820.069 s]
Raw data (loadavg): 1.01 0.96 0.62 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 78659 71 0 0 25 0 11 0 477175244 864620544 33466 4294967295 134512640 134569956 3221224400 3221214728 1131322857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33466 13073 16 0 211073 0
vsize: 844356
[startup+830.071 s]
Raw data (loadavg): 1.01 0.96 0.62 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 79610 71 0 0 25 0 11 0 477175244 864620544 33593 4294967295 134512640 134569956 3221224400 3221214632 1131256477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33593 13073 16 0 211073 0
vsize: 844356
[startup+840.072 s]
Raw data (loadavg): 1.01 0.96 0.63 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 80564 71 0 0 25 0 11 0 477175244 864620544 33691 4294967295 134512640 134569956 3221224400 3221214600 1131285108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33691 13073 16 0 211073 0
vsize: 844356
[startup+850.072 s]
Raw data (loadavg): 1.01 0.96 0.63 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 81519 72 0 0 25 0 11 0 477175244 864620544 33819 4294967295 134512640 134569956 3221224400 3221214632 1131256004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33819 13073 16 0 211073 0
vsize: 844356
[startup+860.073 s]
Raw data (loadavg): 1.00 0.96 0.63 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 82489 72 0 0 25 0 11 0 477175244 864620544 33993 4294967295 134512640 134569956 3221224400 3221214792 1131318748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 33993 13073 16 0 211073 0
vsize: 844356
[startup+870.073 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 83461 72 0 0 25 0 11 0 477175244 864620544 34127 4294967295 134512640 134569956 3221224400 3221214728 1131324901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34127 13073 16 0 211073 0
vsize: 844356
[startup+880.074 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 84436 72 0 0 25 0 11 0 477175244 864620544 34220 4294967295 134512640 134569956 3221224400 3221214792 1131318852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34220 13073 16 0 211073 0
vsize: 844356
[startup+890.074 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 85411 72 0 0 25 0 11 0 477175244 864620544 34305 4294967295 134512640 134569956 3221224400 3221214528 1131584584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34305 13073 16 0 211073 0
vsize: 844356
[startup+900.076 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 86381 73 0 0 25 0 11 0 477175244 864620544 34349 4294967295 134512640 134569956 3221224400 3221214600 1131212171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34349 13073 16 0 211073 0
vsize: 844356
[startup+910.076 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 87351 73 0 0 25 0 11 0 477175244 864620544 34376 4294967295 134512640 134569956 3221224400 3221214720 1131350117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211089 34376 13073 16 0 211073 0
vsize: 844356
[startup+920.077 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 88315 73 0 0 25 0 11 0 477175244 864620544 34479 4294967295 134512640 134569956 3221224400 3221214792 1131318752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34479 13073 16 0 211073 0
vsize: 844356
[startup+930.079 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 89284 73 0 0 25 0 11 0 477175244 864620544 34545 4294967295 134512640 134569956 3221224400 3221214528 1131584702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34545 13073 16 0 211073 0
vsize: 844356
[startup+940.08 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 90257 73 0 0 25 0 11 0 477175244 864620544 34635 4294967295 134512640 134569956 3221224400 3221214792 1131319181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34635 13073 16 0 211073 0
vsize: 844356
[startup+950.081 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 91241 74 0 0 25 0 11 0 477175244 864620544 34774 4294967295 134512640 134569956 3221224400 3221214528 1131585637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34774 13073 16 0 211073 0
vsize: 844356
[startup+960.081 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 92226 74 0 0 25 0 11 0 477175244 864620544 34834 4294967295 134512640 134569956 3221224400 3221214792 1131319181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34834 13073 16 0 211073 0
vsize: 844356
[startup+970.082 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 93212 75 0 0 25 0 11 0 477175244 864620544 34875 4294967295 134512640 134569956 3221224400 3221214648 1131394949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34875 13073 16 0 211073 0
vsize: 844356
[startup+980.083 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 94195 75 0 0 25 0 11 0 477175244 864620544 34911 4294967295 134512640 134569956 3221224400 3221214632 1131255975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34911 13073 16 0 211073 0
vsize: 844356
[startup+990.084 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 95170 75 0 0 25 0 11 0 477175244 864620544 34939 4294967295 134512640 134569956 3221224400 3221214720 1131349634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34939 13073 16 0 211073 0
vsize: 844356
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 96138 75 0 0 25 0 11 0 477175244 864620544 34991 4294967295 134512640 134569956 3221224400 3221214528 1131584282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 34991 13073 16 0 211073 0
vsize: 844356
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 97106 75 0 0 25 0 11 0 477175244 864620544 35016 4294967295 134512640 134569956 3221224400 3221214792 1131318755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35016 13073 16 0 211073 0
vsize: 844356
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 98074 76 0 0 25 0 11 0 477175244 864620544 35061 4294967295 134512640 134569956 3221224400 3221214528 1131584114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35061 13073 16 0 211073 0
vsize: 844356
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 99032 76 0 0 25 0 11 0 477175244 864620544 35247 4294967295 134512640 134569956 3221224400 3221214528 1131586402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35247 13073 16 0 211073 0
vsize: 844356
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 100010 76 0 0 25 0 11 0 477175244 864620544 35391 4294967295 134512640 134569956 3221224400 3221214632 1131485217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35391 13073 16 0 211073 0
vsize: 844356
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 100987 77 0 0 25 0 11 0 477175244 864620544 35508 4294967295 134512640 134569956 3221224400 3221214404 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35508 13073 16 0 211073 0
vsize: 844356
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 101953 77 0 0 25 0 11 0 477175244 864620544 35730 4294967295 134512640 134569956 3221224400 3221214656 1131315793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35730 13073 16 0 211073 0
vsize: 844356
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 102923 77 0 0 25 0 11 0 477175244 864620544 35885 4294967295 134512640 134569956 3221224400 3221214528 1131584086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35885 13073 16 0 211073 0
vsize: 844356
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 103894 78 0 0 25 0 11 0 477175244 864620544 35885 4294967295 134512640 134569956 3221224400 3221214568 1131405518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 35885 13073 16 0 211073 0
vsize: 844356
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 20243
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 104873 79 0 0 25 0 11 0 477175244 864620544 36037 4294967295 134512640 134569956 3221224400 3221214528 1131584559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36037 13073 16 0 211073 0
vsize: 844356
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 105843 79 0 0 22 0 11 0 477175244 864620544 36058 4294967295 134512640 134569956 3221224400 3221214528 1131585565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36058 13073 16 0 211073 0
vsize: 844356
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 106813 79 0 0 25 0 11 0 477175244 864620544 36188 4294967295 134512640 134569956 3221224400 3221214640 1131345369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36188 13073 16 0 211073 0
vsize: 844356
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 107784 79 0 0 25 0 11 0 477175244 864620544 36330 4294967295 134512640 134569956 3221224400 3221214504 1131519942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36330 13073 16 0 211073 0
vsize: 844356
[startup+1130.1 s]
Raw data (loadavg): 1.08 0.99 0.72 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 108756 80 0 0 25 0 11 0 477175244 864620544 36395 4294967295 134512640 134569956 3221224400 3221214528 1131584475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36395 13073 16 0 211073 0
vsize: 844356
[startup+1140.1 s]
Raw data (loadavg): 1.07 0.99 0.72 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 109720 80 0 0 25 0 11 0 477175244 864620544 36479 4294967295 134512640 134569956 3221224400 3221214464 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36479 13073 16 0 211073 0
vsize: 844356
[startup+1150.1 s]
Raw data (loadavg): 1.06 0.99 0.73 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 110693 80 0 0 25 0 11 0 477175244 864620544 36534 4294967295 134512640 134569956 3221224400 3221214632 1131485184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36534 13073 16 0 211073 0
vsize: 844356
[startup+1160.1 s]
Raw data (loadavg): 1.05 0.99 0.73 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 111658 80 0 0 25 0 11 0 477175244 864620544 36636 4294967295 134512640 134569956 3221224400 3221214632 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36636 13073 16 0 211073 0
vsize: 844356
[startup+1170.1 s]
Raw data (loadavg): 1.04 0.99 0.73 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 112634 81 0 0 25 0 11 0 477175244 864620544 36695 4294967295 134512640 134569956 3221224400 3221214160 1131461076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36695 13073 16 0 211073 0
vsize: 844356
[startup+1180.1 s]
Raw data (loadavg): 1.03 0.99 0.73 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 113600 81 0 0 25 0 11 0 477175244 864620544 36856 4294967295 134512640 134569956 3221224400 3221214632 1131485196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36856 13073 16 0 211073 0
vsize: 844356
[startup+1190.1 s]
Raw data (loadavg): 1.03 0.99 0.73 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 114585 81 0 0 25 0 11 0 477175244 864620544 36926 4294967295 134512640 134569956 3221224400 3221214528 1131279961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 36926 13073 16 0 211073 0
vsize: 844356
[startup+1200.1 s]
Raw data (loadavg): 1.02 0.99 0.74 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 115559 82 0 0 25 0 11 0 477175244 864620544 37077 4294967295 134512640 134569956 3221224400 3221214528 1131585470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37077 13073 16 0 211073 0
vsize: 844356
[startup+1210.1 s]
Raw data (loadavg): 1.02 0.99 0.74 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 116541 82 0 0 25 0 11 0 477175244 864620544 37187 4294967295 134512640 134569956 3221224400 3221214528 1131584114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37187 13073 16 0 211073 0
vsize: 844356
[startup+1220.1 s]
Raw data (loadavg): 1.02 0.99 0.74 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 117529 82 0 0 25 0 11 0 477175244 864620544 37203 4294967295 134512640 134569956 3221224400 3221214792 1131319031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37203 13073 16 0 211073 0
vsize: 844356
[startup+1230.1 s]
Raw data (loadavg): 1.01 0.99 0.74 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 118510 82 0 0 25 0 11 0 477175244 864620544 37291 4294967295 134512640 134569956 3221224400 3221214136 1131461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37291 13073 16 0 211073 0
vsize: 844356
[startup+1240.11 s]
Raw data (loadavg): 1.01 0.99 0.74 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 119489 82 0 0 25 0 11 0 477175244 864620544 37328 4294967295 134512640 134569956 3221224400 3221214528 1131584152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37328 13073 16 0 211073 0
vsize: 844356
[startup+1250.11 s]
Raw data (loadavg): 1.01 0.99 0.75 2/65 20245
Raw data (stat): 20170 (java) R 20169 20024 20023 0 -1 0 18069 0 1 0 120469 83 0 0 25 0 11 0 477175244 864620544 37407 4294967295 134512640 134569956 3221224400 3221214552 1131234079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211089 37407 13073 16 0 211073 0
vsize: 844356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.42 s]
Raw data (loadavg): 1.01 0.99 0.75 1/55 20247
Raw data (stat): 20170 (java) Z 20169 20024 20023 0 -1 1036 18069 16457 1 1 120483 83 4136 41 25 0 1 0 477175244 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): 1250.42
CPU time (s): 1247.45
CPU user time (s): 1246.2
CPU system time (s): 1.24981
CPU usage (%): 99.7629
Max. virtual memory (Kb): 845000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####