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-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 29589

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 09:17:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20991 boxname=wulflinc20 idbench=979 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 20991
/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:        288768 kB
Buffers:         36296 kB
Cached:         679300 kB
SwapCached:        716 kB
Active:          84560 kB
Inactive:       637840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        288516 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17928 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:39:44 (client local time) WITH STATUS 143 IN 1310.13 SECONDS
stats: 20991 7 1310.13 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-mod011.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.335
#### 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 1.00 1.00 2/54 2994
Raw data (stat): 2994 (runsolver) R 2993 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837736520 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.0005 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 869 37 0 0 25 0 10 0 837736520 853884928 19334 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19334 13086 16 0 208452 0
vsize: 833872
[startup+20.0007 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 1763 38 0 0 17 0 10 0 837736520 853884928 19871 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 19871 13086 16 0 208452 0
vsize: 833872
[startup+30.0003 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 2661 38 0 0 24 0 10 0 837736520 853884928 20349 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 20349 13086 16 0 208452 0
vsize: 833872
[startup+40.0018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 3576 39 0 0 25 0 10 0 837736520 854220800 20725 4294967295 134512640 134569956 3221224368 3221214136 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 20725 13086 16 0 208534 0
vsize: 834200
[startup+50.0019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 4497 39 0 0 25 0 10 0 837736520 854220800 20890 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 20890 13086 16 0 208534 0
vsize: 834200
[startup+60.0016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 5413 39 0 0 25 0 10 0 837736520 854220800 21023 4294967295 134512640 134569956 3221224368 3221214768 1131239477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21023 13086 16 0 208534 0
vsize: 834200
[startup+70.0023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 6346 39 0 0 25 0 10 0 837736520 854220800 21263 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21263 13086 16 0 208534 0
vsize: 834200
[startup+80.0052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 7284 39 0 0 25 0 10 0 837736520 854220800 21367 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21367 13086 16 0 208534 0
vsize: 834200
[startup+90.0058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 8227 40 0 0 25 0 10 0 837736520 854220800 21458 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21458 13086 16 0 208534 0
vsize: 834200
[startup+100.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 9168 40 0 0 25 0 10 0 837736520 854220800 21546 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21546 13086 16 0 208534 0
vsize: 834200
[startup+110.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 10109 40 0 0 25 0 10 0 837736520 854220800 21630 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21630 13086 16 0 208534 0
vsize: 834200
[startup+120.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 11055 40 0 0 25 0 10 0 837736520 854220800 21705 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21705 13086 16 0 208534 0
vsize: 834200
[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 11999 40 0 0 25 0 10 0 837736520 854220800 21778 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21778 13086 16 0 208534 0
vsize: 834200
[startup+140.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 12941 40 0 0 25 0 10 0 837736520 854220800 21849 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21849 13086 16 0 208534 0
vsize: 834200
[startup+150.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 13883 40 0 0 24 0 10 0 837736520 854220800 21916 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21916 13086 16 0 208534 0
vsize: 834200
[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 14828 40 0 0 25 0 10 0 837736520 854220800 21977 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 21977 13086 16 0 208534 0
vsize: 834200
[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 15766 40 0 0 25 0 10 0 837736520 854220800 22040 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22040 13086 16 0 208534 0
vsize: 834200
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 16683 40 0 0 25 0 10 0 837736520 854220800 22097 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22097 13086 16 0 208534 0
vsize: 834200
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 17601 41 0 0 25 0 10 0 837736520 854220800 22412 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 22412 13086 16 0 208534 0
vsize: 834200
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 18538 41 0 0 25 0 10 0 837736520 854220800 22469 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 22469 13086 16 0 208534 0
vsize: 834200
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 19478 42 0 0 25 0 10 0 837736520 854220800 22521 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 22521 13086 16 0 208534 0
vsize: 834200
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 20416 42 0 0 25 0 10 0 837736520 854220800 22574 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 22574 13086 16 0 208534 0
vsize: 834200
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 21353 42 0 0 25 0 10 0 837736520 854220800 22626 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 22626 13086 16 0 208534 0
vsize: 834200
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 22290 43 0 0 25 0 10 0 837736520 854220800 22678 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22678 13086 16 0 208534 0
vsize: 834200
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 23230 43 0 0 25 0 10 0 837736520 854220800 22726 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22726 13086 16 0 208534 0
vsize: 834200
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 24168 43 0 0 25 0 10 0 837736520 854220800 22774 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22774 13086 16 0 208534 0
vsize: 834200
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 25105 43 0 0 25 0 10 0 837736520 854220800 22822 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22822 13086 16 0 208534 0
vsize: 834200
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 26041 43 0 0 25 0 10 0 837736520 854220800 22867 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22868 13086 16 0 208534 0
vsize: 834200
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 26980 43 0 0 25 0 10 0 837736520 854220800 22911 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22911 13086 16 0 208534 0
vsize: 834200
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 27915 43 0 0 25 0 10 0 837736520 854220800 22956 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22956 13086 16 0 208534 0
vsize: 834200
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 28853 43 0 0 25 0 10 0 837736520 854220800 22999 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 22999 13086 16 0 208534 0
vsize: 834200
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 29788 43 0 0 25 0 10 0 837736520 854220800 23041 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23041 13086 16 0 208534 0
vsize: 834200
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 30722 44 0 0 25 0 10 0 837736520 854220800 23084 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23084 13086 16 0 208534 0
vsize: 834200
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 31656 44 0 0 25 0 10 0 837736520 854220800 23124 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23124 13086 16 0 208534 0
vsize: 834200
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 32593 44 0 0 25 0 10 0 837736520 854220800 23166 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 23166 13086 16 0 208534 0
vsize: 834200
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 33525 44 0 0 25 0 10 0 837736520 854220800 23206 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23206 13086 16 0 208534 0
vsize: 834200
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 34459 44 0 0 24 0 10 0 837736520 854220800 23246 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23246 13086 16 0 208534 0
vsize: 834200
[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 35395 44 0 0 25 0 10 0 837736520 854220800 23283 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23283 13086 16 0 208534 0
vsize: 834200
[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 36327 44 0 0 25 0 10 0 837736520 854220800 23322 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23322 13086 16 0 208534 0
vsize: 834200
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 37260 44 0 0 25 0 10 0 837736520 854220800 23359 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23359 13086 16 0 208534 0
vsize: 834200
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 38191 44 0 0 25 0 10 0 837736520 854220800 23396 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23396 13086 16 0 208534 0
vsize: 834200
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 39120 45 0 0 21 0 10 0 837736520 854220800 23433 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23433 13086 16 0 208534 0
vsize: 834200
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 40053 45 0 0 25 0 10 0 837736520 854220800 23468 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23468 13086 16 0 208534 0
vsize: 834200
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 40982 45 0 0 25 0 10 0 837736520 854220800 23505 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23505 13086 16 0 208534 0
vsize: 834200
[startup+450.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 41914 45 0 0 25 0 10 0 837736520 854220800 23539 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23539 13086 16 0 208534 0
vsize: 834200
[startup+460.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 42845 45 0 0 25 0 10 0 837736520 854220800 23574 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23574 13086 16 0 208534 0
vsize: 834200
[startup+470.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 43773 45 0 0 24 0 10 0 837736520 854220800 23609 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23609 13086 16 0 208534 0
vsize: 834200
[startup+480.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 44704 45 0 0 25 0 10 0 837736520 854220800 23642 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 23642 13086 16 0 208534 0
vsize: 834200
[startup+490.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 45631 45 0 0 20 0 10 0 837736520 854220800 23677 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23677 13086 16 0 208534 0
vsize: 834200
[startup+500.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 46562 45 0 0 25 0 10 0 837736520 854220800 23709 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23709 13086 16 0 208534 0
vsize: 834200
[startup+510.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 47488 46 0 0 25 0 10 0 837736520 854220800 23743 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23743 13086 16 0 208534 0
vsize: 834200
[startup+520.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 48417 46 0 0 25 0 10 0 837736520 854220800 23774 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23774 13086 16 0 208534 0
vsize: 834200
[startup+530.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 49342 46 0 0 25 0 10 0 837736520 854220800 23807 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23807 13086 16 0 208534 0
vsize: 834200
[startup+540.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 50271 46 0 0 25 0 10 0 837736520 854220800 23838 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23838 13086 16 0 208534 0
vsize: 834200
[startup+550.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 51195 46 0 0 24 0 10 0 837736520 854220800 23870 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23870 13086 16 0 208534 0
vsize: 834200
[startup+560.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 52124 46 0 0 25 0 10 0 837736520 854220800 23901 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23901 13086 16 0 208534 0
vsize: 834200
[startup+570.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 53052 46 0 0 25 0 10 0 837736520 854220800 23931 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23931 13086 16 0 208534 0
vsize: 834200
[startup+580.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 53975 46 0 0 25 0 10 0 837736520 854220800 23962 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23962 13086 16 0 208534 0
vsize: 834200
[startup+590.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 54902 47 0 0 25 0 10 0 837736520 854220800 23991 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 23991 13086 16 0 208534 0
vsize: 834200
[startup+600.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 55823 47 0 0 24 0 10 0 837736520 854220800 24022 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24022 13086 16 0 208534 0
vsize: 834200
[startup+610.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 56750 47 0 0 25 0 10 0 837736520 854220800 24051 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24051 13086 16 0 208534 0
vsize: 834200
[startup+620.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 57676 47 0 0 25 0 10 0 837736520 854220800 24080 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24080 13086 16 0 208534 0
vsize: 834200
[startup+630.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 58597 47 0 0 24 0 10 0 837736520 854220800 24110 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24110 13086 16 0 208534 0
vsize: 834200
[startup+640.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 59523 47 0 0 25 0 10 0 837736520 854220800 24138 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24138 13086 16 0 208534 0
vsize: 834200
[startup+650.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 60449 47 0 0 25 0 10 0 837736520 854220800 24166 4294967295 134512640 134569956 3221224368 3221214728 1131159679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 24166 13086 16 0 208534 0
vsize: 834200
[startup+660.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 61361 48 0 0 24 0 10 0 837736520 854220800 25098 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25098 13086 16 0 208534 0
vsize: 834200
[startup+670.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 62287 48 0 0 25 0 10 0 837736520 854220800 25098 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25098 13086 16 0 208534 0
vsize: 834200
[startup+680.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 63204 48 0 0 25 0 10 0 837736520 854220800 25108 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25108 13086 16 0 208534 0
vsize: 834200
[startup+690.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 64114 48 0 0 24 0 10 0 837736520 854220800 25137 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25137 13086 16 0 208534 0
vsize: 834200
[startup+700.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 65029 48 0 0 25 0 10 0 837736520 854220800 25164 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25164 13086 16 0 208534 0
vsize: 834200
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 65942 49 0 0 25 0 10 0 837736520 854220800 25190 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25190 13086 16 0 208534 0
vsize: 834200
[startup+720.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 66866 49 0 0 25 0 10 0 837736520 854220800 25217 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25217 13086 16 0 208534 0
vsize: 834200
[startup+730.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 67775 49 0 0 25 0 10 0 837736520 854220800 25244 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25244 13086 16 0 208534 0
vsize: 834200
[startup+740.196 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 68687 49 0 0 25 0 10 0 837736520 854220800 25271 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25271 13086 16 0 208534 0
vsize: 834200
[startup+750.196 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 69600 49 0 0 25 0 10 0 837736520 854220800 25297 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25297 13086 16 0 208534 0
vsize: 834200
[startup+760.195 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 70512 49 0 0 25 0 10 0 837736520 854220800 25323 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25323 13086 16 0 208534 0
vsize: 834200
[startup+770.197 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 71425 49 0 0 25 0 10 0 837736520 854220800 25348 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25348 13086 16 0 208534 0
vsize: 834200
[startup+780.197 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 72336 50 0 0 25 0 10 0 837736520 854220800 25374 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25374 13086 16 0 208534 0
vsize: 834200
[startup+790.198 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 73248 50 0 0 25 0 10 0 837736520 854220800 25399 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25399 13086 16 0 208534 0
vsize: 834200
[startup+800.202 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 74154 50 0 0 25 0 10 0 837736520 854220800 25425 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25426 13086 16 0 208534 0
vsize: 834200
[startup+810.202 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 75065 50 0 0 25 0 10 0 837736520 854220800 25451 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25451 13086 16 0 208534 0
vsize: 834200
[startup+820.203 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 75976 50 0 0 25 0 10 0 837736520 854220800 25475 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25475 13086 16 0 208534 0
vsize: 834200
[startup+830.203 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 76885 50 0 0 25 0 10 0 837736520 854220800 25500 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25500 13086 16 0 208534 0
vsize: 834200
[startup+840.203 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 77795 50 0 0 21 0 10 0 837736520 854220800 25524 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25524 13086 16 0 208534 0
vsize: 834200
[startup+850.204 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 78705 50 0 0 21 0 10 0 837736520 854220800 25549 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25549 13086 16 0 208534 0
vsize: 834200
[startup+860.204 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 79615 51 0 0 22 0 10 0 837736520 854220800 25574 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25574 13086 16 0 208534 0
vsize: 834200
[startup+870.204 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 80524 51 0 0 24 0 10 0 837736520 854220800 25598 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25598 13086 16 0 208534 0
vsize: 834200
[startup+880.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 81433 51 0 0 23 0 10 0 837736520 854220800 25622 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25622 13086 16 0 208534 0
vsize: 834200
[startup+890.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 82341 51 0 0 24 0 10 0 837736520 854220800 25646 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25646 13086 16 0 208534 0
vsize: 834200
[startup+900.206 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 83249 51 0 0 23 0 10 0 837736520 854220800 25670 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25670 13086 16 0 208534 0
vsize: 834200
[startup+910.212 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 84158 51 0 0 23 0 10 0 837736520 854220800 25694 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25694 13086 16 0 208534 0
vsize: 834200
[startup+920.221 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 85066 52 0 0 24 0 10 0 837736520 854220800 25717 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25717 13086 16 0 208534 0
vsize: 834200
[startup+930.221 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 85973 52 0 0 24 0 10 0 837736520 854220800 25740 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25740 13086 16 0 208534 0
vsize: 834200
[startup+940.221 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 86880 52 0 0 24 0 10 0 837736520 854220800 25770 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25770 13086 16 0 208534 0
vsize: 834200
[startup+950.222 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 87785 52 0 0 23 0 10 0 837736520 854220800 25798 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25798 13086 16 0 208534 0
vsize: 834200
[startup+960.222 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 88690 52 0 0 23 0 10 0 837736520 854220800 25823 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25823 13086 16 0 208534 0
vsize: 834200
[startup+970.223 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 89596 52 0 0 22 0 10 0 837736520 854220800 25851 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25851 13086 16 0 208534 0
vsize: 834200
[startup+980.223 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 90502 52 0 0 23 0 10 0 837736520 854220800 25873 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25873 13086 16 0 208534 0
vsize: 834200
[startup+990.224 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 91407 52 0 0 22 0 10 0 837736520 854220800 25902 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25902 13086 16 0 208534 0
vsize: 834200
[startup+1000.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 92312 52 0 0 23 0 10 0 837736520 854220800 25927 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25927 13086 16 0 208534 0
vsize: 834200
[startup+1010.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 93217 52 0 0 21 0 10 0 837736520 854220800 25949 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25949 13086 16 0 208534 0
vsize: 834200
[startup+1020.23 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 94122 52 0 0 22 0 10 0 837736520 854220800 25981 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 25981 13086 16 0 208534 0
vsize: 834200
[startup+1030.23 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 95027 52 0 0 22 0 10 0 837736520 854220800 26004 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26004 13086 16 0 208534 0
vsize: 834200
[startup+1040.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 95931 53 0 0 21 0 10 0 837736520 854220800 26032 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26032 13086 16 0 208534 0
vsize: 834200
[startup+1050.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 96833 53 0 0 21 0 10 0 837736520 854220800 26059 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26059 13086 16 0 208534 0
vsize: 834200
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 97734 53 0 0 19 0 10 0 837736520 854220800 26084 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26084 13086 16 0 208534 0
vsize: 834200
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 98636 53 0 0 19 0 10 0 837736520 854220800 26108 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26108 13086 16 0 208534 0
vsize: 834200
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 99543 53 0 0 24 0 10 0 837736520 854220800 26135 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26135 13086 16 0 208534 0
vsize: 834200
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 100447 53 0 0 22 0 10 0 837736520 854220800 26159 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26159 13086 16 0 208534 0
vsize: 834200
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 101349 53 0 0 23 0 10 0 837736520 854220800 26184 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26184 13086 16 0 208534 0
vsize: 834200
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 102251 53 0 0 21 0 10 0 837736520 854220800 26210 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26210 13086 16 0 208534 0
vsize: 834200
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 103153 54 0 0 22 0 10 0 837736520 854220800 26235 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26235 13086 16 0 208534 0
vsize: 834200
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 104055 54 0 0 22 0 10 0 837736520 854220800 26257 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26257 13086 16 0 208534 0
vsize: 834200
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 104956 54 0 0 21 0 10 0 837736520 854220800 26283 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26283 13086 16 0 208534 0
vsize: 834200
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 105857 54 0 0 21 0 10 0 837736520 854220800 26307 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26307 13086 16 0 208534 0
vsize: 834200
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 106758 54 0 0 19 0 10 0 837736520 854220800 26331 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26331 13086 16 0 208534 0
vsize: 834200
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 107658 54 0 0 19 0 10 0 837736520 854220800 26352 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26352 13086 16 0 208534 0
vsize: 834200
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 108558 54 0 0 18 0 10 0 837736520 854220800 26381 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26381 13086 16 0 208534 0
vsize: 834200
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 109455 54 0 0 18 0 10 0 837736520 854220800 26405 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26405 13086 16 0 208534 0
vsize: 834200
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 110360 55 0 0 22 0 10 0 837736520 854220800 26427 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 26427 13086 16 0 208534 0
vsize: 834200
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 111260 55 0 0 23 0 10 0 837736520 854220800 26450 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26450 13086 16 0 208534 0
vsize: 834200
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 112159 55 0 0 22 0 10 0 837736520 854220800 26470 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26470 13086 16 0 208534 0
vsize: 834200
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 113057 55 0 0 21 0 10 0 837736520 854220800 26491 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26491 13086 16 0 208534 0
vsize: 834200
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 113956 55 0 0 20 0 10 0 837736520 854220800 26512 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26512 13086 16 0 208534 0
vsize: 834200
[startup+1250.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 114855 55 0 0 18 0 10 0 837736520 854220800 26543 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26543 13086 16 0 208534 0
vsize: 834200
[startup+1260.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) S 2993 25399 25398 0 -1 0 18036 0 1 0 115755 55 0 0 23 0 10 0 837736520 854220800 26576 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26576 13086 16 0 208534 0
vsize: 834200
[startup+1270.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 116660 55 0 0 23 0 10 0 837736520 854220800 26598 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26598 13086 16 0 208534 0
vsize: 834200
[startup+1280.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 117560 56 0 0 22 0 10 0 837736520 854220800 26615 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26615 13086 16 0 208534 0
vsize: 834200
[startup+1290.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 118462 56 0 0 22 0 10 0 837736520 854220800 26648 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26648 13086 16 0 208534 0
vsize: 834200
[startup+1300.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 119366 56 0 0 22 0 10 0 837736520 854220800 26660 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26660 13086 16 0 208534 0
vsize: 834200
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 3003
Raw data (stat): 2994 (java) R 2993 25399 25398 0 -1 0 18036 0 1 0 120271 56 0 0 20 0 10 0 837736520 854220800 26691 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208550 26691 13086 16 0 208534 0
vsize: 834200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.34 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3005
Raw data (stat): 2994 (java) Z 2993 25399 25398 0 -1 1036 18036 8279 1 0 120274 56 10635 46 22 0 1 0 837736520 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.34
CPU time (s): 1310.13
CPU user time (s): 1309.11
CPU system time (s): 1.02884
CPU usage (%): 99.9843
Max. virtual memory (Kb): 834200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####