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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf82b685b64af240616b701a750c82883
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03784
Number of variables934
Total number of constraints1996
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)1117
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20

Trace number 4531

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        916516 kB
Buffers:         33008 kB
Cached:          65436 kB
SwapCached:        564 kB
Active:          46904 kB
Inactive:        54904 kB
HighTotal:      131008 kB
HighFree:        61684 kB
LowTotal:       903652 kB
LowFree:        854832 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10668 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:37:37 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3303 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-10:20:4.5:0.95:100.opb
c reading problem 
c [nbvar=934]
c [nbconstr=1996]
c time 2.552
c #vars     934
c #clauses  1063
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=21
c Current CPU time (ms) : 3.054
c starts	: 1
c conflicts	: 0
c decisions	: 397
c propagations	: 934
c inspects	: 1787
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=19
c Current CPU time (ms) : 6.798
c starts	: 2
c conflicts	: 2
c decisions	: 795
c propagations	: 1883
c inspects	: 3240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 2
c 
c CURRENT OPTIMUM=10
c Current CPU time (ms) : 11.339
c starts	: 3
c conflicts	: 2
c decisions	: 1293
c propagations	: 2816
c inspects	: 6214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 3
#### 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.99 2/54 32008
Raw data (stat): 32008 (runsolver) R 32007 30854 30853 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 419823501 1052672 97 4294967295 134512640 135381576 3221224432 3221219872 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32020
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18066 3 1 0 726 44 0 0 25 0 11 0 419823501 858718208 20056 4294967295 134512640 134569956 3221224400 3221214680 1131210611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209648 20056 13073 16 0 209632 0
vsize: 838592
[startup+20.0015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18067 3 1 0 1687 44 0 0 25 0 11 0 419823501 858685440 20140 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20140 13073 16 0 209624 0
vsize: 838560
[startup+30.0022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18067 3 1 0 2644 44 0 0 25 0 11 0 419823501 858685440 20227 4294967295 134512640 134569956 3221224400 3221214776 1131270477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20227 13073 16 0 209624 0
vsize: 838560
[startup+40.0024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18067 3 1 0 3610 45 0 0 25 0 11 0 419823501 858685440 20458 4294967295 134512640 134569956 3221224400 3221214680 1131210341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20458 13073 16 0 209624 0
vsize: 838560
[startup+50.0028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 4590 45 0 0 25 0 11 0 419823501 858685440 20528 4294967295 134512640 134569956 3221224400 3221214680 1131210278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20528 13073 16 0 209624 0
vsize: 838560
[startup+60.0025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 5577 45 0 0 25 0 11 0 419823501 858685440 20574 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20574 13073 16 0 209624 0
vsize: 838560
[startup+70.0038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 6558 45 0 0 25 0 11 0 419823501 858685440 20603 4294967295 134512640 134569956 3221224400 3221214680 1131210585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20603 13073 16 0 209624 0
vsize: 838560
[startup+80.0051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 7541 46 0 0 25 0 11 0 419823501 858685440 20628 4294967295 134512640 134569956 3221224400 3221214680 1131210267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20628 13073 16 0 209624 0
vsize: 838560
[startup+90.0049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 8521 46 0 0 25 0 11 0 419823501 858685440 20683 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20683 13073 16 0 209624 0
vsize: 838560
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 9507 46 0 0 24 0 11 0 419823501 858685440 20692 4294967295 134512640 134569956 3221224400 3221214776 1131269467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20692 13073 16 0 209624 0
vsize: 838560
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 10495 46 0 0 25 0 11 0 419823501 858685440 20732 4294967295 134512640 134569956 3221224400 3221214680 1131210424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20732 13073 16 0 209624 0
vsize: 838560
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 11482 47 0 0 25 0 11 0 419823501 858685440 20775 4294967295 134512640 134569956 3221224400 3221214776 1131272699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20775 13073 16 0 209624 0
vsize: 838560
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 12472 47 0 0 25 0 11 0 419823501 858685440 20783 4294967295 134512640 134569956 3221224400 3221214680 1131211244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20783 13073 16 0 209624 0
vsize: 838560
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 13461 47 0 0 25 0 11 0 419823501 858685440 20806 4294967295 134512640 134569956 3221224400 3221214680 1131209993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20806 13073 16 0 209624 0
vsize: 838560
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 14451 47 0 0 25 0 11 0 419823501 858685440 20828 4294967295 134512640 134569956 3221224400 3221214680 1131209996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 20828 13073 16 0 209624 0
vsize: 838560
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 15441 48 0 0 25 0 11 0 419823501 858685440 20829 4294967295 134512640 134569956 3221224400 3221214680 1131210623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20829 13073 16 0 209624 0
vsize: 838560
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 16431 48 0 0 25 0 11 0 419823501 858685440 20862 4294967295 134512640 134569956 3221224400 3221214776 1131272604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20862 13073 16 0 209624 0
vsize: 838560
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 17422 48 0 0 25 0 11 0 419823501 858685440 20866 4294967295 134512640 134569956 3221224400 3221214680 1131210123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20866 13073 16 0 209624 0
vsize: 838560
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 18415 48 0 0 25 0 11 0 419823501 858685440 20884 4294967295 134512640 134569956 3221224400 3221214680 1131210251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20884 13073 16 0 209624 0
vsize: 838560
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 19406 48 0 0 25 0 11 0 419823501 858685440 20885 4294967295 134512640 134569956 3221224400 3221214680 1131210328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20885 13073 16 0 209624 0
vsize: 838560
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 20399 48 0 0 25 0 11 0 419823501 858685440 20902 4294967295 134512640 134569956 3221224400 3221214776 1131269556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20902 13073 16 0 209624 0
vsize: 838560
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 21391 48 0 0 25 0 11 0 419823501 858685440 20904 4294967295 134512640 134569956 3221224400 3221214776 1131270407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20904 13073 16 0 209624 0
vsize: 838560
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 22382 48 0 0 25 0 11 0 419823501 858685440 20920 4294967295 134512640 134569956 3221224400 3221214680 1131210317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20920 13073 16 0 209624 0
vsize: 838560
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 23373 49 0 0 25 0 11 0 419823501 858685440 20921 4294967295 134512640 134569956 3221224400 3221214680 1131211225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20921 13073 16 0 209624 0
vsize: 838560
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 24364 49 0 0 25 0 11 0 419823501 858685440 20961 4294967295 134512640 134569956 3221224400 3221214680 1131209998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20961 13073 16 0 209624 0
vsize: 838560
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 25355 49 0 0 25 0 11 0 419823501 858685440 20961 4294967295 134512640 134569956 3221224400 3221214776 1131271579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 20961 13073 16 0 209624 0
vsize: 838560
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 26347 49 0 0 25 0 11 0 419823501 858685440 21013 4294967295 134512640 134569956 3221224400 3221214680 1131210667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21013 13073 16 0 209624 0
vsize: 838560
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 27339 49 0 0 25 0 11 0 419823501 858685440 21013 4294967295 134512640 134569956 3221224400 3221214680 1131210658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21013 13073 16 0 209624 0
vsize: 838560
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 28328 49 0 0 25 0 11 0 419823501 858685440 21032 4294967295 134512640 134569956 3221224400 3221214680 1131210109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21032 13073 16 0 209624 0
vsize: 838560
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 29316 49 0 0 25 0 11 0 419823501 858685440 21053 4294967295 134512640 134569956 3221224400 3221214680 1131209989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21053 13073 16 0 209624 0
vsize: 838560
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 30302 49 0 0 25 0 11 0 419823501 858685440 21078 4294967295 134512640 134569956 3221224400 3221214680 1131209989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21078 13073 16 0 209624 0
vsize: 838560
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 31290 49 0 0 25 0 11 0 419823501 858685440 21137 4294967295 134512640 134569956 3221224400 3221214776 1131268520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21137 13073 16 0 209624 0
vsize: 838560
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 32278 49 0 0 25 0 11 0 419823501 858685440 21144 4294967295 134512640 134569956 3221224400 3221214776 1131272699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21144 13073 16 0 209624 0
vsize: 838560
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 33267 49 0 0 25 0 11 0 419823501 858685440 21214 4294967295 134512640 134569956 3221224400 3221214680 1131210183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21214 13073 16 0 209624 0
vsize: 838560
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 34259 49 0 0 25 0 11 0 419823501 858685440 21221 4294967295 134512640 134569956 3221224400 3221214776 1131268273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21221 13073 16 0 209624 0
vsize: 838560
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 35250 49 0 0 25 0 11 0 419823501 858685440 21225 4294967295 134512640 134569956 3221224400 3221214776 1131274461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21225 13073 16 0 209624 0
vsize: 838560
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 36241 49 0 0 25 0 11 0 419823501 858685440 21260 4294967295 134512640 134569956 3221224400 3221214776 1131269527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21260 13073 16 0 209624 0
vsize: 838560
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 37231 49 0 0 25 0 11 0 419823501 858685440 21261 4294967295 134512640 134569956 3221224400 3221214680 1131209981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21261 13073 16 0 209624 0
vsize: 838560
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 38221 49 0 0 25 0 11 0 419823501 858685440 21293 4294967295 134512640 134569956 3221224400 3221214680 1131211247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21293 13073 16 0 209624 0
vsize: 838560
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 39213 49 0 0 25 0 11 0 419823501 858685440 21306 4294967295 134512640 134569956 3221224400 3221214776 1131269332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21306 13073 16 0 209624 0
vsize: 838560
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 40203 50 0 0 25 0 11 0 419823501 858685440 21306 4294967295 134512640 134569956 3221224400 3221214680 1131210496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21306 13073 16 0 209624 0
vsize: 838560
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 41194 50 0 0 23 0 11 0 419823501 858685440 21341 4294967295 134512640 134569956 3221224400 3221214480 1131198099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21341 13073 16 0 209624 0
vsize: 838560
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 42183 50 0 0 25 0 11 0 419823501 858685440 21353 4294967295 134512640 134569956 3221224400 3221214776 1131269700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21353 13073 16 0 209624 0
vsize: 838560
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 43170 50 0 0 25 0 11 0 419823501 858685440 21355 4294967295 134512640 134569956 3221224400 3221214776 1131269604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21355 13073 16 0 209624 0
vsize: 838560
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 44158 50 0 0 25 0 11 0 419823501 858685440 21404 4294967295 134512640 134569956 3221224400 3221214776 1131269556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21404 13073 16 0 209624 0
vsize: 838560
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 45149 50 0 0 25 0 11 0 419823501 858685440 21423 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21423 13073 16 0 209624 0
vsize: 838560
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 46139 50 0 0 25 0 11 0 419823501 858685440 21426 4294967295 134512640 134569956 3221224400 3221214776 1131268261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209640 21426 13073 16 0 209624 0
vsize: 838560
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 47130 50 0 0 25 0 11 0 419823501 858685440 21450 4294967295 134512640 134569956 3221224400 3221214776 1131269552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21450 13073 16 0 209624 0
vsize: 838560
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 48122 50 0 0 25 0 11 0 419823501 858685440 21472 4294967295 134512640 134569956 3221224400 3221214680 1131210883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21472 13073 16 0 209624 0
vsize: 838560
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 49114 51 0 0 25 0 11 0 419823501 858685440 21473 4294967295 134512640 134569956 3221224400 3221214776 1131269527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21473 13073 16 0 209624 0
vsize: 838560
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 50105 51 0 0 25 0 11 0 419823501 858685440 21483 4294967295 134512640 134569956 3221224400 3221214680 1131211268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21483 13073 16 0 209624 0
vsize: 838560
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 51098 51 0 0 25 0 11 0 419823501 858685440 21509 4294967295 134512640 134569956 3221224400 3221214680 1131210518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21509 13073 16 0 209624 0
vsize: 838560
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 52089 51 0 0 25 0 11 0 419823501 858685440 21510 4294967295 134512640 134569956 3221224400 3221214680 1131210098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21510 13073 16 0 209624 0
vsize: 838560
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 53079 51 0 0 25 0 11 0 419823501 858685440 21531 4294967295 134512640 134569956 3221224400 3221214776 1131269556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21531 13073 16 0 209624 0
vsize: 838560
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 54073 51 0 0 25 0 11 0 419823501 858685440 21556 4294967295 134512640 134569956 3221224400 3221214776 1131272648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21556 13073 16 0 209624 0
vsize: 838560
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 55066 51 0 0 25 0 11 0 419823501 858685440 21557 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21557 13073 16 0 209624 0
vsize: 838560
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 56058 51 0 0 25 0 11 0 419823501 858685440 21557 4294967295 134512640 134569956 3221224400 3221214680 1131210293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21557 13073 16 0 209624 0
vsize: 838560
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 57052 51 0 0 25 0 11 0 419823501 858685440 21573 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21573 13073 16 0 209624 0
vsize: 838560
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 58043 52 0 0 25 0 11 0 419823501 858685440 21591 4294967295 134512640 134569956 3221224400 3221214680 1131209981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21591 13073 16 0 209624 0
vsize: 838560
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 59034 52 0 0 25 0 11 0 419823501 858685440 21592 4294967295 134512640 134569956 3221224400 3221214680 1131210218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21592 13073 16 0 209624 0
vsize: 838560
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 60025 52 0 0 25 0 11 0 419823501 858685440 21616 4294967295 134512640 134569956 3221224400 3221214680 1131211185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21616 13073 16 0 209624 0
vsize: 838560
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 61019 52 0 0 25 0 11 0 419823501 858685440 21638 4294967295 134512640 134569956 3221224400 3221214776 1131268261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21638 13073 16 0 209624 0
vsize: 838560
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 62011 53 0 0 25 0 11 0 419823501 858685440 21639 4294967295 134512640 134569956 3221224400 3221214776 1131268501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21639 13073 16 0 209624 0
vsize: 838560
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 63003 53 0 0 25 0 11 0 419823501 858685440 21642 4294967295 134512640 134569956 3221224400 3221214680 1131210625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21642 13073 16 0 209624 0
vsize: 838560
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 63997 53 0 0 25 0 11 0 419823501 858685440 21662 4294967295 134512640 134569956 3221224400 3221214680 1131211185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21662 13073 16 0 209624 0
vsize: 838560
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 64988 53 0 0 25 0 11 0 419823501 858685440 21676 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21676 13073 16 0 209624 0
vsize: 838560
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 65980 53 0 0 25 0 11 0 419823501 858685440 21677 4294967295 134512640 134569956 3221224400 3221214680 1131211205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21677 13073 16 0 209624 0
vsize: 838560
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 66972 54 0 0 25 0 11 0 419823501 858685440 21701 4294967295 134512640 134569956 3221224400 3221214680 1131210082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21701 13073 16 0 209624 0
vsize: 838560
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 67966 54 0 0 25 0 11 0 419823501 858685440 21711 4294967295 134512640 134569956 3221224400 3221214776 1131268433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21711 13073 16 0 209624 0
vsize: 838560
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 68958 54 0 0 25 0 11 0 419823501 858685440 21724 4294967295 134512640 134569956 3221224400 3221214776 1131269397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21724 13073 16 0 209624 0
vsize: 838560
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 69948 54 0 0 25 0 11 0 419823501 858685440 21724 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21724 13073 16 0 209624 0
vsize: 838560
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 70943 54 0 0 25 0 11 0 419823501 858685440 21751 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21751 13073 16 0 209624 0
vsize: 838560
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 71934 54 0 0 25 0 11 0 419823501 858685440 21758 4294967295 134512640 134569956 3221224400 3221214680 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21758 13073 16 0 209624 0
vsize: 838560
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 72924 54 0 0 25 0 11 0 419823501 858685440 21795 4294967295 134512640 134569956 3221224400 3221214776 1131268501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21795 13073 16 0 209624 0
vsize: 838560
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 73912 54 0 0 25 0 11 0 419823501 858685440 21817 4294967295 134512640 134569956 3221224400 3221214680 1131210345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21817 13073 16 0 209624 0
vsize: 838560
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 74905 55 0 0 25 0 11 0 419823501 858685440 21824 4294967295 134512640 134569956 3221224400 3221214632 1131210345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21824 13073 16 0 209624 0
vsize: 838560
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 75895 55 0 0 25 0 11 0 419823501 858685440 21914 4294967295 134512640 134569956 3221224400 3221214728 1131271575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21914 13073 16 0 209624 0
vsize: 838560
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 76887 55 0 0 25 0 11 0 419823501 858685440 21915 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21915 13073 16 0 209624 0
vsize: 838560
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 77880 55 0 0 25 0 11 0 419823501 858685440 21949 4294967295 134512640 134569956 3221224400 3221214632 1131211185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21949 13073 16 0 209624 0
vsize: 838560
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 78874 55 0 0 25 0 11 0 419823501 858685440 21956 4294967295 134512640 134569956 3221224400 3221214728 1131269492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21956 13073 16 0 209624 0
vsize: 838560
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 79864 55 0 0 25 0 11 0 419823501 858685440 21962 4294967295 134512640 134569956 3221224400 3221214632 1131210033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21962 13073 16 0 209624 0
vsize: 838560
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 80854 56 0 0 25 0 11 0 419823501 858685440 21977 4294967295 134512640 134569956 3221224400 3221214728 1131269552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 21977 13073 16 0 209624 0
vsize: 838560
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 81846 56 0 0 25 0 11 0 419823501 858685440 22050 4294967295 134512640 134569956 3221224400 3221214728 1131269572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22050 13073 16 0 209624 0
vsize: 838560
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 82841 56 0 0 25 0 11 0 419823501 858685440 22054 4294967295 134512640 134569956 3221224400 3221214632 1131211301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22054 13073 16 0 209624 0
vsize: 838560
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 83831 56 0 0 25 0 11 0 419823501 858685440 22073 4294967295 134512640 134569956 3221224400 3221214728 1131268501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22073 13073 16 0 209624 0
vsize: 838560
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 84821 57 0 0 25 0 11 0 419823501 858685440 22073 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22073 13073 16 0 209624 0
vsize: 838560
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 85813 57 0 0 25 0 11 0 419823501 858685440 22157 4294967295 134512640 134569956 3221224400 3221214592 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22157 13073 16 0 209624 0
vsize: 838560
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 86808 57 0 0 25 0 11 0 419823501 858685440 22161 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22161 13073 16 0 209624 0
vsize: 838560
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 87801 57 0 0 25 0 11 0 419823501 858685440 22179 4294967295 134512640 134569956 3221224400 3221214632 1131209993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22179 13073 16 0 209624 0
vsize: 838560
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 88793 57 0 0 25 0 11 0 419823501 858685440 22180 4294967295 134512640 134569956 3221224400 3221214728 1131273684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22180 13073 16 0 209624 0
vsize: 838560
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 89787 58 0 0 25 0 11 0 419823501 858685440 22192 4294967295 134512640 134569956 3221224400 3221214728 1131268433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22192 13073 16 0 209624 0
vsize: 838560
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 90781 58 0 0 25 0 11 0 419823501 858685440 22227 4294967295 134512640 134569956 3221224400 3221214632 1131210345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22227 13073 16 0 209624 0
vsize: 838560
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 91774 58 0 0 25 0 11 0 419823501 858685440 22227 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22227 13073 16 0 209624 0
vsize: 838560
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 92766 58 0 0 25 0 11 0 419823501 858685440 22239 4294967295 134512640 134569956 3221224400 3221214632 1131210623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22239 13073 16 0 209624 0
vsize: 838560
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 93759 58 0 0 25 0 11 0 419823501 858685440 22250 4294967295 134512640 134569956 3221224400 3221214728 1131270437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22250 13073 16 0 209624 0
vsize: 838560
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 94754 58 0 0 25 0 11 0 419823501 858685440 22280 4294967295 134512640 134569956 3221224400 3221214632 1131211185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22280 13073 16 0 209624 0
vsize: 838560
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 95745 58 0 0 25 0 11 0 419823501 858685440 22299 4294967295 134512640 134569956 3221224400 3221214632 1131210241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22299 13073 16 0 209624 0
vsize: 838560
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 96737 59 0 0 25 0 11 0 419823501 858685440 22300 4294967295 134512640 134569956 3221224400 3221214632 1131210397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22300 13073 16 0 209624 0
vsize: 838560
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 97729 59 0 0 21 0 11 0 419823501 858685440 22321 4294967295 134512640 134569956 3221224400 3221214632 1131210442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22321 13073 16 0 209624 0
vsize: 838560
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 98723 59 0 0 25 0 11 0 419823501 858685440 22329 4294967295 134512640 134569956 3221224400 3221214632 1131210345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22329 13073 16 0 209624 0
vsize: 838560
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) S 32007 30854 30853 0 -1 0 18068 3 1 0 99716 60 0 0 25 0 11 0 419823501 858685440 22359 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22359 13073 16 0 209624 0
vsize: 838560
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 100709 60 0 0 25 0 11 0 419823501 858685440 22371 4294967295 134512640 134569956 3221224400 3221214728 1131269556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22371 13073 16 0 209624 0
vsize: 838560
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 101701 60 0 0 25 0 11 0 419823501 858685440 22381 4294967295 134512640 134569956 3221224400 3221214632 1131210539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22381 13073 16 0 209624 0
vsize: 838560
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 102696 60 0 0 25 0 11 0 419823501 858685440 22386 4294967295 134512640 134569956 3221224400 3221214632 1131211185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22386 13073 16 0 209624 0
vsize: 838560
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 103690 60 0 0 25 0 11 0 419823501 858685440 22390 4294967295 134512640 134569956 3221224400 3221214728 1131270407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22390 13073 16 0 209624 0
vsize: 838560
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 104682 60 0 0 25 0 11 0 419823501 858685440 22420 4294967295 134512640 134569956 3221224400 3221214728 1131268501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22420 13073 16 0 209624 0
vsize: 838560
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) S 32007 30854 30853 0 -1 0 18068 3 1 0 105675 60 0 0 25 0 11 0 419823501 858685440 22433 4294967295 134512640 134569956 3221224400 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22433 13073 16 0 209624 0
vsize: 838560
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 106671 60 0 0 25 0 11 0 419823501 858685440 22445 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22445 13073 16 0 209624 0
vsize: 838560
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 107665 60 0 0 25 0 11 0 419823501 858685440 22450 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22450 13073 16 0 209624 0
vsize: 838560
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 108650 61 0 0 25 0 11 0 419823501 858685440 22457 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22457 13073 16 0 209624 0
vsize: 838560
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 109636 61 0 0 25 0 11 0 419823501 858685440 22493 4294967295 134512640 134569956 3221224400 3221214632 1131210017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22493 13073 16 0 209624 0
vsize: 838560
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 110625 61 0 0 25 0 11 0 419823501 858685440 22567 4294967295 134512640 134569956 3221224400 3221214728 1131268501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22567 13073 16 0 209624 0
vsize: 838560
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 111619 61 0 0 25 0 11 0 419823501 858685440 22572 4294967295 134512640 134569956 3221224400 3221214728 1131269552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22572 13073 16 0 209624 0
vsize: 838560
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 112610 61 0 0 25 0 11 0 419823501 858685440 22578 4294967295 134512640 134569956 3221224400 3221214632 1131211150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22578 13073 16 0 209624 0
vsize: 838560
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 113598 61 0 0 25 0 11 0 419823501 858685440 22613 4294967295 134512640 134569956 3221224400 3221214632 1131210022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22613 13073 16 0 209624 0
vsize: 838560
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 114587 61 0 0 25 0 11 0 419823501 858685440 22632 4294967295 134512640 134569956 3221224400 3221214728 1131272572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22632 13073 16 0 209624 0
vsize: 838560
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 115580 61 0 0 25 0 11 0 419823501 858685440 22662 4294967295 134512640 134569956 3221224400 3221214632 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22662 13073 16 0 209624 0
vsize: 838560
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 116573 61 0 0 25 0 11 0 419823501 858685440 22673 4294967295 134512640 134569956 3221224400 3221214672 1131198216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22673 13073 16 0 209624 0
vsize: 838560
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 117561 61 0 0 25 0 11 0 419823501 858685440 22685 4294967295 134512640 134569956 3221224400 3221214728 1131269552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22685 13073 16 0 209624 0
vsize: 838560
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 118549 62 0 0 25 0 11 0 419823501 858685440 22713 4294967295 134512640 134569956 3221224400 3221214632 1131210883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22713 13073 16 0 209624 0
vsize: 838560
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 119539 62 0 0 25 0 11 0 419823501 858685440 22756 4294967295 134512640 134569956 3221224400 3221214728 1131272745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22756 13073 16 0 209624 0
vsize: 838560
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32021
Raw data (stat): 32008 (java) R 32007 30854 30853 0 -1 0 18068 3 1 0 120534 62 0 0 25 0 11 0 419823501 858685440 22762 4294967295 134512640 134569956 3221224400 3221214728 1131269527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209640 22762 13073 16 0 209624 0
vsize: 838560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32023
Raw data (stat): 32008 (java) Z 32007 30854 30853 0 -1 1036 18068 5199 1 0 120535 62 1597 26 25 0 1 0 419823501 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.14
CPU time (s): 1222.22
CPU user time (s): 1221.34
CPU system time (s): 0.886865
CPU usage (%): 100.17
Max. virtual memory (Kb): 838592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####