PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUM	b74fb9cd57e8b4068255c4ac98aa23ca
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3191
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	416734
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.12
Number of variables	5932
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	453
Trace number 18873

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 16:56:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17403 boxname=wulflinc5 idbench=1339 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 17403
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        674848 kB
Buffers:          5824 kB
Cached:         332716 kB
SwapCached:        304 kB
Active:          32056 kB
Inactive:       308996 kB
HighTotal:      131008 kB
HighFree:        24136 kB
LowTotal:       903652 kB
LowFree:        650712 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13080 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 17:17:16 (client local time) WITH STATUS 143 IN 1270.28 SECONDS
stats: 17403 7 1270.28 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
c reading problem 
c [nbvar=5932]
c [nbconstr=1321]
c time 14.394
c #vars     5932
c #clauses  958
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.91 0.95 0.94 2/54 25537
Raw data (stat): 25537 (runsolver) R 25536 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488467915 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.94 2/63 25546
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 17992 0 1 0 867 41 0 0 24 0 10 0 488467915 854106112 19459 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 19459 13073 16 0 208506 0
vsize: 834088
[startup+20.002 s]
Raw data (loadavg): 1.10 0.99 0.95 4/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18070 0 1 0 1616 43 0 0 25 0 11 0 488467915 869298176 24010 4294967295 134512640 134569956 3221224400 3221214656 1130909261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 24010 13073 16 0 212215 0
vsize: 848924
[startup+30.0037 s]
Raw data (loadavg): 1.24 1.02 0.96 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18074 0 1 0 2467 43 0 0 25 0 11 0 488467915 872157184 25077 4294967295 134512640 134569956 3221224400 3221214608 1131429896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212929 25077 13073 16 0 212913 0
vsize: 851716
[startup+40.0041 s]
Raw data (loadavg): 1.28 1.04 0.96 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18075 0 1 0 3376 43 0 0 25 0 11 0 488467915 874463232 25785 4294967295 134512640 134569956 3221224400 3221214768 1131352778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213492 25785 13073 16 0 213476 0
vsize: 853968
[startup+50.0107 s]
Raw data (loadavg): 1.24 1.04 0.96 2/64 25547
Raw data (stat): 25537 (java) S 25536 24215 24214 0 -1 0 18075 0 1 0 4303 43 0 0 25 0 11 0 488467915 871505920 25130 4294967295 134512640 134569956 3221224400 3221213576 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212770 25130 13073 16 0 212754 0
vsize: 851080
[startup+60.0109 s]
Raw data (loadavg): 1.36 1.07 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18075 0 1 0 5226 43 0 0 25 0 11 0 488467915 866947072 24193 4294967295 134512640 134569956 3221224400 3221214592 1131463026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 24193 13073 16 0 211641 0
vsize: 846628
[startup+70.0112 s]
Raw data (loadavg): 1.30 1.06 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 6183 44 0 0 25 0 11 0 488467915 866947072 24775 4294967295 134512640 134569956 3221224400 3221214592 1131248380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 24775 13073 16 0 211641 0
vsize: 846628
[startup+80.0126 s]
Raw data (loadavg): 1.26 1.06 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 7151 44 0 0 25 0 11 0 488467915 866947072 24868 4294967295 134512640 134569956 3221224400 3221214616 1131288789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 24868 13073 16 0 211641 0
vsize: 846628
[startup+90.0132 s]
Raw data (loadavg): 1.22 1.06 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 8105 44 0 0 25 0 11 0 488467915 866947072 24911 4294967295 134512640 134569956 3221224400 3221214696 1131559773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 24911 13073 16 0 211641 0
vsize: 846628
[startup+100.012 s]
Raw data (loadavg): 1.18 1.06 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 9059 45 0 0 25 0 11 0 488467915 866947072 24984 4294967295 134512640 134569956 3221224400 3221214744 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 24984 13073 16 0 211641 0
vsize: 846628
[startup+110.014 s]
Raw data (loadavg): 1.15 1.05 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 10015 45 0 0 25 0 11 0 488467915 866947072 25082 4294967295 134512640 134569956 3221224400 3221214584 1131464096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25082 13073 16 0 211641 0
vsize: 846628
[startup+120.015 s]
Raw data (loadavg): 1.13 1.05 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 10969 46 0 0 24 0 11 0 488467915 866947072 25237 4294967295 134512640 134569956 3221224400 3221214592 1131248564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25237 13073 16 0 211641 0
vsize: 846628
[startup+130.015 s]
Raw data (loadavg): 1.11 1.05 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 11933 47 0 0 25 0 11 0 488467915 866947072 25369 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25369 13073 16 0 211641 0
vsize: 846628
[startup+140.016 s]
Raw data (loadavg): 1.09 1.05 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 12892 47 0 0 25 0 11 0 488467915 866947072 25498 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25498 13073 16 0 211641 0
vsize: 846628
[startup+150.016 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 13859 47 0 0 25 0 11 0 488467915 866947072 25624 4294967295 134512640 134569956 3221224400 3221214592 1131248336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25624 13073 16 0 211641 0
vsize: 846628
[startup+160.016 s]
Raw data (loadavg): 1.07 1.04 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 14820 47 0 0 25 0 11 0 488467915 866947072 25707 4294967295 134512640 134569956 3221224400 3221214716 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25707 13073 16 0 211641 0
vsize: 846628
[startup+170.017 s]
Raw data (loadavg): 1.06 1.04 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 15789 48 0 0 25 0 11 0 488467915 866947072 25806 4294967295 134512640 134569956 3221224400 3221214840 1131347424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25806 13073 16 0 211641 0
vsize: 846628
[startup+180.019 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 16757 48 0 0 25 0 11 0 488467915 866947072 25925 4294967295 134512640 134569956 3221224400 3221214696 1131561476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 25925 13073 16 0 211641 0
vsize: 846628
[startup+190.019 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 17731 48 0 0 25 0 11 0 488467915 866947072 26017 4294967295 134512640 134569956 3221224400 3221214728 1131263508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26017 13073 16 0 211641 0
vsize: 846628
[startup+200.019 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 18702 48 0 0 25 0 11 0 488467915 866947072 26124 4294967295 134512640 134569956 3221224400 3221214896 1131316309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26124 13073 16 0 211641 0
vsize: 846628
[startup+210.02 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 25547
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 19664 49 0 0 25 0 11 0 488467915 866947072 26242 4294967295 134512640 134569956 3221224400 3221214840 1131347428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26242 13073 16 0 211641 0
vsize: 846628
[startup+220.021 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 25548
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 20628 49 0 0 25 0 11 0 488467915 866947072 26307 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211657 26307 13073 16 0 211641 0
vsize: 846628
[startup+230.023 s]
Raw data (loadavg): 1.17 1.06 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 21594 53 0 0 24 0 11 0 488467915 866947072 26348 4294967295 134512640 134569956 3221224400 3221214936 1131306201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26348 13073 16 0 211641 0
vsize: 846628
[startup+240.023 s]
Raw data (loadavg): 1.14 1.06 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 22557 53 0 0 25 0 11 0 488467915 866947072 26382 4294967295 134512640 134569956 3221224400 3221214696 1131559780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26382 13073 16 0 211641 0
vsize: 846628
[startup+250.024 s]
Raw data (loadavg): 1.12 1.06 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 23526 53 0 0 25 0 11 0 488467915 866947072 26557 4294967295 134512640 134569956 3221224400 3221214800 1131223286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26557 13073 16 0 211641 0
vsize: 846628
[startup+260.025 s]
Raw data (loadavg): 1.10 1.06 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 24493 54 0 0 25 0 11 0 488467915 866947072 26725 4294967295 134512640 134569956 3221224400 3221214592 1131247939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26725 13073 16 0 211641 0
vsize: 846628
[startup+270.024 s]
Raw data (loadavg): 1.08 1.05 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 25464 54 0 0 25 0 11 0 488467915 866947072 26791 4294967295 134512640 134569956 3221224400 3221214592 1131248223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26791 13073 16 0 211641 0
vsize: 846628
[startup+280.025 s]
Raw data (loadavg): 1.07 1.05 0.98 2/64 25600
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 26431 54 0 0 25 0 11 0 488467915 866947072 26803 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26803 13073 16 0 211641 0
vsize: 846628
[startup+290.026 s]
Raw data (loadavg): 1.06 1.05 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 27392 54 0 0 25 0 11 0 488467915 866947072 26907 4294967295 134512640 134569956 3221224400 3221214800 1131223392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 26907 13073 16 0 211641 0
vsize: 846628
[startup+300.026 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 28355 54 0 0 25 0 11 0 488467915 866947072 27055 4294967295 134512640 134569956 3221224400 3221214712 1131388386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27055 13073 16 0 211641 0
vsize: 846628
[startup+310.026 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 29325 54 0 0 25 0 11 0 488467915 866947072 27179 4294967295 134512640 134569956 3221224400 3221214800 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27179 13073 16 0 211641 0
vsize: 846628
[startup+320.026 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 30296 54 0 0 24 0 11 0 488467915 866947072 27313 4294967295 134512640 134569956 3221224400 3221214712 1131388433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27313 13073 16 0 211641 0
vsize: 846628
[startup+330.027 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 31273 54 0 0 25 0 11 0 488467915 866947072 27358 4294967295 134512640 134569956 3221224400 3221214696 1131559656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27358 13073 16 0 211641 0
vsize: 846628
[startup+340.027 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 32247 54 0 0 25 0 11 0 488467915 866947072 27380 4294967295 134512640 134569956 3221224400 3221214800 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27380 13073 16 0 211641 0
vsize: 846628
[startup+350.028 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 33214 54 0 0 25 0 11 0 488467915 866947072 27409 4294967295 134512640 134569956 3221224400 3221214840 1131347700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27409 13073 16 0 211641 0
vsize: 846628
[startup+360.028 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 34179 54 0 0 25 0 11 0 488467915 866947072 27479 4294967295 134512640 134569956 3221224400 3221214800 1131223241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27479 13073 16 0 211641 0
vsize: 846628
[startup+370.028 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 35146 55 0 0 25 0 11 0 488467915 866947072 27573 4294967295 134512640 134569956 3221224400 3221214408 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27573 13073 16 0 211641 0
vsize: 846628
[startup+380.029 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 36118 55 0 0 25 0 11 0 488467915 866947072 27652 4294967295 134512640 134569956 3221224400 3221214800 1131222829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27652 13073 16 0 211641 0
vsize: 846628
[startup+390.029 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 37094 55 0 0 25 0 11 0 488467915 866947072 27722 4294967295 134512640 134569956 3221224400 3221214592 1131248220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27722 13073 16 0 211641 0
vsize: 846628
[startup+400.029 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 38071 55 0 0 25 0 11 0 488467915 866947072 27789 4294967295 134512640 134569956 3221224400 3221214584 1131463481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27789 13073 16 0 211641 0
vsize: 846628
[startup+410.029 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 39048 55 0 0 25 0 11 0 488467915 866947072 27868 4294967295 134512640 134569956 3221224400 3221214512 1131675955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27868 13073 16 0 211641 0
vsize: 846628
[startup+420.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 40028 55 0 0 25 0 11 0 488467915 866947072 27891 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27891 13073 16 0 211641 0
vsize: 846628
[startup+430.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 41014 55 0 0 24 0 11 0 488467915 866947072 27973 4294967295 134512640 134569956 3221224400 3221214736 1131248452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 27973 13073 16 0 211641 0
vsize: 846628
[startup+440.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 41997 55 0 0 25 0 11 0 488467915 866947072 28041 4294967295 134512640 134569956 3221224400 3221214696 1131559639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28041 13073 16 0 211641 0
vsize: 846628
[startup+450.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 42983 55 0 0 25 0 11 0 488467915 866947072 28095 4294967295 134512640 134569956 3221224400 3221214696 1131559624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28095 13073 16 0 211641 0
vsize: 846628
[startup+460.031 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 43970 55 0 0 25 0 11 0 488467915 866947072 28095 4294967295 134512640 134569956 3221224400 3221214840 1131185221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28095 13073 16 0 211641 0
vsize: 846628
[startup+470.032 s]
Raw data (loadavg): 1.00 1.02 0.98 3/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 44952 56 0 0 25 0 11 0 488467915 866947072 28164 4294967295 134512640 134569956 3221224400 3221214800 1131223723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211657 28164 13073 16 0 211641 0
vsize: 846628
[startup+480.032 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 45932 56 0 0 25 0 11 0 488467915 866947072 28212 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28212 13073 16 0 211641 0
vsize: 846628
[startup+490.033 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 46912 56 0 0 25 0 11 0 488467915 866947072 28212 4294967295 134512640 134569956 3221224400 3221214696 1131559639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28212 13073 16 0 211641 0
vsize: 846628
[startup+500.033 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 47885 56 0 0 25 0 11 0 488467915 866947072 28256 4294967295 134512640 134569956 3221224400 3221214840 1131347700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28256 13073 16 0 211641 0
vsize: 846628
[startup+510.034 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 48852 56 0 0 25 0 11 0 488467915 866947072 28287 4294967295 134512640 134569956 3221224400 3221214592 1131248427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28287 13073 16 0 211641 0
vsize: 846628
[startup+520.034 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 49825 56 0 0 25 0 11 0 488467915 866947072 28327 4294967295 134512640 134569956 3221224400 3221214696 1131559616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28327 13073 16 0 211641 0
vsize: 846628
[startup+530.035 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 50799 56 0 0 25 0 11 0 488467915 866947072 28359 4294967295 134512640 134569956 3221224400 3221214696 1131559650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28359 13073 16 0 211641 0
vsize: 846628
[startup+540.036 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 25602
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 51764 56 0 0 25 0 11 0 488467915 866947072 28438 4294967295 134512640 134569956 3221224400 3221214712 1131410845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28438 13073 16 0 211641 0
vsize: 846628
[startup+550.035 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 52731 56 0 0 25 0 11 0 488467915 866947072 28504 4294967295 134512640 134569956 3221224400 3221214840 1131185213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28504 13073 16 0 211641 0
vsize: 846628
[startup+560.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 53697 56 0 0 25 0 11 0 488467915 866947072 28549 4294967295 134512640 134569956 3221224400 3221214696 1131559628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28549 13073 16 0 211641 0
vsize: 846628
[startup+570.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18076 0 1 0 54659 56 0 0 25 0 11 0 488467915 866947072 28593 4294967295 134512640 134569956 3221224400 3221214840 1131185216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28593 13073 16 0 211641 0
vsize: 846628
[startup+580.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 55608 57 0 0 25 0 11 0 488467915 866947072 28696 4294967295 134512640 134569956 3221224400 3221214736 1131237357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28696 13073 16 0 211641 0
vsize: 846628
[startup+590.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 56563 57 0 0 25 0 11 0 488467915 866947072 28829 4294967295 134512640 134569956 3221224400 3221214216 1131777116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28829 13073 16 0 211641 0
vsize: 846628
[startup+600.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 57524 57 0 0 25 0 11 0 488467915 866947072 28912 4294967295 134512640 134569956 3221224400 3221214592 1131248547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 28912 13073 16 0 211641 0
vsize: 846628
[startup+610.038 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 58477 57 0 0 25 0 11 0 488467915 866947072 29098 4294967295 134512640 134569956 3221224400 3221214584 1131464354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29098 13073 16 0 211641 0
vsize: 846628
[startup+620.038 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 59433 57 0 0 25 0 11 0 488467915 866947072 29256 4294967295 134512640 134569956 3221224400 3221214800 1131223241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29256 13073 16 0 211641 0
vsize: 846628
[startup+630.039 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 60393 57 0 0 25 0 11 0 488467915 866947072 29388 4294967295 134512640 134569956 3221224400 3221214592 1131248351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29388 13073 16 0 211641 0
vsize: 846628
[startup+640.039 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 61351 57 0 0 24 0 11 0 488467915 866947072 29482 4294967295 134512640 134569956 3221224400 3221214696 1131559646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29482 13073 16 0 211641 0
vsize: 846628
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 62316 57 0 0 25 0 11 0 488467915 866947072 29593 4294967295 134512640 134569956 3221224400 3221214696 1131559632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211657 29593 13073 16 0 211641 0
vsize: 846628
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 63270 57 0 0 25 0 11 0 488467915 866947072 29749 4294967295 134512640 134569956 3221224400 3221214696 1131559636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29749 13073 16 0 211641 0
vsize: 846628
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 64232 57 0 0 25 0 11 0 488467915 866947072 29814 4294967295 134512640 134569956 3221224400 3221214584 1131463074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29814 13073 16 0 211641 0
vsize: 846628
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 65185 57 0 0 25 0 11 0 488467915 866947072 29999 4294967295 134512640 134569956 3221224400 3221214824 1131185219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 29999 13073 16 0 211641 0
vsize: 846628
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 66132 58 0 0 25 0 11 0 488467915 866947072 30184 4294967295 134512640 134569956 3221224400 3221214696 1131247888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30184 13073 16 0 211641 0
vsize: 846628
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 67084 58 0 0 25 0 11 0 488467915 866947072 30305 4294967295 134512640 134569956 3221224400 3221214056 1131777144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30305 13073 16 0 211641 0
vsize: 846628
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 68048 58 0 0 25 0 11 0 488467915 866947072 30451 4294967295 134512640 134569956 3221224400 3221214800 1131347703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30451 13073 16 0 211641 0
vsize: 846628
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 69020 58 0 0 24 0 11 0 488467915 866947072 30560 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30560 13073 16 0 211641 0
vsize: 846628
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 69995 58 0 0 25 0 11 0 488467915 866947072 30627 4294967295 134512640 134569956 3221224400 3221214784 1131223233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30627 13073 16 0 211641 0
vsize: 846628
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 70969 58 0 0 25 0 11 0 488467915 866947072 30710 4294967295 134512640 134569956 3221224400 3221214880 1131316776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30710 13073 16 0 211641 0
vsize: 846628
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 71935 59 0 0 24 0 11 0 488467915 866947072 30737 4294967295 134512640 134569956 3221224400 3221214824 1131185259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30737 13073 16 0 211641 0
vsize: 846628
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 72903 59 0 0 25 0 11 0 488467915 866947072 30791 4294967295 134512640 134569956 3221224400 3221214536 1131777621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30791 13073 16 0 211641 0
vsize: 846628
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 73867 59 0 0 25 0 11 0 488467915 866947072 30883 4294967295 134512640 134569956 3221224400 3221214784 1131223250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 30883 13073 16 0 211641 0
vsize: 846628
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 74838 59 0 0 25 0 11 0 488467915 866947072 31002 4294967295 134512640 134569956 3221224400 3221214784 1131224091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31002 13073 16 0 211641 0
vsize: 846628
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 75810 59 0 0 24 0 11 0 488467915 866947072 31077 4294967295 134512640 134569956 3221224400 3221214784 1131222975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31077 13073 16 0 211641 0
vsize: 846628
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 76778 59 0 0 25 0 11 0 488467915 866947072 31172 4294967295 134512640 134569956 3221224400 3221214656 1131559632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31172 13073 16 0 211641 0
vsize: 846628
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 77743 59 0 0 25 0 11 0 488467915 866947072 31279 4294967295 134512640 134569956 3221224400 3221214824 1131185237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31279 13073 16 0 211641 0
vsize: 846628
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 78717 59 0 0 25 0 11 0 488467915 866947072 31357 4294967295 134512640 134569956 3221224400 3221214784 1131222796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31357 13073 16 0 211641 0
vsize: 846628
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 79688 59 0 0 25 0 11 0 488467915 866947072 31448 4294967295 134512640 134569956 3221224400 3221214824 1131185216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31448 13073 16 0 211641 0
vsize: 846628
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 80662 60 0 0 25 0 11 0 488467915 866947072 31530 4294967295 134512640 134569956 3221224400 3221214824 1131333125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31530 13073 16 0 211641 0
vsize: 846628
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) S 25536 24215 24214 0 -1 0 18077 0 1 0 81629 60 0 0 25 0 11 0 488467915 866947072 31605 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31605 13073 16 0 211641 0
vsize: 846628
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 82590 60 0 0 25 0 11 0 488467915 866947072 31677 4294967295 134512640 134569956 3221224400 3221214576 1131288789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31677 13073 16 0 211641 0
vsize: 846628
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 83557 60 0 0 25 0 11 0 488467915 866947072 31770 4294967295 134512640 134569956 3221224400 3221214552 1131248220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31770 13073 16 0 211641 0
vsize: 846628
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 84522 60 0 0 25 0 11 0 488467915 866947072 31864 4294967295 134512640 134569956 3221224400 3221214656 1131559780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31864 13073 16 0 211641 0
vsize: 846628
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 85484 60 0 0 25 0 11 0 488467915 866947072 31956 4294967295 134512640 134569956 3221224400 3221214656 1131559636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 31956 13073 16 0 211641 0
vsize: 846628
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 86443 60 0 0 25 0 11 0 488467915 866947072 32084 4294967295 134512640 134569956 3221224400 3221214544 1131464285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32084 13073 16 0 211641 0
vsize: 846628
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 87394 60 0 0 25 0 11 0 488467915 866947072 32211 4294967295 134512640 134569956 3221224400 3221214656 1131559780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32211 13073 16 0 211641 0
vsize: 846628
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 88361 60 0 0 25 0 11 0 488467915 866947072 32355 4294967295 134512640 134569956 3221224400 3221214784 1131223350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32355 13073 16 0 211641 0
vsize: 846628
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 89332 61 0 0 25 0 11 0 488467915 866947072 32470 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32470 13073 16 0 211641 0
vsize: 846628
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 90305 61 0 0 25 0 11 0 488467915 866947072 32574 4294967295 134512640 134569956 3221224400 3221214656 1131559773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32574 13073 16 0 211641 0
vsize: 846628
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 91280 61 0 0 25 0 11 0 488467915 866947072 32622 4294967295 134512640 134569956 3221224400 3221214544 1131465815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32622 13073 16 0 211641 0
vsize: 846628
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 92252 61 0 0 25 0 11 0 488467915 866947072 32668 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32668 13073 16 0 211641 0
vsize: 846628
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 93220 61 0 0 25 0 11 0 488467915 866947072 32733 4294967295 134512640 134569956 3221224400 3221214568 1131314418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32733 13073 16 0 211641 0
vsize: 846628
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 94185 61 0 0 25 0 11 0 488467915 866947072 32821 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32821 13073 16 0 211641 0
vsize: 846628
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 95150 61 0 0 25 0 11 0 488467915 866947072 32887 4294967295 134512640 134569956 3221224400 3221214544 1131465970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32887 13073 16 0 211641 0
vsize: 846628
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) S 25536 24215 24214 0 -1 0 18077 0 1 0 96114 61 0 0 25 0 11 0 488467915 866947072 32986 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 32986 13073 16 0 211641 0
vsize: 846628
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 97073 61 0 0 25 0 11 0 488467915 866947072 33107 4294967295 134512640 134569956 3221224400 3221214920 1131306201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33107 13073 16 0 211641 0
vsize: 846628
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 98038 61 0 0 25 0 11 0 488467915 866947072 33220 4294967295 134512640 134569956 3221224400 3221214656 1131559780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33220 13073 16 0 211641 0
vsize: 846628
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 98998 61 0 0 25 0 11 0 488467915 866947072 33315 4294967295 134512640 134569956 3221224400 3221214824 1131185237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33315 13073 16 0 211641 0
vsize: 846628
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 99960 62 0 0 25 0 11 0 488467915 866947072 33441 4294967295 134512640 134569956 3221224400 3221214544 1131463309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33441 13073 16 0 211641 0
vsize: 846628
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 100922 62 0 0 25 0 11 0 488467915 866947072 33586 4294967295 134512640 134569956 3221224400 3221214784 1131223546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33586 13073 16 0 211641 0
vsize: 846628
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 101892 62 0 0 25 0 11 0 488467915 866947072 33707 4294967295 134512640 134569956 3221224400 3221214800 1131786876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33707 13073 16 0 211641 0
vsize: 846628
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 102866 62 0 0 25 0 11 0 488467915 866947072 33789 4294967295 134512640 134569956 3221224400 3221214784 1131222789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211657 33789 13073 16 0 211641 0
vsize: 846628
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 103835 62 0 0 25 0 11 0 488467915 866947072 33885 4294967295 134512640 134569956 3221224400 3221214872 1131786896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 33885 13073 16 0 211641 0
vsize: 846628
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 104794 62 0 0 24 0 11 0 488467915 866947072 34031 4294967295 134512640 134569956 3221224400 3221214920 1131306201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34031 13073 16 0 211641 0
vsize: 846628
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 105762 63 0 0 25 0 11 0 488467915 866947072 34145 4294967295 134512640 134569956 3221224400 3221214824 1131185216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34145 13073 16 0 211641 0
vsize: 846628
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 106733 63 0 0 25 0 11 0 488467915 866947072 34269 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34269 13073 16 0 211641 0
vsize: 846628
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 107713 63 0 0 25 0 11 0 488467915 866947072 34328 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34328 13073 16 0 211641 0
vsize: 846628
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 108693 63 0 0 25 0 11 0 488467915 866947072 34359 4294967295 134512640 134569956 3221224400 3221214784 1131224096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34359 13073 16 0 211641 0
vsize: 846628
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 109675 63 0 0 25 0 11 0 488467915 866947072 34389 4294967295 134512640 134569956 3221224400 3221214784 1131222789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34389 13073 16 0 211641 0
vsize: 846628
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 110658 63 0 0 25 0 11 0 488467915 866947072 34421 4294967295 134512640 134569956 3221224400 3221214856 1131307057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34421 13073 16 0 211641 0
vsize: 846628
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) S 25536 24215 24214 0 -1 0 18077 0 1 0 111643 63 0 0 25 0 11 0 488467915 866947072 34443 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34443 13073 16 0 211641 0
vsize: 846628
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 112633 63 0 0 25 0 11 0 488467915 866947072 34458 4294967295 134512640 134569956 3221224400 3221214824 1131185216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34458 13073 16 0 211641 0
vsize: 846628
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 113614 63 0 0 25 0 11 0 488467915 866947072 34490 4294967295 134512640 134569956 3221224400 3221214880 1131316485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34490 13073 16 0 211641 0
vsize: 846628
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 114600 63 0 0 24 0 11 0 488467915 866947072 34506 4294967295 134512640 134569956 3221224400 3221214824 1131185294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34506 13073 16 0 211641 0
vsize: 846628
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 115581 63 0 0 24 0 11 0 488467915 866947072 34559 4294967295 134512640 134569956 3221224400 3221214784 1131223250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34559 13073 16 0 211641 0
vsize: 846628
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 116565 63 0 0 25 0 11 0 488467915 866947072 34585 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34585 13073 16 0 211641 0
vsize: 846628
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 117551 64 0 0 25 0 11 0 488467915 866947072 34606 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34606 13073 16 0 211641 0
vsize: 846628
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 118536 64 0 0 25 0 11 0 488467915 866947072 34621 4294967295 134512640 134569956 3221224400 3221214784 1131223297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34621 13073 16 0 211641 0
vsize: 846628
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 119528 64 0 0 25 0 11 0 488467915 866947072 34628 4294967295 134512640 134569956 3221224400 3221214784 1131223786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34628 13073 16 0 211641 0
vsize: 846628
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25604
Raw data (stat): 25537 (java) R 25536 24215 24214 0 -1 0 18077 0 1 0 120521 64 0 0 25 0 11 0 488467915 866947072 34640 4294967295 134512640 134569956 3221224400 3221214160 1131779623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211657 34640 13073 16 0 211641 0
vsize: 846628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 25606
Raw data (stat): 25537 (java) Z 25536 24215 24214 0 -1 1036 18077 29258 1 0 120527 70 6354 75 25 0 1 0 488467915 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.2
CPU time (s): 1270.28
CPU user time (s): 1268.82
CPU system time (s): 1.46278
CPU usage (%): 101.606
Max. virtual memory (Kb): 853968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####