Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
MD5SUMb964292d4197638ce79b3f213e8fe89b
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5130240
Optimality of the best value was proved NO
Number of terms in the objective function 1008
Biggest coefficient in the objective function 366477312
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 12643636975
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 366477312
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 12643636975
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables1008
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint1
Maximum length of a constraint160

Trace number 19073

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 17:46:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17052 boxname=wulflinc4 idbench=1312 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b964292d4197638ce79b3f213e8fe89b  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb
IDLAUNCH: 17052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        811516 kB
Buffers:         26392 kB
Cached:         175612 kB
SwapCached:        364 kB
Active:          32204 kB
Inactive:       172356 kB
HighTotal:      131008 kB
HighFree:        91280 kB
LowTotal:       903652 kB
LowFree:        720236 kB
SwapTotal:     2097136 kB
SwapFree:      2096356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6400 kB
Slab:            12920 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:06:44 (client local time) WITH STATUS 143 IN 1230.69 SECONDS
stats: 17052 7 1230.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb
c reading problem 
c [nbvar=1008]
c [nbconstr=110]
c time 2.305
c #vars     1008
c #clauses  77
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=5786411
c Current CPU time (ms) : 9.33
c starts	: 1
c conflicts	: 9
c decisions	: 757
c propagations	: 4089
c inspects	: 6440
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 9
c 
c CURRENT OPTIMUM=5530411
c Current CPU time (ms) : 10.288
c starts	: 2
c conflicts	: 9
c decisions	: 884
c propagations	: 4670
c inspects	: 7548
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 10
c 
c CURRENT OPTIMUM=5530402
c Current CPU time (ms) : 12.223
c starts	: 3
c conflicts	: 10
c decisions	: 982
c propagations	: 5257
c inspects	: 8753
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
c root simplifications	: 11
c 
c CURRENT OPTIMUM=5514004
c Current CPU time (ms) : 40.157
c starts	: 4
c conflicts	: 27
c decisions	: 2911
c propagations	: 10991
c inspects	: 30078
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 27
c root simplifications	: 26
#### 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.85 0.95 0.97 2/54 10964
Raw data (stat): 10964 (runsolver) R 10963 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488762955 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 1.03 0.99 0.98 2/64 10975
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18072 3 1 0 752 44 0 0 25 0 11 0 488762955 863084544 21051 4294967295 134512640 134569956 3221224400 3221214808 1131404408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210714 21051 13073 16 0 210698 0
vsize: 842856
[startup+20.0024 s]
Raw data (loadavg): 1.10 1.00 0.99 2/64 10977
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18073 3 1 0 1696 45 0 0 25 0 11 0 488762955 863084544 21259 4294967295 134512640 134569956 3221224400 3221214696 1131220576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210714 21259 13073 16 0 210698 0
vsize: 842856
[startup+30.0028 s]
Raw data (loadavg): 1.08 1.00 0.99 2/64 10977
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 2652 45 0 0 25 0 11 0 488762955 863084544 21325 4294967295 134512640 134569956 3221224400 3221214792 1131273224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210714 21325 13073 16 0 210698 0
vsize: 842856
[startup+40.0041 s]
Raw data (loadavg): 1.14 1.02 0.99 2/64 10977
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 3609 45 0 0 25 0 11 0 488762955 866230272 22527 4294967295 134512640 134569956 3221224400 3221214792 1131273505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211482 22527 13073 16 0 211466 0
vsize: 845928
[startup+50.005 s]
Raw data (loadavg): 1.12 1.02 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 4590 46 0 0 25 0 11 0 488762955 866230272 22625 4294967295 134512640 134569956 3221224400 3221214696 1131220526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211482 22625 13073 16 0 211466 0
vsize: 845928
[startup+60.0054 s]
Raw data (loadavg): 1.10 1.02 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 5570 46 0 0 24 0 11 0 488762955 866230272 22670 4294967295 134512640 134569956 3221224400 3221214696 1131220637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211482 22670 13073 16 0 211466 0
vsize: 845928
[startup+70.0068 s]
Raw data (loadavg): 1.09 1.02 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 6549 47 0 0 25 0 11 0 488762955 866230272 22722 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211482 22722 13073 16 0 211466 0
vsize: 845928
[startup+80.0076 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 7533 47 0 0 25 0 11 0 488762955 864133120 22253 4294967295 134512640 134569956 3221224400 3221214688 1131364049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22253 13073 16 0 210954 0
vsize: 843880
[startup+90.0081 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 8521 47 0 0 25 0 11 0 488762955 864133120 22296 4294967295 134512640 134569956 3221224400 3221214760 1131229088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22296 13073 16 0 210954 0
vsize: 843880
[startup+100.008 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 9509 47 0 0 25 0 11 0 488762955 864133120 22319 4294967295 134512640 134569956 3221224400 3221214592 1131246704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22319 13073 16 0 210954 0
vsize: 843880
[startup+110.01 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 10496 48 0 0 25 0 11 0 488762955 864133120 22358 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22358 13073 16 0 210954 0
vsize: 843880
[startup+120.011 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 11485 48 0 0 25 0 11 0 488762955 864133120 22391 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22391 13073 16 0 210954 0
vsize: 843880
[startup+130.011 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 12475 48 0 0 25 0 11 0 488762955 864133120 22412 4294967295 134512640 134569956 3221224400 3221214696 1131220809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22412 13073 16 0 210954 0
vsize: 843880
[startup+140.012 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 13464 48 0 0 25 0 11 0 488762955 864133120 22451 4294967295 134512640 134569956 3221224400 3221214696 1131220312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 22451 13073 16 0 210954 0
vsize: 843880
[startup+150.012 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 14446 48 0 0 25 0 11 0 488762955 864133120 22477 4294967295 134512640 134569956 3221224400 3221214696 1131220781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22477 13073 16 0 210954 0
vsize: 843880
[startup+160.014 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 15428 48 0 0 25 0 11 0 488762955 864133120 22511 4294967295 134512640 134569956 3221224400 3221214792 1131272030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22511 13073 16 0 210954 0
vsize: 843880
[startup+170.014 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 16409 48 0 0 25 0 11 0 488762955 864133120 22553 4294967295 134512640 134569956 3221224400 3221214696 1131220777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22553 13073 16 0 210954 0
vsize: 843880
[startup+180.015 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 17389 48 0 0 25 0 11 0 488762955 864133120 22673 4294967295 134512640 134569956 3221224400 3221214592 1131572517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22673 13073 16 0 210954 0
vsize: 843880
[startup+190.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 18376 48 0 0 25 0 11 0 488762955 864133120 22686 4294967295 134512640 134569956 3221224400 3221214696 1131220564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22686 13073 16 0 210954 0
vsize: 843880
[startup+200.017 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 19362 48 0 0 25 0 11 0 488762955 864133120 22737 4294967295 134512640 134569956 3221224400 3221214696 1131221414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22737 13073 16 0 210954 0
vsize: 843880
[startup+210.017 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 20350 48 0 0 22 0 11 0 488762955 864133120 22784 4294967295 134512640 134569956 3221224400 3221214792 1131273444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22784 13073 16 0 210954 0
vsize: 843880
[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 21340 49 0 0 25 0 11 0 488762955 864133120 22813 4294967295 134512640 134569956 3221224400 3221214664 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22813 13073 16 0 210954 0
vsize: 843880
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 22332 49 0 0 25 0 11 0 488762955 864133120 22852 4294967295 134512640 134569956 3221224400 3221214696 1131220606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22852 13073 16 0 210954 0
vsize: 843880
[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 23323 49 0 0 25 0 11 0 488762955 864133120 22880 4294967295 134512640 134569956 3221224400 3221214696 1131221016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22880 13073 16 0 210954 0
vsize: 843880
[startup+250.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 24315 49 0 0 25 0 11 0 488762955 864133120 22900 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22900 13073 16 0 210954 0
vsize: 843880
[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 25307 49 0 0 25 0 11 0 488762955 864133120 22933 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22933 13073 16 0 210954 0
vsize: 843880
[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 26300 49 0 0 25 0 11 0 488762955 864133120 22961 4294967295 134512640 134569956 3221224400 3221214696 1131220801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22961 13073 16 0 210954 0
vsize: 843880
[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 27292 49 0 0 25 0 11 0 488762955 864133120 22973 4294967295 134512640 134569956 3221224400 3221214792 1131274903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22973 13073 16 0 210954 0
vsize: 843880
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 28285 49 0 0 25 0 11 0 488762955 864133120 22991 4294967295 134512640 134569956 3221224400 3221214696 1131220662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 22991 13073 16 0 210954 0
vsize: 843880
[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 29276 49 0 0 25 0 11 0 488762955 864133120 23016 4294967295 134512640 134569956 3221224400 3221214792 1131274114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23016 13073 16 0 210954 0
vsize: 843880
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 30268 49 0 0 25 0 11 0 488762955 864133120 23045 4294967295 134512640 134569956 3221224400 3221214840 1131248569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23045 13073 16 0 210954 0
vsize: 843880
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 31258 49 0 0 25 0 11 0 488762955 864133120 23069 4294967295 134512640 134569956 3221224400 3221214688 1131594839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23069 13073 16 0 210954 0
vsize: 843880
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 32240 49 0 0 25 0 11 0 488762955 864133120 23104 4294967295 134512640 134569956 3221224400 3221214592 1131257036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23104 13073 16 0 210954 0
vsize: 843880
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 33215 49 0 0 25 0 11 0 488762955 864133120 23126 4294967295 134512640 134569956 3221224400 3221214688 1131594828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23126 13073 16 0 210954 0
vsize: 843880
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 34190 49 0 0 25 0 11 0 488762955 864133120 23190 4294967295 134512640 134569956 3221224400 3221214696 1131220678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23190 13073 16 0 210954 0
vsize: 843880
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 35165 49 0 0 25 0 11 0 488762955 864133120 23316 4294967295 134512640 134569956 3221224400 3221214656 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23316 13073 16 0 210954 0
vsize: 843880
[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 36149 49 0 0 24 0 11 0 488762955 864133120 23398 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23398 13073 16 0 210954 0
vsize: 843880
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 37138 49 0 0 25 0 11 0 488762955 864133120 23468 4294967295 134512640 134569956 3221224400 3221214788 1131221721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23468 13073 16 0 210954 0
vsize: 843880
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 38128 50 0 0 25 0 11 0 488762955 864133120 23491 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23491 13073 16 0 210954 0
vsize: 843880
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 39119 50 0 0 25 0 11 0 488762955 864133120 23520 4294967295 134512640 134569956 3221224400 3221214696 1131220656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23520 13073 16 0 210954 0
vsize: 843880
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 40110 50 0 0 25 0 11 0 488762955 864133120 23551 4294967295 134512640 134569956 3221224400 3221214696 1131220539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23551 13073 16 0 210954 0
vsize: 843880
[startup+420.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 41102 50 0 0 25 0 11 0 488762955 864133120 23567 4294967295 134512640 134569956 3221224400 3221214792 1131273179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23567 13073 16 0 210954 0
vsize: 843880
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 42093 51 0 0 25 0 11 0 488762955 864133120 23590 4294967295 134512640 134569956 3221224400 3221214568 1131401145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23590 13073 16 0 210954 0
vsize: 843880
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 43084 51 0 0 25 0 11 0 488762955 864133120 23613 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23613 13073 16 0 210954 0
vsize: 843880
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 44075 51 0 0 25 0 11 0 488762955 864133120 23647 4294967295 134512640 134569956 3221224400 3221214696 1131221554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23647 13073 16 0 210954 0
vsize: 843880
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 45067 51 0 0 25 0 11 0 488762955 864133120 23666 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 23666 13073 16 0 210954 0
vsize: 843880
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 46057 51 0 0 25 0 11 0 488762955 864133120 23687 4294967295 134512640 134569956 3221224400 3221214696 1131220229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 23687 13073 16 0 210954 0
vsize: 843880
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 47046 52 0 0 25 0 11 0 488762955 864133120 23729 4294967295 134512640 134569956 3221224400 3221214792 1131274956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 23729 13073 16 0 210954 0
vsize: 843880
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 48035 52 0 0 25 0 11 0 488762955 864133120 23754 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23754 13073 16 0 210954 0
vsize: 843880
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 49025 52 0 0 25 0 11 0 488762955 864133120 23804 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 23804 13073 16 0 210954 0
vsize: 843880
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 50015 53 0 0 25 0 11 0 488762955 864133120 23839 4294967295 134512640 134569956 3221224400 3221214792 1131274982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 23839 13073 16 0 210954 0
vsize: 843880
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 51004 53 0 0 25 0 11 0 488762955 864133120 23873 4294967295 134512640 134569956 3221224400 3221214696 1131221477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23873 13073 16 0 210954 0
vsize: 843880
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 51995 53 0 0 25 0 11 0 488762955 864133120 23894 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23894 13073 16 0 210954 0
vsize: 843880
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 52986 53 0 0 25 0 11 0 488762955 864133120 23947 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23947 13073 16 0 210954 0
vsize: 843880
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 53978 53 0 0 25 0 11 0 488762955 864133120 23969 4294967295 134512640 134569956 3221224400 3221214696 1131220294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23969 13073 16 0 210954 0
vsize: 843880
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 54969 53 0 0 25 0 11 0 488762955 864133120 23984 4294967295 134512640 134569956 3221224400 3221214792 1131275530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 23984 13073 16 0 210954 0
vsize: 843880
[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 55960 53 0 0 25 0 11 0 488762955 864133120 24010 4294967295 134512640 134569956 3221224400 3221214696 1131221573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24010 13073 16 0 210954 0
vsize: 843880
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 56950 53 0 0 25 0 11 0 488762955 864133120 24035 4294967295 134512640 134569956 3221224400 3221214696 1131220536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24035 13073 16 0 210954 0
vsize: 843880
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 57940 53 0 0 25 0 11 0 488762955 864133120 24075 4294967295 134512640 134569956 3221224400 3221214696 1131220233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24075 13073 16 0 210954 0
vsize: 843880
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 58930 53 0 0 25 0 11 0 488762955 864133120 24115 4294967295 134512640 134569956 3221224400 3221214792 1131272176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24115 13073 16 0 210954 0
vsize: 843880
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 59920 53 0 0 25 0 11 0 488762955 864133120 24151 4294967295 134512640 134569956 3221224400 3221214696 1131220781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24151 13073 16 0 210954 0
vsize: 843880
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 60910 53 0 0 25 0 11 0 488762955 864133120 24181 4294967295 134512640 134569956 3221224400 3221214696 1131220797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24181 13073 16 0 210954 0
vsize: 843880
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 61900 54 0 0 25 0 11 0 488762955 864133120 24207 4294967295 134512640 134569956 3221224400 3221214696 1131220254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24207 13073 16 0 210954 0
vsize: 843880
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 62890 54 0 0 25 0 11 0 488762955 864133120 24249 4294967295 134512640 134569956 3221224400 3221214696 1131220797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24249 13073 16 0 210954 0
vsize: 843880
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 63881 54 0 0 25 0 11 0 488762955 864133120 24292 4294967295 134512640 134569956 3221224400 3221214696 1131220750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24292 13073 16 0 210954 0
vsize: 843880
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 64872 54 0 0 25 0 11 0 488762955 864133120 24312 4294967295 134512640 134569956 3221224400 3221214696 1131221492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24312 13073 16 0 210954 0
vsize: 843880
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 65863 54 0 0 25 0 11 0 488762955 864133120 24330 4294967295 134512640 134569956 3221224400 3221214696 1131220857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24330 13073 16 0 210954 0
vsize: 843880
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 66853 54 0 0 25 0 11 0 488762955 864133120 24368 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24368 13073 16 0 210954 0
vsize: 843880
[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 67842 54 0 0 25 0 11 0 488762955 864133120 24399 4294967295 134512640 134569956 3221224400 3221214792 1131273129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24399 13073 16 0 210954 0
vsize: 843880
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 68833 54 0 0 25 0 11 0 488762955 864133120 24432 4294967295 134512640 134569956 3221224400 3221214616 1131586517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24432 13073 16 0 210954 0
vsize: 843880
[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 69824 54 0 0 25 0 11 0 488762955 864133120 24475 4294967295 134512640 134569956 3221224400 3221214696 1131220257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24475 13073 16 0 210954 0
vsize: 843880
[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 70816 54 0 0 25 0 11 0 488762955 864133120 24500 4294967295 134512640 134569956 3221224400 3221214792 1131273260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24500 13073 16 0 210954 0
vsize: 843880
[startup+730.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 71805 54 0 0 25 0 11 0 488762955 864133120 24526 4294967295 134512640 134569956 3221224400 3221214696 1131220578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24526 13073 16 0 210954 0
vsize: 843880
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 72795 55 0 0 25 0 11 0 488762955 864133120 24548 4294967295 134512640 134569956 3221224400 3221214792 1131272317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24548 13073 16 0 210954 0
vsize: 843880
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 73784 55 0 0 25 0 11 0 488762955 864133120 24590 4294967295 134512640 134569956 3221224400 3221214696 1131220578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24590 13073 16 0 210954 0
vsize: 843880
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 74774 55 0 0 25 0 11 0 488762955 864133120 24628 4294967295 134512640 134569956 3221224400 3221214696 1131220859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24628 13073 16 0 210954 0
vsize: 843880
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) S 10963 5897 5896 0 -1 0 18076 3 1 0 75763 55 0 0 25 0 11 0 488762955 864133120 24683 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24683 13073 16 0 210954 0
vsize: 843880
[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 76754 55 0 0 25 0 11 0 488762955 864133120 24719 4294967295 134512640 134569956 3221224400 3221214792 1131273325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24719 13073 16 0 210954 0
vsize: 843880
[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 77745 55 0 0 25 0 11 0 488762955 864133120 24747 4294967295 134512640 134569956 3221224400 3221214792 1131275096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24747 13073 16 0 210954 0
vsize: 843880
[startup+800.068 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 78736 55 0 0 25 0 11 0 488762955 864133120 24768 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24768 13073 16 0 210954 0
vsize: 843880
[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) S 10963 5897 5896 0 -1 0 18076 3 1 0 79727 55 0 0 25 0 11 0 488762955 864133120 24802 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24802 13073 16 0 210954 0
vsize: 843880
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 10978
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 80717 55 0 0 25 0 11 0 488762955 864133120 24830 4294967295 134512640 134569956 3221224400 3221214696 1131220629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 24830 13073 16 0 210954 0
vsize: 843880
[startup+830.073 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 81697 64 0 0 25 0 11 0 488762955 864133120 24857 4294967295 134512640 134569956 3221224400 3221214696 1131221041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24857 13073 16 0 210954 0
vsize: 843880
[startup+840.074 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 82686 64 0 0 25 0 11 0 488762955 864133120 24880 4294967295 134512640 134569956 3221224400 3221214696 1131220561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24880 13073 16 0 210954 0
vsize: 843880
[startup+850.074 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 83677 64 0 0 25 0 11 0 488762955 864133120 24928 4294967295 134512640 134569956 3221224400 3221214792 1131274214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24928 13073 16 0 210954 0
vsize: 843880
[startup+860.075 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 84667 65 0 0 25 0 11 0 488762955 864133120 24946 4294967295 134512640 134569956 3221224400 3221214696 1131220801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24946 13073 16 0 210954 0
vsize: 843880
[startup+870.075 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 85658 65 0 0 25 0 11 0 488762955 864133120 24968 4294967295 134512640 134569956 3221224400 3221214788 1131220204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24968 13073 16 0 210954 0
vsize: 843880
[startup+880.075 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 86648 65 0 0 25 0 11 0 488762955 864133120 24990 4294967295 134512640 134569956 3221224400 3221214792 1131274907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 24990 13073 16 0 210954 0
vsize: 843880
[startup+890.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11031
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 87638 66 0 0 25 0 11 0 488762955 864133120 25002 4294967295 134512640 134569956 3221224400 3221214792 1131274956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25002 13073 16 0 210954 0
vsize: 843880
[startup+900.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 88628 66 0 0 25 0 11 0 488762955 864133120 25017 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25017 13073 16 0 210954 0
vsize: 843880
[startup+910.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 89618 67 0 0 25 0 11 0 488762955 864133120 25058 4294967295 134512640 134569956 3221224400 3221214792 1131272265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25058 13073 16 0 210954 0
vsize: 843880
[startup+920.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 90607 67 0 0 25 0 11 0 488762955 864133120 25096 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25096 13073 16 0 210954 0
vsize: 843880
[startup+930.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 91597 68 0 0 25 0 11 0 488762955 864133120 25109 4294967295 134512640 134569956 3221224400 3221214696 1131220273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25109 13073 16 0 210954 0
vsize: 843880
[startup+940.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 92588 68 0 0 25 0 11 0 488762955 864133120 25136 4294967295 134512640 134569956 3221224400 3221214632 1131220511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25136 13073 16 0 210954 0
vsize: 843880
[startup+950.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 93578 68 0 0 25 0 11 0 488762955 864133120 25170 4294967295 134512640 134569956 3221224400 3221214632 1131220539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25170 13073 16 0 210954 0
vsize: 843880
[startup+960.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 94567 68 0 0 25 0 11 0 488762955 864133120 25197 4294967295 134512640 134569956 3221224400 3221214632 1131221168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 25197 13073 16 0 210954 0
vsize: 843880
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 95557 68 0 0 25 0 11 0 488762955 864133120 25207 4294967295 134512640 134569956 3221224400 3221214632 1131221519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25207 13073 16 0 210954 0
vsize: 843880
[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 96546 69 0 0 25 0 11 0 488762955 864133120 25240 4294967295 134512640 134569956 3221224400 3221214728 1131272233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25240 13073 16 0 210954 0
vsize: 843880
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 97537 69 0 0 25 0 11 0 488762955 864133120 25301 4294967295 134512640 134569956 3221224400 3221214632 1131220853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25301 13073 16 0 210954 0
vsize: 843880
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 98528 69 0 0 25 0 11 0 488762955 864133120 25330 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25330 13073 16 0 210954 0
vsize: 843880
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 99519 69 0 0 25 0 11 0 488762955 864133120 25337 4294967295 134512640 134569956 3221224400 3221214632 1131220797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25337 13073 16 0 210954 0
vsize: 843880
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 100508 69 0 0 25 0 11 0 488762955 864133120 25368 4294967295 134512640 134569956 3221224400 3221214728 1131273257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25368 13073 16 0 210954 0
vsize: 843880
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 101499 69 0 0 25 0 11 0 488762955 864133120 25405 4294967295 134512640 134569956 3221224400 3221214632 1131220578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25405 13073 16 0 210954 0
vsize: 843880
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 102490 69 0 0 25 0 11 0 488762955 864133120 25443 4294967295 134512640 134569956 3221224400 3221214632 1131220578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25443 13073 16 0 210954 0
vsize: 843880
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 103481 69 0 0 25 0 11 0 488762955 864133120 25463 4294967295 134512640 134569956 3221224400 3221214728 1131273260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25463 13073 16 0 210954 0
vsize: 843880
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 104470 69 0 0 25 0 11 0 488762955 864133120 25477 4294967295 134512640 134569956 3221224400 3221214632 1131220797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25477 13073 16 0 210954 0
vsize: 843880
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 105458 69 0 0 25 0 11 0 488762955 864133120 25499 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25499 13073 16 0 210954 0
vsize: 843880
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 106446 69 0 0 25 0 11 0 488762955 864133120 25571 4294967295 134512640 134569956 3221224400 3221214728 1131272298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25571 13073 16 0 210954 0
vsize: 843880
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 107433 70 0 0 25 0 11 0 488762955 864133120 25607 4294967295 134512640 134569956 3221224400 3221214632 1131220427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25607 13073 16 0 210954 0
vsize: 843880
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 108418 70 0 0 24 0 11 0 488762955 864133120 25678 4294967295 134512640 134569956 3221224400 3221214632 1131220526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25678 13073 16 0 210954 0
vsize: 843880
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 109407 70 0 0 25 0 11 0 488762955 864133120 25773 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25773 13073 16 0 210954 0
vsize: 843880
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 110397 70 0 0 25 0 11 0 488762955 864133120 25815 4294967295 134512640 134569956 3221224400 3221214728 1131272048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25815 13073 16 0 210954 0
vsize: 843880
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 111386 70 0 0 25 0 11 0 488762955 864133120 25852 4294967295 134512640 134569956 3221224400 3221214632 1131220853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25852 13073 16 0 210954 0
vsize: 843880
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 112374 70 0 0 25 0 11 0 488762955 864133120 25869 4294967295 134512640 134569956 3221224400 3221214632 1131220528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25869 13073 16 0 210954 0
vsize: 843880
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 113362 70 0 0 25 0 11 0 488762955 864133120 25938 4294967295 134512640 134569956 3221224400 3221214728 1131274808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25938 13073 16 0 210954 0
vsize: 843880
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 114351 70 0 0 25 0 11 0 488762955 864133120 25977 4294967295 134512640 134569956 3221224400 3221214632 1131221115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 25977 13073 16 0 210954 0
vsize: 843880
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 115340 70 0 0 25 0 11 0 488762955 864133120 26028 4294967295 134512640 134569956 3221224400 3221214728 1131274231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 26028 13073 16 0 210954 0
vsize: 843880
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 116327 70 0 0 25 0 11 0 488762955 864133120 26065 4294967295 134512640 134569956 3221224400 3221214632 1131220257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 26065 13073 16 0 210954 0
vsize: 843880
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11033
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 117316 70 0 0 25 0 11 0 488762955 864133120 26119 4294967295 134512640 134569956 3221224400 3221214392 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 26119 13073 16 0 210954 0
vsize: 843880
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11035
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 118305 70 0 0 25 0 11 0 488762955 864133120 26162 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 26162 13073 16 0 210954 0
vsize: 843880
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11035
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 119293 71 0 0 25 0 11 0 488762955 864133120 26207 4294967295 134512640 134569956 3221224400 3221214728 1131275038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210970 26207 13073 16 0 210954 0
vsize: 843880
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11035
Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 120281 71 0 0 25 0 11 0 488762955 864133120 26265 4294967295 134512640 134569956 3221224400 3221214632 1131221547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210970 26265 13073 16 0 210954 0
vsize: 843880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11037
Raw data (stat): 10964 (java) Z 10963 5897 5896 0 -1 1036 18076 12079 1 0 120282 76 2661 48 25 0 1 0 488762955 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.15
CPU time (s): 1230.69
CPU user time (s): 1229.44
CPU system time (s): 1.25081
CPU usage (%): 100.864
Max. virtual memory (Kb): 845928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####