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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb
MD5SUM173fbcf88732da3f8b39402ca13ca263
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 3540
Biggest coefficient in the objective function 26214400000
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 6794775437175
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 26214400000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 13700458527437
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.63775
Number of variables176588
Total number of constraints6965
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints6910
Minimum length of a constraint1
Maximum length of a constraint40360

Trace number 29941

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 12:59:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21337 boxname=wulflinc27 idbench=1325 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  173fbcf88732da3f8b39402ca13ca263  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-rentacar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-rentacar.opb
IDLAUNCH: 21337
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        402732 kB
Buffers:         34720 kB
Cached:         575008 kB
SwapCached:        640 kB
Active:         120712 kB
Inactive:       491388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        402480 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            14140 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:21:13 (client local time) WITH STATUS 143 IN 1321.29 SECONDS
stats: 21337 7 1321.29 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/wulflinc27/normalized-mps-v2-13-7-rentacar.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1319.141
#### 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.98 1.00 1.00 2/54 18536
Raw data (stat): 18536 (runsolver) R 18535 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839059475 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99961 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 18545
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18020 0 1 0 870 39 0 0 25 0 10 0 839059475 854020096 19521 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208501 19521 13086 16 0 208485 0
vsize: 834004
[startup+20.0012 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 18545
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18021 0 1 0 1752 39 0 0 25 0 10 0 839059475 855744512 20457 4294967295 134512640 134569956 3221224368 3221214336 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208922 20457 13086 16 0 208906 0
vsize: 835688
[startup+30.0019 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 18545
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18021 0 1 0 2639 40 0 0 25 0 10 0 839059475 855035904 20851 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 20851 13086 16 0 208733 0
vsize: 834996
[startup+40.0062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 18545
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18021 0 1 0 3533 40 0 0 25 0 10 0 839059475 855035904 21162 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 21162 13086 16 0 208733 0
vsize: 834996
[startup+50.0086 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 18545
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18021 0 1 0 4443 40 0 0 25 0 10 0 839059475 855035904 21396 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 21396 13086 16 0 208733 0
vsize: 834996
[startup+60.0088 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 18598
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18021 0 1 0 5340 48 0 0 24 0 10 0 839059475 855035904 21577 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 21577 13086 16 0 208733 0
vsize: 834996
[startup+70.0101 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 18598
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 6261 48 0 0 25 0 10 0 839059475 855035904 21804 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 21804 13086 16 0 208733 0
vsize: 834996
[startup+80.0106 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 18598
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 7190 48 0 0 25 0 10 0 839059475 855035904 21949 4294967295 134512640 134569956 3221224368 3221214128 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 21949 13086 16 0 208733 0
vsize: 834996
[startup+90.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 18598
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 8117 49 0 0 25 0 10 0 839059475 855035904 22057 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22057 13086 16 0 208733 0
vsize: 834996
[startup+100.011 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 18598
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 9048 49 0 0 25 0 10 0 839059475 855035904 22195 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22195 13086 16 0 208733 0
vsize: 834996
[startup+110.015 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 18598
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 9979 50 0 0 25 0 10 0 839059475 855035904 22317 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22317 13086 16 0 208733 0
vsize: 834996
[startup+120.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 10911 50 0 0 25 0 10 0 839059475 855035904 22428 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22428 13086 16 0 208733 0
vsize: 834996
[startup+130.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 11843 51 0 0 25 0 10 0 839059475 855035904 22531 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22531 13086 16 0 208733 0
vsize: 834996
[startup+140.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 12763 51 0 0 25 0 10 0 839059475 855035904 22643 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22643 13086 16 0 208733 0
vsize: 834996
[startup+150.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 13672 52 0 0 24 0 10 0 839059475 855035904 22786 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22786 13086 16 0 208733 0
vsize: 834996
[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 14587 52 0 0 25 0 10 0 839059475 855035904 22939 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 22939 13086 16 0 208733 0
vsize: 834996
[startup+170.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 15509 52 0 0 25 0 10 0 839059475 855035904 23083 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23083 13086 16 0 208733 0
vsize: 834996
[startup+180.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 16428 52 0 0 25 0 10 0 839059475 855035904 23216 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23216 13086 16 0 208733 0
vsize: 834996
[startup+190.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 17343 53 0 0 25 0 10 0 839059475 855035904 23301 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23301 13086 16 0 208733 0
vsize: 834996
[startup+200.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 18275 53 0 0 25 0 10 0 839059475 855035904 23538 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23538 13086 16 0 208733 0
vsize: 834996
[startup+210.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 19205 53 0 0 24 0 10 0 839059475 855035904 23624 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23624 13086 16 0 208733 0
vsize: 834996
[startup+220.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 20140 54 0 0 25 0 10 0 839059475 855035904 23702 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23702 13086 16 0 208733 0
vsize: 834996
[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 21070 54 0 0 25 0 10 0 839059475 855035904 23781 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23781 13086 16 0 208733 0
vsize: 834996
[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 22000 55 0 0 25 0 10 0 839059475 855035904 23850 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 23850 13086 16 0 208733 0
vsize: 834996
[startup+250.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 22902 55 0 0 19 0 10 0 839059475 855035904 23922 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 23922 13086 16 0 208733 0
vsize: 834996
[startup+260.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 23797 55 0 0 19 0 10 0 839059475 855035904 24091 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24091 13086 16 0 208733 0
vsize: 834996
[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 24709 55 0 0 24 0 10 0 839059475 855035904 24263 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24263 13086 16 0 208733 0
vsize: 834996
[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 25626 55 0 0 25 0 10 0 839059475 855035904 24373 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24373 13086 16 0 208733 0
vsize: 834996
[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 26550 55 0 0 25 0 10 0 839059475 855035904 24481 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24481 13086 16 0 208733 0
vsize: 834996
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 27477 56 0 0 25 0 10 0 839059475 855035904 24559 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24559 13086 16 0 208733 0
vsize: 834996
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 28407 56 0 0 25 0 10 0 839059475 855035904 24628 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24628 13086 16 0 208733 0
vsize: 834996
[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 29332 56 0 0 25 0 10 0 839059475 855035904 24687 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24687 13086 16 0 208733 0
vsize: 834996
[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 30253 56 0 0 25 0 10 0 839059475 855035904 24762 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24762 13086 16 0 208733 0
vsize: 834996
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 31182 56 0 0 25 0 10 0 839059475 855035904 24838 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24838 13086 16 0 208733 0
vsize: 834996
[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 32107 56 0 0 25 0 10 0 839059475 855035904 24896 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24896 13086 16 0 208733 0
vsize: 834996
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 33035 57 0 0 25 0 10 0 839059475 855035904 24959 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 24959 13086 16 0 208733 0
vsize: 834996
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 33963 57 0 0 25 0 10 0 839059475 855035904 25011 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25011 13086 16 0 208733 0
vsize: 834996
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 34885 57 0 0 25 0 10 0 839059475 855035904 25080 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25080 13086 16 0 208733 0
vsize: 834996
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18600
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 35810 57 0 0 25 0 10 0 839059475 855035904 25144 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25144 13086 16 0 208733 0
vsize: 834996
[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 36739 57 0 0 25 0 10 0 839059475 855035904 25207 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25207 13086 16 0 208733 0
vsize: 834996
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 37659 57 0 0 25 0 10 0 839059475 855035904 25259 4294967295 134512640 134569956 3221224368 3221214208 1077558140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 25259 13086 16 0 208733 0
vsize: 834996
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 38585 57 0 0 25 0 10 0 839059475 855035904 25327 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25327 13086 16 0 208733 0
vsize: 834996
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 39511 57 0 0 25 0 10 0 839059475 855035904 25382 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25382 13086 16 0 208733 0
vsize: 834996
[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 40427 57 0 0 25 0 10 0 839059475 855035904 25431 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25431 13086 16 0 208733 0
vsize: 834996
[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 41338 57 0 0 25 0 10 0 839059475 855035904 25520 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25520 13086 16 0 208733 0
vsize: 834996
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 42250 57 0 0 25 0 10 0 839059475 855035904 25595 4294967295 134512640 134569956 3221224368 3221213360 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25595 13086 16 0 208733 0
vsize: 834996
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 43156 57 0 0 25 0 10 0 839059475 855035904 25676 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25676 13086 16 0 208733 0
vsize: 834996
[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 44057 58 0 0 25 0 10 0 839059475 855035904 25771 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25771 13086 16 0 208733 0
vsize: 834996
[startup+490.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 44973 58 0 0 25 0 10 0 839059475 855035904 25904 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25904 13086 16 0 208733 0
vsize: 834996
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 45897 58 0 0 25 0 10 0 839059475 855035904 25974 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 25974 13086 16 0 208733 0
vsize: 834996
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 46819 58 0 0 25 0 10 0 839059475 855035904 26017 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26017 13086 16 0 208733 0
vsize: 834996
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 47741 58 0 0 25 0 10 0 839059475 855035904 26058 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26058 13086 16 0 208733 0
vsize: 834996
[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 48665 58 0 0 22 0 10 0 839059475 855035904 26115 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26115 13086 16 0 208733 0
vsize: 834996
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 49589 58 0 0 25 0 10 0 839059475 855035904 26161 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26161 13086 16 0 208733 0
vsize: 834996
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 50512 59 0 0 25 0 10 0 839059475 855035904 26201 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26201 13086 16 0 208733 0
vsize: 834996
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 51426 59 0 0 25 0 10 0 839059475 855035904 26242 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26242 13086 16 0 208733 0
vsize: 834996
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 52346 59 0 0 24 0 10 0 839059475 855035904 26309 4294967295 134512640 134569956 3221224368 3221214128 1076874544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26309 13086 16 0 208733 0
vsize: 834996
[startup+580.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 53269 59 0 0 25 0 10 0 839059475 855035904 26350 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26350 13086 16 0 208733 0
vsize: 834996
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 54188 59 0 0 25 0 10 0 839059475 855035904 26391 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26391 13086 16 0 208733 0
vsize: 834996
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 55105 59 0 0 25 0 10 0 839059475 855035904 26428 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26428 13086 16 0 208733 0
vsize: 834996
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 56024 60 0 0 25 0 10 0 839059475 855035904 26498 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26498 13086 16 0 208733 0
vsize: 834996
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 56940 60 0 0 25 0 10 0 839059475 855035904 26539 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26539 13086 16 0 208733 0
vsize: 834996
[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 57851 60 0 0 25 0 10 0 839059475 855035904 26593 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26593 13086 16 0 208733 0
vsize: 834996
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 58761 61 0 0 25 0 10 0 839059475 855035904 26651 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26651 13086 16 0 208733 0
vsize: 834996
[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 59677 61 0 0 25 0 10 0 839059475 855035904 26727 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26727 13086 16 0 208733 0
vsize: 834996
[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 60597 61 0 0 25 0 10 0 839059475 855035904 26780 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26780 13086 16 0 208733 0
vsize: 834996
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 61518 61 0 0 25 0 10 0 839059475 855035904 26813 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 26813 13086 16 0 208733 0
vsize: 834996
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 62436 61 0 0 25 0 10 0 839059475 855035904 27295 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27295 13086 16 0 208733 0
vsize: 834996
[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 63353 61 0 0 25 0 10 0 839059475 855035904 27295 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27295 13086 16 0 208733 0
vsize: 834996
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 64261 61 0 0 25 0 10 0 839059475 855035904 27323 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27323 13086 16 0 208733 0
vsize: 834996
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 65169 62 0 0 24 0 10 0 839059475 855035904 27375 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27375 13086 16 0 208733 0
vsize: 834996
[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 66081 62 0 0 25 0 10 0 839059475 855035904 27410 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27410 13086 16 0 208733 0
vsize: 834996
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 66995 62 0 0 25 0 10 0 839059475 855035904 27446 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27446 13086 16 0 208733 0
vsize: 834996
[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 67903 62 0 0 25 0 10 0 839059475 855035904 27479 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27479 13086 16 0 208733 0
vsize: 834996
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 68808 63 0 0 25 0 10 0 839059475 855035904 27517 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27517 13086 16 0 208733 0
vsize: 834996
[startup+760.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 69707 63 0 0 25 0 10 0 839059475 855035904 27549 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27549 13086 16 0 208733 0
vsize: 834996
[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 70614 63 0 0 25 0 10 0 839059475 855035904 27624 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27624 13086 16 0 208733 0
vsize: 834996
[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 71524 63 0 0 25 0 10 0 839059475 855035904 27666 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27666 13086 16 0 208733 0
vsize: 834996
[startup+790.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 72431 64 0 0 25 0 10 0 839059475 855035904 27696 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27696 13086 16 0 208733 0
vsize: 834996
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 73337 64 0 0 25 0 10 0 839059475 855035904 27731 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27731 13086 16 0 208733 0
vsize: 834996
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 74241 65 0 0 25 0 10 0 839059475 855035904 27767 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27767 13086 16 0 208733 0
vsize: 834996
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 75150 65 0 0 25 0 10 0 839059475 855035904 27812 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27812 13086 16 0 208733 0
vsize: 834996
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 76056 65 0 0 25 0 10 0 839059475 855035904 27850 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27850 13086 16 0 208733 0
vsize: 834996
[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 76962 65 0 0 25 0 10 0 839059475 855035904 27885 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27885 13086 16 0 208733 0
vsize: 834996
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 77868 65 0 0 25 0 10 0 839059475 855035904 27919 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 27919 13086 16 0 208733 0
vsize: 834996
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 78776 65 0 0 25 0 10 0 839059475 855035904 27948 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 27948 13086 16 0 208733 0
vsize: 834996
[startup+870.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 79679 66 0 0 25 0 10 0 839059475 855035904 27982 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 27982 13086 16 0 208733 0
vsize: 834996
[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 80581 66 0 0 25 0 10 0 839059475 855035904 28035 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28035 13086 16 0 208733 0
vsize: 834996
[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 81486 66 0 0 25 0 10 0 839059475 855035904 28064 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28064 13086 16 0 208733 0
vsize: 834996
[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 82390 66 0 0 25 0 10 0 839059475 855035904 28098 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28098 13086 16 0 208733 0
vsize: 834996
[startup+910.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 83292 67 0 0 25 0 10 0 839059475 855035904 28132 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28132 13086 16 0 208733 0
vsize: 834996
[startup+920.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 84195 67 0 0 25 0 10 0 839059475 855035904 28160 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28160 13086 16 0 208733 0
vsize: 834996
[startup+930.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 85090 67 0 0 25 0 10 0 839059475 855035904 28223 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28223 13086 16 0 208733 0
vsize: 834996
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 85991 68 0 0 19 0 10 0 839059475 855035904 28281 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28281 13086 16 0 208733 0
vsize: 834996
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 86894 68 0 0 19 0 10 0 839059475 855035904 28309 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28309 13086 16 0 208733 0
vsize: 834996
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 87803 68 0 0 24 0 10 0 839059475 855035904 28339 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28339 13086 16 0 208733 0
vsize: 834996
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 88706 68 0 0 23 0 10 0 839059475 855035904 28370 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28370 13086 16 0 208733 0
vsize: 834996
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 89608 69 0 0 21 0 10 0 839059475 855035904 28401 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28401 13086 16 0 208733 0
vsize: 834996
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 90509 69 0 0 19 0 10 0 839059475 855035904 28432 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28432 13086 16 0 208733 0
vsize: 834996
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 91412 69 0 0 23 0 10 0 839059475 855035904 28462 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28462 13086 16 0 208733 0
vsize: 834996
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 92311 70 0 0 21 0 10 0 839059475 855035904 28506 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28506 13086 16 0 208733 0
vsize: 834996
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 93211 70 0 0 19 0 10 0 839059475 855035904 28539 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28539 13086 16 0 208733 0
vsize: 834996
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 94118 70 0 0 24 0 10 0 839059475 855035904 28563 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28563 13086 16 0 208733 0
vsize: 834996
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 95018 70 0 0 22 0 10 0 839059475 855035904 28593 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28593 13086 16 0 208733 0
vsize: 834996
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 95917 71 0 0 20 0 10 0 839059475 855035904 28623 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28623 13086 16 0 208733 0
vsize: 834996
[startup+1060.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 96817 71 0 0 24 0 10 0 839059475 855035904 28653 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28653 13086 16 0 208733 0
vsize: 834996
[startup+1070.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 97720 72 0 0 22 0 10 0 839059475 855035904 28683 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28683 13086 16 0 208733 0
vsize: 834996
[startup+1080.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 98615 72 0 0 19 0 10 0 839059475 855035904 28722 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28722 13086 16 0 208733 0
vsize: 834996
[startup+1090.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 99519 73 0 0 24 0 10 0 839059475 855035904 28758 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28758 13086 16 0 208733 0
vsize: 834996
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 100418 73 0 0 20 0 10 0 839059475 855035904 28782 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28782 13086 16 0 208733 0
vsize: 834996
[startup+1110.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 101317 73 0 0 19 0 10 0 839059475 855035904 28813 4294967295 134512640 134569956 3221224368 3221214632 1076619328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28813 13086 16 0 208733 0
vsize: 834996
[startup+1120.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 102222 73 0 0 23 0 10 0 839059475 855035904 28841 4294967295 134512640 134569956 3221224368 3221213968 1076877680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28841 13086 16 0 208733 0
vsize: 834996
[startup+1130.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 103120 74 0 0 20 0 10 0 839059475 855035904 28871 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28871 13086 16 0 208733 0
vsize: 834996
[startup+1140.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 104017 74 0 0 18 0 10 0 839059475 855035904 28894 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28894 13086 16 0 208733 0
vsize: 834996
[startup+1150.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 104917 74 0 0 22 0 10 0 839059475 855035904 28923 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28923 13086 16 0 208733 0
vsize: 834996
[startup+1160.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 105811 75 0 0 19 0 10 0 839059475 855035904 28965 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28965 13086 16 0 208733 0
vsize: 834996
[startup+1170.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 18602
Raw data (stat): 18536 (java) S 18535 3394 3393 0 -1 0 18022 0 1 0 106710 76 0 0 24 0 10 0 839059475 855035904 28997 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 28997 13086 16 0 208733 0
vsize: 834996
[startup+1180.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 107611 76 0 0 21 0 10 0 839059475 855035904 29027 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 29027 13086 16 0 208733 0
vsize: 834996
[startup+1190.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 108508 77 0 0 19 0 10 0 839059475 855035904 29050 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 29050 13086 16 0 208733 0
vsize: 834996
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 109411 77 0 0 23 0 10 0 839059475 855035904 29078 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 29078 13086 16 0 208733 0
vsize: 834996
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 110305 78 0 0 19 0 10 0 839059475 855035904 29108 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 29108 13086 16 0 208733 0
vsize: 834996
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 111199 78 0 0 18 0 10 0 839059475 855035904 29133 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208749 29133 13086 16 0 208733 0
vsize: 834996
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 112097 78 0 0 22 0 10 0 839059475 855035904 29243 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29243 13086 16 0 208733 0
vsize: 834996
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 112996 79 0 0 18 0 10 0 839059475 855035904 29255 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29255 13086 16 0 208733 0
vsize: 834996
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 113898 79 0 0 21 0 10 0 839059475 855035904 29266 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29266 13086 16 0 208733 0
vsize: 834996
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 114795 79 0 0 19 0 10 0 839059475 855035904 29314 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29314 13086 16 0 208733 0
vsize: 834996
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 115698 79 0 0 22 0 10 0 839059475 855035904 29345 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29345 13086 16 0 208733 0
vsize: 834996
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 116592 80 0 0 18 0 10 0 839059475 855035904 29359 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29359 13086 16 0 208733 0
vsize: 834996
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 117496 80 0 0 23 0 10 0 839059475 855035904 29488 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29488 13086 16 0 208733 0
vsize: 834996
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 118398 80 0 0 20 0 10 0 839059475 855035904 29507 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29507 13086 16 0 208733 0
vsize: 834996
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 119303 80 0 0 23 0 10 0 839059475 855035904 29540 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29540 13086 16 0 208733 0
vsize: 834996
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 18602
Raw data (stat): 18536 (java) R 18535 3394 3393 0 -1 0 18022 0 1 0 120204 80 0 0 20 0 10 0 839059475 855035904 29574 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29574 13086 16 0 208733 0
vsize: 834996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18604
Raw data (stat): 18536 (java) Z 18535 3394 3393 0 -1 1036 18022 11464 1 0 120207 80 11790 50 21 0 1 0 839059475 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): 1320.19
CPU time (s): 1321.29
CPU user time (s): 1319.98
CPU system time (s): 1.3158
CPU usage (%): 100.084
Max. virtual memory (Kb): 835688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####