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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
MD5SUMd3bbe7ee2ebffaf54618c2406e4fe00a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 7208
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 75579306006666674176
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 75579306006666674176
Number of bits of the biggest sum of numbers67
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1246.29
Number of variables12008
Total number of constraints792
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)136
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint100

Trace number 14148

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-20 22:58:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19574 boxname=wulflinc11 idbench=1506 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d3bbe7ee2ebffaf54618c2406e4fe00a  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-neos14.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-neos14.opb
IDLAUNCH: 19574
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        953056 kB
Buffers:          3608 kB
Cached:          57320 kB
SwapCached:          0 kB
Active:          26808 kB
Inactive:        36880 kB
HighTotal:      131008 kB
HighFree:        70868 kB
LowTotal:       903652 kB
LowFree:        882188 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12300 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:18:34 (client local time) WITH STATUS 143 IN 1242.93 SECONDS
stats: 19574 7 1242.93 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-neos14.opb
c reading problem 
c [nbvar=12008]
c [nbconstr=792]
c time 49.139
c #vars     12008
c #clauses  897
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.81 0.95 0.98 2/54 24126
Raw data (stat): 24126 (runsolver) R 24125 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481993999 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+9.99985 s]
Raw data (loadavg): 0.84 0.95 0.98 2/63 24135
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 17980 0 1 0 882 47 0 0 25 0 10 0 481993999 853307392 19082 4294967295 134512640 134569956 3221224400 3221214744 1131173377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208327 19082 13073 16 0 208311 0
vsize: 833308
[startup+20.001 s]
Raw data (loadavg): 0.87 0.95 0.98 4/63 24135
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18007 0 1 0 1736 47 0 0 25 0 10 0 481993999 862633984 21547 4294967295 134512640 134569956 3221224400 3221214404 1130898054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210604 21547 13073 16 0 210588 0
vsize: 842416
[startup+30.0019 s]
Raw data (loadavg): 0.89 0.95 0.98 2/63 24135
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18007 0 1 0 2579 47 0 0 25 0 10 0 481993999 860880896 22115 4294967295 134512640 134569956 3221224400 3221214916 1130898487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22115 13073 16 0 210160 0
vsize: 840704
[startup+40.0022 s]
Raw data (loadavg): 0.90 0.96 0.98 2/63 24135
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18007 0 1 0 3438 48 0 0 25 0 10 0 481993999 860880896 22634 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22634 13073 16 0 210160 0
vsize: 840704
[startup+50.0054 s]
Raw data (loadavg): 0.92 0.96 0.98 3/63 24135
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18030 0 1 0 4298 49 0 0 25 0 10 0 481993999 860880896 22878 4294967295 134512640 134569956 3221224400 3221214972 1130917158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22878 13073 16 0 210160 0
vsize: 840704
[startup+60.0087 s]
Raw data (loadavg): 0.93 0.96 0.98 2/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18038 0 1 0 5180 50 0 0 25 0 11 0 481993999 861409280 23233 4294967295 134512640 134569956 3221224400 3221214776 1131398699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 23233 13073 16 0 210289 0
vsize: 841220
[startup+70.0129 s]
Raw data (loadavg): 0.94 0.96 0.98 2/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18076 0 1 0 6035 50 0 0 25 0 11 0 481993999 861409280 23507 4294967295 134512640 134569956 3221224400 3221214788 1130919274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 23507 13073 16 0 210289 0
vsize: 841220
[startup+80.0133 s]
Raw data (loadavg): 1.03 0.98 0.99 2/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18077 0 1 0 6966 51 0 0 25 0 11 0 481993999 861409280 23804 4294967295 134512640 134569956 3221224400 3221214688 1131501740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 23804 13073 16 0 210289 0
vsize: 841220
[startup+90.0135 s]
Raw data (loadavg): 1.02 0.98 0.99 2/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18077 0 1 0 7907 51 0 0 25 0 11 0 481993999 861409280 23870 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 23870 13073 16 0 210289 0
vsize: 841220
[startup+100.014 s]
Raw data (loadavg): 1.02 0.98 0.99 2/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18077 0 1 0 8875 52 0 0 25 0 11 0 481993999 861409280 24303 4294967295 134512640 134569956 3221224400 3221214656 1131561980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24303 13073 16 0 210289 0
vsize: 841220
[startup+110.015 s]
Raw data (loadavg): 1.10 0.99 0.99 2/64 24136
Raw data (stat): 24126 (java) S 24125 32461 32460 0 -1 0 18077 0 1 0 9853 52 0 0 25 0 11 0 481993999 861409280 24321 4294967295 134512640 134569956 3221224400 3221213224 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24321 13073 16 0 210289 0
vsize: 841220
[startup+120.055 s]
Raw data (loadavg): 1.08 0.99 0.99 4/64 24136
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 10820 52 0 0 25 0 11 0 481993999 861409280 24326 4294967295 134512640 134569956 3221224400 3221213676 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 24326 13073 16 0 210289 0
vsize: 841220
[startup+130.055 s]
Raw data (loadavg): 1.22 1.03 1.01 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 11781 53 0 0 25 0 11 0 481993999 861409280 24481 4294967295 134512640 134569956 3221224400 3221214664 1131528679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24481 13073 16 0 210289 0
vsize: 841220
[startup+140.054 s]
Raw data (loadavg): 1.19 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 12760 53 0 0 25 0 11 0 481993999 861409280 24481 4294967295 134512640 134569956 3221224400 3221214656 1131560928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24481 13073 16 0 210289 0
vsize: 841220
[startup+150.055 s]
Raw data (loadavg): 1.16 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 13738 53 0 0 25 0 11 0 481993999 861409280 24481 4294967295 134512640 134569956 3221224400 3221214688 1131501743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24481 13073 16 0 210289 0
vsize: 841220
[startup+160.056 s]
Raw data (loadavg): 1.13 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 14720 53 0 0 25 0 11 0 481993999 861409280 24484 4294967295 134512640 134569956 3221224400 3221214688 1131501745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24484 13073 16 0 210289 0
vsize: 841220
[startup+170.056 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 15695 53 0 0 25 0 11 0 481993999 861409280 24484 4294967295 134512640 134569956 3221224400 3221214656 1131560934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 24484 13073 16 0 210289 0
vsize: 841220
[startup+180.057 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 16674 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214584 1131334706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+190.057 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 24189
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 17670 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214688 1131501743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+200.058 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 18666 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214584 1131334894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+210.058 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 19655 53 0 0 24 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214568 1131451362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+220.059 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 20623 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+230.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 21593 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214584 1131334843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+240.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 22567 53 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214656 1131563379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+250.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 23536 54 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214656 1131560928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+260.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 24510 54 0 0 25 0 11 0 481993999 861409280 24769 4294967295 134512640 134569956 3221224400 3221214584 1131335280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 24769 13073 16 0 210289 0
vsize: 841220
[startup+270.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 25493 54 0 0 25 0 11 0 481993999 861409280 25092 4294967295 134512640 134569956 3221224400 3221214664 1131528672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25092 13073 16 0 210289 0
vsize: 841220
[startup+280.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 26484 54 0 0 25 0 11 0 481993999 861409280 25092 4294967295 134512640 134569956 3221224400 3221214584 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25092 13073 16 0 210289 0
vsize: 841220
[startup+290.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 27475 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214656 1131562756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+300.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 28466 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+310.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 29460 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214728 1131534370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+320.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 30434 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214768 1131637996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+330.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 31409 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214664 1131335000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+340.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 32378 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214664 1131334905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+350.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 33353 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214744 1131499609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+360.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 34328 54 0 0 25 0 11 0 481993999 861409280 25094 4294967295 134512640 134569956 3221224400 3221214760 1131639559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25094 13073 16 0 210289 0
vsize: 841220
[startup+370.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 35305 54 0 0 25 0 11 0 481993999 861409280 25270 4294967295 134512640 134569956 3221224400 3221214656 1131561998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25270 13073 16 0 210289 0
vsize: 841220
[startup+380.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 36292 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214664 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+390.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 37284 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214656 1131560948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+400.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 38275 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+410.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 39269 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131637996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+420.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 40259 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214656 1131562720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+430.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 41250 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214664 1131335284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+440.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 42242 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214760 1131639559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+450.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 43234 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+460.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24191
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 44226 55 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131637996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+470.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 45214 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131638097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+480.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 46202 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214656 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+490.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 47189 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+500.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 48179 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+510.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 49169 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214656 1131562756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+520.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 50148 56 0 0 25 0 11 0 481993999 861409280 25431 4294967295 134512640 134569956 3221224400 3221214664 1131335175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25431 13073 16 0 210289 0
vsize: 841220
[startup+530.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 51137 56 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+540.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 52129 56 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+550.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 53121 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131561721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+560.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 54114 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131560938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+570.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 55105 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214760 1131639681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+580.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 56096 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131334934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+590.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 57088 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214760 1131639566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+600.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 58079 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131561091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+610.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 59071 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214700 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+620.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 60053 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214664 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+630.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 61033 57 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+640.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 62016 58 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214664 1131334894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+650.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 62997 58 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214664 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+660.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 63980 58 0 0 25 0 11 0 481993999 861409280 25624 4294967295 134512640 134569956 3221224400 3221214656 1131560925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25624 13073 16 0 210289 0
vsize: 841220
[startup+670.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 64967 58 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+680.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 65957 58 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+690.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 66948 58 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214664 1131334788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+700.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 67940 58 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214656 1131334894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+710.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 68930 58 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214656 1131560925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 69920 59 0 0 25 0 11 0 481993999 861409280 25806 4294967295 134512640 134569956 3221224400 3221214568 1131486146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25806 13073 16 0 210289 0
vsize: 841220
[startup+730.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) S 24125 32461 32460 0 -1 0 18078 0 1 0 70906 59 0 0 25 0 11 0 481993999 861409280 25879 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25879 13073 16 0 210289 0
vsize: 841220
[startup+740.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 71895 59 0 0 25 0 11 0 481993999 861409280 25879 4294967295 134512640 134569956 3221224400 3221214664 1131334894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25879 13073 16 0 210289 0
vsize: 841220
[startup+750.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 72886 59 0 0 25 0 11 0 481993999 861409280 25879 4294967295 134512640 134569956 3221224400 3221214664 1131335278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25879 13073 16 0 210289 0
vsize: 841220
[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 73876 59 0 0 25 0 11 0 481993999 861409280 25879 4294967295 134512640 134569956 3221224400 3221214664 1131335229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25879 13073 16 0 210289 0
vsize: 841220
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 74864 59 0 0 25 0 11 0 481993999 861409280 25879 4294967295 134512640 134569956 3221224400 3221214656 1131560928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 25879 13073 16 0 210289 0
vsize: 841220
[startup+780.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) S 24125 32461 32460 0 -1 0 18078 0 1 0 75847 59 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+790.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 76838 59 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214744 1131499627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+800.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 77829 60 0 0 24 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214656 1131335145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+810.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 78821 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214656 1131561771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+820.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 79813 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214664 1131334998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+830.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 80791 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214664 1131334894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+840.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 81767 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214656 1131335139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+850.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) S 24125 32461 32460 0 -1 0 18078 0 1 0 82747 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+860.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 83725 60 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214656 1131335200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+870.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 84706 61 0 0 25 0 11 0 481993999 861409280 26028 4294967295 134512640 134569956 3221224400 3221214656 1131560692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26028 13073 16 0 210289 0
vsize: 841220
[startup+880.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 85690 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214656 1131561571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+890.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 86682 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214664 1131335241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+900.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 87674 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+910.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 88666 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+920.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 89668 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214664 1131335208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+930.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 90659 61 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214656 1131335190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+940.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 91653 62 0 0 25 0 11 0 481993999 861409280 26221 4294967295 134512640 134569956 3221224400 3221214656 1131561739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26221 13073 16 0 210289 0
vsize: 841220
[startup+950.349 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 92657 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214656 1131335210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+960.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 93652 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214664 1131335301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+970.351 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 94648 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+980.352 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 95644 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214664 1131335208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+990.352 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 96640 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214656 1131561307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+1000.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 97637 62 0 0 25 0 11 0 481993999 861409280 26302 4294967295 134512640 134569956 3221224400 3221214656 1131335494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26302 13073 16 0 210289 0
vsize: 841220
[startup+1010.41 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 98635 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1020.41 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 99625 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214664 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1030.41 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 100615 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214664 1131335000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1040.41 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 101607 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214656 1131562752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1050.41 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 102597 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214664 1131334905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1060.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 103591 62 0 0 25 0 11 0 481993999 861409280 26383 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26383 13073 16 0 210289 0
vsize: 841220
[startup+1070.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 104580 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214656 1131560695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1080.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 105572 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214656 1131335194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1090.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 106563 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214664 1131335208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1100.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 107556 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1110.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 108547 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214664 1131334894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1120.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 109539 63 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214656 1131561033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1130.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 110524 64 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214616 1131477679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1140.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 111502 64 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214664 1131335229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1150.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 112481 64 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214656 1131561487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1160.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 113460 64 0 0 24 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214768 1131637999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1170.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 114443 64 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214664 1131335208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1180.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 115427 64 0 0 25 0 11 0 481993999 861409280 26501 4294967295 134512640 134569956 3221224400 3221214664 1131335494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210305 26501 13073 16 0 210289 0
vsize: 841220
[startup+1190.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 116406 64 0 0 25 0 11 0 481993999 861409280 26717 4294967295 134512640 134569956 3221224400 3221214656 1131561777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26717 13073 16 0 210289 0
vsize: 841220
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 117399 64 0 0 25 0 11 0 481993999 861409280 26735 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26735 13073 16 0 210289 0
vsize: 841220
[startup+1210.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 118388 64 0 0 25 0 11 0 481993999 861409280 26883 4294967295 134512640 134569956 3221224400 3221214656 1131561015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26883 13073 16 0 210289 0
vsize: 841220
[startup+1220.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 119372 64 0 0 25 0 11 0 481993999 861409280 26883 4294967295 134512640 134569956 3221224400 3221214664 1131335000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26883 13073 16 0 210289 0
vsize: 841220
[startup+1230.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24193
Raw data (stat): 24126 (java) R 24125 32461 32460 0 -1 0 18078 0 1 0 120359 65 0 0 25 0 11 0 481993999 861409280 26883 4294967295 134512640 134569956 3221224400 3221214664 1131335113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 26883 13073 16 0 210289 0
vsize: 841220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.53 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24195
Raw data (stat): 24126 (java) Z 24125 32461 32460 0 -1 1036 18078 11911 1 0 120362 70 3823 37 25 0 1 0 481993999 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): 1230.53
CPU time (s): 1242.93
CPU user time (s): 1241.86
CPU system time (s): 1.07384
CPU usage (%): 101.008
Max. virtual memory (Kb): 842416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####