PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb
MD5SUM	489cca8508801e1a27a21414584e0af6
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	55000
Biggest coefficient in the objective function	216169480454144
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	581831637603140100
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	216169480454144
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	581831637603140100
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.481926
Number of variables	55000
Total number of constraints	397
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	397
Minimum length of a constraint	200
Maximum length of a constraint	480
Trace number 29875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 12:18:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21266 boxname=wulflinc3 idbench=1254 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  489cca8508801e1a27a21414584e0af6  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-scsd8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-scsd8.opb
IDLAUNCH: 21266
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        779116 kB
Buffers:         33820 kB
Cached:         201324 kB
SwapCached:          0 kB
Active:          76784 kB
Inactive:       161004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        778864 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11924 kB
Committed_AS:    71756 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:39:59 (client local time) WITH STATUS 143 IN 1292.46 SECONDS
stats: 21266 7 1292.46 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/wulflinc3/normalized-mps-v2-13-7-scsd8.opb
c reading problem ... done. Time 844.861 ms.
c #vars     55000
c #constraints  794
c starts	: 4
c conflicts	: 670
c decisions	: 2137
c propagations	: 5457
c inspects	: 220615
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 669
c root simplifications	: 4
s UNKNOWN
c Total CPU time (ms) : 1279.115
#### 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.93 0.98 0.99 2/54 618
Raw data (stat): 618 (runsolver) R 617 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780592722 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+10.0003 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 865 39 0 0 25 0 10 0 780592722 853938176 19399 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208481 19399 13086 16 0 208465 0
vsize: 833924
[startup+20.0016 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 1763 40 0 0 25 0 10 0 780592722 853880832 19906 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 19906 13086 16 0 208451 0
vsize: 833868
[startup+30.002 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 2651 40 0 0 25 0 10 0 780592722 853880832 20428 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 20428 13086 16 0 208451 0
vsize: 833868
[startup+40.0028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 627
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18019 0 1 0 3568 41 0 0 25 0 10 0 780592722 854048768 20763 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20763 13086 16 0 208492 0
vsize: 834032
[startup+50.0031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 4491 41 0 0 25 0 10 0 780592722 854048768 20935 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20935 13086 16 0 208492 0
vsize: 834032
[startup+60.0039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 5406 42 0 0 25 0 10 0 780592722 854048768 21075 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21075 13086 16 0 208492 0
vsize: 834032
[startup+70.0033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 6335 42 0 0 25 0 10 0 780592722 854048768 21320 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21320 13086 16 0 208492 0
vsize: 834032
[startup+80.0046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 7273 42 0 0 25 0 10 0 780592722 854048768 21428 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21428 13086 16 0 208492 0
vsize: 834032
[startup+90.005 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 8215 43 0 0 25 0 10 0 780592722 854048768 21521 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21521 13086 16 0 208492 0
vsize: 834032
[startup+100.005 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 9155 44 0 0 25 0 10 0 780592722 854048768 21613 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21613 13086 16 0 208492 0
vsize: 834032
[startup+110.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 10100 44 0 0 25 0 10 0 780592722 854048768 21694 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21694 13086 16 0 208492 0
vsize: 834032
[startup+120.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 11041 44 0 0 25 0 10 0 780592722 854048768 21775 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21775 13086 16 0 208492 0
vsize: 834032
[startup+130.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 11986 44 0 0 25 0 10 0 780592722 854048768 21847 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21847 13086 16 0 208492 0
vsize: 834032
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 12927 45 0 0 25 0 10 0 780592722 854048768 21919 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21919 13086 16 0 208492 0
vsize: 834032
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 13869 45 0 0 24 0 10 0 780592722 854048768 21989 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 21989 13086 16 0 208492 0
vsize: 834032
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 14814 46 0 0 25 0 10 0 780592722 854048768 22052 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22052 13086 16 0 208492 0
vsize: 834032
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 15755 47 0 0 25 0 10 0 780592722 854048768 22116 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22116 13086 16 0 208492 0
vsize: 834032
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 16671 47 0 0 25 0 10 0 780592722 854048768 22176 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22176 13086 16 0 208492 0
vsize: 834032
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 17590 47 0 0 25 0 10 0 780592722 854048768 22488 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22488 13086 16 0 208492 0
vsize: 834032
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 18529 48 0 0 24 0 10 0 780592722 854048768 22547 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22547 13086 16 0 208492 0
vsize: 834032
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 19470 48 0 0 25 0 10 0 780592722 854048768 22600 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22600 13086 16 0 208492 0
vsize: 834032
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 20408 49 0 0 24 0 10 0 780592722 854048768 22655 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22655 13086 16 0 208492 0
vsize: 834032
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 21348 49 0 0 25 0 10 0 780592722 854048768 22707 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22707 13086 16 0 208492 0
vsize: 834032
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 22285 50 0 0 25 0 10 0 780592722 854048768 22760 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22760 13086 16 0 208492 0
vsize: 834032
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 23225 50 0 0 25 0 10 0 780592722 854048768 22808 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22808 13086 16 0 208492 0
vsize: 834032
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 24162 51 0 0 24 0 10 0 780592722 854048768 22858 4294967295 134512640 134569956 3221224368 3221214168 1076461395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22858 13086 16 0 208492 0
vsize: 834032
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 25101 51 0 0 25 0 10 0 780592722 854048768 22904 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22904 13086 16 0 208492 0
vsize: 834032
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 26036 52 0 0 24 0 10 0 780592722 854048768 22952 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 22952 13086 16 0 208492 0
vsize: 834032
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 26974 52 0 0 25 0 10 0 780592722 854048768 22997 4294967295 134512640 134569956 3221224368 3221214760 1131237561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 22997 13086 16 0 208492 0
vsize: 834032
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 27908 52 0 0 25 0 10 0 780592722 854048768 23043 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23043 13086 16 0 208492 0
vsize: 834032
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 28846 53 0 0 25 0 10 0 780592722 854048768 23086 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23086 13086 16 0 208492 0
vsize: 834032
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 29779 53 0 0 25 0 10 0 780592722 854048768 23131 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23131 13086 16 0 208492 0
vsize: 834032
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 30716 53 0 0 25 0 10 0 780592722 854048768 23172 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23172 13086 16 0 208492 0
vsize: 834032
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 31648 53 0 0 24 0 10 0 780592722 854048768 23216 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23216 13086 16 0 208492 0
vsize: 834032
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 32583 53 0 0 25 0 10 0 780592722 854048768 23256 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23256 13086 16 0 208492 0
vsize: 834032
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 33515 53 0 0 24 0 10 0 780592722 854048768 23298 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23298 13086 16 0 208492 0
vsize: 834032
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 34451 53 0 0 25 0 10 0 780592722 854048768 23337 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23337 13086 16 0 208492 0
vsize: 834032
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18019 0 1 0 35382 54 0 0 25 0 10 0 780592722 854048768 23376 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23376 13086 16 0 208492 0
vsize: 834032
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 36316 54 0 0 25 0 10 0 780592722 854048768 23415 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23415 13086 16 0 208492 0
vsize: 834032
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 37249 54 0 0 25 0 10 0 780592722 854048768 23452 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23452 13086 16 0 208492 0
vsize: 834032
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 38178 54 0 0 25 0 10 0 780592722 854048768 23491 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23491 13086 16 0 208492 0
vsize: 834032
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 39111 54 0 0 25 0 10 0 780592722 854048768 23528 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23528 13086 16 0 208492 0
vsize: 834032
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 40040 54 0 0 24 0 10 0 780592722 854048768 23566 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23566 13086 16 0 208492 0
vsize: 834032
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 40971 54 0 0 25 0 10 0 780592722 854048768 23601 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23601 13086 16 0 208492 0
vsize: 834032
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 41903 55 0 0 25 0 10 0 780592722 854048768 23636 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23636 13086 16 0 208492 0
vsize: 834032
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 42831 55 0 0 24 0 10 0 780592722 854048768 23673 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23673 13086 16 0 208492 0
vsize: 834032
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 43761 55 0 0 25 0 10 0 780592722 854048768 23708 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23708 13086 16 0 208492 0
vsize: 834032
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 44692 55 0 0 25 0 10 0 780592722 854048768 23742 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23742 13086 16 0 208492 0
vsize: 834032
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 45618 55 0 0 24 0 10 0 780592722 854048768 23777 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23777 13086 16 0 208492 0
vsize: 834032
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 46547 55 0 0 25 0 10 0 780592722 854048768 23810 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23810 13086 16 0 208492 0
vsize: 834032
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 47477 55 0 0 25 0 10 0 780592722 854048768 23843 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23843 13086 16 0 208492 0
vsize: 834032
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 48401 56 0 0 24 0 10 0 780592722 854048768 23877 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23877 13086 16 0 208492 0
vsize: 834032
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 49330 56 0 0 25 0 10 0 780592722 854048768 23909 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23909 13086 16 0 208492 0
vsize: 834032
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 50258 56 0 0 25 0 10 0 780592722 854048768 23941 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23941 13086 16 0 208492 0
vsize: 834032
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 51186 56 0 0 25 0 10 0 780592722 854048768 23972 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 23972 13086 16 0 208492 0
vsize: 834032
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 52108 56 0 0 24 0 10 0 780592722 854048768 24005 4294967295 134512640 134569956 3221224368 3221214760 1131236566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24005 13086 16 0 208492 0
vsize: 834032
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 53035 57 0 0 25 0 10 0 780592722 854048768 24036 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24036 13086 16 0 208492 0
vsize: 834032
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 53962 57 0 0 25 0 10 0 780592722 854048768 24067 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24067 13086 16 0 208492 0
vsize: 834032
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 54888 57 0 0 25 0 10 0 780592722 854048768 24097 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24097 13086 16 0 208492 0
vsize: 834032
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 55813 57 0 0 25 0 10 0 780592722 854048768 24127 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24127 13086 16 0 208492 0
vsize: 834032
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 56734 58 0 0 25 0 10 0 780592722 854048768 24159 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24159 13086 16 0 208492 0
vsize: 834032
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 57659 58 0 0 25 0 10 0 780592722 854048768 24188 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24188 13086 16 0 208492 0
vsize: 834032
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 58584 58 0 0 25 0 10 0 780592722 854048768 24218 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24218 13086 16 0 208492 0
vsize: 834032
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 59508 58 0 0 25 0 10 0 780592722 854048768 24247 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24247 13086 16 0 208492 0
vsize: 834032
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 60433 59 0 0 25 0 10 0 780592722 854048768 24276 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24276 13086 16 0 208492 0
vsize: 834032
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18019 0 1 0 61354 59 0 0 25 0 10 0 780592722 854048768 24305 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 24305 13086 16 0 208492 0
vsize: 834032
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 62270 59 0 0 24 0 10 0 780592722 854048768 25207 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25207 13086 16 0 208492 0
vsize: 834032
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 63192 59 0 0 24 0 10 0 780592722 854048768 25207 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25207 13086 16 0 208492 0
vsize: 834032
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 64106 59 0 0 25 0 10 0 780592722 854048768 25224 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25224 13086 16 0 208492 0
vsize: 834032
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 65020 60 0 0 24 0 10 0 780592722 854048768 25252 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25252 13086 16 0 208492 0
vsize: 834032
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 65932 60 0 0 24 0 10 0 780592722 854048768 25279 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25279 13086 16 0 208492 0
vsize: 834032
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18019 0 1 0 66846 60 0 0 25 0 10 0 780592722 854048768 25305 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25305 13086 16 0 208492 0
vsize: 834032
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 67762 60 0 0 25 0 10 0 780592722 854048768 25332 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25332 13086 16 0 208492 0
vsize: 834032
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 68674 60 0 0 25 0 10 0 780592722 854048768 25359 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25359 13086 16 0 208492 0
vsize: 834032
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 69587 60 0 0 25 0 10 0 780592722 854048768 25386 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25386 13086 16 0 208492 0
vsize: 834032
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 70498 61 0 0 25 0 10 0 780592722 854048768 25412 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25412 13086 16 0 208492 0
vsize: 834032
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 71409 61 0 0 25 0 10 0 780592722 854048768 25439 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25439 13086 16 0 208492 0
vsize: 834032
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 72320 61 0 0 25 0 10 0 780592722 854048768 25465 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25465 13086 16 0 208492 0
vsize: 834032
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 73231 61 0 0 25 0 10 0 780592722 854048768 25491 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25491 13086 16 0 208492 0
vsize: 834032
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 74141 61 0 0 25 0 10 0 780592722 854048768 25517 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25517 13086 16 0 208492 0
vsize: 834032
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 75051 61 0 0 24 0 10 0 780592722 854048768 25542 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25542 13086 16 0 208492 0
vsize: 834032
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18019 0 1 0 75962 62 0 0 25 0 10 0 780592722 854048768 25568 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25568 13086 16 0 208492 0
vsize: 834032
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18019 0 1 0 76874 62 0 0 25 0 10 0 780592722 854048768 25593 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 25593 13086 16 0 208492 0
vsize: 834032
[startup+840.051 s]
Raw data (loadavg): 1.16 1.03 1.01 2/63 627
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18042 0 1 0 77767 64 0 0 25 0 10 0 780592722 860372992 27185 4294967295 134512640 134569956 3221224368 3221214824 1131162138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210052 27185 13086 16 0 210036 0
vsize: 840208
[startup+850.051 s]
Raw data (loadavg): 1.13 1.03 1.01 3/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18080 0 1 0 78512 68 0 0 25 0 11 0 780592722 862392320 35773 4294967295 134512640 134569956 3221224368 3221214520 1131436044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210545 35773 13086 16 0 210529 0
vsize: 842180
[startup+860.052 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 79433 68 0 0 25 0 11 0 780592722 862691328 36757 4294967295 134512640 134569956 3221224368 3221214536 1131392037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 36757 13086 16 0 210602 0
vsize: 842472
[startup+870.051 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 80406 68 0 0 25 0 11 0 780592722 862691328 36758 4294967295 134512640 134569956 3221224368 3221214560 1131391584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 36758 13086 16 0 210602 0
vsize: 842472
[startup+880.052 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 81365 69 0 0 25 0 11 0 780592722 862691328 36760 4294967295 134512640 134569956 3221224368 3221214560 1131391833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 36760 13086 16 0 210602 0
vsize: 842472
[startup+890.052 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 82327 69 0 0 25 0 11 0 780592722 862691328 36760 4294967295 134512640 134569956 3221224368 3221214664 1131465949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 36760 13086 16 0 210602 0
vsize: 842472
[startup+900.052 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 83292 69 0 0 25 0 11 0 780592722 862691328 36916 4294967295 134512640 134569956 3221224368 3221214480 1131424772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 36916 13086 16 0 210602 0
vsize: 842472
[startup+910.053 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 84259 70 0 0 25 0 11 0 780592722 862691328 37072 4294967295 134512640 134569956 3221224368 3221214600 1131422951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37072 13086 16 0 210602 0
vsize: 842472
[startup+920.053 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 85235 70 0 0 25 0 11 0 780592722 862691328 37153 4294967295 134512640 134569956 3221224368 3221214488 1131369773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37153 13086 16 0 210602 0
vsize: 842472
[startup+930.053 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 86202 70 0 0 25 0 11 0 780592722 862691328 37232 4294967295 134512640 134569956 3221224368 3221214600 1131423018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37232 13086 16 0 210602 0
vsize: 842472
[startup+940.053 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 87162 70 0 0 25 0 11 0 780592722 862691328 37307 4294967295 134512640 134569956 3221224368 3221214624 1131410299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37307 13086 16 0 210602 0
vsize: 842472
[startup+950.053 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 88122 70 0 0 25 0 11 0 780592722 862691328 37340 4294967295 134512640 134569956 3221224368 3221214564 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37340 13086 16 0 210602 0
vsize: 842472
[startup+960.054 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 89046 70 0 0 24 0 11 0 780592722 862691328 37503 4294967295 134512640 134569956 3221224368 3221214664 1131468670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37503 13086 16 0 210602 0
vsize: 842472
[startup+970.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 89975 71 0 0 25 0 11 0 780592722 862691328 37737 4294967295 134512640 134569956 3221224368 3221214496 1131369692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37737 13086 16 0 210602 0
vsize: 842472
[startup+980.056 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 90938 71 0 0 25 0 11 0 780592722 862691328 37976 4294967295 134512640 134569956 3221224368 3221214588 1131407697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 37976 13086 16 0 210602 0
vsize: 842472
[startup+990.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 91911 72 0 0 25 0 11 0 780592722 862691328 38227 4294967295 134512640 134569956 3221224368 3221214568 1131216048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38227 13086 16 0 210602 0
vsize: 842472
[startup+1000.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 92890 73 0 0 25 0 11 0 780592722 862691328 38308 4294967295 134512640 134569956 3221224368 3221214560 1131402143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38308 13086 16 0 210602 0
vsize: 842472
[startup+1010.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 93862 73 0 0 25 0 11 0 780592722 862691328 38320 4294967295 134512640 134569956 3221224368 3221214560 1131392061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38320 13086 16 0 210602 0
vsize: 842472
[startup+1020.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 94826 74 0 0 25 0 11 0 780592722 862691328 38366 4294967295 134512640 134569956 3221224368 3221214472 1131229306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38366 13086 16 0 210602 0
vsize: 842472
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 95789 74 0 0 25 0 11 0 780592722 862691328 38417 4294967295 134512640 134569956 3221224368 3221214488 1131369811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38417 13086 16 0 210602 0
vsize: 842472
[startup+1040.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 96751 75 0 0 25 0 11 0 780592722 862691328 38522 4294967295 134512640 134569956 3221224368 3221214496 1131369561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38522 13086 16 0 210602 0
vsize: 842472
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 97714 75 0 0 25 0 11 0 780592722 862691328 38668 4294967295 134512640 134569956 3221224368 3221214376 1131548198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38668 13086 16 0 210602 0
vsize: 842472
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 98677 75 0 0 25 0 11 0 780592722 862691328 38785 4294967295 134512640 134569956 3221224368 3221214488 1131369450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38785 13086 16 0 210602 0
vsize: 842472
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 628
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18083 0 1 0 99639 76 0 0 25 0 11 0 780592722 862691328 38853 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38853 13086 16 0 210602 0
vsize: 842472
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 100598 76 0 0 25 0 11 0 780592722 862691328 38933 4294967295 134512640 134569956 3221224368 3221214560 1131391974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 38933 13086 16 0 210602 0
vsize: 842472
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 101550 76 0 0 25 0 11 0 780592722 862691328 39044 4294967295 134512640 134569956 3221224368 3221214664 1131464925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39044 13086 16 0 210602 0
vsize: 842472
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 102501 77 0 0 25 0 11 0 780592722 862691328 39177 4294967295 134512640 134569956 3221224368 3221214664 1131463953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39177 13086 16 0 210602 0
vsize: 842472
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18083 0 1 0 103438 77 0 0 25 0 11 0 780592722 862691328 39384 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39384 13086 16 0 210602 0
vsize: 842472
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 104393 77 0 0 25 0 11 0 780592722 862691328 39595 4294967295 134512640 134569956 3221224368 3221214560 1131391892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39595 13086 16 0 210602 0
vsize: 842472
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 105370 78 0 0 25 0 11 0 780592722 862691328 39836 4294967295 134512640 134569956 3221224368 3221214560 1131392103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39836 13086 16 0 210602 0
vsize: 842472
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 106360 78 0 0 25 0 11 0 780592722 862691328 39846 4294967295 134512640 134569956 3221224368 3221214592 1131435684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39846 13086 16 0 210602 0
vsize: 842472
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 107349 78 0 0 25 0 11 0 780592722 862691328 39857 4294967295 134512640 134569956 3221224368 3221214560 1131392111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39857 13086 16 0 210602 0
vsize: 842472
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 108337 79 0 0 25 0 11 0 780592722 862691328 39867 4294967295 134512640 134569956 3221224368 3221214472 1131229330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39867 13086 16 0 210602 0
vsize: 842472
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 109319 79 0 0 25 0 11 0 780592722 862691328 39880 4294967295 134512640 134569956 3221224368 3221214664 1131468608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39880 13086 16 0 210602 0
vsize: 842472
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 110301 79 0 0 25 0 11 0 780592722 862691328 39924 4294967295 134512640 134569956 3221224368 3221214504 1131425925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39924 13086 16 0 210602 0
vsize: 842472
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 111275 79 0 0 25 0 11 0 780592722 862691328 39942 4294967295 134512640 134569956 3221224368 3221214560 1131391881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39942 13086 16 0 210602 0
vsize: 842472
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 112241 80 0 0 25 0 11 0 780592722 862691328 39971 4294967295 134512640 134569956 3221224368 3221214560 1131392353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 39971 13086 16 0 210602 0
vsize: 842472
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 113206 80 0 0 25 0 11 0 780592722 862691328 40017 4294967295 134512640 134569956 3221224368 3221214560 1131391796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40017 13086 16 0 210602 0
vsize: 842472
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 114166 80 0 0 25 0 11 0 780592722 862691328 40129 4294967295 134512640 134569956 3221224368 3221214488 1131369450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40129 13086 16 0 210602 0
vsize: 842472
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 115127 81 0 0 25 0 11 0 780592722 862691328 40240 4294967295 134512640 134569956 3221224368 3221214664 1131463923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40240 13086 16 0 210602 0
vsize: 842472
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 116088 81 0 0 25 0 11 0 780592722 862691328 40359 4294967295 134512640 134569956 3221224368 3221214488 1131369600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40359 13086 16 0 210602 0
vsize: 842472
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 117056 81 0 0 25 0 11 0 780592722 862691328 40462 4294967295 134512640 134569956 3221224368 3221214592 1131436044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40462 13086 16 0 210602 0
vsize: 842472
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 118017 82 0 0 25 0 11 0 780592722 862691328 40548 4294967295 134512640 134569956 3221224368 3221214592 1131435698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40548 13086 16 0 210602 0
vsize: 842472
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) R 617 20224 20223 0 -1 0 18083 0 1 0 118979 82 0 0 25 0 11 0 780592722 862691328 40634 4294967295 134512640 134569956 3221224368 3221214592 1131436044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40634 13086 16 0 210602 0
vsize: 842472
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 628
Raw data (stat): 618 (java) S 617 20224 20223 0 -1 0 18083 0 1 0 119940 83 0 0 25 0 11 0 780592722 862691328 40728 4294967295 134512640 134569956 3221224368 3221213128 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210618 40728 13086 16 0 210602 0
vsize: 842472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 630
Raw data (stat): 618 (java) Z 617 20224 20223 0 -1 1036 18083 27622 1 0 119943 90 9131 80 25 0 1 0 780592722 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): 1280.2
CPU time (s): 1292.46
CPU user time (s): 1290.75
CPU system time (s): 1.71174
CPU usage (%): 100.958
Max. virtual memory (Kb): 842472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####