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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 4467

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 17:31:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2700 boxname=wulflinc30 idbench=300 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 2700
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        747760 kB
Buffers:         36972 kB
Cached:         208848 kB
SwapCached:          0 kB
Active:          80608 kB
Inactive:       167976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747508 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32632 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:52:03 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2700 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.burch_dill.8.accl.ucl.opb
c reading problem 
c [nbvar=21380]
c [nbconstr=60984]
c time 202.191
c #vars     21380
c #clauses  60984
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.85 0.97 0.98 2/54 12617
Raw data (stat): 12617 (runsolver) R 12616 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477766750 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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+9.99982 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 835 41 0 0 25 0 10 0 477766750 854884352 20918 4294967295 134512640 134569956 3221224400 3221214396 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 20918 13073 16 0 208696 0
vsize: 834848
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 1707 41 0 0 25 0 10 0 477766750 854884352 21484 4294967295 134512640 134569956 3221224400 3221214712 1131305267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 21484 13073 16 0 208696 0
vsize: 834848
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 2574 42 0 0 25 0 10 0 477766750 854884352 21883 4294967295 134512640 134569956 3221224400 3221214520 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 21883 13073 16 0 208696 0
vsize: 834848
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 3430 42 0 0 25 0 10 0 477766750 854884352 22356 4294967295 134512640 134569956 3221224400 3221214596 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 22356 13073 16 0 208696 0
vsize: 834848
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 4296 42 0 0 18 0 10 0 477766750 854884352 22719 4294967295 134512640 134569956 3221224400 3221214768 1131317059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 22719 13073 16 0 208696 0
vsize: 834848
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 5153 43 0 0 15 0 10 0 477766750 854884352 23064 4294967295 134512640 134569956 3221224400 3221214488 1131169904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 23064 13073 16 0 208696 0
vsize: 834848
[startup+70.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 6024 44 0 0 19 0 10 0 477766750 854884352 23382 4294967295 134512640 134569956 3221224400 3221214488 1131169740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 23382 13073 16 0 208696 0
vsize: 834848
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 6884 44 0 0 17 0 10 0 477766750 854884352 23739 4294967295 134512640 134569956 3221224400 3221214560 1078025669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 23739 13073 16 0 208696 0
vsize: 834848
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 7758 45 0 0 20 0 10 0 477766750 854884352 23968 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 23968 13073 16 0 208696 0
vsize: 834848
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 8625 45 0 0 18 0 10 0 477766750 854884352 24304 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 24304 13073 16 0 208696 0
vsize: 834848
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 9498 46 0 0 17 0 10 0 477766750 854884352 24562 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 24562 13073 16 0 208696 0
vsize: 834848
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 10374 46 0 0 18 0 10 0 477766750 854884352 24816 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 24816 13073 16 0 208696 0
vsize: 834848
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 11253 46 0 0 19 0 10 0 477766750 854884352 25055 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 25055 13073 16 0 208696 0
vsize: 834848
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) S 12616 11931 11930 0 -1 0 18009 0 1 0 12132 46 0 0 16 0 10 0 477766750 854884352 25288 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 25288 13073 16 0 208696 0
vsize: 834848
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 13003 47 0 0 16 0 10 0 477766750 854884352 25522 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 25522 13073 16 0 208696 0
vsize: 834848
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 13881 47 0 0 16 0 10 0 477766750 854884352 25730 4294967295 134512640 134569956 3221224400 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 25730 13073 16 0 208696 0
vsize: 834848
[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 14759 47 0 0 16 0 10 0 477766750 854884352 26027 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 26027 13073 16 0 208696 0
vsize: 834848
[startup+180.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 15641 48 0 0 15 0 10 0 477766750 854884352 26237 4294967295 134512640 134569956 3221224400 3221214596 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 26237 13073 16 0 208696 0
vsize: 834848
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 16535 48 0 0 16 0 10 0 477766750 854884352 26424 4294967295 134512640 134569956 3221224400 3221214488 1131169767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 26424 13073 16 0 208696 0
vsize: 834848
[startup+200.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12626
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18009 0 1 0 17427 48 0 0 16 0 10 0 477766750 854884352 26603 4294967295 134512640 134569956 3221224400 3221214520 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 26603 13073 16 0 208696 0
vsize: 834848
[startup+210.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18081 0 1 0 18335 48 0 0 25 0 11 0 477766750 859123712 27790 4294967295 134512640 134569956 3221224400 3221214848 1131385473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27790 13073 16 0 209731 0
vsize: 838988
[startup+220.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18081 0 1 0 19330 48 0 0 25 0 11 0 477766750 859123712 27788 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27788 13073 16 0 209731 0
vsize: 838988
[startup+230.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18081 0 1 0 20305 48 0 0 21 0 11 0 477766750 858898432 28198 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 28198 13073 16 0 209676 0
vsize: 838768
[startup+240.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18081 0 1 0 21260 49 0 0 17 0 11 0 477766750 857870336 28640 4294967295 134512640 134569956 3221224400 3221214848 1131385560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209441 28640 13073 16 0 209425 0
vsize: 837764
[startup+250.039 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18081 0 1 0 22233 49 0 0 18 0 11 0 477766750 857870336 29087 4294967295 134512640 134569956 3221224400 3221214736 1131396245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209441 29087 13073 16 0 209425 0
vsize: 837764
[startup+260.038 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18082 0 1 0 23231 49 0 0 25 0 11 0 477766750 859967488 29394 4294967295 134512640 134569956 3221224400 3221214848 1131385556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209953 29394 13073 16 0 209937 0
vsize: 839812
[startup+270.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18082 0 1 0 24207 49 0 0 20 0 11 0 477766750 859967488 29397 4294967295 134512640 134569956 3221224400 3221214792 1131385248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209953 29397 13073 16 0 209937 0
vsize: 839812
[startup+280.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18082 0 1 0 25205 49 0 0 25 0 11 0 477766750 859967488 29398 4294967295 134512640 134569956 3221224400 3221214680 1131395451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209953 29398 13073 16 0 209937 0
vsize: 839812
[startup+290.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18082 0 1 0 26178 49 0 0 25 0 11 0 477766750 859967488 29613 4294967295 134512640 134569956 3221224400 3221214568 1131551128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209953 29613 13073 16 0 209937 0
vsize: 839812
[startup+300.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 27178 50 0 0 25 0 11 0 477766750 857870336 29315 4294967295 134512640 134569956 3221224400 3221214680 1131395413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209441 29315 13073 16 0 209425 0
vsize: 837764
[startup+310.041 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 28151 50 0 0 25 0 11 0 477766750 861573120 30208 4294967295 134512640 134569956 3221224400 3221214680 1131395413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210345 30208 13073 16 0 210329 0
vsize: 841380
[startup+320.041 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 29152 50 0 0 25 0 11 0 477766750 860590080 29984 4294967295 134512640 134569956 3221224400 3221214848 1131385719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210105 29984 13073 16 0 210089 0
vsize: 840420
[startup+330.042 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 30151 50 0 0 25 0 11 0 477766750 863735808 30622 4294967295 134512640 134569956 3221224400 3221214848 1131385536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210873 30622 13073 16 0 210857 0
vsize: 843492
[startup+340.042 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 31123 50 0 0 25 0 11 0 477766750 861638656 30292 4294967295 134512640 134569956 3221224400 3221214848 1131385563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210361 30292 13073 16 0 210345 0
vsize: 841444
[startup+350.043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 32123 50 0 0 25 0 11 0 477766750 861638656 30292 4294967295 134512640 134569956 3221224400 3221214600 1131383748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210361 30292 13073 16 0 210345 0
vsize: 841444
[startup+360.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 33091 50 0 0 19 0 11 0 477766750 861339648 30277 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 30277 13073 16 0 210272 0
vsize: 841152
[startup+370.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 34060 51 0 0 18 0 11 0 477766750 861339648 30400 4294967295 134512640 134569956 3221224400 3221214736 1131395445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 30400 13073 16 0 210272 0
vsize: 841152
[startup+380.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 35060 51 0 0 25 0 11 0 477766750 861339648 30400 4294967295 134512640 134569956 3221224400 3221214768 1131360911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 30400 13073 16 0 210272 0
vsize: 841152
[startup+390.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 36030 51 0 0 25 0 11 0 477766750 861339648 30585 4294967295 134512640 134569956 3221224400 3221214656 1130894846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 30585 13073 16 0 210272 0
vsize: 841152
[startup+400.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 37001 52 0 0 25 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214768 1131361889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+410.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 37985 52 0 0 18 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+420.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12627
Raw data (stat): 12617 (java) S 12616 11931 11930 0 -1 0 18083 0 1 0 38967 52 0 0 25 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221213272 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+430.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 39966 53 0 0 25 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214736 1131395413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+440.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 40947 53 0 0 20 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214848 1131385736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+450.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 41947 53 0 0 25 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214696 1131631663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+460.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 42946 53 0 0 25 0 11 0 477766750 861339648 31104 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31104 13073 16 0 210272 0
vsize: 841152
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 43926 54 0 0 25 0 11 0 477766750 861339648 31231 4294967295 134512640 134569956 3221224400 3221214696 1131631663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 31231 13073 16 0 210272 0
vsize: 841152
[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 44926 54 0 0 25 0 11 0 477766750 861339648 31231 4294967295 134512640 134569956 3221224400 3221214736 1131396434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31231 13073 16 0 210272 0
vsize: 841152
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 45898 54 0 0 18 0 11 0 477766750 861339648 31323 4294967295 134512640 134569956 3221224400 3221214848 1131385744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31323 13073 16 0 210272 0
vsize: 841152
[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 46899 54 0 0 25 0 11 0 477766750 861339648 31323 4294967295 134512640 134569956 3221224400 3221214848 1131385268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 31323 13073 16 0 210272 0
vsize: 841152
[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 47899 54 0 0 25 0 11 0 477766750 861339648 31323 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31323 13073 16 0 210272 0
vsize: 841152
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 48868 54 0 0 20 0 11 0 477766750 861339648 31747 4294967295 134512640 134569956 3221224400 3221214848 1131385556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31747 13073 16 0 210272 0
vsize: 841152
[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 49868 54 0 0 25 0 11 0 477766750 861339648 31747 4294967295 134512640 134569956 3221224400 3221214848 1131385548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31747 13073 16 0 210272 0
vsize: 841152
[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 50868 54 0 0 25 0 11 0 477766750 861339648 31747 4294967295 134512640 134569956 3221224400 3221214848 1131385255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 31747 13073 16 0 210272 0
vsize: 841152
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 51844 55 0 0 18 0 11 0 477766750 861339648 31926 4294967295 134512640 134569956 3221224400 3221214848 1131385563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31926 13073 16 0 210272 0
vsize: 841152
[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 52818 55 0 0 16 0 11 0 477766750 861339648 31926 4294967295 134512640 134569956 3221224400 3221214848 1131385459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 31926 13073 16 0 210272 0
vsize: 841152
[startup+570.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 53791 55 0 0 16 0 11 0 477766750 861339648 32059 4294967295 134512640 134569956 3221224400 3221214848 1131385744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32059 13073 16 0 210272 0
vsize: 841152
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 54790 55 0 0 25 0 11 0 477766750 861339648 32059 4294967295 134512640 134569956 3221224400 3221214848 1131385252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32059 13073 16 0 210272 0
vsize: 841152
[startup+590.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 55764 56 0 0 19 0 11 0 477766750 861339648 32375 4294967295 134512640 134569956 3221224400 3221214848 1131385734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32375 13073 16 0 210272 0
vsize: 841152
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 56764 56 0 0 25 0 11 0 477766750 861339648 32375 4294967295 134512640 134569956 3221224400 3221214848 1131385536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32375 13073 16 0 210272 0
vsize: 841152
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 57737 56 0 0 25 0 11 0 477766750 861339648 32533 4294967295 134512640 134569956 3221224400 3221214848 1131385556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32533 13073 16 0 210272 0
vsize: 841152
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 58708 57 0 0 25 0 11 0 477766750 861339648 32772 4294967295 134512640 134569956 3221224400 3221214848 1131385736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 32772 13073 16 0 210272 0
vsize: 841152
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 59677 57 0 0 21 0 11 0 477766750 861339648 33083 4294967295 134512640 134569956 3221224400 3221214848 1131385568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 33083 13073 16 0 210272 0
vsize: 841152
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 60651 57 0 0 16 0 11 0 477766750 861339648 33340 4294967295 134512640 134569956 3221224400 3221214736 1131396255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 33340 13073 16 0 210272 0
vsize: 841152
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 61651 58 0 0 25 0 11 0 477766750 861339648 33340 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 33340 13073 16 0 210272 0
vsize: 841152
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 62628 58 0 0 20 0 11 0 477766750 861339648 34032 4294967295 134512640 134569956 3221224400 3221214696 1131631663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34032 13073 16 0 210272 0
vsize: 841152
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 63628 59 0 0 25 0 11 0 477766750 861339648 34032 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34032 13073 16 0 210272 0
vsize: 841152
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 64609 59 0 0 25 0 11 0 477766750 861339648 34032 4294967295 134512640 134569956 3221224400 3221214848 1131385548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34032 13073 16 0 210272 0
vsize: 841152
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 65609 59 0 0 25 0 11 0 477766750 861339648 34032 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34032 13073 16 0 210272 0
vsize: 841152
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 66589 59 0 0 25 0 11 0 477766750 861339648 34032 4294967295 134512640 134569956 3221224400 3221214768 1131359539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34032 13073 16 0 210272 0
vsize: 841152
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 67567 60 0 0 18 0 11 0 477766750 861339648 34158 4294967295 134512640 134569956 3221224400 3221214696 1131631663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34158 13073 16 0 210272 0
vsize: 841152
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 68567 60 0 0 25 0 11 0 477766750 861339648 34158 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34158 13073 16 0 210272 0
vsize: 841152
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 69544 60 0 0 25 0 11 0 477766750 861339648 34256 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34256 13073 16 0 210272 0
vsize: 841152
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 70543 61 0 0 25 0 11 0 477766750 861339648 34256 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34256 13073 16 0 210272 0
vsize: 841152
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 71543 61 0 0 25 0 11 0 477766750 861339648 34256 4294967295 134512640 134569956 3221224400 3221214848 1131385719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34256 13073 16 0 210272 0
vsize: 841152
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 72519 62 0 0 20 0 11 0 477766750 861339648 34456 4294967295 134512640 134569956 3221224400 3221214768 1131366113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34456 13073 16 0 210272 0
vsize: 841152
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 73519 62 0 0 25 0 11 0 477766750 861339648 34456 4294967295 134512640 134569956 3221224400 3221214736 1131395413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34456 13073 16 0 210272 0
vsize: 841152
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 74494 62 0 0 19 0 11 0 477766750 861339648 34590 4294967295 134512640 134569956 3221224400 3221214904 1131529543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34590 13073 16 0 210272 0
vsize: 841152
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 75494 62 0 0 25 0 11 0 477766750 861339648 34590 4294967295 134512640 134569956 3221224400 3221214848 1131385744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34590 13073 16 0 210272 0
vsize: 841152
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 76494 62 0 0 25 0 11 0 477766750 861339648 34590 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34590 13073 16 0 210272 0
vsize: 841152
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 77468 62 0 0 19 0 11 0 477766750 861339648 34922 4294967295 134512640 134569956 3221224400 3221214848 1131385446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34922 13073 16 0 210272 0
vsize: 841152
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 78469 62 0 0 25 0 11 0 477766750 861339648 34922 4294967295 134512640 134569956 3221224400 3221214848 1131385536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34922 13073 16 0 210272 0
vsize: 841152
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 79469 62 0 0 25 0 11 0 477766750 861339648 34922 4294967295 134512640 134569956 3221224400 3221214848 1131385446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 34922 13073 16 0 210272 0
vsize: 841152
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 80448 62 0 0 17 0 11 0 477766750 861339648 34922 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34922 13073 16 0 210272 0
vsize: 841152
[startup+850.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 81448 62 0 0 25 0 11 0 477766750 861339648 34922 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 34922 13073 16 0 210272 0
vsize: 841152
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 82422 63 0 0 19 0 11 0 477766750 861339648 35035 4294967295 134512640 134569956 3221224400 3221214696 1131631663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35035 13073 16 0 210272 0
vsize: 841152
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 83421 63 0 0 25 0 11 0 477766750 861339648 35035 4294967295 134512640 134569956 3221224400 3221214736 1131396245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35035 13073 16 0 210272 0
vsize: 841152
[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 84395 63 0 0 25 0 11 0 477766750 861339648 35268 4294967295 134512640 134569956 3221224400 3221214664 1131552546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35268 13073 16 0 210272 0
vsize: 841152
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 85395 64 0 0 25 0 11 0 477766750 861339648 35268 4294967295 134512640 134569956 3221224400 3221214848 1131385568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35268 13073 16 0 210272 0
vsize: 841152
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 86370 64 0 0 19 0 11 0 477766750 861339648 35530 4294967295 134512640 134569956 3221224400 3221214736 1131395392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35530 13073 16 0 210272 0
vsize: 841152
[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 87370 64 0 0 25 0 11 0 477766750 861339648 35530 4294967295 134512640 134569956 3221224400 3221214848 1131385560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35530 13073 16 0 210272 0
vsize: 841152
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 88370 64 0 0 25 0 11 0 477766750 861339648 35530 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 35530 13073 16 0 210272 0
vsize: 841152
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 89347 65 0 0 25 0 11 0 477766750 861339648 35699 4294967295 134512640 134569956 3221224400 3221214848 1131385556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35699 13073 16 0 210272 0
vsize: 841152
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 90347 65 0 0 25 0 11 0 477766750 861339648 35699 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 35699 13073 16 0 210272 0
vsize: 841152
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 91322 65 0 0 20 0 11 0 477766750 861339648 35945 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 35945 13073 16 0 210272 0
vsize: 841152
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 92322 65 0 0 25 0 11 0 477766750 861339648 35945 4294967295 134512640 134569956 3221224400 3221214848 1131385548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 35945 13073 16 0 210272 0
vsize: 841152
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 93322 65 0 0 25 0 11 0 477766750 861339648 35945 4294967295 134512640 134569956 3221224400 3221214848 1131385459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 35945 13073 16 0 210272 0
vsize: 841152
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 94298 66 0 0 25 0 11 0 477766750 861339648 36144 4294967295 134512640 134569956 3221224400 3221214848 1131385744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 36144 13073 16 0 210272 0
vsize: 841152
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 95273 66 0 0 25 0 11 0 477766750 861339648 36275 4294967295 134512640 134569956 3221224400 3221214848 1131385726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 36275 13073 16 0 210272 0
vsize: 841152
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 96273 66 0 0 25 0 11 0 477766750 861339648 36275 4294967295 134512640 134569956 3221224400 3221214696 1131631648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 36275 13073 16 0 210272 0
vsize: 841152
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 97250 66 0 0 20 0 11 0 477766750 861339648 36462 4294967295 134512640 134569956 3221224400 3221214736 1131396333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 36462 13073 16 0 210272 0
vsize: 841152
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 98250 66 0 0 25 0 11 0 477766750 861339648 36462 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 36462 13073 16 0 210272 0
vsize: 841152
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 99250 66 0 0 25 0 11 0 477766750 861339648 36462 4294967295 134512640 134569956 3221224400 3221214848 1131385736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 36462 13073 16 0 210272 0
vsize: 841152
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 100229 67 0 0 25 0 11 0 477766750 861339648 36619 4294967295 134512640 134569956 3221224400 3221214848 1131385459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 36619 13073 16 0 210272 0
vsize: 841152
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 101229 67 0 0 25 0 11 0 477766750 861339648 36619 4294967295 134512640 134569956 3221224400 3221214736 1131395413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 36619 13073 16 0 210272 0
vsize: 841152
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 102208 67 0 0 23 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214848 1131385548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 103208 67 0 0 25 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214848 1131385260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 104197 67 0 0 16 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214736 1131396207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 105197 67 0 0 25 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 106177 67 0 0 19 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214848 1131385552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 107177 67 0 0 25 0 11 0 477766750 861339648 37204 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 37204 13073 16 0 210272 0
vsize: 841152
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 108154 67 0 0 23 0 11 0 477766750 861339648 37470 4294967295 134512640 134569956 3221224400 3221214848 1131385459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 37470 13073 16 0 210272 0
vsize: 841152
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 109134 67 0 0 20 0 11 0 477766750 861339648 37705 4294967295 134512640 134569956 3221224400 3221214696 1131631660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 37705 13073 16 0 210272 0
vsize: 841152
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 110134 67 0 0 25 0 11 0 477766750 861339648 37705 4294967295 134512640 134569956 3221224400 3221214736 1131395369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 37705 13073 16 0 210272 0
vsize: 841152
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 111116 67 0 0 19 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 112116 67 0 0 25 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214696 1131631660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 113102 67 0 0 20 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 114102 68 0 0 25 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 115086 68 0 0 19 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 116086 68 0 0 25 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214696 1131631768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 117071 68 0 0 17 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 118070 68 0 0 25 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214424 1131169883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 119054 68 0 0 17 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12627
Raw data (stat): 12617 (java) R 12616 11931 11930 0 -1 0 18083 0 1 0 120054 68 0 0 25 0 11 0 477766750 861339648 38026 4294967295 134512640 134569956 3221224400 3221214848 1131385734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210288 38026 13073 16 0 210272 0
vsize: 841152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12629
Raw data (stat): 12617 (java) Z 12616 11931 11930 0 -1 1036 18083 17749 1 0 120056 68 3708 37 25 0 1 0 477766750 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): 1240.17
CPU time (s): 1238.72
CPU user time (s): 1237.65
CPU system time (s): 1.06584
CPU usage (%): 99.8833
Max. virtual memory (Kb): 843492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####