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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb
MD5SUM	181a05258ae35e5f3b5b834240f1847a
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	83886080000000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	572975239517507
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.23881
Number of variables	20024
Total number of constraints	17064
Number of constraints which are clauses	1
Number of constraints which are cardinality constraints (but not clauses)	16718
Number of constraints which are nor clauses,nor cardinality constraints	345
Minimum length of a constraint	1
Maximum length of a constraint	15837
Trace number 29756

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 11:16:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21163 boxname=wulflinc29 idbench=1151 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  181a05258ae35e5f3b5b834240f1847a  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
IDLAUNCH: 21163
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        643008 kB
Buffers:         33676 kB
Cached:         332204 kB
SwapCached:        572 kB
Active:          63968 kB
Inactive:       307436 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642756 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14640 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:36:58 (client local time) WITH STATUS 143 IN 1238.22 SECONDS
stats: 21163 7 1238.22 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/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
c reading problem ... done. Time 133.492 ms.
c #vars     20024
c #constraints  1473
c starts	: 1
c conflicts	: 8
c decisions	: 7751
c propagations	: 8573
c inspects	: 51896
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 2
s UNKNOWN
c Total CPU time (ms) : 1239.008
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 348
Raw data (stat): 348 (runsolver) R 347 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838442923 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18017 0 1 0 873 38 0 0 24 0 10 0 838442923 853995520 19387 4294967295 134512640 134569956 3221224368 3221214320 1078025843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 19387 13086 16 0 208479 0
vsize: 833980
[startup+20.001 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 1784 38 0 0 25 0 10 0 838442923 854618112 19986 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208647 19986 13086 16 0 208631 0
vsize: 834588
[startup+30.0013 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 2680 39 0 0 25 0 10 0 838442923 854224896 20480 4294967295 134512640 134569956 3221224368 3221214428 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208551 20480 13086 16 0 208535 0
vsize: 834204
[startup+40.0019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 3599 39 0 0 25 0 10 0 838442923 854224896 20793 4294967295 134512640 134569956 3221224368 3221214784 1131279388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208551 20793 13086 16 0 208535 0
vsize: 834204
[startup+50.0024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 4531 39 0 0 25 0 10 0 838442923 854224896 20971 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 20971 13086 16 0 208535 0
vsize: 834204
[startup+60.002 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 5455 39 0 0 25 0 10 0 838442923 854224896 21121 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 21121 13086 16 0 208535 0
vsize: 834204
[startup+70.0024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 6387 40 0 0 24 0 10 0 838442923 854224896 21330 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 21330 13086 16 0 208535 0
vsize: 834204
[startup+80.0028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 7332 40 0 0 25 0 10 0 838442923 854224896 21437 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 21437 13086 16 0 208535 0
vsize: 834204
[startup+90.0034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18020 0 1 0 8277 40 0 0 25 0 10 0 838442923 854224896 21535 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 21535 13086 16 0 208535 0
vsize: 834204
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18022 0 1 0 9136 44 0 0 25 0 10 0 838442923 856301568 25291 4294967295 134512640 134569956 3221224368 3221214776 1131172975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209058 25291 13086 16 0 209042 0
vsize: 836232
[startup+110.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 357
Raw data (stat): 348 (java) S 347 20001 20000 0 -1 0 18022 0 1 0 10023 46 0 0 25 0 10 0 838442923 856301568 28537 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209058 28537 13086 16 0 209042 0
vsize: 836232
[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18022 0 1 0 10878 47 0 0 24 0 10 0 838442923 856301568 29314 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209058 29314 13086 16 0 209042 0
vsize: 836232
[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 357
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18022 0 1 0 11735 49 0 0 25 0 10 0 838442923 856301568 30288 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209058 30288 13086 16 0 209042 0
vsize: 836232
[startup+140.011 s]
Raw data (loadavg): 1.09 1.02 1.01 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18050 0 1 0 12611 50 0 0 25 0 11 0 838442923 858189824 31560 4294967295 134512640 134569956 3221224368 3221214536 1131366493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209519 31560 13086 16 0 209503 0
vsize: 838076
[startup+150.011 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18060 0 1 0 13514 50 0 0 25 0 11 0 838442923 858009600 31425 4294967295 134512640 134569956 3221224368 3221214576 1131564775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209475 31425 13086 16 0 209459 0
vsize: 837900
[startup+160.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18060 0 1 0 14451 51 0 0 25 0 11 0 838442923 857878528 32206 4294967295 134512640 134569956 3221224368 3221214536 1131367460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32206 13086 16 0 209427 0
vsize: 837772
[startup+170.012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 15378 51 0 0 25 0 11 0 838442923 857878528 32207 4294967295 134512640 134569956 3221224368 3221214536 1131366433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32207 13086 16 0 209427 0
vsize: 837772
[startup+180.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 16303 51 0 0 25 0 11 0 838442923 857878528 32317 4294967295 134512640 134569956 3221224368 3221214536 1131367522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32317 13086 16 0 209427 0
vsize: 837772
[startup+190.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 17257 51 0 0 24 0 11 0 838442923 857878528 32683 4294967295 134512640 134569956 3221224368 3221214536 1131367345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32683 13086 16 0 209427 0
vsize: 837772
[startup+200.013 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 18245 51 0 0 25 0 11 0 838442923 857878528 32694 4294967295 134512640 134569956 3221224368 3221214656 1131464395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32694 13086 16 0 209427 0
vsize: 837772
[startup+210.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 19230 51 0 0 25 0 11 0 838442923 857878528 32700 4294967295 134512640 134569956 3221224368 3221214656 1131465390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32700 13086 16 0 209427 0
vsize: 837772
[startup+220.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 20215 52 0 0 25 0 11 0 838442923 857878528 32710 4294967295 134512640 134569956 3221224368 3221214656 1131469350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32710 13086 16 0 209427 0
vsize: 837772
[startup+230.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 21201 52 0 0 25 0 11 0 838442923 857878528 32716 4294967295 134512640 134569956 3221224368 3221214552 1131366899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32716 13086 16 0 209427 0
vsize: 837772
[startup+240.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 22187 52 0 0 24 0 11 0 838442923 857878528 32729 4294967295 134512640 134569956 3221224368 3221214552 1131366961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32729 13086 16 0 209427 0
vsize: 837772
[startup+250.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 23175 52 0 0 25 0 11 0 838442923 857878528 32734 4294967295 134512640 134569956 3221224368 3221214552 1131367092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32734 13086 16 0 209427 0
vsize: 837772
[startup+260.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 24160 52 0 0 25 0 11 0 838442923 857878528 32740 4294967295 134512640 134569956 3221224368 3221214552 1131366813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32740 13086 16 0 209427 0
vsize: 837772
[startup+270.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 25144 52 0 0 25 0 11 0 838442923 857878528 32747 4294967295 134512640 134569956 3221224368 3221214552 1131366433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32747 13086 16 0 209427 0
vsize: 837772
[startup+280.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 26127 52 0 0 25 0 11 0 838442923 857878528 32761 4294967295 134512640 134569956 3221224368 3221214552 1131366859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32761 13086 16 0 209427 0
vsize: 837772
[startup+290.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 27113 53 0 0 25 0 11 0 838442923 857878528 32771 4294967295 134512640 134569956 3221224368 3221214656 1131469221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32771 13086 16 0 209427 0
vsize: 837772
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 28098 53 0 0 25 0 11 0 838442923 857878528 32778 4294967295 134512640 134569956 3221224368 3221214552 1131367110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32778 13086 16 0 209427 0
vsize: 837772
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 29084 53 0 0 25 0 11 0 838442923 857878528 32785 4294967295 134512640 134569956 3221224368 3221214656 1131464468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32785 13086 16 0 209427 0
vsize: 837772
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 30069 53 0 0 25 0 11 0 838442923 857878528 32797 4294967295 134512640 134569956 3221224368 3221214520 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32797 13086 16 0 209427 0
vsize: 837772
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) S 347 20001 20000 0 -1 0 18061 0 1 0 31056 53 0 0 25 0 11 0 838442923 857878528 32802 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32802 13086 16 0 209427 0
vsize: 837772
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 32042 53 0 0 25 0 11 0 838442923 857878528 32810 4294967295 134512640 134569956 3221224368 3221214656 1131466489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32810 13086 16 0 209427 0
vsize: 837772
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 33027 53 0 0 25 0 11 0 838442923 857878528 32815 4294967295 134512640 134569956 3221224368 3221214464 1131270489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32815 13086 16 0 209427 0
vsize: 837772
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 34012 53 0 0 25 0 11 0 838442923 857878528 32826 4294967295 134512640 134569956 3221224368 3221214464 1131270453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32826 13086 16 0 209427 0
vsize: 837772
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 34997 53 0 0 25 0 11 0 838442923 857878528 32832 4294967295 134512640 134569956 3221224368 3221214552 1131366859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32832 13086 16 0 209427 0
vsize: 837772
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 35983 54 0 0 25 0 11 0 838442923 857878528 32843 4294967295 134512640 134569956 3221224368 3221214656 1131469312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32843 13086 16 0 209427 0
vsize: 837772
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 36969 54 0 0 25 0 11 0 838442923 857878528 32848 4294967295 134512640 134569956 3221224368 3221214004 1080019531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 32848 13086 16 0 209427 0
vsize: 837772
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 37956 54 0 0 25 0 11 0 838442923 857878528 32856 4294967295 134512640 134569956 3221224368 3221214656 1131464436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32856 13086 16 0 209427 0
vsize: 837772
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 38941 54 0 0 25 0 11 0 838442923 857878528 32863 4294967295 134512640 134569956 3221224368 3221214552 1131366517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32863 13086 16 0 209427 0
vsize: 837772
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 39927 54 0 0 25 0 11 0 838442923 857878528 32871 4294967295 134512640 134569956 3221224368 3221214552 1131366440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32871 13086 16 0 209427 0
vsize: 837772
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 40913 54 0 0 25 0 11 0 838442923 857878528 32877 4294967295 134512640 134569956 3221224368 3221214552 1131366899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32877 13086 16 0 209427 0
vsize: 837772
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 41900 55 0 0 25 0 11 0 838442923 857878528 32883 4294967295 134512640 134569956 3221224368 3221214656 1131465516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32883 13086 16 0 209427 0
vsize: 837772
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 42888 55 0 0 25 0 11 0 838442923 857878528 32889 4294967295 134512640 134569956 3221224368 3221214656 1131469236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32889 13086 16 0 209427 0
vsize: 837772
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 43875 55 0 0 25 0 11 0 838442923 857878528 32895 4294967295 134512640 134569956 3221224368 3221214552 1131367443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32895 13086 16 0 209427 0
vsize: 837772
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) S 347 20001 20000 0 -1 0 18061 0 1 0 44863 55 0 0 25 0 11 0 838442923 857878528 32901 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32901 13086 16 0 209427 0
vsize: 837772
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 45850 55 0 0 25 0 11 0 838442923 857878528 32905 4294967295 134512640 134569956 3221224368 3221214744 1131485434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 32905 13086 16 0 209427 0
vsize: 837772
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 46825 55 0 0 25 0 11 0 838442923 857878528 32908 4294967295 134512640 134569956 3221224368 3221214704 1131232729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32908 13086 16 0 209427 0
vsize: 837772
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 47802 55 0 0 25 0 11 0 838442923 857878528 32910 4294967295 134512640 134569956 3221224368 3221214744 1131485178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32910 13086 16 0 209427 0
vsize: 837772
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 48783 55 0 0 25 0 11 0 838442923 857878528 32913 4294967295 134512640 134569956 3221224368 3221214744 1131485449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32913 13086 16 0 209427 0
vsize: 837772
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 49760 55 0 0 25 0 11 0 838442923 857878528 32915 4294967295 134512640 134569956 3221224368 3221214744 1131485190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32915 13086 16 0 209427 0
vsize: 837772
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 50738 55 0 0 25 0 11 0 838442923 857878528 32916 4294967295 134512640 134569956 3221224368 3221214744 1131485565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32916 13086 16 0 209427 0
vsize: 837772
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 51717 55 0 0 25 0 11 0 838442923 857878528 32920 4294967295 134512640 134569956 3221224368 3221214744 1131485184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32920 13086 16 0 209427 0
vsize: 837772
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 52691 55 0 0 25 0 11 0 838442923 857878528 32922 4294967295 134512640 134569956 3221224368 3221214720 1131537069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32922 13086 16 0 209427 0
vsize: 837772
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 53664 56 0 0 25 0 11 0 838442923 857878528 32923 4294967295 134512640 134569956 3221224368 3221214608 1131423613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 32923 13086 16 0 209427 0
vsize: 837772
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 54632 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214640 1131299232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 55592 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214640 1131299099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 56551 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214744 1131485272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 57510 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214744 1131485552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 58480 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214744 1131485408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 59438 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214744 1131485184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 60397 56 0 0 25 0 11 0 838442923 857878528 32924 4294967295 134512640 134569956 3221224368 3221214700 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 32924 13086 16 0 209427 0
vsize: 837772
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 61365 56 0 0 25 0 11 0 838442923 857878528 33223 4294967295 134512640 134569956 3221224368 3221214640 1131298961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 33223 13086 16 0 209427 0
vsize: 837772
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 62341 56 0 0 25 0 11 0 838442923 857878528 33686 4294967295 134512640 134569956 3221224368 3221214616 1131456713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 33686 13086 16 0 209427 0
vsize: 837772
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 63320 56 0 0 25 0 11 0 838442923 857878528 33686 4294967295 134512640 134569956 3221224368 3221214744 1131485154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 33686 13086 16 0 209427 0
vsize: 837772
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 64279 56 0 0 25 0 11 0 838442923 857878528 33686 4294967295 134512640 134569956 3221224368 3221214640 1131299192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 33686 13086 16 0 209427 0
vsize: 837772
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 65232 56 0 0 25 0 11 0 838442923 857878528 33983 4294967295 134512640 134569956 3221224368 3221214632 1131321042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 33983 13086 16 0 209427 0
vsize: 837772
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 66172 56 0 0 25 0 11 0 838442923 857878528 34313 4294967295 134512640 134569956 3221224368 3221214528 1131270470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 34313 13086 16 0 209427 0
vsize: 837772
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 67088 56 0 0 25 0 11 0 838442923 857878528 34313 4294967295 134512640 134569956 3221224368 3221214720 1131537244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 34313 13086 16 0 209427 0
vsize: 837772
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 68004 56 0 0 25 0 11 0 838442923 857878528 34313 4294967295 134512640 134569956 3221224368 3221214616 1131299027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 34313 13086 16 0 209427 0
vsize: 837772
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 68917 56 0 0 25 0 11 0 838442923 857878528 34784 4294967295 134512640 134569956 3221224368 3221214616 1131298974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 34784 13086 16 0 209427 0
vsize: 837772
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 69910 57 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214616 1131299198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 70907 57 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214720 1131537066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 71904 57 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214720 1131537357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 72902 57 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214616 1131298961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 73899 58 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214616 1131367134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 74896 58 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214616 1131366840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 75894 58 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214720 1131537069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 76891 59 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214616 1131298910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 77888 59 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214720 1131537069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 78887 60 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214392 1131299014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 79860 60 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214744 1131485178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 80835 61 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214744 1131485235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 81817 61 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214704 1131232747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 82793 61 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214640 1131299319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 83769 62 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214640 1131298961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 84692 62 0 0 25 0 11 0 838442923 857878528 35132 4294967295 134512640 134569956 3221224368 3221214720 1131537357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35132 13086 16 0 209427 0
vsize: 837772
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 85628 62 0 0 25 0 11 0 838442923 857878528 35603 4294967295 134512640 134569956 3221224368 3221214616 1131299099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35603 13086 16 0 209427 0
vsize: 837772
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 86598 63 0 0 25 0 11 0 838442923 857878528 35603 4294967295 134512640 134569956 3221224368 3221214616 1131299617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35603 13086 16 0 209427 0
vsize: 837772
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 87577 63 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131367324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 88574 64 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131366988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 89572 64 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214720 1131537357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 90569 64 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131367372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 91567 65 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131299211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 92565 65 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131367029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 93563 66 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214616 1131298961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 94561 66 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214720 1131537357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 95559 66 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214720 1131537217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 96557 66 0 0 25 0 11 0 838442923 857878528 35949 4294967295 134512640 134569956 3221224368 3221214632 1131320860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35949 13086 16 0 209427 0
vsize: 837772
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 97542 66 0 0 25 0 11 0 838442923 857878528 35951 4294967295 134512640 134569956 3221224368 3221214640 1131299335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35951 13086 16 0 209427 0
vsize: 837772
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 98518 66 0 0 24 0 11 0 838442923 857878528 35951 4294967295 134512640 134569956 3221224368 3221214728 1131201371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35951 13086 16 0 209427 0
vsize: 837772
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 99463 66 0 0 25 0 11 0 838442923 857878528 35953 4294967295 134512640 134569956 3221224368 3221214720 1131537066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35953 13086 16 0 209427 0
vsize: 837772
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 100376 66 0 0 25 0 11 0 838442923 857878528 35953 4294967295 134512640 134569956 3221224368 3221214616 1131298775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35953 13086 16 0 209427 0
vsize: 837772
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 101289 66 0 0 25 0 11 0 838442923 857878528 35953 4294967295 134512640 134569956 3221224368 3221214616 1131299311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 35953 13086 16 0 209427 0
vsize: 837772
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 102246 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131366509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 103244 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131366899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 104241 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131299096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 105239 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131367033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 106237 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131299099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 107235 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131298820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 108233 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131298961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 109231 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214720 1131537516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 110229 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131366437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 111227 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214616 1131298961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 112219 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214760 1131485231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 113196 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214656 1131298961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 114171 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214632 1131300636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 115138 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214736 1131537357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 116102 66 0 0 25 0 11 0 838442923 857878528 36786 4294967295 134512640 134569956 3221224368 3221214736 1131537069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36786 13086 16 0 209427 0
vsize: 837772
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 117073 67 0 0 25 0 11 0 838442923 857878528 36819 4294967295 134512640 134569956 3221224368 3221214632 1131299211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 36819 13086 16 0 209427 0
vsize: 837772
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 118065 67 0 0 25 0 11 0 838442923 857878528 37118 4294967295 134512640 134569956 3221224368 3221214632 1131299099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 37118 13086 16 0 209427 0
vsize: 837772
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 119062 67 0 0 25 0 11 0 838442923 857878528 37118 4294967295 134512640 134569956 3221224368 3221214632 1131366840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 37118 13086 16 0 209427 0
vsize: 837772
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 358
Raw data (stat): 348 (java) R 347 20001 20000 0 -1 0 18061 0 1 0 120060 67 0 0 25 0 11 0 838442923 857878528 37118 4294967295 134512640 134569956 3221224368 3221214632 1131299069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 37118 13086 16 0 209427 0
vsize: 837772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 360
Raw data (stat): 348 (java) Z 347 20001 20000 0 -1 1036 18061 17746 1 0 120063 67 3640 49 25 0 1 0 838442923 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): 1240.17
CPU time (s): 1238.22
CPU user time (s): 1237.04
CPU system time (s): 1.17382
CPU usage (%): 99.8427
Max. virtual memory (Kb): 838076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####