PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb
MD5SUM	4a035426d91356eed5e979934e763294
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	9818
Biggest coefficient in the objective function	22009559908352000000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	1485172925553747165184
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	22009559908352000000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	1485172925553747165184
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.086985
Number of variables	9818
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	270
Trace number 16322

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 06:57:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13659 boxname=wulflinc18 idbench=1051 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4a035426d91356eed5e979934e763294  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-modglob.opb
IDLAUNCH: 13659
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        787152 kB
Buffers:          6788 kB
Cached:         214240 kB
SwapCached:        788 kB
Active:          44140 kB
Inactive:       179024 kB
HighTotal:      131008 kB
HighFree:        44324 kB
LowTotal:       903652 kB
LowFree:        742828 kB
SwapTotal:     2097892 kB
SwapFree:      2096320 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            18724 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:17:54 (client local time) WITH STATUS 143 IN 1232.49 SECONDS
stats: 13659 7 1232.49 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-modglob.opb
c reading problem 
c [nbvar=9818]
c [nbconstr=389]
c time 33.013
c #vars     9818
c #clauses  385
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
#### 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.56 0.84 0.87 2/55 24641
Raw data (stat): 24641 (runsolver) R 24640 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543086598 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.62 0.85 0.87 2/64 24650
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 17976 0 1 0 889 42 0 0 25 0 10 0 543086598 853577728 19145 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 19145 13073 16 0 208377 0
vsize: 833572
[startup+20.0012 s]
Raw data (loadavg): 0.68 0.85 0.87 2/64 24650
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 17976 0 1 0 1784 42 0 0 25 0 10 0 543086598 853843968 19704 4294967295 134512640 134569956 3221224400 3221214824 1131217599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208458 19704 13073 16 0 208442 0
vsize: 833832
[startup+30.0044 s]
Raw data (loadavg): 0.73 0.85 0.87 3/64 24650
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 17988 0 1 0 2676 42 0 0 25 0 10 0 543086598 855228416 20411 4294967295 134512640 134569956 3221224400 3221214524 1130919797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208796 20412 13073 16 0 208780 0
vsize: 835184
[startup+40.0101 s]
Raw data (loadavg): 0.77 0.86 0.87 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18031 0 1 0 3534 43 0 0 25 0 11 0 543086598 859607040 23471 4294967295 134512640 134569956 3221224400 3221214896 1079673841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209865 23471 13073 16 0 209849 0
vsize: 839460
[startup+50.0099 s]
Raw data (loadavg): 0.81 0.86 0.87 4/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18070 0 1 0 4465 44 0 0 25 0 11 0 543086598 859607040 23532 4294967295 134512640 134569956 3221224400 3221213740 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209865 23532 13073 16 0 209849 0
vsize: 839460
[startup+60.0102 s]
Raw data (loadavg): 0.84 0.87 0.87 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18072 0 1 0 5359 44 0 0 25 0 11 0 543086598 861212672 23971 4294967295 134512640 134569956 3221224400 3221214848 1131422091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 23971 13073 16 0 210241 0
vsize: 841028
[startup+70.0113 s]
Raw data (loadavg): 0.86 0.87 0.87 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18072 0 1 0 6343 44 0 0 24 0 11 0 543086598 860930048 23938 4294967295 134512640 134569956 3221224400 3221214728 1131524223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 23938 13073 16 0 210172 0
vsize: 840752
[startup+80.0128 s]
Raw data (loadavg): 0.96 0.89 0.88 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 7328 45 0 0 25 0 11 0 543086598 860930048 23955 4294967295 134512640 134569956 3221224400 3221214768 1131603476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 23955 13073 16 0 210172 0
vsize: 840752
[startup+90.0131 s]
Raw data (loadavg): 0.97 0.89 0.88 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 8312 45 0 0 25 0 11 0 543086598 860930048 23955 4294967295 134512640 134569956 3221224400 3221214896 1131630396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 23955 13073 16 0 210172 0
vsize: 840752
[startup+100.013 s]
Raw data (loadavg): 0.97 0.90 0.88 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 9293 45 0 0 25 0 11 0 543086598 860930048 23955 4294967295 134512640 134569956 3221224400 3221214680 1131263815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 23955 13073 16 0 210172 0
vsize: 840752
[startup+110.014 s]
Raw data (loadavg): 0.97 0.90 0.88 2/65 24651
Raw data (stat): 24641 (java) S 24640 20024 20023 0 -1 0 18073 0 1 0 10267 45 0 0 25 0 11 0 543086598 860930048 24089 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 24089 13073 16 0 210172 0
vsize: 840752
[startup+120.014 s]
Raw data (loadavg): 0.98 0.90 0.88 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 11235 46 0 0 25 0 11 0 543086598 860930048 24278 4294967295 134512640 134569956 3221224400 3221214768 1131603595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 24278 13073 16 0 210172 0
vsize: 840752
[startup+130.015 s]
Raw data (loadavg): 0.98 0.91 0.89 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 12208 46 0 0 25 0 11 0 543086598 860930048 24429 4294967295 134512640 134569956 3221224400 3221214768 1131603544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 24429 13073 16 0 210172 0
vsize: 840752
[startup+140.015 s]
Raw data (loadavg): 0.98 0.91 0.89 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 13179 46 0 0 25 0 11 0 543086598 860930048 24593 4294967295 134512640 134569956 3221224400 3221214816 1131482130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 24593 13073 16 0 210172 0
vsize: 840752
[startup+150.016 s]
Raw data (loadavg): 0.99 0.91 0.89 2/65 24651
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 14152 47 0 0 25 0 11 0 543086598 860930048 24746 4294967295 134512640 134569956 3221224400 3221214664 1131256879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 24746 13073 16 0 210172 0
vsize: 840752
[startup+160.016 s]
Raw data (loadavg): 1.07 0.93 0.89 2/65 24704
Raw data (stat): 24641 (java) S 24640 20024 20023 0 -1 0 18073 0 1 0 15120 51 0 0 25 0 11 0 543086598 860930048 24836 4294967295 134512640 134569956 3221224400 3221213416 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 24836 13073 16 0 210172 0
vsize: 840752
[startup+170.017 s]
Raw data (loadavg): 1.06 0.93 0.89 2/65 24704
Raw data (stat): 24641 (java) S 24640 20024 20023 0 -1 0 18073 0 1 0 16096 51 0 0 25 0 11 0 543086598 860930048 25044 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25044 13073 16 0 210172 0
vsize: 840752
[startup+180.018 s]
Raw data (loadavg): 1.05 0.93 0.90 2/65 24704
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 17069 52 0 0 25 0 11 0 543086598 860930048 25183 4294967295 134512640 134569956 3221224400 3221214768 1131603468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25183 13073 16 0 210172 0
vsize: 840752
[startup+190.019 s]
Raw data (loadavg): 1.04 0.94 0.90 2/65 24704
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 18039 52 0 0 25 0 11 0 543086598 860930048 25339 4294967295 134512640 134569956 3221224400 3221214760 1131563830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25339 13073 16 0 210172 0
vsize: 840752
[startup+200.02 s]
Raw data (loadavg): 1.03 0.94 0.90 2/65 24706
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 19010 53 0 0 25 0 11 0 543086598 860930048 25488 4294967295 134512640 134569956 3221224400 3221214664 1131256879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25488 13073 16 0 210172 0
vsize: 840752
[startup+210.021 s]
Raw data (loadavg): 1.10 0.96 0.90 2/65 24706
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 19992 53 0 0 25 0 11 0 543086598 860930048 25552 4294967295 134512640 134569956 3221224400 3221214664 1131430211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25552 13073 16 0 210172 0
vsize: 840752
[startup+220.022 s]
Raw data (loadavg): 1.08 0.96 0.90 2/65 24706
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 20961 53 0 0 25 0 11 0 543086598 860930048 25766 4294967295 134512640 134569956 3221224400 3221214768 1131603472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25766 13073 16 0 210172 0
vsize: 840752
[startup+230.024 s]
Raw data (loadavg): 1.07 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 21932 53 0 0 25 0 11 0 543086598 860930048 25939 4294967295 134512640 134569956 3221224400 3221214664 1131430296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 25939 13073 16 0 210172 0
vsize: 840752
[startup+240.025 s]
Raw data (loadavg): 1.06 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 22913 54 0 0 25 0 11 0 543086598 860930048 26043 4294967295 134512640 134569956 3221224400 3221214664 1131264190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26043 13073 16 0 210172 0
vsize: 840752
[startup+250.025 s]
Raw data (loadavg): 1.05 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 23884 54 0 0 25 0 11 0 543086598 860930048 26166 4294967295 134512640 134569956 3221224400 3221214752 1131397730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26166 13073 16 0 210172 0
vsize: 840752
[startup+260.025 s]
Raw data (loadavg): 1.04 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 24854 55 0 0 25 0 11 0 543086598 860930048 26342 4294967295 134512640 134569956 3221224400 3221214768 1131603468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26342 13073 16 0 210172 0
vsize: 840752
[startup+270.027 s]
Raw data (loadavg): 1.04 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 25824 55 0 0 24 0 11 0 543086598 860930048 26486 4294967295 134512640 134569956 3221224400 3221214768 1131603456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26486 13073 16 0 210172 0
vsize: 840752
[startup+280.027 s]
Raw data (loadavg): 1.03 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 26804 55 0 0 25 0 11 0 543086598 860930048 26625 4294967295 134512640 134569956 3221224400 3221214768 1131603472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 26625 13073 16 0 210172 0
vsize: 840752
[startup+290.028 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 27775 55 0 0 25 0 11 0 543086598 860930048 26800 4294967295 134512640 134569956 3221224400 3221214768 1131603595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26800 13073 16 0 210172 0
vsize: 840752
[startup+300.028 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 28754 55 0 0 25 0 11 0 543086598 860930048 26912 4294967295 134512640 134569956 3221224400 3221214496 1131684442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 26912 13073 16 0 210172 0
vsize: 840752
[startup+310.029 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 29724 56 0 0 25 0 11 0 543086598 860930048 27063 4294967295 134512640 134569956 3221224400 3221214744 1131235225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27063 13073 16 0 210172 0
vsize: 840752
[startup+320.03 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 30706 56 0 0 25 0 11 0 543086598 860930048 27118 4294967295 134512640 134569956 3221224400 3221214768 1131603476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27118 13073 16 0 210172 0
vsize: 840752
[startup+330.031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 31678 56 0 0 25 0 11 0 543086598 860930048 27177 4294967295 134512640 134569956 3221224400 3221214768 1131603476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27177 13073 16 0 210172 0
vsize: 840752
[startup+340.032 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 32652 56 0 0 25 0 11 0 543086598 860930048 27177 4294967295 134512640 134569956 3221224400 3221214896 1131630396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 27177 13073 16 0 210172 0
vsize: 840752
[startup+350.032 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 33626 56 0 0 25 0 11 0 543086598 860930048 27230 4294967295 134512640 134569956 3221224400 3221214568 1131460999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27230 13073 16 0 210172 0
vsize: 840752
[startup+360.033 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 34599 57 0 0 25 0 11 0 543086598 860930048 27230 4294967295 134512640 134569956 3221224400 3221214600 1131512069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27230 13073 16 0 210172 0
vsize: 840752
[startup+370.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 35573 57 0 0 25 0 11 0 543086598 860930048 27230 4294967295 134512640 134569956 3221224400 3221214664 1131429792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27230 13073 16 0 210172 0
vsize: 840752
[startup+380.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 36548 57 0 0 25 0 11 0 543086598 860930048 27387 4294967295 134512640 134569956 3221224400 3221214656 1131463492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27387 13073 16 0 210172 0
vsize: 840752
[startup+390.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 37521 57 0 0 25 0 11 0 543086598 860930048 27592 4294967295 134512640 134569956 3221224400 3221214600 1131511868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27592 13073 16 0 210172 0
vsize: 840752
[startup+400.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 38506 58 0 0 25 0 11 0 543086598 860930048 27761 4294967295 134512640 134569956 3221224400 3221214448 1131612113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27761 13073 16 0 210172 0
vsize: 840752
[startup+410.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 39496 58 0 0 25 0 11 0 543086598 860930048 27958 4294967295 134512640 134569956 3221224400 3221214384 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 27958 13073 16 0 210172 0
vsize: 840752
[startup+420.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 40490 58 0 0 25 0 11 0 543086598 860930048 28024 4294967295 134512640 134569956 3221224400 3221214520 1131533654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28024 13073 16 0 210172 0
vsize: 840752
[startup+430.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 41484 59 0 0 25 0 11 0 543086598 860930048 28049 4294967295 134512640 134569956 3221224400 3221214768 1131603476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28049 13073 16 0 210172 0
vsize: 840752
[startup+440.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 42479 59 0 0 25 0 11 0 543086598 860930048 28073 4294967295 134512640 134569956 3221224400 3221214672 1131468960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 28073 13073 16 0 210172 0
vsize: 840752
[startup+450.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 43474 59 0 0 25 0 11 0 543086598 860930048 28090 4294967295 134512640 134569956 3221224400 3221214768 1131603472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28090 13073 16 0 210172 0
vsize: 840752
[startup+460.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 44467 59 0 0 25 0 11 0 543086598 860930048 28103 4294967295 134512640 134569956 3221224400 3221214568 1131565249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28103 13073 16 0 210172 0
vsize: 840752
[startup+470.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 45462 59 0 0 25 0 11 0 543086598 860930048 28115 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28115 13073 16 0 210172 0
vsize: 840752
[startup+480.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 46457 59 0 0 25 0 11 0 543086598 860930048 28121 4294967295 134512640 134569956 3221224400 3221214608 1131509794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28121 13073 16 0 210172 0
vsize: 840752
[startup+490.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24708
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 47451 60 0 0 25 0 11 0 543086598 860930048 28133 4294967295 134512640 134569956 3221224400 3221214520 1131533992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28133 13073 16 0 210172 0
vsize: 840752
[startup+500.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24710
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 48445 61 0 0 25 0 11 0 543086598 860930048 28157 4294967295 134512640 134569956 3221224400 3221214384 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28157 13073 16 0 210172 0
vsize: 840752
[startup+510.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 49439 61 0 0 25 0 11 0 543086598 860930048 28169 4294967295 134512640 134569956 3221224400 3221214768 1131603472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 28169 13073 16 0 210172 0
vsize: 840752
[startup+520.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 50432 62 0 0 25 0 11 0 543086598 860930048 28194 4294967295 134512640 134569956 3221224400 3221214592 1131456504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28194 13073 16 0 210172 0
vsize: 840752
[startup+530.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 51426 62 0 0 25 0 11 0 543086598 860930048 28203 4294967295 134512640 134569956 3221224400 3221214648 1131559125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28203 13073 16 0 210172 0
vsize: 840752
[startup+540.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 52421 62 0 0 25 0 11 0 543086598 860930048 28222 4294967295 134512640 134569956 3221224400 3221214552 1131565333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28222 13073 16 0 210172 0
vsize: 840752
[startup+550.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 53415 63 0 0 25 0 11 0 543086598 860930048 28247 4294967295 134512640 134569956 3221224400 3221214532 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28247 13073 16 0 210172 0
vsize: 840752
[startup+560.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 54411 63 0 0 25 0 11 0 543086598 860930048 28258 4294967295 134512640 134569956 3221224400 3221214472 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28258 13073 16 0 210172 0
vsize: 840752
[startup+570.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 55406 63 0 0 25 0 11 0 543086598 860930048 28271 4294967295 134512640 134569956 3221224400 3221214600 1131512418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28271 13073 16 0 210172 0
vsize: 840752
[startup+580.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 56401 64 0 0 25 0 11 0 543086598 860930048 28295 4294967295 134512640 134569956 3221224400 3221214600 1131511488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28295 13073 16 0 210172 0
vsize: 840752
[startup+590.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 57397 64 0 0 25 0 11 0 543086598 860930048 28300 4294967295 134512640 134569956 3221224400 3221214520 1131533787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28300 13073 16 0 210172 0
vsize: 840752
[startup+600.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 58393 64 0 0 25 0 11 0 543086598 860930048 28313 4294967295 134512640 134569956 3221224400 3221214688 1131447212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28313 13073 16 0 210172 0
vsize: 840752
[startup+610.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 59389 64 0 0 25 0 11 0 543086598 860930048 28317 4294967295 134512640 134569956 3221224400 3221214600 1131511094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28317 13073 16 0 210172 0
vsize: 840752
[startup+620.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 60386 64 0 0 25 0 11 0 543086598 860930048 28354 4294967295 134512640 134569956 3221224400 3221214440 1080216945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28354 13073 16 0 210172 0
vsize: 840752
[startup+630.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 61382 65 0 0 25 0 11 0 543086598 860930048 28360 4294967295 134512640 134569956 3221224400 3221214680 1131264456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28360 13073 16 0 210172 0
vsize: 840752
[startup+640.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 62379 65 0 0 25 0 11 0 543086598 860930048 28368 4294967295 134512640 134569956 3221224400 3221214768 1131603482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28368 13073 16 0 210172 0
vsize: 840752
[startup+650.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 63376 65 0 0 25 0 11 0 543086598 860930048 28373 4294967295 134512640 134569956 3221224400 3221214768 1131603603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28373 13073 16 0 210172 0
vsize: 840752
[startup+660.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 64373 65 0 0 25 0 11 0 543086598 860930048 28378 4294967295 134512640 134569956 3221224400 3221214664 1131257052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28378 13073 16 0 210172 0
vsize: 840752
[startup+670.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 65368 66 0 0 25 0 11 0 543086598 860930048 28386 4294967295 134512640 134569956 3221224400 3221214768 1131603484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28386 13073 16 0 210172 0
vsize: 840752
[startup+680.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 66364 66 0 0 25 0 11 0 543086598 860930048 28389 4294967295 134512640 134569956 3221224400 3221214600 1131512117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28389 13073 16 0 210172 0
vsize: 840752
[startup+690.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 67360 66 0 0 25 0 11 0 543086598 860930048 28395 4294967295 134512640 134569956 3221224400 3221214452 1080217184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 28395 13073 16 0 210172 0
vsize: 840752
[startup+700.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 68356 66 0 0 25 0 11 0 543086598 860930048 28399 4294967295 134512640 134569956 3221224400 3221214568 1131461003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28399 13073 16 0 210172 0
vsize: 840752
[startup+710.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 69350 66 0 0 25 0 11 0 543086598 860930048 28417 4294967295 134512640 134569956 3221224400 3221214596 1131533420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28417 13073 16 0 210172 0
vsize: 840752
[startup+720.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 70347 67 0 0 25 0 11 0 543086598 860930048 28426 4294967295 134512640 134569956 3221224400 3221214600 1131512086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28426 13073 16 0 210172 0
vsize: 840752
[startup+730.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 71343 67 0 0 25 0 11 0 543086598 860930048 28432 4294967295 134512640 134569956 3221224400 3221214768 1131603456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28432 13073 16 0 210172 0
vsize: 840752
[startup+740.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 72339 67 0 0 25 0 11 0 543086598 860930048 28437 4294967295 134512640 134569956 3221224400 3221214520 1131534073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28437 13073 16 0 210172 0
vsize: 840752
[startup+750.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 73334 68 0 0 25 0 11 0 543086598 860930048 28441 4294967295 134512640 134569956 3221224400 3221214768 1131603456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28441 13073 16 0 210172 0
vsize: 840752
[startup+760.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 74327 68 0 0 25 0 11 0 543086598 860930048 28462 4294967295 134512640 134569956 3221224400 3221214680 1131264469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28462 13073 16 0 210172 0
vsize: 840752
[startup+770.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) S 24640 20024 20023 0 -1 0 18073 0 1 0 75323 68 0 0 25 0 11 0 543086598 860930048 28472 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28472 13073 16 0 210172 0
vsize: 840752
[startup+780.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 76318 69 0 0 25 0 11 0 543086598 860930048 28482 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28482 13073 16 0 210172 0
vsize: 840752
[startup+790.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24712
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 77315 69 0 0 25 0 11 0 543086598 860930048 28493 4294967295 134512640 134569956 3221224400 3221214768 1131603603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28493 13073 16 0 210172 0
vsize: 840752
[startup+800.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 78311 69 0 0 25 0 11 0 543086598 860930048 28502 4294967295 134512640 134569956 3221224400 3221214568 1131461013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28502 13073 16 0 210172 0
vsize: 840752
[startup+810.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 79306 70 0 0 25 0 11 0 543086598 860930048 28508 4294967295 134512640 134569956 3221224400 3221214768 1131603476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28508 13073 16 0 210172 0
vsize: 840752
[startup+820.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 80302 70 0 0 25 0 11 0 543086598 860930048 28513 4294967295 134512640 134569956 3221224400 3221214664 1131431132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28513 13073 16 0 210172 0
vsize: 840752
[startup+830.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 81298 71 0 0 25 0 11 0 543086598 860930048 28516 4294967295 134512640 134569956 3221224400 3221214520 1131533851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28516 13073 16 0 210172 0
vsize: 840752
[startup+840.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 82294 71 0 0 25 0 11 0 543086598 860930048 28526 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28526 13073 16 0 210172 0
vsize: 840752
[startup+850.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 83289 71 0 0 25 0 11 0 543086598 860930048 28547 4294967295 134512640 134569956 3221224400 3221214584 1131568131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28547 13073 16 0 210172 0
vsize: 840752
[startup+860.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 84284 71 0 0 25 0 11 0 543086598 860930048 28574 4294967295 134512640 134569956 3221224400 3221214664 1131431891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28574 13073 16 0 210172 0
vsize: 840752
[startup+870.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 85280 72 0 0 25 0 11 0 543086598 860930048 28578 4294967295 134512640 134569956 3221224400 3221214568 1131565253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 28578 13073 16 0 210172 0
vsize: 840752
[startup+880.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 86274 72 0 0 24 0 11 0 543086598 860930048 28588 4294967295 134512640 134569956 3221224400 3221214520 1131533887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28588 13073 16 0 210172 0
vsize: 840752
[startup+890.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 87270 73 0 0 25 0 11 0 543086598 860930048 28594 4294967295 134512640 134569956 3221224400 3221214520 1131534022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28594 13073 16 0 210172 0
vsize: 840752
[startup+900.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 88265 73 0 0 25 0 11 0 543086598 860930048 28601 4294967295 134512640 134569956 3221224400 3221214600 1131511587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28601 13073 16 0 210172 0
vsize: 840752
[startup+910.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 89260 73 0 0 25 0 11 0 543086598 860930048 28607 4294967295 134512640 134569956 3221224400 3221214552 1131534249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28607 13073 16 0 210172 0
vsize: 840752
[startup+920.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 90257 73 0 0 25 0 11 0 543086598 860930048 28609 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28609 13073 16 0 210172 0
vsize: 840752
[startup+930.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 91252 74 0 0 25 0 11 0 543086598 860930048 28613 4294967295 134512640 134569956 3221224400 3221214728 1131525471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28613 13073 16 0 210172 0
vsize: 840752
[startup+940.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 92247 74 0 0 25 0 11 0 543086598 860930048 28616 4294967295 134512640 134569956 3221224400 3221214360 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28616 13073 16 0 210172 0
vsize: 840752
[startup+950.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 93244 74 0 0 25 0 11 0 543086598 860930048 28623 4294967295 134512640 134569956 3221224400 3221214712 1131447298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28623 13073 16 0 210172 0
vsize: 840752
[startup+960.084 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 94240 75 0 0 25 0 11 0 543086598 860930048 28650 4294967295 134512640 134569956 3221224400 3221214456 1080217015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28650 13073 16 0 210172 0
vsize: 840752
[startup+970.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 95236 75 0 0 25 0 11 0 543086598 860930048 28680 4294967295 134512640 134569956 3221224400 3221214664 1131430141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28680 13073 16 0 210172 0
vsize: 840752
[startup+980.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) S 24640 20024 20023 0 -1 0 18073 0 1 0 96232 75 0 0 25 0 11 0 543086598 860930048 28688 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28689 13073 16 0 210172 0
vsize: 840752
[startup+990.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 97230 75 0 0 25 0 11 0 543086598 860930048 28699 4294967295 134512640 134569956 3221224400 3221214360 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28699 13073 16 0 210172 0
vsize: 840752
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 98227 75 0 0 25 0 11 0 543086598 860930048 28712 4294967295 134512640 134569956 3221224400 3221214520 1131533992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28712 13073 16 0 210172 0
vsize: 840752
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 99224 76 0 0 25 0 11 0 543086598 860930048 28726 4294967295 134512640 134569956 3221224400 3221214712 1131447270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28726 13073 16 0 210172 0
vsize: 840752
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 100221 76 0 0 25 0 11 0 543086598 860930048 28744 4294967295 134512640 134569956 3221224400 3221214480 1131538416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28744 13073 16 0 210172 0
vsize: 840752
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 101218 76 0 0 25 0 11 0 543086598 860930048 28747 4294967295 134512640 134569956 3221224400 3221214600 1131511561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28747 13073 16 0 210172 0
vsize: 840752
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 102215 76 0 0 25 0 11 0 543086598 860930048 28751 4294967295 134512640 134569956 3221224400 3221214568 1131565387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28751 13073 16 0 210172 0
vsize: 840752
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 103213 76 0 0 25 0 11 0 543086598 860930048 28754 4294967295 134512640 134569956 3221224400 3221214600 1131511738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28754 13073 16 0 210172 0
vsize: 840752
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 104210 76 0 0 25 0 11 0 543086598 860930048 28760 4294967295 134512640 134569956 3221224400 3221214600 1131511168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28760 13073 16 0 210172 0
vsize: 840752
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 105208 77 0 0 25 0 11 0 543086598 860930048 28761 4294967295 134512640 134569956 3221224400 3221214600 1131512135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28761 13073 16 0 210172 0
vsize: 840752
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 106204 77 0 0 25 0 11 0 543086598 860930048 28767 4294967295 134512640 134569956 3221224400 3221214580 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28767 13073 16 0 210172 0
vsize: 840752
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24714
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 107201 77 0 0 25 0 11 0 543086598 860930048 28772 4294967295 134512640 134569956 3221224400 3221214600 1131511651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28772 13073 16 0 210172 0
vsize: 840752
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 108199 78 0 0 25 0 11 0 543086598 860930048 28780 4294967295 134512640 134569956 3221224400 3221214520 1131533520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210188 28780 13073 16 0 210172 0
vsize: 840752
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 109197 78 0 0 25 0 11 0 543086598 860930048 28784 4294967295 134512640 134569956 3221224400 3221214568 1131461003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28784 13073 16 0 210172 0
vsize: 840752
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 110193 78 0 0 25 0 11 0 543086598 860930048 28788 4294967295 134512640 134569956 3221224400 3221214448 1131612113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28788 13073 16 0 210172 0
vsize: 840752
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 111189 78 0 0 25 0 11 0 543086598 860930048 28793 4294967295 134512640 134569956 3221224400 3221214592 1131455458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28793 13073 16 0 210172 0
vsize: 840752
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 112186 79 0 0 25 0 11 0 543086598 860930048 28798 4294967295 134512640 134569956 3221224400 3221214568 1131565450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28798 13073 16 0 210172 0
vsize: 840752
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 113183 79 0 0 25 0 11 0 543086598 860930048 28799 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28799 13073 16 0 210172 0
vsize: 840752
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 114180 79 0 0 25 0 11 0 543086598 860930048 28801 4294967295 134512640 134569956 3221224400 3221214776 1131362998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28801 13073 16 0 210172 0
vsize: 840752
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 115176 79 0 0 25 0 11 0 543086598 860930048 28806 4294967295 134512640 134569956 3221224400 3221214712 1131264290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28806 13073 16 0 210172 0
vsize: 840752
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 116172 80 0 0 25 0 11 0 543086598 860930048 28807 4294967295 134512640 134569956 3221224400 3221214600 1131512020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28807 13073 16 0 210172 0
vsize: 840752
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 117169 80 0 0 25 0 11 0 543086598 860930048 28808 4294967295 134512640 134569956 3221224400 3221214600 1131512000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28808 13073 16 0 210172 0
vsize: 840752
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 118164 80 0 0 24 0 11 0 543086598 860930048 28810 4294967295 134512640 134569956 3221224400 3221214600 1131512013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28810 13073 16 0 210172 0
vsize: 840752
[startup+1210.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 119160 80 0 0 25 0 11 0 543086598 860930048 28811 4294967295 134512640 134569956 3221224400 3221214520 1131533507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28811 13073 16 0 210172 0
vsize: 840752
[startup+1220.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 24716
Raw data (stat): 24641 (java) R 24640 20024 20023 0 -1 0 18073 0 1 0 120156 81 0 0 25 0 11 0 543086598 860930048 28831 4294967295 134512640 134569956 3221224400 3221214360 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210188 28831 13073 16 0 210172 0
vsize: 840752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.21 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 24718
Raw data (stat): 24641 (java) Z 24640 20024 20023 0 -1 1036 18073 12763 1 0 120160 86 2970 31 25 0 1 0 543086598 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): 1220.21
CPU time (s): 1232.49
CPU user time (s): 1231.31
CPU system time (s): 1.17982
CPU usage (%): 101.006
Max. virtual memory (Kb): 841028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####