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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
MD5SUM	786f5a2dc2f55d8aea2bd35c440c54ff
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	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	226795425792
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	973128929893
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	142.928
Number of variables	135360
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	496
Trace number 29621

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 09:40:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21022 boxname=wulflinc20 idbench=1010 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  786f5a2dc2f55d8aea2bd35c440c54ff  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-van.opb
IDLAUNCH: 21022
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        100776 kB
Buffers:         36492 kB
Cached:         866580 kB
SwapCached:        716 kB
Active:         169160 kB
Inactive:       740784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        100524 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            18256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:02:18 (client local time) WITH STATUS 143 IN 1313.35 SECONDS
stats: 21022 7 1313.35 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/wulflinc20/normalized-mps-v2-20-10-van.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.231
#### 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.99 0.99 0.99 2/54 3097
Raw data (stat): 3097 (runsolver) R 3096 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837871984 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): 0.99 0.99 0.99 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 866 42 0 0 25 0 10 0 837871984 853762048 19379 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208438 19379 13086 16 0 208422 0
vsize: 833752
[startup+20.0008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 1759 42 0 0 25 0 10 0 837871984 853565440 19859 4294967295 134512640 134569956 3221224368 3221214676 1130918722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 19859 13086 16 0 208374 0
vsize: 833560
[startup+30.0002 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 2646 42 0 0 25 0 10 0 837871984 853565440 20390 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 20390 13086 16 0 208374 0
vsize: 833560
[startup+40.0036 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 3562 42 0 0 25 0 10 0 837871984 854228992 20805 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 20805 13086 16 0 208536 0
vsize: 834208
[startup+50.0041 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 4491 43 0 0 25 0 10 0 837871984 854228992 20972 4294967295 134512640 134569956 3221224368 3221213700 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 20972 13086 16 0 208536 0
vsize: 834208
[startup+60.0034 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 5423 43 0 0 25 0 10 0 837871984 854228992 21104 4294967295 134512640 134569956 3221224368 3221214732 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 21104 13086 16 0 208536 0
vsize: 834208
[startup+70.0037 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 6348 43 0 0 25 0 10 0 837871984 853565440 21096 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21096 13086 16 0 208374 0
vsize: 833560
[startup+80.0044 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 7283 43 0 0 25 0 10 0 837871984 853565440 21287 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21287 13086 16 0 208374 0
vsize: 833560
[startup+90.0046 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 8219 43 0 0 25 0 10 0 837871984 853565440 21393 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21393 13086 16 0 208374 0
vsize: 833560
[startup+100.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 9161 43 0 0 25 0 10 0 837871984 853565440 21486 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21486 13086 16 0 208374 0
vsize: 833560
[startup+110.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 10100 43 0 0 25 0 10 0 837871984 853565440 21577 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21577 13086 16 0 208374 0
vsize: 833560
[startup+120.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 11044 44 0 0 25 0 10 0 837871984 853565440 21662 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21662 13086 16 0 208374 0
vsize: 833560
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 11985 44 0 0 25 0 10 0 837871984 853565440 21743 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21743 13086 16 0 208374 0
vsize: 833560
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 12927 44 0 0 24 0 10 0 837871984 853565440 21820 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21820 13086 16 0 208374 0
vsize: 833560
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 13872 44 0 0 25 0 10 0 837871984 853565440 21889 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21889 13086 16 0 208374 0
vsize: 833560
[startup+160.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 14814 44 0 0 25 0 10 0 837871984 853565440 21960 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 21960 13086 16 0 208374 0
vsize: 833560
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 15760 44 0 0 25 0 10 0 837871984 853565440 22024 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22024 13086 16 0 208374 0
vsize: 833560
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 16702 44 0 0 25 0 10 0 837871984 853565440 22089 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22089 13086 16 0 208374 0
vsize: 833560
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 17630 44 0 0 25 0 10 0 837871984 853565440 22154 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22154 13086 16 0 208374 0
vsize: 833560
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 18558 44 0 0 25 0 10 0 837871984 853565440 22211 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22211 13086 16 0 208374 0
vsize: 833560
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 19491 44 0 0 24 0 10 0 837871984 853565440 22431 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22431 13086 16 0 208374 0
vsize: 833560
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 20434 44 0 0 25 0 10 0 837871984 853565440 22485 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22485 13086 16 0 208374 0
vsize: 833560
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 21374 44 0 0 25 0 10 0 837871984 853565440 22542 4294967295 134512640 134569956 3221224368 3221214740 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22542 13086 16 0 208374 0
vsize: 833560
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 22313 44 0 0 25 0 10 0 837871984 853565440 22597 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22597 13086 16 0 208374 0
vsize: 833560
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 23255 44 0 0 25 0 10 0 837871984 853565440 22648 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22648 13086 16 0 208374 0
vsize: 833560
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 24194 45 0 0 25 0 10 0 837871984 853565440 22701 4294967295 134512640 134569956 3221224368 3221214732 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22701 13086 16 0 208374 0
vsize: 833560
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 25131 45 0 0 25 0 10 0 837871984 853565440 22752 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22752 13086 16 0 208374 0
vsize: 833560
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 26073 45 0 0 25 0 10 0 837871984 853565440 22799 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22799 13086 16 0 208374 0
vsize: 833560
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 27011 45 0 0 25 0 10 0 837871984 853565440 22849 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22849 13086 16 0 208374 0
vsize: 833560
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 27948 45 0 0 25 0 10 0 837871984 853565440 22897 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22897 13086 16 0 208374 0
vsize: 833560
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 28888 45 0 0 25 0 10 0 837871984 853565440 22942 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22942 13086 16 0 208374 0
vsize: 833560
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 29825 45 0 0 25 0 10 0 837871984 853565440 22989 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 22989 13086 16 0 208374 0
vsize: 833560
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 30761 45 0 0 24 0 10 0 837871984 853565440 23034 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23034 13086 16 0 208374 0
vsize: 833560
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 31700 45 0 0 25 0 10 0 837871984 853565440 23076 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23076 13086 16 0 208374 0
vsize: 833560
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 32635 45 0 0 25 0 10 0 837871984 853565440 23121 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23121 13086 16 0 208374 0
vsize: 833560
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 33568 45 0 0 24 0 10 0 837871984 853565440 23166 4294967295 134512640 134569956 3221224368 3221214740 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23166 13086 16 0 208374 0
vsize: 833560
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 34507 45 0 0 25 0 10 0 837871984 853565440 23212 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23212 13086 16 0 208374 0
vsize: 833560
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 35441 45 0 0 25 0 10 0 837871984 853565440 23254 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23254 13086 16 0 208374 0
vsize: 833560
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 36379 45 0 0 25 0 10 0 837871984 853565440 23293 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23293 13086 16 0 208374 0
vsize: 833560
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 37312 46 0 0 25 0 10 0 837871984 853565440 23335 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23335 13086 16 0 208374 0
vsize: 833560
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 38244 46 0 0 24 0 10 0 837871984 853565440 23375 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23375 13086 16 0 208374 0
vsize: 833560
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 39182 46 0 0 25 0 10 0 837871984 853565440 23413 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23413 13086 16 0 208374 0
vsize: 833560
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 40113 46 0 0 25 0 10 0 837871984 853565440 23452 4294967295 134512640 134569956 3221224368 3221214704 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23452 13086 16 0 208374 0
vsize: 833560
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 41049 46 0 0 25 0 10 0 837871984 853565440 23489 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23489 13086 16 0 208374 0
vsize: 833560
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 41980 46 0 0 25 0 10 0 837871984 853565440 23528 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23528 13086 16 0 208374 0
vsize: 833560
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 42911 46 0 0 25 0 10 0 837871984 853565440 23566 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23566 13086 16 0 208374 0
vsize: 833560
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 43847 46 0 0 25 0 10 0 837871984 853565440 23601 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23601 13086 16 0 208374 0
vsize: 833560
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 44777 46 0 0 25 0 10 0 837871984 853565440 23639 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23639 13086 16 0 208374 0
vsize: 833560
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 45711 46 0 0 25 0 10 0 837871984 853565440 23674 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23674 13086 16 0 208374 0
vsize: 833560
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 46641 46 0 0 25 0 10 0 837871984 853565440 23711 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23711 13086 16 0 208374 0
vsize: 833560
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 47574 46 0 0 25 0 10 0 837871984 853565440 23745 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23745 13086 16 0 208374 0
vsize: 833560
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 48504 47 0 0 25 0 10 0 837871984 853565440 23780 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23780 13086 16 0 208374 0
vsize: 833560
[startup+530.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 49442 47 0 0 25 0 10 0 837871984 853565440 23816 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23816 13086 16 0 208374 0
vsize: 833560
[startup+540.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 50375 48 0 0 25 0 10 0 837871984 853565440 23848 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23848 13086 16 0 208374 0
vsize: 833560
[startup+550.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 51303 48 0 0 25 0 10 0 837871984 853565440 23882 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 23882 13086 16 0 208374 0
vsize: 833560
[startup+560.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 52235 48 0 0 25 0 10 0 837871984 853565440 23915 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 23915 13086 16 0 208374 0
vsize: 833560
[startup+570.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 53162 48 0 0 24 0 10 0 837871984 853565440 23949 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 23949 13086 16 0 208374 0
vsize: 833560
[startup+580.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 54094 49 0 0 25 0 10 0 837871984 853565440 23981 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 23981 13086 16 0 208374 0
vsize: 833560
[startup+590.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 55020 49 0 0 24 0 10 0 837871984 853565440 24014 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24014 13086 16 0 208374 0
vsize: 833560
[startup+600.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 55951 50 0 0 25 0 10 0 837871984 853565440 24045 4294967295 134512640 134569956 3221224368 3221214532 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24045 13086 16 0 208374 0
vsize: 833560
[startup+610.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 56882 50 0 0 25 0 10 0 837871984 853565440 24076 4294967295 134512640 134569956 3221224368 3221214532 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24076 13086 16 0 208374 0
vsize: 833560
[startup+620.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 57808 50 0 0 25 0 10 0 837871984 853565440 24109 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24109 13086 16 0 208374 0
vsize: 833560
[startup+630.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 58738 51 0 0 25 0 10 0 837871984 853565440 24139 4294967295 134512640 134569956 3221224368 3221214208 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24139 13086 16 0 208374 0
vsize: 833560
[startup+640.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 59664 51 0 0 25 0 10 0 837871984 853565440 24172 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24172 13086 16 0 208374 0
vsize: 833560
[startup+650.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 60593 52 0 0 25 0 10 0 837871984 853565440 24202 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24202 13086 16 0 208374 0
vsize: 833560
[startup+660.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 61517 52 0 0 24 0 10 0 837871984 853565440 24233 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24233 13086 16 0 208374 0
vsize: 833560
[startup+670.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 62447 52 0 0 25 0 10 0 837871984 853565440 24263 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24263 13086 16 0 208374 0
vsize: 833560
[startup+680.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 63375 52 0 0 25 0 10 0 837871984 853565440 24292 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24292 13086 16 0 208374 0
vsize: 833560
[startup+690.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 64299 53 0 0 25 0 10 0 837871984 853565440 24322 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24322 13086 16 0 208374 0
vsize: 833560
[startup+700.167 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 65226 53 0 0 25 0 10 0 837871984 853565440 24351 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24351 13086 16 0 208374 0
vsize: 833560
[startup+710.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 66149 54 0 0 25 0 10 0 837871984 853565440 24883 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24883 13086 16 0 208374 0
vsize: 833560
[startup+720.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 67073 54 0 0 25 0 10 0 837871984 853565440 24883 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24883 13086 16 0 208374 0
vsize: 833560
[startup+730.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 67992 55 0 0 25 0 10 0 837871984 853565440 24898 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24898 13086 16 0 208374 0
vsize: 833560
[startup+740.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 68910 56 0 0 25 0 10 0 837871984 853565440 24925 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24925 13086 16 0 208374 0
vsize: 833560
[startup+750.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 69828 56 0 0 25 0 10 0 837871984 853565440 24953 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24953 13086 16 0 208374 0
vsize: 833560
[startup+760.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 70742 56 0 0 25 0 10 0 837871984 853565440 24982 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 24982 13086 16 0 208374 0
vsize: 833560
[startup+770.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 71660 56 0 0 25 0 10 0 837871984 853565440 25010 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25010 13086 16 0 208374 0
vsize: 833560
[startup+780.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 72577 56 0 0 25 0 10 0 837871984 853565440 25037 4294967295 134512640 134569956 3221224368 3221214208 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25037 13086 16 0 208374 0
vsize: 833560
[startup+790.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 73494 57 0 0 25 0 10 0 837871984 853565440 25064 4294967295 134512640 134569956 3221224368 3221214208 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25064 13086 16 0 208374 0
vsize: 833560
[startup+800.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 74408 57 0 0 25 0 10 0 837871984 853565440 25090 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25090 13086 16 0 208374 0
vsize: 833560
[startup+810.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 75322 58 0 0 24 0 10 0 837871984 853565440 25119 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25119 13086 16 0 208374 0
vsize: 833560
[startup+820.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 76238 59 0 0 25 0 10 0 837871984 853565440 25145 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25145 13086 16 0 208374 0
vsize: 833560
[startup+830.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 77151 59 0 0 25 0 10 0 837871984 853565440 25171 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25171 13086 16 0 208374 0
vsize: 833560
[startup+840.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 78066 60 0 0 25 0 10 0 837871984 853565440 25197 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25197 13086 16 0 208374 0
vsize: 833560
[startup+850.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 78981 60 0 0 25 0 10 0 837871984 853565440 25223 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25223 13086 16 0 208374 0
vsize: 833560
[startup+860.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 79895 60 0 0 25 0 10 0 837871984 853565440 25249 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25249 13086 16 0 208374 0
vsize: 833560
[startup+870.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 80804 61 0 0 24 0 10 0 837871984 853565440 25276 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25276 13086 16 0 208374 0
vsize: 833560
[startup+880.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 81719 61 0 0 25 0 10 0 837871984 853565440 25302 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25302 13086 16 0 208374 0
vsize: 833560
[startup+890.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 82633 61 0 0 25 0 10 0 837871984 853565440 25327 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25327 13086 16 0 208374 0
vsize: 833560
[startup+900.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 83548 62 0 0 25 0 10 0 837871984 853565440 25353 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25353 13086 16 0 208374 0
vsize: 833560
[startup+910.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 84461 62 0 0 25 0 10 0 837871984 853565440 25378 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25378 13086 16 0 208374 0
vsize: 833560
[startup+920.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 85373 63 0 0 25 0 10 0 837871984 853565440 25403 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25403 13086 16 0 208374 0
vsize: 833560
[startup+930.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 86286 63 0 0 25 0 10 0 837871984 853565440 25428 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25428 13086 16 0 208374 0
vsize: 833560
[startup+940.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 87199 63 0 0 25 0 10 0 837871984 853565440 25452 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25452 13086 16 0 208374 0
vsize: 833560
[startup+950.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 88109 64 0 0 25 0 10 0 837871984 853565440 25477 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25477 13086 16 0 208374 0
vsize: 833560
[startup+960.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 89018 64 0 0 24 0 10 0 837871984 853565440 25503 4294967295 134512640 134569956 3221224368 3221214740 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25503 13086 16 0 208374 0
vsize: 833560
[startup+970.183 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 89931 65 0 0 24 0 10 0 837871984 853565440 25527 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 25527 13086 16 0 208374 0
vsize: 833560
[startup+980.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 90842 65 0 0 25 0 10 0 837871984 853565440 25551 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25551 13086 16 0 208374 0
vsize: 833560
[startup+990.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 91753 65 0 0 25 0 10 0 837871984 853565440 25575 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25575 13086 16 0 208374 0
vsize: 833560
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 92665 66 0 0 25 0 10 0 837871984 853565440 25599 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25599 13086 16 0 208374 0
vsize: 833560
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 93575 66 0 0 25 0 10 0 837871984 853565440 25623 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25623 13086 16 0 208374 0
vsize: 833560
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 94484 66 0 0 25 0 10 0 837871984 853565440 25646 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25646 13086 16 0 208374 0
vsize: 833560
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 95395 66 0 0 25 0 10 0 837871984 853565440 25670 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25670 13086 16 0 208374 0
vsize: 833560
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 96304 67 0 0 25 0 10 0 837871984 853565440 25693 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25693 13086 16 0 208374 0
vsize: 833560
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 97214 67 0 0 23 0 10 0 837871984 853565440 25716 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25716 13086 16 0 208374 0
vsize: 833560
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 98124 67 0 0 25 0 10 0 837871984 853565440 25740 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25740 13086 16 0 208374 0
vsize: 833560
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 99034 68 0 0 23 0 10 0 837871984 853565440 25762 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25762 13086 16 0 208374 0
vsize: 833560
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 99944 68 0 0 23 0 10 0 837871984 853565440 25786 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25786 13086 16 0 208374 0
vsize: 833560
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 100852 68 0 0 24 0 10 0 837871984 853565440 25808 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25808 13086 16 0 208374 0
vsize: 833560
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 101760 69 0 0 25 0 10 0 837871984 853565440 25831 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25831 13086 16 0 208374 0
vsize: 833560
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 102666 69 0 0 24 0 10 0 837871984 853565440 25855 4294967295 134512640 134569956 3221224368 3221213772 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25855 13086 16 0 208374 0
vsize: 833560
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 103575 70 0 0 24 0 10 0 837871984 853565440 25877 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25877 13086 16 0 208374 0
vsize: 833560
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 104477 70 0 0 24 0 10 0 837871984 853565440 25905 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25905 13086 16 0 208374 0
vsize: 833560
[startup+1140.19 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 105384 71 0 0 24 0 10 0 837871984 853565440 25930 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25930 13086 16 0 208374 0
vsize: 833560
[startup+1150.19 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 106292 71 0 0 24 0 10 0 837871984 853565440 25955 4294967295 134512640 134569956 3221224368 3221213700 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25955 13086 16 0 208374 0
vsize: 833560
[startup+1160.19 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 107197 72 0 0 24 0 10 0 837871984 853565440 25981 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 25981 13086 16 0 208374 0
vsize: 833560
[startup+1170.19 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 3106
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 108107 72 0 0 24 0 10 0 837871984 853565440 26007 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26007 13086 16 0 208374 0
vsize: 833560
[startup+1180.19 s]
Raw data (loadavg): 1.04 1.01 1.00 3/66 3141
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 109010 78 0 0 22 0 10 0 837871984 853565440 26031 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26031 13086 16 0 208374 0
vsize: 833560
[startup+1190.19 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 109917 78 0 0 23 0 10 0 837871984 853565440 26053 4294967295 134512640 134569956 3221224368 3221214208 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26053 13086 16 0 208374 0
vsize: 833560
[startup+1200.19 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 110823 78 0 0 23 0 10 0 837871984 853565440 26075 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26075 13086 16 0 208374 0
vsize: 833560
[startup+1210.19 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 111730 78 0 0 22 0 10 0 837871984 853565440 26105 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26105 13086 16 0 208374 0
vsize: 833560
[startup+1220.19 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 112635 78 0 0 23 0 10 0 837871984 853565440 26132 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26132 13086 16 0 208374 0
vsize: 833560
[startup+1230.19 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 113541 78 0 0 22 0 10 0 837871984 853565440 26155 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26155 13086 16 0 208374 0
vsize: 833560
[startup+1240.2 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 3159
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 114445 79 0 0 21 0 10 0 837871984 853565440 26176 4294967295 134512640 134569956 3221224368 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26176 13086 16 0 208374 0
vsize: 833560
[startup+1250.2 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 115348 79 0 0 20 0 10 0 837871984 853565440 26206 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 26206 13086 16 0 208374 0
vsize: 833560
[startup+1260.2 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 116252 79 0 0 21 0 10 0 837871984 853565440 26227 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26227 13086 16 0 208374 0
vsize: 833560
[startup+1270.2 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 117156 80 0 0 19 0 10 0 837871984 853565440 26249 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26249 13086 16 0 208374 0
vsize: 833560
[startup+1280.2 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) S 3096 25399 25398 0 -1 0 18025 0 1 0 118058 80 0 0 24 0 10 0 837871984 853565440 26269 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26270 13086 16 0 208374 0
vsize: 833560
[startup+1290.2 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 118968 80 0 0 24 0 10 0 837871984 853565440 26299 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26299 13086 16 0 208374 0
vsize: 833560
[startup+1300.2 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 119869 81 0 0 22 0 10 0 837871984 853565440 26320 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26320 13086 16 0 208374 0
vsize: 833560
[startup+1310.2 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 3161
Raw data (stat): 3097 (java) R 3096 25399 25398 0 -1 0 18025 0 1 0 120772 81 0 0 21 0 10 0 837871984 853565440 26352 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 26352 13086 16 0 208374 0
vsize: 833560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.26 s]
Raw data (loadavg): 1.01 1.02 1.00 1/54 3163
Raw data (stat): 3097 (java) Z 3096 25399 25398 0 -1 1036 18025 8935 1 0 120773 86 10430 44 22 0 1 0 837871984 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): 1310.26
CPU time (s): 1313.35
CPU user time (s): 1312.04
CPU system time (s): 1.3108
CPU usage (%): 100.235
Max. virtual memory (Kb): 834208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####