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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM64e81a7b23abbb8a6da4e2377ea69dee
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
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 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13453
Number of constraints which are clauses13453
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 29232 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 05:46:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20614 boxname=wulflinc30 idbench=204 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc30/normalized-par32-1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-par32-1.opb
IDLAUNCH: 20614
/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:        722316 kB
Buffers:         33420 kB
Cached:         255680 kB
SwapCached:        716 kB
Active:          74400 kB
Inactive:       216816 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        722064 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15500 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:07:40 (client local time) WITH STATUS 143 IN 1267.68 SECONDS
stats: 20614 7 1267.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-par32-1.opb
c reading problem ... done. Time 17.262 ms.
c #vars     6352
c #constraints  13453
c starts	: 10
c conflicts	: 9261
c decisions	: 10966
c propagations	: 12273433
c inspects	: 32776116
c learned literals	: 0
c learned binary clauses	: 16
c learned ternary clauses	: 5
c learned clauses	: 9260
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1269.18
#### 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): 1.01 1.00 0.93 2/54 4459
Raw data (stat): 4459 (runsolver) R 4458 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836463395 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 4468
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18025 0 1 0 881 40 0 0 25 0 10 0 836463395 853430272 19355 4294967295 134512640 134569956 3221224384 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208357 19355 13086 16 0 208341 0
vsize: 833428
[startup+20.0016 s]
Raw data (loadavg): 1.16 1.03 0.94 4/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18087 0 1 0 1692 41 0 0 25 0 11 0 836463395 861278208 21321 4294967295 134512640 134569956 3221224384 3221214608 1130895429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 21321 13086 16 0 210257 0
vsize: 841092
[startup+30.003 s]
Raw data (loadavg): 1.21 1.05 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 2560 42 0 0 25 0 11 0 836463395 860495872 24603 4294967295 134512640 134569956 3221224384 3221214760 1131424308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 24603 13086 16 0 210066 0
vsize: 840328
[startup+40.0036 s]
Raw data (loadavg): 1.18 1.05 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 3534 42 0 0 25 0 11 0 836463395 859840512 24401 4294967295 134512640 134569956 3221224384 3221214760 1131421512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209922 24401 13086 16 0 209906 0
vsize: 839688
[startup+50.0047 s]
Raw data (loadavg): 1.15 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 4508 42 0 0 25 0 11 0 836463395 858791936 24257 4294967295 134512640 134569956 3221224384 3221214576 1131364865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 24257 13086 16 0 209650 0
vsize: 838664
[startup+60.0049 s]
Raw data (loadavg): 1.13 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 5477 42 0 0 25 0 11 0 836463395 858791936 24257 4294967295 134512640 134569956 3221224384 3221214760 1131421397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 24257 13086 16 0 209650 0
vsize: 838664
[startup+70.0059 s]
Raw data (loadavg): 1.11 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 6444 43 0 0 25 0 11 0 836463395 858791936 24257 4294967295 134512640 134569956 3221224384 3221214736 1131471384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 24257 13086 16 0 209650 0
vsize: 838664
[startup+80.0069 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 7406 43 0 0 25 0 11 0 836463395 858791936 24257 4294967295 134512640 134569956 3221224384 3221214760 1131422360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24257 13086 16 0 209650 0
vsize: 838664
[startup+90.0072 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 8371 43 0 0 25 0 11 0 836463395 858791936 24298 4294967295 134512640 134569956 3221224384 3221214736 1131471384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24298 13086 16 0 209650 0
vsize: 838664
[startup+100.007 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 9325 43 0 0 25 0 11 0 836463395 858791936 24381 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24381 13086 16 0 209650 0
vsize: 838664
[startup+110.008 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 10285 43 0 0 25 0 11 0 836463395 858791936 24500 4294967295 134512640 134569956 3221224384 3221214656 1131364089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24500 13086 16 0 209650 0
vsize: 838664
[startup+120.009 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 11241 43 0 0 25 0 11 0 836463395 858791936 24628 4294967295 134512640 134569956 3221224384 3221214760 1131422340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24628 13086 16 0 209650 0
vsize: 838664
[startup+130.009 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 12196 44 0 0 25 0 11 0 836463395 858791936 24718 4294967295 134512640 134569956 3221224384 3221214704 1131235171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24718 13086 16 0 209650 0
vsize: 838664
[startup+140.01 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 13152 44 0 0 25 0 11 0 836463395 858791936 24803 4294967295 134512640 134569956 3221224384 3221214632 1131442305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24803 13086 16 0 209650 0
vsize: 838664
[startup+150.01 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 14106 44 0 0 25 0 11 0 836463395 858791936 24883 4294967295 134512640 134569956 3221224384 3221214760 1131421430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24883 13086 16 0 209650 0
vsize: 838664
[startup+160.011 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 15071 45 0 0 25 0 11 0 836463395 858791936 24950 4294967295 134512640 134569956 3221224384 3221214432 1078032375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24950 13086 16 0 209650 0
vsize: 838664
[startup+170.011 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 16020 45 0 0 25 0 11 0 836463395 858791936 25047 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25047 13086 16 0 209650 0
vsize: 838664
[startup+180.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 16979 45 0 0 25 0 11 0 836463395 858791936 25135 4294967295 134512640 134569956 3221224384 3221214664 1131411541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25135 13086 16 0 209650 0
vsize: 838664
[startup+190.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 17924 45 0 0 25 0 11 0 836463395 858791936 25274 4294967295 134512640 134569956 3221224384 3221214656 1131364095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25274 13086 16 0 209650 0
vsize: 838664
[startup+200.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 18883 46 0 0 25 0 11 0 836463395 858791936 25377 4294967295 134512640 134569956 3221224384 3221214760 1131422135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25377 13086 16 0 209650 0
vsize: 838664
[startup+210.014 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 19842 46 0 0 25 0 11 0 836463395 858791936 25472 4294967295 134512640 134569956 3221224384 3221214776 1131487617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 25472 13086 16 0 209650 0
vsize: 838664
[startup+220.015 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 20802 47 0 0 25 0 11 0 836463395 858791936 25548 4294967295 134512640 134569956 3221224384 3221214576 1131365120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25548 13086 16 0 209650 0
vsize: 838664
[startup+230.016 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 21753 47 0 0 25 0 11 0 836463395 858791936 25650 4294967295 134512640 134569956 3221224384 3221214648 1131539409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25650 13086 16 0 209650 0
vsize: 838664
[startup+240.017 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 22713 47 0 0 25 0 11 0 836463395 858791936 25727 4294967295 134512640 134569956 3221224384 3221214784 1131476685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25727 13086 16 0 209650 0
vsize: 838664
[startup+250.017 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 23672 48 0 0 25 0 11 0 836463395 858791936 25803 4294967295 134512640 134569956 3221224384 3221214760 1131421701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25803 13086 16 0 209650 0
vsize: 838664
[startup+260.018 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 24630 48 0 0 25 0 11 0 836463395 858791936 25861 4294967295 134512640 134569956 3221224384 3221214632 1131440724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25861 13086 16 0 209650 0
vsize: 838664
[startup+270.019 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 25587 49 0 0 25 0 11 0 836463395 858791936 25921 4294967295 134512640 134569956 3221224384 3221214768 1131416511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25921 13086 16 0 209650 0
vsize: 838664
[startup+280.02 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 26531 49 0 0 25 0 11 0 836463395 858791936 25999 4294967295 134512640 134569956 3221224384 3221214732 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25999 13086 16 0 209650 0
vsize: 838664
[startup+290.021 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 27487 49 0 0 25 0 11 0 836463395 858791936 26079 4294967295 134512640 134569956 3221224384 3221214760 1131422070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26079 13086 16 0 209650 0
vsize: 838664
[startup+300.021 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 28442 49 0 0 25 0 11 0 836463395 858791936 26166 4294967295 134512640 134569956 3221224384 3221214632 1131441552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26166 13086 16 0 209650 0
vsize: 838664
[startup+310.022 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 29386 50 0 0 25 0 11 0 836463395 858791936 26260 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26260 13086 16 0 209650 0
vsize: 838664
[startup+320.022 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 30337 50 0 0 25 0 11 0 836463395 858791936 26408 4294967295 134512640 134569956 3221224384 3221214680 1131597520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26408 13086 16 0 209650 0
vsize: 838664
[startup+330.023 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 31300 50 0 0 25 0 11 0 836463395 858791936 26506 4294967295 134512640 134569956 3221224384 3221214760 1131421459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26506 13086 16 0 209650 0
vsize: 838664
[startup+340.023 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 32251 50 0 0 25 0 11 0 836463395 858791936 26629 4294967295 134512640 134569956 3221224384 3221214628 1131361292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26629 13086 16 0 209650 0
vsize: 838664
[startup+350.024 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 33202 51 0 0 25 0 11 0 836463395 858791936 26695 4294967295 134512640 134569956 3221224384 3221214760 1131422472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26695 13086 16 0 209650 0
vsize: 838664
[startup+360.024 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 34153 51 0 0 25 0 11 0 836463395 858791936 26789 4294967295 134512640 134569956 3221224384 3221214760 1131422414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26789 13086 16 0 209650 0
vsize: 838664
[startup+370.025 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 35102 51 0 0 25 0 11 0 836463395 858791936 26952 4294967295 134512640 134569956 3221224384 3221214760 1131422378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26952 13086 16 0 209650 0
vsize: 838664
[startup+380.026 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 36065 51 0 0 25 0 11 0 836463395 858791936 27036 4294967295 134512640 134569956 3221224384 3221214616 1131489909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27036 13086 16 0 209650 0
vsize: 838664
[startup+390.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 37015 52 0 0 25 0 11 0 836463395 858791936 27139 4294967295 134512640 134569956 3221224384 3221214760 1131421286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27139 13086 16 0 209650 0
vsize: 838664
[startup+400.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 37967 52 0 0 25 0 11 0 836463395 858791936 27236 4294967295 134512640 134569956 3221224384 3221214848 1131216291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27236 13086 16 0 209650 0
vsize: 838664
[startup+410.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 38917 52 0 0 25 0 11 0 836463395 858791936 27306 4294967295 134512640 134569956 3221224384 3221214680 1131596979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27306 13086 16 0 209650 0
vsize: 838664
[startup+420.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 39867 53 0 0 25 0 11 0 836463395 858791936 27396 4294967295 134512640 134569956 3221224384 3221214760 1131422472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27396 13086 16 0 209650 0
vsize: 838664
[startup+430.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 40818 53 0 0 25 0 11 0 836463395 858791936 27493 4294967295 134512640 134569956 3221224384 3221214576 1131363911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27493 13086 16 0 209650 0
vsize: 838664
[startup+440.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 41769 53 0 0 25 0 11 0 836463395 858791936 27590 4294967295 134512640 134569956 3221224384 3221214608 1131363884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27590 13086 16 0 209650 0
vsize: 838664
[startup+450.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 42721 54 0 0 25 0 11 0 836463395 858791936 27723 4294967295 134512640 134569956 3221224384 3221214760 1131421229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27723 13086 16 0 209650 0
vsize: 838664
[startup+460.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 43686 54 0 0 25 0 11 0 836463395 858791936 27807 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27807 13086 16 0 209650 0
vsize: 838664
[startup+470.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 44640 54 0 0 25 0 11 0 836463395 858791936 27906 4294967295 134512640 134569956 3221224384 3221214576 1131364879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27906 13086 16 0 209650 0
vsize: 838664
[startup+480.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 45594 54 0 0 25 0 11 0 836463395 858791936 27988 4294967295 134512640 134569956 3221224384 3221214576 1131364066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27988 13086 16 0 209650 0
vsize: 838664
[startup+490.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 46545 55 0 0 25 0 11 0 836463395 858791936 28069 4294967295 134512640 134569956 3221224384 3221214680 1131590932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 28069 13086 16 0 209650 0
vsize: 838664
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 47497 55 0 0 25 0 11 0 836463395 858791936 28169 4294967295 134512640 134569956 3221224384 3221214576 1131364416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28169 13086 16 0 209650 0
vsize: 838664
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 48449 55 0 0 25 0 11 0 836463395 858791936 28261 4294967295 134512640 134569956 3221224384 3221214568 1131223598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28261 13086 16 0 209650 0
vsize: 838664
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 49399 55 0 0 25 0 11 0 836463395 858791936 28353 4294967295 134512640 134569956 3221224384 3221214560 1131292435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28353 13086 16 0 209650 0
vsize: 838664
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 50348 55 0 0 25 0 11 0 836463395 858791936 28465 4294967295 134512640 134569956 3221224384 3221214576 1131363877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28465 13086 16 0 209650 0
vsize: 838664
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 51299 56 0 0 25 0 11 0 836463395 858791936 28553 4294967295 134512640 134569956 3221224384 3221214652 1131222944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28553 13086 16 0 209650 0
vsize: 838664
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 52261 56 0 0 25 0 11 0 836463395 858791936 28620 4294967295 134512640 134569956 3221224384 3221214680 1131595834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28620 13086 16 0 209650 0
vsize: 838664
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 53212 57 0 0 25 0 11 0 836463395 858791936 28731 4294967295 134512640 134569956 3221224384 3221214632 1131440254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 28731 13086 16 0 209650 0
vsize: 838664
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 54158 57 0 0 25 0 11 0 836463395 858791936 28863 4294967295 134512640 134569956 3221224384 3221214576 1131364496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 28863 13086 16 0 209650 0
vsize: 838664
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 55108 57 0 0 25 0 11 0 836463395 858791936 28957 4294967295 134512640 134569956 3221224384 3221214760 1131421131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 28957 13086 16 0 209650 0
vsize: 838664
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 56058 57 0 0 25 0 11 0 836463395 858791936 29039 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29039 13086 16 0 209650 0
vsize: 838664
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 57007 58 0 0 25 0 11 0 836463395 858791936 29122 4294967295 134512640 134569956 3221224384 3221214736 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29122 13086 16 0 209650 0
vsize: 838664
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 57957 58 0 0 25 0 11 0 836463395 858791936 29225 4294967295 134512640 134569956 3221224384 3221214640 1131260616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29225 13086 16 0 209650 0
vsize: 838664
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 58907 58 0 0 25 0 11 0 836463395 858791936 29313 4294967295 134512640 134569956 3221224384 3221214760 1131422474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29313 13086 16 0 209650 0
vsize: 838664
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 59845 58 0 0 24 0 11 0 836463395 858791936 29444 4294967295 134512640 134569956 3221224384 3221214760 1131421812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29444 13086 16 0 209650 0
vsize: 838664
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 60796 58 0 0 25 0 11 0 836463395 858791936 29541 4294967295 134512640 134569956 3221224384 3221214784 1131275324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29541 13086 16 0 209650 0
vsize: 838664
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 61759 58 0 0 25 0 11 0 836463395 858791936 29629 4294967295 134512640 134569956 3221224384 3221214576 1131364058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29629 13086 16 0 209650 0
vsize: 838664
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 62710 58 0 0 25 0 11 0 836463395 858791936 29703 4294967295 134512640 134569956 3221224384 3221214664 1131411599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29703 13086 16 0 209650 0
vsize: 838664
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 63661 58 0 0 25 0 11 0 836463395 858791936 29769 4294967295 134512640 134569956 3221224384 3221214784 1131489409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29769 13086 16 0 209650 0
vsize: 838664
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 64611 58 0 0 25 0 11 0 836463395 858791936 29881 4294967295 134512640 134569956 3221224384 3221214760 1131422462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29881 13086 16 0 209650 0
vsize: 838664
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 65561 58 0 0 25 0 11 0 836463395 858791936 29969 4294967295 134512640 134569956 3221224384 3221214736 1131471397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 29969 13086 16 0 209650 0
vsize: 838664
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 66511 58 0 0 25 0 11 0 836463395 858791936 30059 4294967295 134512640 134569956 3221224384 3221214664 1131260996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30059 13086 16 0 209650 0
vsize: 838664
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 67474 58 0 0 25 0 11 0 836463395 858791936 30122 4294967295 134512640 134569956 3221224384 3221214720 1131216287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30122 13086 16 0 209650 0
vsize: 838664
[startup+720.047 s]
Raw data (loadavg): 1.15 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 68425 58 0 0 25 0 11 0 836463395 858791936 30221 4294967295 134512640 134569956 3221224384 3221214760 1131421748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30221 13086 16 0 209650 0
vsize: 838664
[startup+730.048 s]
Raw data (loadavg): 1.13 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 69374 58 0 0 25 0 11 0 836463395 858791936 30325 4294967295 134512640 134569956 3221224384 3221214680 1131594940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30325 13086 16 0 209650 0
vsize: 838664
[startup+740.048 s]
Raw data (loadavg): 1.11 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 70324 58 0 0 25 0 11 0 836463395 858791936 30408 4294967295 134512640 134569956 3221224384 3221214656 1131364237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30408 13086 16 0 209650 0
vsize: 838664
[startup+750.048 s]
Raw data (loadavg): 1.09 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 71273 58 0 0 25 0 11 0 836463395 858791936 30505 4294967295 134512640 134569956 3221224384 3221214760 1131424088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30505 13086 16 0 209650 0
vsize: 838664
[startup+760.049 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 72220 58 0 0 25 0 11 0 836463395 858791936 30617 4294967295 134512640 134569956 3221224384 3221214576 1131364800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30617 13086 16 0 209650 0
vsize: 838664
[startup+770.05 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 73168 58 0 0 25 0 11 0 836463395 858791936 30754 4294967295 134512640 134569956 3221224384 3221214536 1131491859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30754 13086 16 0 209650 0
vsize: 838664
[startup+780.051 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 74116 58 0 0 25 0 11 0 836463395 858791936 30858 4294967295 134512640 134569956 3221224384 3221214576 1131364050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30858 13086 16 0 209650 0
vsize: 838664
[startup+790.051 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 75063 59 0 0 25 0 11 0 836463395 858791936 30975 4294967295 134512640 134569956 3221224384 3221214736 1131471279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 30975 13086 16 0 209650 0
vsize: 838664
[startup+800.051 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 76011 59 0 0 25 0 11 0 836463395 858791936 31067 4294967295 134512640 134569956 3221224384 3221214664 1131260773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31067 13086 16 0 209650 0
vsize: 838664
[startup+810.052 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 4469
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 76959 59 0 0 25 0 11 0 836463395 858791936 31191 4294967295 134512640 134569956 3221224384 3221214708 1131205225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31191 13086 16 0 209650 0
vsize: 838664
[startup+820.088 s]
Raw data (loadavg): 1.11 1.04 0.97 3/67 4510
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 77910 59 0 0 25 0 11 0 836463395 858791936 31302 4294967295 134512640 134569956 3221224384 3221214736 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31302 13086 16 0 209650 0
vsize: 838664
[startup+830.089 s]
Raw data (loadavg): 1.09 1.04 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 78856 60 0 0 25 0 11 0 836463395 858791936 31361 4294967295 134512640 134569956 3221224384 3221214736 1131471324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31361 13086 16 0 209650 0
vsize: 838664
[startup+840.09 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 79805 60 0 0 25 0 11 0 836463395 858791936 31459 4294967295 134512640 134569956 3221224384 3221214664 1131410895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31459 13086 16 0 209650 0
vsize: 838664
[startup+850.09 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 80753 60 0 0 25 0 11 0 836463395 858791936 31562 4294967295 134512640 134569956 3221224384 3221214656 1131364335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31562 13086 16 0 209650 0
vsize: 838664
[startup+860.09 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 81702 60 0 0 25 0 11 0 836463395 858791936 31660 4294967295 134512640 134569956 3221224384 3221214656 1131364335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31660 13086 16 0 209650 0
vsize: 838664
[startup+870.091 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 82649 60 0 0 25 0 11 0 836463395 858791936 31791 4294967295 134512640 134569956 3221224384 3221214576 1131364335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31791 13086 16 0 209650 0
vsize: 838664
[startup+880.09 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 83608 60 0 0 25 0 11 0 836463395 858791936 31892 4294967295 134512640 134569956 3221224384 3221214616 1131540191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 31892 13086 16 0 209650 0
vsize: 838664
[startup+890.091 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 4522
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 84544 60 0 0 25 0 11 0 836463395 858791936 32031 4294967295 134512640 134569956 3221224384 3221214632 1131591129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32031 13086 16 0 209650 0
vsize: 838664
[startup+900.091 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 85493 60 0 0 25 0 11 0 836463395 858791936 32120 4294967295 134512640 134569956 3221224384 3221214800 1131216316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32120 13086 16 0 209650 0
vsize: 838664
[startup+910.092 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 86454 60 0 0 25 0 11 0 836463395 858791936 32163 4294967295 134512640 134569956 3221224384 3221214604 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32163 13086 16 0 209650 0
vsize: 838664
[startup+920.092 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 87402 60 0 0 25 0 11 0 836463395 858791936 32264 4294967295 134512640 134569956 3221224384 3221214632 1131260773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32264 13086 16 0 209650 0
vsize: 838664
[startup+930.092 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 88350 60 0 0 25 0 11 0 836463395 858791936 32326 4294967295 134512640 134569956 3221224384 3221214632 1131260730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32326 13086 16 0 209650 0
vsize: 838664
[startup+940.093 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 89299 60 0 0 25 0 11 0 836463395 858791936 32414 4294967295 134512640 134569956 3221224384 3221214728 1131421165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32414 13086 16 0 209650 0
vsize: 838664
[startup+950.093 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 90248 60 0 0 25 0 11 0 836463395 858791936 32534 4294967295 134512640 134569956 3221224384 3221214728 1131421231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32534 13086 16 0 209650 0
vsize: 838664
[startup+960.094 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 91199 60 0 0 25 0 11 0 836463395 858791936 32683 4294967295 134512640 134569956 3221224384 3221214696 1131424167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32683 13086 16 0 209650 0
vsize: 838664
[startup+970.095 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 92151 60 0 0 25 0 11 0 836463395 858791936 32765 4294967295 134512640 134569956 3221224384 3221214672 1131471384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32765 13086 16 0 209650 0
vsize: 838664
[startup+980.094 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 93103 60 0 0 25 0 11 0 836463395 858791936 32844 4294967295 134512640 134569956 3221224384 3221214696 1131424142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32844 13086 16 0 209650 0
vsize: 838664
[startup+990.095 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 94055 60 0 0 25 0 11 0 836463395 858791936 32929 4294967295 134512640 134569956 3221224384 3221214640 1131591136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32929 13086 16 0 209650 0
vsize: 838664
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 95021 61 0 0 25 0 11 0 836463395 858791936 32987 4294967295 134512640 134569956 3221224384 3221214672 1131216287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 32987 13086 16 0 209650 0
vsize: 838664
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 95974 61 0 0 25 0 11 0 836463395 858791936 33055 4294967295 134512640 134569956 3221224384 3221214696 1131421194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 33055 13086 16 0 209650 0
vsize: 838664
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 96926 61 0 0 25 0 11 0 836463395 858791936 33118 4294967295 134512640 134569956 3221224384 3221214640 1131595731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33118 13086 16 0 209650 0
vsize: 838664
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 97877 61 0 0 25 0 11 0 836463395 858791936 33188 4294967295 134512640 134569956 3221224384 3221214600 1131411246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33188 13086 16 0 209650 0
vsize: 838664
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 98827 61 0 0 25 0 11 0 836463395 858791936 33305 4294967295 134512640 134569956 3221224384 3221214536 1131364424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33305 13086 16 0 209650 0
vsize: 838664
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) S 4458 22056 22055 0 -1 0 18089 0 1 0 99785 61 0 0 25 0 11 0 836463395 858791936 33373 4294967295 134512640 134569956 3221224384 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33373 13086 16 0 209650 0
vsize: 838664
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 100742 61 0 0 25 0 11 0 836463395 858791936 33444 4294967295 134512640 134569956 3221224384 3221214672 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33444 13086 16 0 209650 0
vsize: 838664
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 101694 61 0 0 25 0 11 0 836463395 858791936 33523 4294967295 134512640 134569956 3221224384 3221214808 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33523 13086 16 0 209650 0
vsize: 838664
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 102644 61 0 0 25 0 11 0 836463395 858791936 33597 4294967295 134512640 134569956 3221224384 3221214600 1131411308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 33597 13086 16 0 209650 0
vsize: 838664
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 103607 61 0 0 25 0 11 0 836463395 858791936 33653 4294967295 134512640 134569956 3221224384 3221214696 1131424301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33653 13086 16 0 209650 0
vsize: 838664
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 104558 61 0 0 25 0 11 0 836463395 858791936 33748 4294967295 134512640 134569956 3221224384 3221214696 1131421171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33748 13086 16 0 209650 0
vsize: 838664
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 105508 61 0 0 25 0 11 0 836463395 858791936 33826 4294967295 134512640 134569956 3221224384 3221214564 1131438112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 33826 13086 16 0 209650 0
vsize: 838664
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4524
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 106458 61 0 0 25 0 11 0 836463395 858791936 33937 4294967295 134512640 134569956 3221224384 3221214576 1131260726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 33937 13086 16 0 209650 0
vsize: 838664
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 107408 61 0 0 25 0 11 0 836463395 858791936 34041 4294967295 134512640 134569956 3221224384 3221214600 1131410865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 34041 13086 16 0 209650 0
vsize: 838664
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 108370 61 0 0 25 0 11 0 836463395 858791936 34097 4294967295 134512640 134569956 3221224384 3221214672 1131216299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 34097 13086 16 0 209650 0
vsize: 838664
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 109318 61 0 0 25 0 11 0 836463395 858791936 34194 4294967295 134512640 134569956 3221224384 3221214596 1131216245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34194 13086 16 0 209650 0
vsize: 838664
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 110265 62 0 0 25 0 11 0 836463395 858791936 34311 4294967295 134512640 134569956 3221224384 3221214832 1131623969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 34311 13086 16 0 209650 0
vsize: 838664
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 111212 62 0 0 25 0 11 0 836463395 858791936 34405 4294967295 134512640 134569956 3221224384 3221214688 1131298752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34405 13086 16 0 209650 0
vsize: 838664
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 112159 62 0 0 25 0 11 0 836463395 858791936 34547 4294967295 134512640 134569956 3221224384 3221214692 1131216224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34547 13086 16 0 209650 0
vsize: 838664
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 113106 62 0 0 25 0 11 0 836463395 858791936 34657 4294967295 134512640 134569956 3221224384 3221214568 1131441598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34657 13086 16 0 209650 0
vsize: 838664
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 114054 62 0 0 25 0 11 0 836463395 858791936 34704 4294967295 134512640 134569956 3221224384 3221214672 1131470864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34704 13086 16 0 209650 0
vsize: 838664
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 115014 63 0 0 25 0 11 0 836463395 858791936 34761 4294967295 134512640 134569956 3221224384 3221214696 1131422462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34761 13086 16 0 209650 0
vsize: 838664
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 115960 63 0 0 25 0 11 0 836463395 858791936 34908 4294967295 134512640 134569956 3221224384 3221214696 1131422462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34908 13086 16 0 209650 0
vsize: 838664
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 116908 63 0 0 25 0 11 0 836463395 858791936 34972 4294967295 134512640 134569956 3221224384 3221214640 1131591136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 34972 13086 16 0 209650 0
vsize: 838664
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 117856 64 0 0 25 0 11 0 836463395 858791936 35071 4294967295 134512640 134569956 3221224384 3221214536 1131364335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 35071 13086 16 0 209650 0
vsize: 838664
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 118803 64 0 0 25 0 11 0 836463395 858791936 35203 4294967295 134512640 134569956 3221224384 3221214696 1131421321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 35203 13086 16 0 209650 0
vsize: 838664
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 119750 64 0 0 25 0 11 0 836463395 858791936 35308 4294967295 134512640 134569956 3221224384 3221214560 1131292465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 35308 13086 16 0 209650 0
vsize: 838664
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 4526
Raw data (stat): 4459 (java) R 4458 22056 22055 0 -1 0 18089 0 1 0 120697 64 0 0 25 0 11 0 836463395 858791936 35412 4294967295 134512640 134569956 3221224384 3221214672 1131471279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 35412 13086 16 0 209650 0
vsize: 838664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.21 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 4528
Raw data (stat): 4459 (java) Z 4458 22056 22055 0 -1 1036 18089 15698 1 0 120700 64 5960 41 25 0 1 0 836463395 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): 1270.21
CPU time (s): 1267.68
CPU user time (s): 1266.61
CPU system time (s): 1.06684
CPU usage (%): 99.8008
Max. virtual memory (Kb): 841092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####