PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb
MD5SUM	91a12c778773a00a6198e856654cd609
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1077181440
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287149567
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	17.5123
Number of variables	190
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	169
Trace number 17043

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-21 09:24:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11969 boxname=wulflinc10 idbench=921 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  91a12c778773a00a6198e856654cd609  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-misc03.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-misc03.opb
IDLAUNCH: 11969
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        443940 kB
Buffers:         34080 kB
Cached:         534808 kB
SwapCached:          0 kB
Active:         161936 kB
Inactive:       409424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        443688 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13740 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:45:21 (client local time) WITH STATUS 143 IN 1236.48 SECONDS
stats: 11969 7 1236.48 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-misc03.opb
c reading problem 
c [nbvar=190]
c [nbconstr=255]
c time 1.232
c #vars     190
c #clauses  123
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1079633920
c Current CPU time (ms) : 10.064
c starts	: 1
c conflicts	: 57
c decisions	: 268
c propagations	: 1578
c inspects	: 8636
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 57
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1078256640
c Current CPU time (ms) : 10.754
c starts	: 2
c conflicts	: 75
c decisions	: 327
c propagations	: 2063
c inspects	: 11824
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 75
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1077509120
c Current CPU time (ms) : 11.178
c starts	: 3
c conflicts	: 79
c decisions	: 356
c propagations	: 2465
c inspects	: 13520
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 79
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1077181440
c Current CPU time (ms) : 16.183
c starts	: 4
c conflicts	: 126
c decisions	: 530
c propagations	: 3577
c inspects	: 24070
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 126
c root simplifications	: 7
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.92 2/54 28435
Raw data (stat): 28435 (runsolver) R 28434 25347 25346 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 485764789 1052672 97 4294967295 134512640 135381576 3221224432 3221219872 134514522 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 28445
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18065 0 1 0 653 41 0 0 25 0 11 0 485764789 861671424 20618 4294967295 134512640 134569956 3221224400 3221214440 1131312289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210369 20618 13073 16 0 210353 0
vsize: 841476
[startup+20.001 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 1586 42 0 0 25 0 11 0 485764789 860917760 20835 4294967295 134512640 134569956 3221224400 3221214216 1130886617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 20835 13073 16 0 210169 0
vsize: 840740
[startup+30.0006 s]
Raw data (loadavg): 1.06 1.00 0.93 3/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 2543 42 0 0 25 0 11 0 485764789 860917760 21174 4294967295 134512640 134569956 3221224400 3221213632 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 21174 13073 16 0 210169 0
vsize: 840740
[startup+40.0017 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 3484 43 0 0 25 0 11 0 485764789 860917760 21480 4294967295 134512640 134569956 3221224400 3221214608 1131587351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 21480 13073 16 0 210169 0
vsize: 840740
[startup+50.0022 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 4435 43 0 0 25 0 11 0 485764789 860917760 21739 4294967295 134512640 134569956 3221224400 3221214760 1131199669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 21739 13073 16 0 210169 0
vsize: 840740
[startup+60.0023 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 5390 43 0 0 25 0 11 0 485764789 860917760 21923 4294967295 134512640 134569956 3221224400 3221214448 1131309736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 21923 13073 16 0 210169 0
vsize: 840740
[startup+70.0033 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 6350 44 0 0 24 0 11 0 485764789 860917760 22082 4294967295 134512640 134569956 3221224400 3221214808 1131172846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22082 13073 16 0 210169 0
vsize: 840740
[startup+80.0034 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 7316 44 0 0 25 0 11 0 485764789 860917760 22197 4294967295 134512640 134569956 3221224400 3221214608 1131587483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22197 13073 16 0 210169 0
vsize: 840740
[startup+90.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 8277 44 0 0 25 0 11 0 485764789 860917760 22320 4294967295 134512640 134569956 3221224400 3221214760 1131199598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22320 13073 16 0 210169 0
vsize: 840740
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 9240 44 0 0 25 0 11 0 485764789 860917760 22445 4294967295 134512640 134569956 3221224400 3221214808 1131172797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22445 13073 16 0 210169 0
vsize: 840740
[startup+110.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 10205 45 0 0 24 0 11 0 485764789 860917760 22571 4294967295 134512640 134569956 3221224400 3221214760 1131199233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22571 13073 16 0 210169 0
vsize: 840740
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 11174 45 0 0 25 0 11 0 485764789 860917760 22689 4294967295 134512640 134569956 3221224400 3221214760 1131200694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22689 13073 16 0 210169 0
vsize: 840740
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 12143 45 0 0 25 0 11 0 485764789 860917760 22784 4294967295 134512640 134569956 3221224400 3221214760 1131199598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22784 13073 16 0 210169 0
vsize: 840740
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 13108 45 0 0 25 0 11 0 485764789 860917760 22904 4294967295 134512640 134569956 3221224400 3221214184 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 22904 13073 16 0 210169 0
vsize: 840740
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 14074 45 0 0 24 0 11 0 485764789 860917760 23038 4294967295 134512640 134569956 3221224400 3221214760 1131199865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23038 13073 16 0 210169 0
vsize: 840740
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) S 28434 25347 25346 0 -1 0 18067 3 1 0 15044 45 0 0 25 0 11 0 485764789 860917760 23131 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23131 13073 16 0 210169 0
vsize: 840740
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 16017 45 0 0 25 0 11 0 485764789 860917760 23243 4294967295 134512640 134569956 3221224400 3221214504 1131491944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23243 13073 16 0 210169 0
vsize: 840740
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 16989 46 0 0 25 0 11 0 485764789 860917760 23340 4294967295 134512640 134569956 3221224400 3221214504 1131220801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23340 13073 16 0 210169 0
vsize: 840740
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 17963 46 0 0 25 0 11 0 485764789 860917760 23420 4294967295 134512640 134569956 3221224400 3221214856 1131208005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210185 23420 13073 16 0 210169 0
vsize: 840740
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 18934 46 0 0 25 0 11 0 485764789 860917760 23504 4294967295 134512640 134569956 3221224400 3221214856 1131208784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23504 13073 16 0 210169 0
vsize: 840740
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 19908 47 0 0 25 0 11 0 485764789 860917760 23594 4294967295 134512640 134569956 3221224400 3221214760 1131200464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23594 13073 16 0 210169 0
vsize: 840740
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 20881 47 0 0 25 0 11 0 485764789 860917760 23688 4294967295 134512640 134569956 3221224400 3221214760 1131199700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23688 13073 16 0 210169 0
vsize: 840740
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18067 3 1 0 21850 47 0 0 25 0 11 0 485764789 860917760 23781 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23781 13073 16 0 210169 0
vsize: 840740
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) S 28434 25347 25346 0 -1 0 18067 3 1 0 22822 47 0 0 25 0 11 0 485764789 860917760 23864 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 23864 13073 16 0 210169 0
vsize: 840740
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 23791 48 0 0 25 0 11 0 485764789 860917760 24003 4294967295 134512640 134569956 3221224400 3221214504 1131220937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24003 13073 16 0 210169 0
vsize: 840740
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 24763 48 0 0 25 0 11 0 485764789 860917760 24093 4294967295 134512640 134569956 3221224400 3221214760 1131199805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24093 13073 16 0 210169 0
vsize: 840740
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 25732 49 0 0 25 0 11 0 485764789 860917760 24181 4294967295 134512640 134569956 3221224400 3221214856 1131208212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210185 24181 13073 16 0 210169 0
vsize: 840740
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 26698 49 0 0 25 0 11 0 485764789 860917760 24282 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24282 13073 16 0 210169 0
vsize: 840740
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 27669 49 0 0 25 0 11 0 485764789 860917760 24373 4294967295 134512640 134569956 3221224400 3221214760 1131199720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24373 13073 16 0 210169 0
vsize: 840740
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 28638 50 0 0 25 0 11 0 485764789 860917760 24513 4294967295 134512640 134569956 3221224400 3221214760 1131199847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24513 13073 16 0 210169 0
vsize: 840740
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 29615 50 0 0 25 0 11 0 485764789 860917760 24608 4294967295 134512640 134569956 3221224400 3221214384 1131523484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24608 13073 16 0 210169 0
vsize: 840740
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 30588 50 0 0 25 0 11 0 485764789 860917760 24698 4294967295 134512640 134569956 3221224400 3221214760 1131199237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24698 13073 16 0 210169 0
vsize: 840740
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 31564 51 0 0 25 0 11 0 485764789 860917760 24784 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24784 13073 16 0 210169 0
vsize: 840740
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 32539 51 0 0 25 0 11 0 485764789 860917760 24861 4294967295 134512640 134569956 3221224400 3221214760 1131199600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24861 13073 16 0 210169 0
vsize: 840740
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 33513 51 0 0 25 0 11 0 485764789 860917760 24959 4294967295 134512640 134569956 3221224400 3221214760 1131199700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 24959 13073 16 0 210169 0
vsize: 840740
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 34491 51 0 0 25 0 11 0 485764789 860917760 25022 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25022 13073 16 0 210169 0
vsize: 840740
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 35468 52 0 0 25 0 11 0 485764789 860917760 25095 4294967295 134512640 134569956 3221224400 3221214760 1131200488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25095 13073 16 0 210169 0
vsize: 840740
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 36442 52 0 0 25 0 11 0 485764789 860917760 25177 4294967295 134512640 134569956 3221224400 3221214760 1131200444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25177 13073 16 0 210169 0
vsize: 840740
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 37419 52 0 0 25 0 11 0 485764789 860917760 25233 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25233 13073 16 0 210169 0
vsize: 840740
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 38393 52 0 0 25 0 11 0 485764789 860917760 25316 4294967295 134512640 134569956 3221224400 3221214760 1131200464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25316 13073 16 0 210169 0
vsize: 840740
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 39368 53 0 0 25 0 11 0 485764789 860917760 25393 4294967295 134512640 134569956 3221224400 3221214144 1131515632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25393 13073 16 0 210169 0
vsize: 840740
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 40341 53 0 0 25 0 11 0 485764789 860917760 25468 4294967295 134512640 134569956 3221224400 3221214928 1130918089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25468 13073 16 0 210169 0
vsize: 840740
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 41314 53 0 0 25 0 11 0 485764789 860917760 25549 4294967295 134512640 134569956 3221224400 3221214856 1131207733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25549 13073 16 0 210169 0
vsize: 840740
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 42290 54 0 0 25 0 11 0 485764789 860917760 25616 4294967295 134512640 134569956 3221224400 3221214808 1131172874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25616 13073 16 0 210169 0
vsize: 840740
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 43263 54 0 0 25 0 11 0 485764789 860917760 25703 4294967295 134512640 134569956 3221224400 3221214504 1131490265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25703 13073 16 0 210169 0
vsize: 840740
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 44234 55 0 0 25 0 11 0 485764789 860917760 25804 4294967295 134512640 134569956 3221224400 3221214504 1131220837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25804 13073 16 0 210169 0
vsize: 840740
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 45208 55 0 0 25 0 11 0 485764789 860917760 25892 4294967295 134512640 134569956 3221224400 3221214760 1131199799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25892 13073 16 0 210169 0
vsize: 840740
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 46183 55 0 0 25 0 11 0 485764789 860917760 25969 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 25969 13073 16 0 210169 0
vsize: 840740
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 47157 56 0 0 25 0 11 0 485764789 860917760 26066 4294967295 134512640 134569956 3221224400 3221214852 1131173019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26066 13073 16 0 210169 0
vsize: 840740
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 48133 56 0 0 25 0 11 0 485764789 860917760 26136 4294967295 134512640 134569956 3221224400 3221214856 1131208248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26136 13073 16 0 210169 0
vsize: 840740
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 49108 56 0 0 25 0 11 0 485764789 860917760 26199 4294967295 134512640 134569956 3221224400 3221214856 1131207705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26199 13073 16 0 210169 0
vsize: 840740
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 50079 57 0 0 25 0 11 0 485764789 860917760 26288 4294967295 134512640 134569956 3221224400 3221214760 1131199914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26288 13073 16 0 210169 0
vsize: 840740
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 51054 57 0 0 25 0 11 0 485764789 860917760 26390 4294967295 134512640 134569956 3221224400 3221214760 1131200145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26390 13073 16 0 210169 0
vsize: 840740
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 52027 58 0 0 25 0 11 0 485764789 860917760 26471 4294967295 134512640 134569956 3221224400 3221214760 1131199791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26471 13073 16 0 210169 0
vsize: 840740
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 53003 59 0 0 25 0 11 0 485764789 860917760 26543 4294967295 134512640 134569956 3221224400 3221214760 1131200143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26543 13073 16 0 210169 0
vsize: 840740
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) S 28434 25347 25346 0 -1 0 18068 3 1 0 53979 59 0 0 25 0 11 0 485764789 860917760 26611 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26611 13073 16 0 210169 0
vsize: 840740
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 54954 60 0 0 25 0 11 0 485764789 860917760 26686 4294967295 134512640 134569956 3221224400 3221214760 1131199653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26686 13073 16 0 210169 0
vsize: 840740
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 55930 60 0 0 25 0 11 0 485764789 860917760 26796 4294967295 134512640 134569956 3221224400 3221214856 1131208164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26796 13073 16 0 210169 0
vsize: 840740
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 56907 60 0 0 25 0 11 0 485764789 860917760 26841 4294967295 134512640 134569956 3221224400 3221214760 1131199819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26841 13073 16 0 210169 0
vsize: 840740
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 57885 60 0 0 25 0 11 0 485764789 860917760 26901 4294967295 134512640 134569956 3221224400 3221214856 1131208225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26901 13073 16 0 210169 0
vsize: 840740
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 58859 61 0 0 25 0 11 0 485764789 860917760 26970 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 26970 13073 16 0 210169 0
vsize: 840740
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 59835 61 0 0 25 0 11 0 485764789 860917760 27058 4294967295 134512640 134569956 3221224400 3221214856 1131207897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27058 13073 16 0 210169 0
vsize: 840740
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 60809 61 0 0 25 0 11 0 485764789 860917760 27139 4294967295 134512640 134569956 3221224400 3221214760 1131199322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27139 13073 16 0 210169 0
vsize: 840740
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 61785 62 0 0 25 0 11 0 485764789 860917760 27248 4294967295 134512640 134569956 3221224400 3221214808 1131172915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27248 13073 16 0 210169 0
vsize: 840740
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 62761 62 0 0 25 0 11 0 485764789 860917760 27327 4294967295 134512640 134569956 3221224400 3221214760 1131199700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27327 13073 16 0 210169 0
vsize: 840740
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 63737 63 0 0 25 0 11 0 485764789 860917760 27393 4294967295 134512640 134569956 3221224400 3221214760 1131199706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27393 13073 16 0 210169 0
vsize: 840740
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 64713 63 0 0 25 0 11 0 485764789 860917760 27465 4294967295 134512640 134569956 3221224400 3221214608 1131585313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27465 13073 16 0 210169 0
vsize: 840740
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 65692 64 0 0 25 0 11 0 485764789 860917760 27538 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27538 13073 16 0 210169 0
vsize: 840740
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 66668 64 0 0 25 0 11 0 485764789 860917760 27600 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27600 13073 16 0 210169 0
vsize: 840740
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 67646 65 0 0 25 0 11 0 485764789 860917760 27664 4294967295 134512640 134569956 3221224400 3221214852 1131199212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27664 13073 16 0 210169 0
vsize: 840740
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 68620 65 0 0 25 0 11 0 485764789 860917760 27730 4294967295 134512640 134569956 3221224400 3221214760 1131199338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27730 13073 16 0 210169 0
vsize: 840740
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 69598 65 0 0 25 0 11 0 485764789 860917760 27813 4294967295 134512640 134569956 3221224400 3221214760 1131199650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27813 13073 16 0 210169 0
vsize: 840740
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 70573 66 0 0 24 0 11 0 485764789 860917760 27885 4294967295 134512640 134569956 3221224400 3221214832 1131246509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27885 13073 16 0 210169 0
vsize: 840740
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.93 3/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 71552 66 0 0 25 0 11 0 485764789 860917760 27930 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 27930 13073 16 0 210169 0
vsize: 840740
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 72526 67 0 0 25 0 11 0 485764789 860917760 28005 4294967295 134512640 134569956 3221224400 3221214504 1131220784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28005 13073 16 0 210169 0
vsize: 840740
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 73501 67 0 0 25 0 11 0 485764789 860917760 28065 4294967295 134512640 134569956 3221224400 3221214760 1131199877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28065 13073 16 0 210169 0
vsize: 840740
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 74478 67 0 0 25 0 11 0 485764789 860917760 28182 4294967295 134512640 134569956 3221224400 3221214064 1131190777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28182 13073 16 0 210169 0
vsize: 840740
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 75457 67 0 0 25 0 11 0 485764789 860917760 28224 4294967295 134512640 134569956 3221224400 3221214760 1131200431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28224 13073 16 0 210169 0
vsize: 840740
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) S 28434 25347 25346 0 -1 0 18068 3 1 0 76432 68 0 0 25 0 11 0 485764789 860917760 28321 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28321 13073 16 0 210169 0
vsize: 840740
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 77406 69 0 0 19 0 11 0 485764789 860917760 28391 4294967295 134512640 134569956 3221224400 3221214908 1131341606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28391 13073 16 0 210169 0
vsize: 840740
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 78383 69 0 0 25 0 11 0 485764789 860917760 28482 4294967295 134512640 134569956 3221224400 3221214760 1131199383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28482 13073 16 0 210169 0
vsize: 840740
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 79358 69 0 0 25 0 11 0 485764789 860917760 28542 4294967295 134512640 134569956 3221224400 3221214760 1131199742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28542 13073 16 0 210169 0
vsize: 840740
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 80335 70 0 0 25 0 11 0 485764789 860917760 28601 4294967295 134512640 134569956 3221224400 3221214760 1131199244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28601 13073 16 0 210169 0
vsize: 840740
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 81315 70 0 0 25 0 11 0 485764789 860917760 28686 4294967295 134512640 134569956 3221224400 3221214832 1131246513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28686 13073 16 0 210169 0
vsize: 840740
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 82293 71 0 0 24 0 11 0 485764789 860917760 28764 4294967295 134512640 134569956 3221224400 3221214760 1131199888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28764 13073 16 0 210169 0
vsize: 840740
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 83270 71 0 0 25 0 11 0 485764789 860917760 28834 4294967295 134512640 134569956 3221224400 3221214568 1131581428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28834 13073 16 0 210169 0
vsize: 840740
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 84242 71 0 0 24 0 11 0 485764789 860917760 28896 4294967295 134512640 134569956 3221224400 3221214352 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28896 13073 16 0 210169 0
vsize: 840740
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 85223 72 0 0 25 0 11 0 485764789 860917760 28951 4294967295 134512640 134569956 3221224400 3221214688 1131288234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28951 13073 16 0 210169 0
vsize: 840740
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 86206 72 0 0 25 0 11 0 485764789 860917760 28994 4294967295 134512640 134569956 3221224400 3221214472 1131535784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 28994 13073 16 0 210169 0
vsize: 840740
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 87188 73 0 0 25 0 11 0 485764789 860917760 29053 4294967295 134512640 134569956 3221224400 3221214856 1131208184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29053 13073 16 0 210169 0
vsize: 840740
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 88161 73 0 0 25 0 11 0 485764789 860917760 29173 4294967295 134512640 134569956 3221224400 3221214600 1131521449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29173 13073 16 0 210169 0
vsize: 840740
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 89137 73 0 0 25 0 11 0 485764789 860917760 29248 4294967295 134512640 134569956 3221224400 3221214856 1131207937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29248 13073 16 0 210169 0
vsize: 840740
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 90114 74 0 0 25 0 11 0 485764789 860917760 29296 4294967295 134512640 134569956 3221224400 3221214760 1131200491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29296 13073 16 0 210169 0
vsize: 840740
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 91088 75 0 0 25 0 11 0 485764789 860917760 29384 4294967295 134512640 134569956 3221224400 3221214760 1131199600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29384 13073 16 0 210169 0
vsize: 840740
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 92061 75 0 0 25 0 11 0 485764789 860917760 29472 4294967295 134512640 134569956 3221224400 3221214856 1131208187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29472 13073 16 0 210169 0
vsize: 840740
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 93037 75 0 0 25 0 11 0 485764789 860917760 29530 4294967295 134512640 134569956 3221224400 3221214760 1131200491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29530 13073 16 0 210169 0
vsize: 840740
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 94015 75 0 0 25 0 11 0 485764789 860917760 29598 4294967295 134512640 134569956 3221224400 3221214856 1131207733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29598 13073 16 0 210169 0
vsize: 840740
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 94987 76 0 0 24 0 11 0 485764789 860917760 29690 4294967295 134512640 134569956 3221224400 3221214760 1131199706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29690 13073 16 0 210169 0
vsize: 840740
[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 95961 76 0 0 24 0 11 0 485764789 860917760 29749 4294967295 134512640 134569956 3221224400 3221214440 1131309601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29749 13073 16 0 210169 0
vsize: 840740
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 96938 77 0 0 25 0 11 0 485764789 860917760 29853 4294967295 134512640 134569956 3221224400 3221214856 1131207733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29853 13073 16 0 210169 0
vsize: 840740
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 97913 77 0 0 25 0 11 0 485764789 860917760 29926 4294967295 134512640 134569956 3221224400 3221214760 1131199265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 29926 13073 16 0 210169 0
vsize: 840740
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 98888 78 0 0 25 0 11 0 485764789 860917760 30008 4294967295 134512640 134569956 3221224400 3221214808 1131172817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30008 13073 16 0 210169 0
vsize: 840740
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 99865 78 0 0 25 0 11 0 485764789 860917760 30083 4294967295 134512640 134569956 3221224400 3221214760 1131199772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30083 13073 16 0 210169 0
vsize: 840740
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 100842 78 0 0 25 0 11 0 485764789 860917760 30143 4294967295 134512640 134569956 3221224400 3221214760 1131199600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30143 13073 16 0 210169 0
vsize: 840740
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 101820 79 0 0 25 0 11 0 485764789 860917760 30232 4294967295 134512640 134569956 3221224400 3221214856 1131208184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30232 13073 16 0 210169 0
vsize: 840740
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 102797 79 0 0 25 0 11 0 485764789 860917760 30273 4294967295 134512640 134569956 3221224400 3221214760 1131200464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30273 13073 16 0 210169 0
vsize: 840740
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 103772 79 0 0 25 0 11 0 485764789 860917760 30307 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30307 13073 16 0 210169 0
vsize: 840740
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 104749 80 0 0 25 0 11 0 485764789 860917760 30355 4294967295 134512640 134569956 3221224400 3221214760 1131199653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30355 13073 16 0 210169 0
vsize: 840740
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 105726 80 0 0 25 0 11 0 485764789 860917760 30410 4294967295 134512640 134569956 3221224400 3221214760 1131199653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30410 13073 16 0 210169 0
vsize: 840740
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 106702 80 0 0 25 0 11 0 485764789 860917760 30468 4294967295 134512640 134569956 3221224400 3221214480 1131568232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30468 13073 16 0 210169 0
vsize: 840740
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 107680 81 0 0 18 0 11 0 485764789 860917760 30534 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30534 13073 16 0 210169 0
vsize: 840740
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 108666 81 0 0 25 0 11 0 485764789 860917760 30597 4294967295 134512640 134569956 3221224400 3221214560 1131311529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30597 13073 16 0 210169 0
vsize: 840740
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 109644 81 0 0 25 0 11 0 485764789 860917760 30685 4294967295 134512640 134569956 3221224400 3221214760 1131199265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30685 13073 16 0 210169 0
vsize: 840740
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 110621 82 0 0 25 0 11 0 485764789 860917760 30739 4294967295 134512640 134569956 3221224400 3221214760 1131200139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30739 13073 16 0 210169 0
vsize: 840740
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 111596 82 0 0 25 0 11 0 485764789 860917760 30836 4294967295 134512640 134569956 3221224400 3221214808 1131172800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30836 13073 16 0 210169 0
vsize: 840740
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 112571 82 0 0 18 0 11 0 485764789 860917760 30910 4294967295 134512640 134569956 3221224400 3221214760 1131199742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30910 13073 16 0 210169 0
vsize: 840740
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 113546 83 0 0 25 0 11 0 485764789 860917760 30956 4294967295 134512640 134569956 3221224400 3221214760 1131199795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 30956 13073 16 0 210169 0
vsize: 840740
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 114523 83 0 0 25 0 11 0 485764789 860917760 31019 4294967295 134512640 134569956 3221224400 3221214480 1131550290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31019 13073 16 0 210169 0
vsize: 840740
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 115504 83 0 0 25 0 11 0 485764789 860917760 31095 4294967295 134512640 134569956 3221224400 3221214760 1131199754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31095 13073 16 0 210169 0
vsize: 840740
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 116483 84 0 0 25 0 11 0 485764789 860917760 31151 4294967295 134512640 134569956 3221224400 3221214696 1131240869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31151 13073 16 0 210169 0
vsize: 840740
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 117466 84 0 0 25 0 11 0 485764789 860917760 31187 4294967295 134512640 134569956 3221224400 3221214360 1131568397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31187 13073 16 0 210169 0
vsize: 840740
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 118453 84 0 0 25 0 11 0 485764789 860917760 31225 4294967295 134512640 134569956 3221224400 3221214552 1131475965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31225 13073 16 0 210169 0
vsize: 840740
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 119438 84 0 0 25 0 11 0 485764789 860917760 31271 4294967295 134512640 134569956 3221224400 3221214432 1131562459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31271 13073 16 0 210169 0
vsize: 840740
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 28449
Raw data (stat): 28435 (java) R 28434 25347 25346 0 -1 0 18068 3 1 0 120420 84 0 0 25 0 11 0 485764789 860917760 31301 4294967295 134512640 134569956 3221224400 3221214560 1131311538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 31301 13073 16 0 210169 0
vsize: 840740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 28451
Raw data (stat): 28435 (java) Z 28434 25347 25346 0 -1 1036 18068 11183 1 0 120423 84 3100 38 25 0 1 0 485764789 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): 1240.15
CPU time (s): 1236.48
CPU user time (s): 1235.24
CPU system time (s): 1.23781
CPU usage (%): 99.7043
Max. virtual memory (Kb): 841476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####