PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 06:14:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20696 boxname=wulflinc22 idbench=286 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb
IDLAUNCH: 20696
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        776256 kB
Buffers:         19444 kB
Cached:         215844 kB
SwapCached:        400 kB
Active:          46276 kB
Inactive:       191268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776004 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15048 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:37:04 (client local time) WITH STATUS 143 IN 1378.72 SECONDS
stats: 20696 7 1378.72 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/wulflinc22/normalized-cache.inv14.ucl.opb
c reading problem ... done. Time 1192.535 ms.
c #vars     62704
c #constraints  187107
c starts	: 3
c conflicts	: 331
c decisions	: 2047
c propagations	: 1826746
c inspects	: 5959488
c learned literals	: 9
c learned binary clauses	: 45
c learned ternary clauses	: 26
c learned clauses	: 321
c root simplifications	: 20
s UNKNOWN
c Total CPU time (ms) : 1379.243
#### 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.99 0.99 2/54 601
Raw data (stat): 601 (runsolver) R 600 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836632761 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 770 38 0 0 25 0 10 0 836632761 855400448 21223 4294967295 134512640 134569956 3221224368 3221214492 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208838 21223 13086 16 0 208822 0
vsize: 835352
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 1618 39 0 0 25 0 10 0 836632761 854642688 22207 4294967295 134512640 134569956 3221224368 3221214484 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22207 13086 16 0 208637 0
vsize: 834612
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 2476 39 0 0 25 0 10 0 836632761 854642688 22970 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22970 13086 16 0 208637 0
vsize: 834612
[startup+40.0053 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 3329 40 0 0 25 0 10 0 836632761 854642688 23574 4294967295 134512640 134569956 3221224368 3221213772 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23574 13086 16 0 208637 0
vsize: 834612
[startup+50.0049 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 4184 40 0 0 25 0 10 0 836632761 854642688 24126 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 24126 13086 16 0 208637 0
vsize: 834612
[startup+60.0061 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 5036 40 0 0 25 0 10 0 836632761 854642688 24616 4294967295 134512640 134569956 3221224368 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 24616 13086 16 0 208637 0
vsize: 834612
[startup+70.0069 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 5881 41 0 0 25 0 10 0 836632761 854642688 25167 4294967295 134512640 134569956 3221224368 3221214728 1131336840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 25167 13086 16 0 208637 0
vsize: 834612
[startup+80.0081 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 6740 42 0 0 25 0 10 0 836632761 854642688 25593 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 25593 13086 16 0 208637 0
vsize: 834612
[startup+90.0083 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 7595 42 0 0 25 0 10 0 836632761 854642688 25990 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 25990 13086 16 0 208637 0
vsize: 834612
[startup+100.008 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 8441 42 0 0 18 0 10 0 836632761 854642688 26381 4294967295 134512640 134569956 3221224368 3221214432 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 26381 13086 16 0 208637 0
vsize: 834612
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 9288 43 0 0 18 0 10 0 836632761 854642688 26854 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 26854 13086 16 0 208637 0
vsize: 834612
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 10137 43 0 0 20 0 10 0 836632761 854642688 27299 4294967295 134512640 134569956 3221224368 3221213716 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 27299 13086 16 0 208637 0
vsize: 834612
[startup+130.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 10984 43 0 0 17 0 10 0 836632761 854642688 27549 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 27549 13086 16 0 208637 0
vsize: 834612
[startup+140.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 11837 44 0 0 20 0 10 0 836632761 854642688 27863 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 27863 13086 16 0 208637 0
vsize: 834612
[startup+150.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 12681 44 0 0 15 0 10 0 836632761 854642688 28209 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 28209 13086 16 0 208637 0
vsize: 834612
[startup+160.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 13536 44 0 0 18 0 10 0 836632761 854642688 28520 4294967295 134512640 134569956 3221224368 3221214480 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 28520 13086 16 0 208637 0
vsize: 834612
[startup+170.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 14389 44 0 0 16 0 10 0 836632761 854642688 28811 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 28811 13086 16 0 208637 0
vsize: 834612
[startup+180.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 15248 45 0 0 16 0 10 0 836632761 854642688 29113 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 29113 13086 16 0 208637 0
vsize: 834612
[startup+190.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 16103 45 0 0 16 0 10 0 836632761 854642688 29412 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 29412 13086 16 0 208637 0
vsize: 834612
[startup+200.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 16968 46 0 0 16 0 10 0 836632761 854642688 29684 4294967295 134512640 134569956 3221224368 3221213716 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 29684 13086 16 0 208637 0
vsize: 834612
[startup+210.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 17824 46 0 0 16 0 10 0 836632761 854642688 30071 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 30071 13086 16 0 208637 0
vsize: 834612
[startup+220.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 18687 46 0 0 16 0 10 0 836632761 854642688 30320 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 30320 13086 16 0 208637 0
vsize: 834612
[startup+230.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 19552 46 0 0 16 0 10 0 836632761 854642688 30654 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 30654 13086 16 0 208637 0
vsize: 834612
[startup+240.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 20415 47 0 0 15 0 10 0 836632761 854642688 30913 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 30913 13086 16 0 208637 0
vsize: 834612
[startup+250.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 21289 47 0 0 16 0 10 0 836632761 854642688 31144 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 31144 13086 16 0 208637 0
vsize: 834612
[startup+260.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 22157 48 0 0 16 0 10 0 836632761 854642688 31385 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 31385 13086 16 0 208637 0
vsize: 834612
[startup+270.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 23023 48 0 0 16 0 10 0 836632761 854642688 31622 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 31622 13086 16 0 208637 0
vsize: 834612
[startup+280.042 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 23892 49 0 0 16 0 10 0 836632761 854642688 31854 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 31854 13086 16 0 208637 0
vsize: 834612
[startup+290.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 24763 49 0 0 16 0 10 0 836632761 854642688 32080 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 32080 13086 16 0 208637 0
vsize: 834612
[startup+300.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 25635 49 0 0 16 0 10 0 836632761 854642688 32302 4294967295 134512640 134569956 3221224368 3221214724 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 32302 13086 16 0 208637 0
vsize: 834612
[startup+310.044 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 26507 50 0 0 16 0 10 0 836632761 854642688 32522 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 32522 13086 16 0 208637 0
vsize: 834612
[startup+320.044 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 27380 51 0 0 16 0 10 0 836632761 854642688 32734 4294967295 134512640 134569956 3221224368 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 32734 13086 16 0 208637 0
vsize: 834612
[startup+330.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 28253 51 0 0 16 0 10 0 836632761 854642688 32944 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 32944 13086 16 0 208637 0
vsize: 834612
[startup+340.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 29126 52 0 0 16 0 10 0 836632761 854642688 33154 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 33154 13086 16 0 208637 0
vsize: 834612
[startup+350.044 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 30000 52 0 0 16 0 10 0 836632761 854642688 33360 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 33360 13086 16 0 208637 0
vsize: 834612
[startup+360.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 30864 52 0 0 16 0 10 0 836632761 854642688 33660 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 33660 13086 16 0 208637 0
vsize: 834612
[startup+370.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 31738 53 0 0 16 0 10 0 836632761 854642688 33981 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 33981 13086 16 0 208637 0
vsize: 834612
[startup+380.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 32617 53 0 0 16 0 10 0 836632761 854642688 34133 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 34133 13086 16 0 208637 0
vsize: 834612
[startup+390.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 33495 54 0 0 16 0 10 0 836632761 854642688 34325 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 34325 13086 16 0 208637 0
vsize: 834612
[startup+400.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 34373 54 0 0 16 0 10 0 836632761 854642688 34515 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 34515 13086 16 0 208637 0
vsize: 834612
[startup+410.055 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 35251 54 0 0 16 0 10 0 836632761 854642688 34699 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 34699 13086 16 0 208637 0
vsize: 834612
[startup+420.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 36130 55 0 0 16 0 10 0 836632761 854642688 34883 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 34883 13086 16 0 208637 0
vsize: 834612
[startup+430.056 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 37010 55 0 0 16 0 10 0 836632761 854642688 35064 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 35064 13086 16 0 208637 0
vsize: 834612
[startup+440.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 37890 56 0 0 16 0 10 0 836632761 854642688 35241 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 35241 13086 16 0 208637 0
vsize: 834612
[startup+450.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 38768 57 0 0 16 0 10 0 836632761 854642688 35419 4294967295 134512640 134569956 3221224368 3221213716 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 35419 13086 16 0 208637 0
vsize: 834612
[startup+460.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 39643 57 0 0 16 0 10 0 836632761 854642688 35595 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 35595 13086 16 0 208637 0
vsize: 834612
[startup+470.065 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 40521 58 0 0 16 0 10 0 836632761 854642688 35774 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 35774 13086 16 0 208637 0
vsize: 834612
[startup+480.068 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 41402 58 0 0 16 0 10 0 836632761 854642688 35942 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 35942 13086 16 0 208637 0
vsize: 834612
[startup+490.07 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 42282 58 0 0 16 0 10 0 836632761 854642688 36110 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 36110 13086 16 0 208637 0
vsize: 834612
[startup+500.073 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 43163 58 0 0 16 0 10 0 836632761 854642688 36277 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 36277 13086 16 0 208637 0
vsize: 834612
[startup+510.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 44044 59 0 0 16 0 10 0 836632761 854642688 36440 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 36440 13086 16 0 208637 0
vsize: 834612
[startup+520.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 44925 59 0 0 16 0 10 0 836632761 854642688 36606 4294967295 134512640 134569956 3221224368 3221214476 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 36606 13086 16 0 208637 0
vsize: 834612
[startup+530.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 45807 59 0 0 16 0 10 0 836632761 854642688 36767 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 36767 13086 16 0 208637 0
vsize: 834612
[startup+540.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 46688 60 0 0 16 0 10 0 836632761 854642688 36926 4294967295 134512640 134569956 3221224368 3221214480 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 36926 13086 16 0 208637 0
vsize: 834612
[startup+550.076 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 47562 61 0 0 15 0 10 0 836632761 854642688 37094 4294967295 134512640 134569956 3221224368 3221214384 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 37094 13086 16 0 208637 0
vsize: 834612
[startup+560.079 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 48444 61 0 0 16 0 10 0 836632761 854642688 37249 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 37249 13086 16 0 208637 0
vsize: 834612
[startup+570.079 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 49325 61 0 0 16 0 10 0 836632761 854642688 37403 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 37403 13086 16 0 208637 0
vsize: 834612
[startup+580.082 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 50205 61 0 0 16 0 10 0 836632761 854642688 37554 4294967295 134512640 134569956 3221224368 3221214672 1131310051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 37554 13086 16 0 208637 0
vsize: 834612
[startup+590.083 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 51087 61 0 0 16 0 10 0 836632761 854642688 37707 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 37707 13086 16 0 208637 0
vsize: 834612
[startup+600.083 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 51970 62 0 0 16 0 10 0 836632761 854642688 37857 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 37857 13086 16 0 208637 0
vsize: 834612
[startup+610.084 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 52853 62 0 0 16 0 10 0 836632761 854642688 38005 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 38005 13086 16 0 208637 0
vsize: 834612
[startup+620.084 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 53735 62 0 0 16 0 10 0 836632761 854642688 38152 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 38152 13086 16 0 208637 0
vsize: 834612
[startup+630.085 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 54619 63 0 0 16 0 10 0 836632761 854642688 38297 4294967295 134512640 134569956 3221224368 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 38297 13086 16 0 208637 0
vsize: 834612
[startup+640.089 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 55501 63 0 0 16 0 10 0 836632761 854642688 38443 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 38443 13086 16 0 208637 0
vsize: 834612
[startup+650.092 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 56384 63 0 0 16 0 10 0 836632761 854642688 38586 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 38586 13086 16 0 208637 0
vsize: 834612
[startup+660.098 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 57266 63 0 0 16 0 10 0 836632761 854642688 38731 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 38731 13086 16 0 208637 0
vsize: 834612
[startup+670.098 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 58149 63 0 0 16 0 10 0 836632761 854642688 38871 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 38871 13086 16 0 208637 0
vsize: 834612
[startup+680.099 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 59031 63 0 0 16 0 10 0 836632761 854642688 39011 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39011 13086 16 0 208637 0
vsize: 834612
[startup+690.101 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 59910 64 0 0 16 0 10 0 836632761 854642688 39152 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39152 13086 16 0 208637 0
vsize: 834612
[startup+700.101 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 60785 64 0 0 15 0 10 0 836632761 854642688 39296 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39296 13086 16 0 208637 0
vsize: 834612
[startup+710.105 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 61668 64 0 0 16 0 10 0 836632761 854642688 39436 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 39436 13086 16 0 208637 0
vsize: 834612
[startup+720.108 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 62551 64 0 0 16 0 10 0 836632761 854642688 39571 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39571 13086 16 0 208637 0
vsize: 834612
[startup+730.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 63433 65 0 0 16 0 10 0 836632761 854642688 39705 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39705 13086 16 0 208637 0
vsize: 834612
[startup+740.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 64315 65 0 0 16 0 10 0 836632761 854642688 39839 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 39839 13086 16 0 208637 0
vsize: 834612
[startup+750.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 65211 65 0 0 16 0 10 0 836632761 854642688 40674 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 40674 13086 16 0 208637 0
vsize: 834612
[startup+760.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 66105 65 0 0 16 0 10 0 836632761 854642688 40674 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 40674 13086 16 0 208637 0
vsize: 834612
[startup+770.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 66981 65 0 0 16 0 10 0 836632761 854642688 40753 4294967295 134512640 134569956 3221224368 3221214528 1131281666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 40753 13086 16 0 208637 0
vsize: 834612
[startup+780.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 67855 65 0 0 16 0 10 0 836632761 854642688 40875 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 40875 13086 16 0 208637 0
vsize: 834612
[startup+790.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 68729 65 0 0 16 0 10 0 836632761 854642688 41003 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41003 13086 16 0 208637 0
vsize: 834612
[startup+800.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 69604 66 0 0 16 0 10 0 836632761 854642688 41132 4294967295 134512640 134569956 3221224368 3221214192 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41132 13086 16 0 208637 0
vsize: 834612
[startup+810.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 70479 66 0 0 16 0 10 0 836632761 854642688 41260 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41260 13086 16 0 208637 0
vsize: 834612
[startup+820.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 71355 67 0 0 16 0 10 0 836632761 854642688 41388 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41388 13086 16 0 208637 0
vsize: 834612
[startup+830.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 72230 67 0 0 16 0 10 0 836632761 854642688 41514 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 41514 13086 16 0 208637 0
vsize: 834612
[startup+840.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 73102 67 0 0 16 0 10 0 836632761 854642688 41655 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 41655 13086 16 0 208637 0
vsize: 834612
[startup+850.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 73977 68 0 0 16 0 10 0 836632761 854642688 41759 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41759 13086 16 0 208637 0
vsize: 834612
[startup+860.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 74853 68 0 0 16 0 10 0 836632761 854642688 41883 4294967295 134512640 134569956 3221224368 3221214192 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 41883 13086 16 0 208637 0
vsize: 834612
[startup+870.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 75729 68 0 0 16 0 10 0 836632761 854642688 42040 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 42040 13086 16 0 208637 0
vsize: 834612
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 76606 69 0 0 16 0 10 0 836632761 854642688 42145 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 42145 13086 16 0 208637 0
vsize: 834612
[startup+890.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 77484 69 0 0 16 0 10 0 836632761 854642688 42266 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 42266 13086 16 0 208637 0
vsize: 834612
[startup+900.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 78361 69 0 0 16 0 10 0 836632761 854642688 42371 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 42371 13086 16 0 208637 0
vsize: 834612
[startup+910.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 79238 69 0 0 16 0 10 0 836632761 854642688 42523 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 42523 13086 16 0 208637 0
vsize: 834612
[startup+920.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 80115 69 0 0 16 0 10 0 836632761 854642688 42610 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 42610 13086 16 0 208637 0
vsize: 834612
[startup+930.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 80993 69 0 0 16 0 10 0 836632761 854642688 42728 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 42728 13086 16 0 208637 0
vsize: 834612
[startup+940.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 81870 69 0 0 16 0 10 0 836632761 854642688 42893 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 42893 13086 16 0 208637 0
vsize: 834612
[startup+950.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 82748 70 0 0 16 0 10 0 836632761 854642688 42964 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 42964 13086 16 0 208637 0
vsize: 834612
[startup+960.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 83623 70 0 0 15 0 10 0 836632761 854642688 43081 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 43081 13086 16 0 208637 0
vsize: 834612
[startup+970.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 84501 71 0 0 15 0 10 0 836632761 854642688 43228 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 43228 13086 16 0 208637 0
vsize: 834612
[startup+980.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 85384 71 0 0 16 0 10 0 836632761 854642688 43351 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 43351 13086 16 0 208637 0
vsize: 834612
[startup+990.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 86267 71 0 0 16 0 10 0 836632761 854642688 43483 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 43483 13086 16 0 208637 0
vsize: 834612
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 87148 71 0 0 16 0 10 0 836632761 854642688 43561 4294967295 134512640 134569956 3221224368 3221214192 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 43561 13086 16 0 208637 0
vsize: 834612
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 88026 71 0 0 16 0 10 0 836632761 854642688 43716 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 43716 13086 16 0 208637 0
vsize: 834612
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 88908 72 0 0 17 0 10 0 836632761 854642688 43839 4294967295 134512640 134569956 3221224368 3221214192 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 43839 13086 16 0 208637 0
vsize: 834612
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 89787 72 0 0 16 0 10 0 836632761 854642688 43938 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 43938 13086 16 0 208637 0
vsize: 834612
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 90667 72 0 0 16 0 10 0 836632761 854642688 44056 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44056 13086 16 0 208637 0
vsize: 834612
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 91548 72 0 0 16 0 10 0 836632761 854642688 44136 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 44136 13086 16 0 208637 0
vsize: 834612
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 92426 72 0 0 16 0 10 0 836632761 854642688 44246 4294967295 134512640 134569956 3221224368 3221214504 1078025585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44246 13086 16 0 208637 0
vsize: 834612
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 93307 73 0 0 16 0 10 0 836632761 854642688 44413 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44413 13086 16 0 208637 0
vsize: 834612
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 94191 74 0 0 16 0 10 0 836632761 854642688 44472 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44472 13086 16 0 208637 0
vsize: 834612
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 95079 74 0 0 16 0 10 0 836632761 854642688 44638 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44638 13086 16 0 208637 0
vsize: 834612
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 95962 74 0 0 16 0 10 0 836632761 854642688 44697 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 44697 13086 16 0 208637 0
vsize: 834612
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 96841 75 0 0 16 0 10 0 836632761 854642688 44807 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 44807 13086 16 0 208637 0
vsize: 834612
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18019 0 1 0 97724 75 0 0 16 0 10 0 836632761 854642688 44953 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 44953 13086 16 0 208637 0
vsize: 834612
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 98607 75 0 0 16 0 10 0 836632761 854642688 45081 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45081 13086 16 0 208637 0
vsize: 834612
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 99495 75 0 0 16 0 10 0 836632761 854642688 45193 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45193 13086 16 0 208637 0
vsize: 834612
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 100384 76 0 0 16 0 10 0 836632761 854642688 45292 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45292 13086 16 0 208637 0
vsize: 834612
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 101274 76 0 0 16 0 10 0 836632761 854642688 45390 4294967295 134512640 134569956 3221224368 3221214476 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45390 13086 16 0 208637 0
vsize: 834612
[startup+1170.17 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 102164 76 0 0 16 0 10 0 836632761 854642688 45519 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 45519 13086 16 0 208637 0
vsize: 834612
[startup+1180.17 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 103050 77 0 0 16 0 10 0 836632761 854642688 45608 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45608 13086 16 0 208637 0
vsize: 834612
[startup+1190.17 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 610
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18019 0 1 0 103939 77 0 0 16 0 10 0 836632761 854642688 45680 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 45680 13086 16 0 208637 0
vsize: 834612
[startup+1200.18 s]
Raw data (loadavg): 1.27 1.06 1.02 3/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18086 0 1 0 104808 78 0 0 17 0 11 0 836632761 858697728 47521 4294967295 134512640 134569956 3221224368 3221214744 1131442020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209643 47521 13086 16 0 209627 0
vsize: 838572
[startup+1210.18 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18086 0 1 0 105617 78 0 0 16 0 11 0 836632761 856809472 49470 4294967295 134512640 134569956 3221224368 3221214744 1131383713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 49470 13086 16 0 209166 0
vsize: 836728
[startup+1220.18 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18087 0 1 0 106489 78 0 0 21 0 11 0 836632761 856809472 51270 4294967295 134512640 134569956 3221224368 3221214560 1131414428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 51270 13086 16 0 209166 0
vsize: 836728
[startup+1230.19 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 611
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18087 0 1 0 107363 78 0 0 18 0 11 0 836632761 856809472 51991 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 51992 13086 16 0 209166 0
vsize: 836728
[startup+1240.19 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18088 0 1 0 108221 78 0 0 16 0 11 0 836632761 856809472 52908 4294967295 134512640 134569956 3221224368 3221214664 1131480094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 52908 13086 16 0 209166 0
vsize: 836728
[startup+1250.19 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18088 0 1 0 109056 78 0 0 16 0 11 0 836632761 856809472 54535 4294967295 134512640 134569956 3221224368 3221214568 1131281890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 54535 13086 16 0 209166 0
vsize: 836728
[startup+1260.19 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18088 0 1 0 109977 78 0 0 17 0 11 0 836632761 856809472 55468 4294967295 134512640 134569956 3221224368 3221214768 1131207098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 55468 13086 16 0 209166 0
vsize: 836728
[startup+1270.19 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 110918 78 0 0 18 0 11 0 836632761 856809472 55469 4294967295 134512640 134569956 3221224368 3221214568 1131281577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 55469 13086 16 0 209166 0
vsize: 836728
[startup+1280.2 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 111724 78 0 0 16 0 11 0 836632761 856809472 57535 4294967295 134512640 134569956 3221224368 3221214616 1131470244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 57535 13086 16 0 209166 0
vsize: 836728
[startup+1290.2 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 611
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18089 0 1 0 112596 78 0 0 18 0 11 0 836632761 856809472 58026 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 58026 13086 16 0 209166 0
vsize: 836728
[startup+1300.2 s]
Raw data (loadavg): 1.13 1.06 1.01 2/64 611
Raw data (stat): 601 (java) S 600 23310 23309 0 -1 0 18089 0 1 0 113441 79 0 0 18 0 11 0 836632761 856809472 59050 4294967295 134512640 134569956 3221224368 3221213208 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 59050 13086 16 0 209166 0
vsize: 836728
[startup+1310.2 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 114302 79 0 0 18 0 11 0 836632761 856809472 59934 4294967295 134512640 134569956 3221224368 3221214824 1131530204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 59934 13086 16 0 209166 0
vsize: 836728
[startup+1320.2 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 115160 79 0 0 17 0 11 0 836632761 856809472 60818 4294967295 134512640 134569956 3221224368 3221214792 1131370392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 60818 13086 16 0 209166 0
vsize: 836728
[startup+1330.2 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 116125 79 0 0 25 0 11 0 836632761 856809472 60819 4294967295 134512640 134569956 3221224368 3221214728 1131175932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 60819 13086 16 0 209166 0
vsize: 836728
[startup+1340.2 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 117060 79 0 0 19 0 11 0 836632761 856809472 61006 4294967295 134512640 134569956 3221224368 3221214724 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 61006 13086 16 0 209166 0
vsize: 836728
[startup+1350.2 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 118027 79 0 0 21 0 11 0 836632761 856809472 61087 4294967295 134512640 134569956 3221224368 3221214768 1131207113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 61087 13086 16 0 209166 0
vsize: 836728
[startup+1360.2 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 118932 79 0 0 16 0 11 0 836632761 856809472 61408 4294967295 134512640 134569956 3221224368 3221214748 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 61408 13086 16 0 209166 0
vsize: 836728
[startup+1370.2 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 119899 79 0 0 25 0 11 0 836632761 856809472 61510 4294967295 134512640 134569956 3221224368 3221214728 1131175920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 61510 13086 16 0 209166 0
vsize: 836728
[startup+1380.2 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 611
Raw data (stat): 601 (java) R 600 23310 23309 0 -1 0 18089 0 1 0 120810 79 0 0 16 0 11 0 836632761 856809472 61786 4294967295 134512640 134569956 3221224368 3221214608 1131204021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 61786 13086 16 0 209166 0
vsize: 836728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1380.38 s]
Raw data (loadavg): 1.03 1.04 1.01 1/54 613
Raw data (stat): 601 (java) Z 600 23310 23309 0 -1 1036 18089 42655 1 0 120816 79 16862 113 16 0 1 0 836632761 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): 1380.38
CPU time (s): 1378.72
CPU user time (s): 1376.79
CPU system time (s): 1.92771
CPU usage (%): 99.88
Max. virtual memory (Kb): 838572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####