PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
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	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500
Trace number 29884

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 12:22:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21278 boxname=wulflinc5 idbench=1266 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 21278
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        713372 kB
Buffers:         30140 kB
Cached:         269540 kB
SwapCached:        472 kB
Active:          76996 kB
Inactive:       224768 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        713120 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13804 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:44:06 (client local time) WITH STATUS 143 IN 1311.12 SECONDS
stats: 21278 7 1311.12 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/wulflinc5/normalized-mps-v2-13-7-ship12l.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.176
#### 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.92 0.98 0.99 2/54 23045
Raw data (stat): 23045 (runsolver) R 23044 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780621811 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99985 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 873 40 0 0 25 0 10 0 780621811 853741568 19354 4294967295 134512640 134569956 3221224368 3221214416 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 19354 13086 16 0 208417 0
vsize: 833732
[startup+20.0006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 1772 40 0 0 25 0 10 0 780621811 853741568 19862 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 19862 13086 16 0 208417 0
vsize: 833732
[startup+30.0361 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 2666 40 0 0 25 0 10 0 780621811 853741568 20377 4294967295 134512640 134569956 3221224368 3221214648 1131197659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208433 20377 13086 16 0 208417 0
vsize: 833732
[startup+40.0373 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 3582 40 0 0 25 0 10 0 780621811 853942272 20722 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 20722 13086 16 0 208466 0
vsize: 833928
[startup+50.0379 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 4504 40 0 0 25 0 10 0 780621811 853942272 20889 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 20889 13086 16 0 208466 0
vsize: 833928
[startup+60.0425 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 5423 41 0 0 25 0 10 0 780621811 853942272 21019 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 21019 13086 16 0 208466 0
vsize: 833928
[startup+70.0436 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 6352 41 0 0 25 0 10 0 780621811 853975040 21275 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21275 13086 16 0 208474 0
vsize: 833960
[startup+80.0442 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 7290 41 0 0 24 0 10 0 780621811 853975040 21380 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21380 13086 16 0 208474 0
vsize: 833960
[startup+90.0451 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 8234 41 0 0 25 0 10 0 780621811 853975040 21469 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21469 13086 16 0 208474 0
vsize: 833960
[startup+100.046 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 9175 41 0 0 24 0 10 0 780621811 853975040 21558 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21558 13086 16 0 208474 0
vsize: 833960
[startup+110.046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 10119 42 0 0 25 0 10 0 780621811 853975040 21637 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21637 13086 16 0 208474 0
vsize: 833960
[startup+120.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 11061 42 0 0 25 0 10 0 780621811 853975040 21715 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21715 13086 16 0 208474 0
vsize: 833960
[startup+130.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 12006 42 0 0 25 0 10 0 780621811 853975040 21785 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21785 13086 16 0 208474 0
vsize: 833960
[startup+140.049 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 12949 42 0 0 25 0 10 0 780621811 853975040 21855 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21855 13086 16 0 208474 0
vsize: 833960
[startup+150.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 13891 42 0 0 24 0 10 0 780621811 853975040 21923 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21923 13086 16 0 208474 0
vsize: 833960
[startup+160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 14836 42 0 0 25 0 10 0 780621811 853975040 21984 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21984 13086 16 0 208474 0
vsize: 833960
[startup+170.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 15774 43 0 0 25 0 10 0 780621811 853975040 22046 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22046 13086 16 0 208474 0
vsize: 833960
[startup+180.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 16692 43 0 0 25 0 10 0 780621811 853975040 22103 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22103 13086 16 0 208474 0
vsize: 833960
[startup+190.053 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 17614 43 0 0 25 0 10 0 780621811 853975040 22415 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22415 13086 16 0 208474 0
vsize: 833960
[startup+200.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 18553 43 0 0 24 0 10 0 780621811 853975040 22471 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22471 13086 16 0 208474 0
vsize: 833960
[startup+210.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 19495 43 0 0 25 0 10 0 780621811 853975040 22523 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22523 13086 16 0 208474 0
vsize: 833960
[startup+220.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 20434 43 0 0 25 0 10 0 780621811 853975040 22577 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22577 13086 16 0 208474 0
vsize: 833960
[startup+230.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 21376 43 0 0 25 0 10 0 780621811 853975040 22626 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22626 13086 16 0 208474 0
vsize: 833960
[startup+240.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 22314 44 0 0 25 0 10 0 780621811 853975040 22678 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22678 13086 16 0 208474 0
vsize: 833960
[startup+250.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 23255 44 0 0 25 0 10 0 780621811 853975040 22725 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22725 13086 16 0 208474 0
vsize: 833960
[startup+260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 24192 44 0 0 25 0 10 0 780621811 853975040 22774 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22774 13086 16 0 208474 0
vsize: 833960
[startup+270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 25132 44 0 0 25 0 10 0 780621811 853975040 22819 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22819 13086 16 0 208474 0
vsize: 833960
[startup+280.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 26068 44 0 0 25 0 10 0 780621811 853975040 22865 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22865 13086 16 0 208474 0
vsize: 833960
[startup+290.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 27007 44 0 0 25 0 10 0 780621811 853975040 22908 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22908 13086 16 0 208474 0
vsize: 833960
[startup+300.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 27943 44 0 0 25 0 10 0 780621811 853975040 22953 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22953 13086 16 0 208474 0
vsize: 833960
[startup+310.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 28881 44 0 0 25 0 10 0 780621811 853975040 22995 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22995 13086 16 0 208474 0
vsize: 833960
[startup+320.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 29814 44 0 0 24 0 10 0 780621811 853975040 23038 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23038 13086 16 0 208474 0
vsize: 833960
[startup+330.065 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 30752 44 0 0 25 0 10 0 780621811 853975040 23078 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23078 13086 16 0 208474 0
vsize: 833960
[startup+340.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 31689 44 0 0 25 0 10 0 780621811 853975040 23118 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23118 13086 16 0 208474 0
vsize: 833960
[startup+350.067 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 32621 44 0 0 25 0 10 0 780621811 853975040 23160 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23160 13086 16 0 208474 0
vsize: 833960
[startup+360.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 33558 44 0 0 25 0 10 0 780621811 853975040 23199 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23199 13086 16 0 208474 0
vsize: 833960
[startup+370.069 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 34490 45 0 0 24 0 10 0 780621811 853975040 23239 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23239 13086 16 0 208474 0
vsize: 833960
[startup+380.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 35426 45 0 0 25 0 10 0 780621811 853975040 23276 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23276 13086 16 0 208474 0
vsize: 833960
[startup+390.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 36361 45 0 0 25 0 10 0 780621811 853975040 23312 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23312 13086 16 0 208474 0
vsize: 833960
[startup+400.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 37292 45 0 0 24 0 10 0 780621811 853975040 23351 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23351 13086 16 0 208474 0
vsize: 833960
[startup+410.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 38226 45 0 0 25 0 10 0 780621811 853975040 23387 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23387 13086 16 0 208474 0
vsize: 833960
[startup+420.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 39160 45 0 0 25 0 10 0 780621811 853975040 23422 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23422 13086 16 0 208474 0
vsize: 833960
[startup+430.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 40092 45 0 0 25 0 10 0 780621811 853975040 23457 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23457 13086 16 0 208474 0
vsize: 833960
[startup+440.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 41022 45 0 0 25 0 10 0 780621811 853975040 23493 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23493 13086 16 0 208474 0
vsize: 833960
[startup+450.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 41956 45 0 0 25 0 10 0 780621811 853975040 23527 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23527 13086 16 0 208474 0
vsize: 833960
[startup+460.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 42889 45 0 0 25 0 10 0 780621811 853975040 23561 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23561 13086 16 0 208474 0
vsize: 833960
[startup+470.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 43817 45 0 0 25 0 10 0 780621811 853975040 23596 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23596 13086 16 0 208474 0
vsize: 833960
[startup+480.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 44747 45 0 0 25 0 10 0 780621811 853975040 23629 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23629 13086 16 0 208474 0
vsize: 833960
[startup+490.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 45676 46 0 0 25 0 10 0 780621811 853975040 23661 4294967295 134512640 134569956 3221224368 3221214168 1076461240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23661 13086 16 0 208474 0
vsize: 833960
[startup+500.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 46605 47 0 0 25 0 10 0 780621811 853975040 23695 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23695 13086 16 0 208474 0
vsize: 833960
[startup+510.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 47529 47 0 0 25 0 10 0 780621811 853975040 23728 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23728 13086 16 0 208474 0
vsize: 833960
[startup+520.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 48456 47 0 0 25 0 10 0 780621811 853975040 23760 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23760 13086 16 0 208474 0
vsize: 833960
[startup+530.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 49384 48 0 0 25 0 10 0 780621811 853975040 23791 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23791 13086 16 0 208474 0
vsize: 833960
[startup+540.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 50311 48 0 0 25 0 10 0 780621811 853975040 23822 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23822 13086 16 0 208474 0
vsize: 833960
[startup+550.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 51233 48 0 0 24 0 10 0 780621811 853975040 23854 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23854 13086 16 0 208474 0
vsize: 833960
[startup+560.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 52160 49 0 0 25 0 10 0 780621811 853975040 23884 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23884 13086 16 0 208474 0
vsize: 833960
[startup+570.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 53087 49 0 0 25 0 10 0 780621811 853975040 23914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23914 13086 16 0 208474 0
vsize: 833960
[startup+580.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 54014 50 0 0 25 0 10 0 780621811 853975040 23944 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23944 13086 16 0 208474 0
vsize: 833960
[startup+590.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 54937 51 0 0 25 0 10 0 780621811 853975040 23974 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23974 13086 16 0 208474 0
vsize: 833960
[startup+600.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 55860 51 0 0 24 0 10 0 780621811 853975040 24004 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24004 13086 16 0 208474 0
vsize: 833960
[startup+610.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 56785 52 0 0 25 0 10 0 780621811 853975040 24033 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24033 13086 16 0 208474 0
vsize: 833960
[startup+620.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 57710 52 0 0 25 0 10 0 780621811 853975040 24062 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24062 13086 16 0 208474 0
vsize: 833960
[startup+630.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 58634 52 0 0 25 0 10 0 780621811 853975040 24090 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24090 13086 16 0 208474 0
vsize: 833960
[startup+640.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 59558 53 0 0 25 0 10 0 780621811 853975040 24119 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24119 13086 16 0 208474 0
vsize: 833960
[startup+650.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 60483 53 0 0 25 0 10 0 780621811 853975040 24147 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24147 13086 16 0 208474 0
vsize: 833960
[startup+660.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 61403 54 0 0 25 0 10 0 780621811 853975040 24175 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24175 13086 16 0 208474 0
vsize: 833960
[startup+670.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 62322 55 0 0 25 0 10 0 780621811 853975040 25093 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25093 13086 16 0 208474 0
vsize: 833960
[startup+680.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 63242 55 0 0 24 0 10 0 780621811 853975040 25093 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25093 13086 16 0 208474 0
vsize: 833960
[startup+690.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 64156 55 0 0 24 0 10 0 780621811 853975040 25108 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25108 13086 16 0 208474 0
vsize: 833960
[startup+700.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 65071 55 0 0 25 0 10 0 780621811 853975040 25134 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25134 13086 16 0 208474 0
vsize: 833960
[startup+710.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 65987 56 0 0 25 0 10 0 780621811 853975040 25160 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25160 13086 16 0 208474 0
vsize: 833960
[startup+720.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 66898 56 0 0 25 0 10 0 780621811 853975040 25187 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25187 13086 16 0 208474 0
vsize: 833960
[startup+730.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 67810 57 0 0 25 0 10 0 780621811 853975040 25213 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25213 13086 16 0 208474 0
vsize: 833960
[startup+740.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 68722 57 0 0 25 0 10 0 780621811 853975040 25239 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25239 13086 16 0 208474 0
vsize: 833960
[startup+750.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 69634 58 0 0 25 0 10 0 780621811 853975040 25265 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25265 13086 16 0 208474 0
vsize: 833960
[startup+760.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 70546 58 0 0 25 0 10 0 780621811 853975040 25291 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25291 13086 16 0 208474 0
vsize: 833960
[startup+770.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 71456 59 0 0 25 0 10 0 780621811 853975040 25317 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25317 13086 16 0 208474 0
vsize: 833960
[startup+780.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 72367 59 0 0 25 0 10 0 780621811 853975040 25342 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25342 13086 16 0 208474 0
vsize: 833960
[startup+790.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 73277 59 0 0 24 0 10 0 780621811 853975040 25368 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25368 13086 16 0 208474 0
vsize: 833960
[startup+800.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 74192 60 0 0 25 0 10 0 780621811 853975040 25391 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25391 13086 16 0 208474 0
vsize: 833960
[startup+810.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 75102 61 0 0 25 0 10 0 780621811 853975040 25417 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25417 13086 16 0 208474 0
vsize: 833960
[startup+820.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 76011 61 0 0 21 0 10 0 780621811 853975040 25441 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25441 13086 16 0 208474 0
vsize: 833960
[startup+830.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 76919 61 0 0 25 0 10 0 780621811 853975040 25466 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25466 13086 16 0 208474 0
vsize: 833960
[startup+840.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 77828 62 0 0 25 0 10 0 780621811 853975040 25491 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25491 13086 16 0 208474 0
vsize: 833960
[startup+850.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 78737 63 0 0 25 0 10 0 780621811 853975040 25514 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25514 13086 16 0 208474 0
vsize: 833960
[startup+860.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 79649 63 0 0 25 0 10 0 780621811 853975040 25538 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25538 13086 16 0 208474 0
vsize: 833960
[startup+870.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 80557 64 0 0 25 0 10 0 780621811 853975040 25563 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25563 13086 16 0 208474 0
vsize: 833960
[startup+880.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 81464 64 0 0 25 0 10 0 780621811 853975040 25587 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25587 13086 16 0 208474 0
vsize: 833960
[startup+890.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 82371 65 0 0 24 0 10 0 780621811 853975040 25611 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25611 13086 16 0 208474 0
vsize: 833960
[startup+900.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 83283 65 0 0 25 0 10 0 780621811 853975040 25633 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25633 13086 16 0 208474 0
vsize: 833960
[startup+910.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 84190 65 0 0 25 0 10 0 780621811 853975040 25657 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25657 13086 16 0 208474 0
vsize: 833960
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 85096 66 0 0 25 0 10 0 780621811 853975040 25680 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25680 13086 16 0 208474 0
vsize: 833960
[startup+930.127 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 86000 66 0 0 24 0 10 0 780621811 853975040 25703 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25703 13086 16 0 208474 0
vsize: 833960
[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 86911 67 0 0 25 0 10 0 780621811 853975040 25725 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25725 13086 16 0 208474 0
vsize: 833960
[startup+950.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 87816 68 0 0 25 0 10 0 780621811 853975040 25748 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25748 13086 16 0 208474 0
vsize: 833960
[startup+960.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 88720 68 0 0 25 0 10 0 780621811 853975040 25773 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25773 13086 16 0 208474 0
vsize: 833960
[startup+970.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 89623 69 0 0 24 0 10 0 780621811 853975040 25799 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25799 13086 16 0 208474 0
vsize: 833960
[startup+980.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 90533 70 0 0 25 0 10 0 780621811 853975040 25824 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25824 13086 16 0 208474 0
vsize: 833960
[startup+990.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 91437 70 0 0 25 0 10 0 780621811 853975040 25849 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25849 13086 16 0 208474 0
vsize: 833960
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 92341 71 0 0 25 0 10 0 780621811 853975040 25878 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25878 13086 16 0 208474 0
vsize: 833960
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 93250 71 0 0 25 0 10 0 780621811 853975040 25901 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25901 13086 16 0 208474 0
vsize: 833960
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 94153 72 0 0 25 0 10 0 780621811 853975040 25923 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25923 13086 16 0 208474 0
vsize: 833960
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 95056 72 0 0 25 0 10 0 780621811 853975040 25953 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25953 13086 16 0 208474 0
vsize: 833960
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 95961 72 0 0 25 0 10 0 780621811 853975040 25977 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25977 13086 16 0 208474 0
vsize: 833960
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 96869 72 0 0 25 0 10 0 780621811 853975040 25999 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 25999 13086 16 0 208474 0
vsize: 833960
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 97771 73 0 0 25 0 10 0 780621811 853975040 26028 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26028 13086 16 0 208474 0
vsize: 833960
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 98671 74 0 0 25 0 10 0 780621811 853975040 26053 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26053 13086 16 0 208474 0
vsize: 833960
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 99577 74 0 0 25 0 10 0 780621811 853975040 26079 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26079 13086 16 0 208474 0
vsize: 833960
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 100478 74 0 0 25 0 10 0 780621811 853975040 26100 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26100 13086 16 0 208474 0
vsize: 833960
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 101383 74 0 0 25 0 10 0 780621811 853975040 26128 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26128 13086 16 0 208474 0
vsize: 833960
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 102287 75 0 0 25 0 10 0 780621811 853975040 26153 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26153 13086 16 0 208474 0
vsize: 833960
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 103187 75 0 0 25 0 10 0 780621811 853975040 26177 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26177 13086 16 0 208474 0
vsize: 833960
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 104093 76 0 0 25 0 10 0 780621811 853975040 26199 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26199 13086 16 0 208474 0
vsize: 833960
[startup+1140.14 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 104992 76 0 0 25 0 10 0 780621811 853975040 26225 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26225 13086 16 0 208474 0
vsize: 833960
[startup+1150.14 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 105892 77 0 0 24 0 10 0 780621811 853975040 26247 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26247 13086 16 0 208474 0
vsize: 833960
[startup+1160.14 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 106797 77 0 0 25 0 10 0 780621811 853975040 26271 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26271 13086 16 0 208474 0
vsize: 833960
[startup+1170.15 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 107697 77 0 0 25 0 10 0 780621811 853975040 26295 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26295 13086 16 0 208474 0
vsize: 833960
[startup+1180.15 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 108601 78 0 0 25 0 10 0 780621811 853975040 26319 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26319 13086 16 0 208474 0
vsize: 833960
[startup+1190.15 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 109500 78 0 0 25 0 10 0 780621811 853975040 26343 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26343 13086 16 0 208474 0
vsize: 833960
[startup+1200.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 110397 79 0 0 25 0 10 0 780621811 853975040 26366 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26366 13086 16 0 208474 0
vsize: 833960
[startup+1210.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 111299 79 0 0 25 0 10 0 780621811 853975040 26390 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26390 13086 16 0 208474 0
vsize: 833960
[startup+1220.15 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 112195 79 0 0 25 0 10 0 780621811 853975040 26412 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26412 13086 16 0 208474 0
vsize: 833960
[startup+1230.15 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 113098 79 0 0 25 0 10 0 780621811 853975040 26434 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26434 13086 16 0 208474 0
vsize: 833960
[startup+1240.15 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 113996 80 0 0 25 0 10 0 780621811 853975040 26455 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26455 13086 16 0 208474 0
vsize: 833960
[startup+1250.15 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 114899 80 0 0 25 0 10 0 780621811 853975040 26473 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26473 13086 16 0 208474 0
vsize: 833960
[startup+1260.15 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 115795 80 0 0 25 0 10 0 780621811 853975040 26508 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26508 13086 16 0 208474 0
vsize: 833960
[startup+1270.15 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 116699 81 0 0 25 0 10 0 780621811 853975040 26523 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26523 13086 16 0 208474 0
vsize: 833960
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 117595 82 0 0 25 0 10 0 780621811 853975040 26558 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26558 13086 16 0 208474 0
vsize: 833960
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) S 23044 7266 7265 0 -1 0 18008 0 1 0 118495 82 0 0 24 0 10 0 780621811 853975040 26578 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26578 13086 16 0 208474 0
vsize: 833960
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 119398 83 0 0 21 0 10 0 780621811 853975040 26605 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26605 13086 16 0 208474 0
vsize: 833960
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23054
Raw data (stat): 23045 (java) R 23044 7266 7265 0 -1 0 18008 0 1 0 120299 83 0 0 19 0 10 0 780621811 853975040 26626 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 26626 13086 16 0 208474 0
vsize: 833960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23056
Raw data (stat): 23045 (java) Z 23044 7266 7265 0 -1 1036 18008 8613 1 0 120304 83 10682 41 20 0 1 0 780621811 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.26
CPU time (s): 1311.12
CPU user time (s): 1309.87
CPU system time (s): 1.25581
CPU usage (%): 100.065
Max. virtual memory (Kb): 833960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####