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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUMee388359e66788d310d5d5b34d6465c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63236
Optimality of the best value was proved NO
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1185.16
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 21887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-22 01:20:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12437 boxname=wulflinc15 idbench=957 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 12437
/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:        675004 kB
Buffers:         26928 kB
Cached:         310872 kB
SwapCached:        432 kB
Active:          14564 kB
Inactive:       325380 kB
HighTotal:      131008 kB
HighFree:        96768 kB
LowTotal:       903652 kB
LowFree:        578236 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13992 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 01:41:47 (client local time) WITH STATUS 143 IN 1251.67 SECONDS
stats: 12437 7 1251.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-air04.opb
c reading problem 
c [nbvar=8904]
c [nbconstr=9727]
c time 38.353
c #vars     8904
c #clauses  1646
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.92 0.98 0.98 2/54 21115
Raw data (stat): 21115 (runsolver) R 21114 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491490558 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.002 s]
Raw data (loadavg): 0.93 0.98 0.98 2/63 21124
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17893 0 91 0 541 48 0 0 24 0 10 0 491490558 853106688 18920 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208278 18920 13073 16 0 208262 0
vsize: 833112
[startup+20.0037 s]
Raw data (loadavg): 0.94 0.98 0.98 2/63 21124
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17894 0 91 0 1461 48 0 0 25 0 10 0 491490558 854417408 19650 4294967295 134512640 134569956 3221224400 3221214776 1131153826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208598 19650 13073 16 0 208582 0
vsize: 834392
[startup+30.0103 s]
Raw data (loadavg): 0.95 0.98 0.98 4/63 21124
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17901 0 91 0 2342 48 0 0 25 0 10 0 491490558 859410432 20958 4294967295 134512640 134569956 3221224400 3221212224 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209817 20964 13073 16 0 209801 0
vsize: 839268
[startup+40.0108 s]
Raw data (loadavg): 1.27 1.05 1.00 4/63 21124
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17922 0 91 0 3122 50 0 0 25 0 10 0 491490558 878620672 25923 4294967295 134512640 134569956 3221224400 3221214100 1130910826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214507 25923 13073 16 0 214491 0
vsize: 858028
[startup+50.0116 s]
Raw data (loadavg): 1.37 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17988 0 92 0 3857 51 0 0 25 0 11 0 491490558 874385408 28344 4294967295 134512640 134569956 3221224400 3221214840 1131600428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213473 28344 13073 16 0 213457 0
vsize: 853892
[startup+60.0121 s]
Raw data (loadavg): 1.31 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 4833 51 0 0 25 0 11 0 491490558 873336832 28055 4294967295 134512640 134569956 3221224400 3221214808 1131660219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 28055 13073 16 0 213201 0
vsize: 852868
[startup+70.0127 s]
Raw data (loadavg): 1.27 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 5812 51 0 0 25 0 11 0 491490558 873336832 28082 4294967295 134512640 134569956 3221224400 3221214808 1131600428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28082 13073 16 0 213201 0
vsize: 852868
[startup+80.0131 s]
Raw data (loadavg): 1.38 1.10 1.02 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 6780 52 0 0 25 0 11 0 491490558 873336832 28082 4294967295 134512640 134569956 3221224400 3221214808 1131600140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28082 13073 16 0 213201 0
vsize: 852868
[startup+90.0145 s]
Raw data (loadavg): 1.32 1.10 1.02 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 7748 52 0 0 25 0 11 0 491490558 873336832 28082 4294967295 134512640 134569956 3221224400 3221214632 1131435583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28082 13073 16 0 213201 0
vsize: 852868
[startup+100.015 s]
Raw data (loadavg): 1.27 1.10 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 8716 52 0 0 25 0 11 0 491490558 873336832 28141 4294967295 134512640 134569956 3221224400 3221214808 1131600361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28141 13073 16 0 213201 0
vsize: 852868
[startup+110.015 s]
Raw data (loadavg): 1.23 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 9680 52 0 0 25 0 11 0 491490558 873336832 28222 4294967295 134512640 134569956 3221224400 3221214728 1131642947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28222 13073 16 0 213201 0
vsize: 852868
[startup+120.016 s]
Raw data (loadavg): 1.20 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17989 0 92 0 10648 53 0 0 25 0 11 0 491490558 873336832 28296 4294967295 134512640 134569956 3221224400 3221214656 1131721858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28296 13073 16 0 213201 0
vsize: 852868
[startup+130.017 s]
Raw data (loadavg): 1.16 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) S 21114 29151 29150 0 -1 0 17990 0 92 0 11627 53 0 0 25 0 11 0 491490558 873336832 28316 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28316 13073 16 0 213201 0
vsize: 852868
[startup+140.017 s]
Raw data (loadavg): 1.14 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 12598 53 0 0 25 0 11 0 491490558 873336832 28394 4294967295 134512640 134569956 3221224400 3221214768 1131662650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28394 13073 16 0 213201 0
vsize: 852868
[startup+150.018 s]
Raw data (loadavg): 1.12 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 13567 53 0 0 25 0 11 0 491490558 873336832 28415 4294967295 134512640 134569956 3221224400 3221214768 1131662107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28415 13073 16 0 213201 0
vsize: 852868
[startup+160.018 s]
Raw data (loadavg): 1.10 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 14526 54 0 0 25 0 11 0 491490558 873336832 28453 4294967295 134512640 134569956 3221224400 3221214764 1131648297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28453 13073 16 0 213201 0
vsize: 852868
[startup+170.018 s]
Raw data (loadavg): 1.08 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 15492 54 0 0 25 0 11 0 491490558 873336832 28512 4294967295 134512640 134569956 3221224400 3221214720 1131618460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28512 13073 16 0 213201 0
vsize: 852868
[startup+180.018 s]
Raw data (loadavg): 1.07 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 16452 55 0 0 25 0 11 0 491490558 873336832 28614 4294967295 134512640 134569956 3221224400 3221214768 1131660591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28614 13073 16 0 213201 0
vsize: 852868
[startup+190.02 s]
Raw data (loadavg): 1.06 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 17421 55 0 0 25 0 11 0 491490558 873336832 28678 4294967295 134512640 134569956 3221224400 3221214656 1131718851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28678 13073 16 0 213201 0
vsize: 852868
[startup+200.02 s]
Raw data (loadavg): 1.05 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 18386 56 0 0 25 0 11 0 491490558 873336832 28722 4294967295 134512640 134569956 3221224400 3221214764 1131615436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28722 13073 16 0 213201 0
vsize: 852868
[startup+210.02 s]
Raw data (loadavg): 1.04 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17990 0 92 0 19345 56 0 0 25 0 11 0 491490558 873336832 28800 4294967295 134512640 134569956 3221224400 3221214800 1131600428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 28800 13073 16 0 213201 0
vsize: 852868
[startup+220.021 s]
Raw data (loadavg): 1.11 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 20301 56 0 0 25 0 11 0 491490558 873336832 28819 4294967295 134512640 134569956 3221224400 3221214656 1131723131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28819 13073 16 0 213201 0
vsize: 852868
[startup+230.021 s]
Raw data (loadavg): 1.09 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 21256 56 0 0 25 0 11 0 491490558 873336832 28905 4294967295 134512640 134569956 3221224400 3221214720 1131709576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 28905 13073 16 0 213201 0
vsize: 852868
[startup+240.022 s]
Raw data (loadavg): 1.08 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 22218 56 0 0 25 0 11 0 491490558 873336832 29002 4294967295 134512640 134569956 3221224400 3221214656 1131721858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29002 13073 16 0 213201 0
vsize: 852868
[startup+250.024 s]
Raw data (loadavg): 1.06 1.07 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 23178 57 0 0 25 0 11 0 491490558 873336832 29127 4294967295 134512640 134569956 3221224400 3221214800 1131600140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29127 13073 16 0 213201 0
vsize: 852868
[startup+260.026 s]
Raw data (loadavg): 1.20 1.10 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 24137 57 0 0 25 0 11 0 491490558 873336832 29219 4294967295 134512640 134569956 3221224400 3221214768 1131662107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29219 13073 16 0 213201 0
vsize: 852868
[startup+270.026 s]
Raw data (loadavg): 1.17 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 25102 58 0 0 25 0 11 0 491490558 873336832 29270 4294967295 134512640 134569956 3221224400 3221214636 1131844707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29270 13073 16 0 213201 0
vsize: 852868
[startup+280.026 s]
Raw data (loadavg): 1.14 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 26062 58 0 0 25 0 11 0 491490558 873336832 29322 4294967295 134512640 134569956 3221224400 3221214536 1131330770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29322 13073 16 0 213201 0
vsize: 852868
[startup+290.027 s]
Raw data (loadavg): 1.12 1.09 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 27029 58 0 0 25 0 11 0 491490558 873336832 29400 4294967295 134512640 134569956 3221224400 3221214720 1131622168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29400 13073 16 0 213201 0
vsize: 852868
[startup+300.026 s]
Raw data (loadavg): 1.10 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 27993 58 0 0 25 0 11 0 491490558 873336832 29474 4294967295 134512640 134569956 3221224400 3221214720 1131709713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29474 13073 16 0 213201 0
vsize: 852868
[startup+310.027 s]
Raw data (loadavg): 1.09 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 28963 59 0 0 25 0 11 0 491490558 873336832 29614 4294967295 134512640 134569956 3221224400 3221214536 1131330770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29614 13073 16 0 213201 0
vsize: 852868
[startup+320.027 s]
Raw data (loadavg): 1.07 1.08 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 29936 59 0 0 25 0 11 0 491490558 873336832 29648 4294967295 134512640 134569956 3221224400 3221214528 1131822901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29648 13073 16 0 213201 0
vsize: 852868
[startup+330.028 s]
Raw data (loadavg): 1.06 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 30916 59 0 0 25 0 11 0 491490558 873336832 29688 4294967295 134512640 134569956 3221224400 3221214800 1131600150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29688 13073 16 0 213201 0
vsize: 852868
[startup+340.029 s]
Raw data (loadavg): 1.05 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 31891 60 0 0 25 0 11 0 491490558 873336832 29753 4294967295 134512640 134569956 3221224400 3221214720 1131618460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29753 13073 16 0 213201 0
vsize: 852868
[startup+350.029 s]
Raw data (loadavg): 1.04 1.07 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 32864 60 0 0 25 0 11 0 491490558 873336832 29781 4294967295 134512640 134569956 3221224400 3221214704 1131615484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29781 13073 16 0 213201 0
vsize: 852868
[startup+360.029 s]
Raw data (loadavg): 1.04 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 33835 61 0 0 25 0 11 0 491490558 873336832 29781 4294967295 134512640 134569956 3221224400 3221214756 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29781 13073 16 0 213201 0
vsize: 852868
[startup+370.03 s]
Raw data (loadavg): 1.03 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 34792 61 0 0 25 0 11 0 491490558 873336832 29812 4294967295 134512640 134569956 3221224400 3221214800 1131600175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29812 13073 16 0 213201 0
vsize: 852868
[startup+380.03 s]
Raw data (loadavg): 1.02 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 35751 61 0 0 25 0 11 0 491490558 873336832 29929 4294967295 134512640 134569956 3221224400 3221214768 1131661964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29929 13073 16 0 213201 0
vsize: 852868
[startup+390.031 s]
Raw data (loadavg): 1.02 1.06 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 36729 62 0 0 25 0 11 0 491490558 873336832 29950 4294967295 134512640 134569956 3221224400 3221214720 1131620378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 29950 13073 16 0 213201 0
vsize: 852868
[startup+400.032 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 37695 62 0 0 25 0 11 0 491490558 873336832 30001 4294967295 134512640 134569956 3221224400 3221214656 1131719614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30001 13073 16 0 213201 0
vsize: 852868
[startup+410.031 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 38659 63 0 0 25 0 11 0 491490558 873336832 30100 4294967295 134512640 134569956 3221224400 3221214760 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30100 13073 16 0 213201 0
vsize: 852868
[startup+420.031 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 39616 63 0 0 25 0 11 0 491490558 873336832 30110 4294967295 134512640 134569956 3221224400 3221214712 1131219644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30110 13073 16 0 213201 0
vsize: 852868
[startup+430.033 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 40569 64 0 0 25 0 11 0 491490558 873336832 30155 4294967295 134512640 134569956 3221224400 3221214536 1131740377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30155 13073 16 0 213201 0
vsize: 852868
[startup+440.033 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 41519 64 0 0 25 0 11 0 491490558 873336832 30181 4294967295 134512640 134569956 3221224400 3221214648 1131364532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30181 13073 16 0 213201 0
vsize: 852868
[startup+450.033 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 42471 64 0 0 25 0 11 0 491490558 873336832 30402 4294967295 134512640 134569956 3221224400 3221214696 1131332223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30402 13073 16 0 213201 0
vsize: 852868
[startup+460.033 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 43435 65 0 0 25 0 11 0 491490558 873336832 30462 4294967295 134512640 134569956 3221224400 3221214800 1131600143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30462 13073 16 0 213201 0
vsize: 852868
[startup+470.033 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 44399 66 0 0 25 0 11 0 491490558 873336832 30520 4294967295 134512640 134569956 3221224400 3221214720 1131618460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30520 13073 16 0 213201 0
vsize: 852868
[startup+480.034 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 45367 66 0 0 25 0 11 0 491490558 873336832 30557 4294967295 134512640 134569956 3221224400 3221214848 1131917576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30557 13073 16 0 213201 0
vsize: 852868
[startup+490.035 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 46323 67 0 0 24 0 11 0 491490558 873336832 30586 4294967295 134512640 134569956 3221224400 3221214768 1131659752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30586 13073 16 0 213201 0
vsize: 852868
[startup+500.035 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 47281 67 0 0 25 0 11 0 491490558 873336832 30664 4294967295 134512640 134569956 3221224400 3221214800 1131600361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30664 13073 16 0 213201 0
vsize: 852868
[startup+510.035 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 48245 67 0 0 25 0 11 0 491490558 873336832 30709 4294967295 134512640 134569956 3221224400 3221214704 1131615484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30709 13073 16 0 213201 0
vsize: 852868
[startup+520.036 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 49203 67 0 0 25 0 11 0 491490558 873336832 30793 4294967295 134512640 134569956 3221224400 3221214608 1131364602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30793 13073 16 0 213201 0
vsize: 852868
[startup+530.035 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 50165 68 0 0 25 0 11 0 491490558 873336832 30860 4294967295 134512640 134569956 3221224400 3221214756 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30860 13073 16 0 213201 0
vsize: 852868
[startup+540.037 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 51120 68 0 0 25 0 11 0 491490558 873336832 30893 4294967295 134512640 134569956 3221224400 3221214720 1131618525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30893 13073 16 0 213201 0
vsize: 852868
[startup+550.038 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 52080 69 0 0 25 0 11 0 491490558 873336832 30943 4294967295 134512640 134569956 3221224400 3221214712 1131219623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 30943 13073 16 0 213201 0
vsize: 852868
[startup+560.037 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 53034 70 0 0 25 0 11 0 491490558 873336832 31019 4294967295 134512640 134569956 3221224400 3221214624 1131435460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31019 13073 16 0 213201 0
vsize: 852868
[startup+570.038 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 53998 70 0 0 25 0 11 0 491490558 873336832 31069 4294967295 134512640 134569956 3221224400 3221214528 1131823145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31069 13073 16 0 213201 0
vsize: 852868
[startup+580.039 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 54965 70 0 0 25 0 11 0 491490558 873336832 31132 4294967295 134512640 134569956 3221224400 3221214720 1131612594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31132 13073 16 0 213201 0
vsize: 852868
[startup+590.039 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 55935 71 0 0 25 0 11 0 491490558 873336832 31197 4294967295 134512640 134569956 3221224400 3221214720 1131623375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31197 13073 16 0 213201 0
vsize: 852868
[startup+600.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 56903 71 0 0 25 0 11 0 491490558 873336832 31266 4294967295 134512640 134569956 3221224400 3221214672 1131362744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31266 13073 16 0 213201 0
vsize: 852868
[startup+610.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 57871 71 0 0 25 0 11 0 491490558 873336832 31297 4294967295 134512640 134569956 3221224400 3221214400 1131332485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31297 13073 16 0 213201 0
vsize: 852868
[startup+620.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 58833 72 0 0 25 0 11 0 491490558 873336832 31309 4294967295 134512640 134569956 3221224400 3221214800 1131600416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31309 13073 16 0 213201 0
vsize: 852868
[startup+630.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 59793 72 0 0 25 0 11 0 491490558 873336832 31352 4294967295 134512640 134569956 3221224400 3221214764 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31352 13073 16 0 213201 0
vsize: 852868
[startup+640.043 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 60746 72 0 0 25 0 11 0 491490558 873336832 31395 4294967295 134512640 134569956 3221224400 3221214800 1131600349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31395 13073 16 0 213201 0
vsize: 852868
[startup+650.043 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 61696 72 0 0 25 0 11 0 491490558 873336832 31467 4294967295 134512640 134569956 3221224400 3221214624 1131435556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31467 13073 16 0 213201 0
vsize: 852868
[startup+660.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 62649 73 0 0 25 0 11 0 491490558 873336832 31530 4294967295 134512640 134569956 3221224400 3221214624 1131435345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31530 13073 16 0 213201 0
vsize: 852868
[startup+670.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 63606 73 0 0 25 0 11 0 491490558 873336832 31637 4294967295 134512640 134569956 3221224400 3221214800 1131600601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 31637 13073 16 0 213201 0
vsize: 852868
[startup+680.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 64561 73 0 0 25 0 11 0 491490558 873336832 31723 4294967295 134512640 134569956 3221224400 3221214720 1131620280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 31723 13073 16 0 213201 0
vsize: 852868
[startup+690.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 65518 73 0 0 24 0 11 0 491490558 873336832 31779 4294967295 134512640 134569956 3221224400 3221214720 1131620397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 31779 13073 16 0 213201 0
vsize: 852868
[startup+700.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 66480 73 0 0 24 0 11 0 491490558 873336832 31841 4294967295 134512640 134569956 3221224400 3221214800 1131600143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 31841 13073 16 0 213201 0
vsize: 852868
[startup+710.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 67436 73 0 0 25 0 11 0 491490558 873336832 31916 4294967295 134512640 134569956 3221224400 3221214656 1131720707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 31916 13073 16 0 213201 0
vsize: 852868
[startup+720.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 68392 73 0 0 25 0 11 0 491490558 873336832 31944 4294967295 134512640 134569956 3221224400 3221214768 1131659752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 31944 13073 16 0 213201 0
vsize: 852868
[startup+730.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 69346 73 0 0 25 0 11 0 491490558 873336832 32044 4294967295 134512640 134569956 3221224400 3221214608 1131364677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32044 13073 16 0 213201 0
vsize: 852868
[startup+740.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 70302 73 0 0 25 0 11 0 491490558 873336832 32115 4294967295 134512640 134569956 3221224400 3221214616 1131711202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32115 13073 16 0 213201 0
vsize: 852868
[startup+750.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 71254 73 0 0 25 0 11 0 491490558 873336832 32176 4294967295 134512640 134569956 3221224400 3221214720 1131618460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32176 13073 16 0 213201 0
vsize: 852868
[startup+760.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 72207 73 0 0 25 0 11 0 491490558 873336832 32235 4294967295 134512640 134569956 3221224400 3221214616 1131711194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32235 13073 16 0 213201 0
vsize: 852868
[startup+770.053 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 73168 73 0 0 25 0 11 0 491490558 873336832 32325 4294967295 134512640 134569956 3221224400 3221214664 1131433778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32325 13073 16 0 213201 0
vsize: 852868
[startup+780.054 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 74132 73 0 0 25 0 11 0 491490558 873336832 32418 4294967295 134512640 134569956 3221224400 3221214712 1131219644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32418 13073 16 0 213201 0
vsize: 852868
[startup+790.055 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 75095 73 0 0 25 0 11 0 491490558 873336832 32443 4294967295 134512640 134569956 3221224400 3221214768 1131661602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32443 13073 16 0 213201 0
vsize: 852868
[startup+800.055 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 76054 73 0 0 25 0 11 0 491490558 873336832 32470 4294967295 134512640 134569956 3221224400 3221214624 1131435453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32470 13073 16 0 213201 0
vsize: 852868
[startup+810.055 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 77010 73 0 0 25 0 11 0 491490558 873336832 32516 4294967295 134512640 134569956 3221224400 3221214800 1131600431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32516 13073 16 0 213201 0
vsize: 852868
[startup+820.056 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 77968 73 0 0 25 0 11 0 491490558 873336832 32603 4294967295 134512640 134569956 3221224400 3221214608 1131364589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32603 13073 16 0 213201 0
vsize: 852868
[startup+830.057 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 78927 73 0 0 25 0 11 0 491490558 873336832 32686 4294967295 134512640 134569956 3221224400 3221214800 1131600428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32686 13073 16 0 213201 0
vsize: 852868
[startup+840.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 79892 73 0 0 25 0 11 0 491490558 873336832 32758 4294967295 134512640 134569956 3221224400 3221214800 1131600140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32758 13073 16 0 213201 0
vsize: 852868
[startup+850.059 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 80865 73 0 0 25 0 11 0 491490558 873336832 32791 4294967295 134512640 134569956 3221224400 3221214720 1131621279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32791 13073 16 0 213201 0
vsize: 852868
[startup+860.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 81828 73 0 0 25 0 11 0 491490558 873336832 32849 4294967295 134512640 134569956 3221224400 3221214720 1131622168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32849 13073 16 0 213201 0
vsize: 852868
[startup+870.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 82785 73 0 0 25 0 11 0 491490558 873336832 32889 4294967295 134512640 134569956 3221224400 3221214720 1131619425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32889 13073 16 0 213201 0
vsize: 852868
[startup+880.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 83742 73 0 0 25 0 11 0 491490558 873336832 32967 4294967295 134512640 134569956 3221224400 3221214720 1131618460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 32967 13073 16 0 213201 0
vsize: 852868
[startup+890.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 84699 74 0 0 25 0 11 0 491490558 873336832 33040 4294967295 134512640 134569956 3221224400 3221214664 1131436060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33040 13073 16 0 213201 0
vsize: 852868
[startup+900.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 85648 74 0 0 25 0 11 0 491490558 873336832 33090 4294967295 134512640 134569956 3221224400 3221214720 1131618453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33090 13073 16 0 213201 0
vsize: 852868
[startup+910.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 86600 74 0 0 25 0 11 0 491490558 873336832 33185 4294967295 134512640 134569956 3221224400 3221214656 1131718786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33185 13073 16 0 213201 0
vsize: 852868
[startup+920.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 87546 74 0 0 24 0 11 0 491490558 873336832 33264 4294967295 134512640 134569956 3221224400 3221214536 1131740612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33264 13073 16 0 213201 0
vsize: 852868
[startup+930.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 88505 74 0 0 24 0 11 0 491490558 873336832 33331 4294967295 134512640 134569956 3221224400 3221214720 1131618525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33331 13073 16 0 213201 0
vsize: 852868
[startup+940.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 89465 74 0 0 25 0 11 0 491490558 873336832 33417 4294967295 134512640 134569956 3221224400 3221214720 1131620280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33417 13073 16 0 213201 0
vsize: 852868
[startup+950.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 90418 74 0 0 24 0 11 0 491490558 873336832 33468 4294967295 134512640 134569956 3221224400 3221214624 1131435510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33468 13073 16 0 213201 0
vsize: 852868
[startup+960.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 91375 74 0 0 25 0 11 0 491490558 873336832 33500 4294967295 134512640 134569956 3221224400 3221214656 1131720687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33500 13073 16 0 213201 0
vsize: 852868
[startup+970.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 92325 74 0 0 25 0 11 0 491490558 873336832 33559 4294967295 134512640 134569956 3221224400 3221214768 1131659379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33559 13073 16 0 213201 0
vsize: 852868
[startup+980.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 93269 74 0 0 25 0 11 0 491490558 873336832 33640 4294967295 134512640 134569956 3221224400 3221214528 1131822901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33640 13073 16 0 213201 0
vsize: 852868
[startup+990.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 94226 74 0 0 25 0 11 0 491490558 873336832 33764 4294967295 134512640 134569956 3221224400 3221214536 1131332107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33764 13073 16 0 213201 0
vsize: 852868
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 95189 74 0 0 25 0 11 0 491490558 873336832 33817 4294967295 134512640 134569956 3221224400 3221214720 1131620280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33817 13073 16 0 213201 0
vsize: 852868
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 96145 74 0 0 25 0 11 0 491490558 873336832 33907 4294967295 134512640 134569956 3221224400 3221214800 1131600140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 33907 13073 16 0 213201 0
vsize: 852868
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 97110 74 0 0 25 0 11 0 491490558 873336832 34039 4294967295 134512640 134569956 3221224400 3221214536 1131332307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34039 13073 16 0 213201 0
vsize: 852868
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 98084 74 0 0 25 0 11 0 491490558 873336832 34039 4294967295 134512640 134569956 3221224400 3221214536 1131332485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34039 13073 16 0 213201 0
vsize: 852868
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 99055 74 0 0 25 0 11 0 491490558 873336832 34071 4294967295 134512640 134569956 3221224400 3221214800 1131600143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34071 13073 16 0 213201 0
vsize: 852868
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 100024 75 0 0 25 0 11 0 491490558 873336832 34125 4294967295 134512640 134569956 3221224400 3221214624 1131435385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34125 13073 16 0 213201 0
vsize: 852868
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 101001 75 0 0 25 0 11 0 491490558 873336832 34166 4294967295 134512640 134569956 3221224400 3221214536 1131885449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34166 13073 16 0 213201 0
vsize: 852868
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 101974 75 0 0 25 0 11 0 491490558 873336832 34166 4294967295 134512640 134569956 3221224400 3221214624 1131435301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34166 13073 16 0 213201 0
vsize: 852868
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 102943 75 0 0 25 0 11 0 491490558 873336832 34166 4294967295 134512640 134569956 3221224400 3221214536 1131332067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34166 13073 16 0 213201 0
vsize: 852868
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 103908 75 0 0 25 0 11 0 491490558 873336832 34239 4294967295 134512640 134569956 3221224400 3221214624 1131435510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34239 13073 16 0 213201 0
vsize: 852868
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 104871 75 0 0 25 0 11 0 491490558 873336832 34277 4294967295 134512640 134569956 3221224400 3221214720 1131622168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34277 13073 16 0 213201 0
vsize: 852868
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 105822 75 0 0 25 0 11 0 491490558 873336832 34314 4294967295 134512640 134569956 3221224400 3221214720 1131612671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213217 34314 13073 16 0 213201 0
vsize: 852868
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 106768 75 0 0 24 0 11 0 491490558 873336832 34353 4294967295 134512640 134569956 3221224400 3221214536 1131332152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34353 13073 16 0 213201 0
vsize: 852868
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 107737 75 0 0 25 0 11 0 491490558 873336832 34443 4294967295 134512640 134569956 3221224400 3221214656 1131718951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34443 13073 16 0 213201 0
vsize: 852868
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 108705 75 0 0 25 0 11 0 491490558 873336832 34528 4294967295 134512640 134569956 3221224400 3221214720 1131618525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34528 13073 16 0 213201 0
vsize: 852868
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 109665 75 0 0 25 0 11 0 491490558 873336832 34568 4294967295 134512640 134569956 3221224400 3221214656 1131719271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34568 13073 16 0 213201 0
vsize: 852868
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 110622 75 0 0 25 0 11 0 491490558 873336832 34568 4294967295 134512640 134569956 3221224400 3221214656 1131722099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34568 13073 16 0 213201 0
vsize: 852868
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 111572 75 0 0 25 0 11 0 491490558 873336832 34646 4294967295 134512640 134569956 3221224400 3221214624 1131435671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34646 13073 16 0 213201 0
vsize: 852868
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 112527 76 0 0 25 0 11 0 491490558 873336832 34699 4294967295 134512640 134569956 3221224400 3221214720 1131612733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34699 13073 16 0 213201 0
vsize: 852868
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 113481 76 0 0 25 0 11 0 491490558 873336832 34795 4294967295 134512640 134569956 3221224400 3221214656 1131718745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34795 13073 16 0 213201 0
vsize: 852868
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 114434 76 0 0 25 0 11 0 491490558 873336832 34826 4294967295 134512640 134569956 3221224400 3221214664 1131332307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34826 13073 16 0 213201 0
vsize: 852868
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) S 21114 29151 29150 0 -1 0 17991 0 92 0 115386 76 0 0 25 0 11 0 491490558 873336832 34874 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34874 13073 16 0 213201 0
vsize: 852868
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 116339 76 0 0 25 0 11 0 491490558 873336832 34962 4294967295 134512640 134569956 3221224400 3221214672 1131362758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 34962 13073 16 0 213201 0
vsize: 852868
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 117290 76 0 0 25 0 11 0 491490558 873336832 35018 4294967295 134512640 134569956 3221224400 3221214800 1131600140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 35018 13073 16 0 213201 0
vsize: 852868
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 118244 76 0 0 25 0 11 0 491490558 873336832 35198 4294967295 134512640 134569956 3221224400 3221214672 1131363157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 35198 13073 16 0 213201 0
vsize: 852868
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 119206 76 0 0 25 0 11 0 491490558 873336832 35232 4294967295 134512640 134569956 3221224400 3221214656 1131723102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 35232 13073 16 0 213201 0
vsize: 852868
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21125
Raw data (stat): 21115 (java) R 21114 29151 29150 0 -1 0 17991 0 92 0 120154 76 0 0 25 0 11 0 491490558 873336832 35274 4294967295 134512640 134569956 3221224400 3221214800 1131600140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 35274 13073 16 0 213201 0
vsize: 852868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21127
Raw data (stat): 21115 (java) Z 21114 29151 29150 0 -1 1036 17991 12102 92 0 120157 76 4892 40 25 0 1 0 491490558 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): 1260.3
CPU time (s): 1251.67
CPU user time (s): 1250.5
CPU system time (s): 1.17382
CPU usage (%): 99.3155
Max. virtual memory (Kb): 858028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####