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/miplib2003/normalized-mps-v2-13-7-p2756.opb
MD5SUMf2badf1ad4c3213045697b74fa812a03
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4605
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07284
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 18524

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 15:23:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17884 boxname=wulflinc4 idbench=1376 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17884
/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:        823368 kB
Buffers:         22548 kB
Cached:         167420 kB
SwapCached:        364 kB
Active:          23684 kB
Inactive:       168808 kB
HighTotal:      131008 kB
HighFree:        99540 kB
LowTotal:       903652 kB
LowFree:        723828 kB
SwapTotal:     2097136 kB
SwapFree:      2096356 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6400 kB
Slab:            13216 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:43:51 (client local time) WITH STATUS 143 IN 1232.63 SECONDS
stats: 17884 7 1232.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb
c reading problem 
c [nbvar=2756]
c [nbconstr=3511]
c time 6.892
c #vars     2756
c #clauses  749
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=118390
c Current CPU time (ms) : 11.811
c starts	: 1
c conflicts	: 43
c decisions	: 14723
c propagations	: 24008
c inspects	: 11014
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 13
c 
c CURRENT OPTIMUM=118122
c Current CPU time (ms) : 13.049
c starts	: 2
c conflicts	: 43
c decisions	: 16394
c propagations	: 26737
c inspects	: 12650
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 14
c 
c CURRENT OPTIMUM=117930
c Current CPU time (ms) : 85.318
c starts	: 3
c conflicts	: 59
c decisions	: 18112
c propagations	: 29590
c inspects	: 14729
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 15
c 
c CURRENT OPTIMUM=39742
c Current CPU time (ms) : 87.478
c starts	: 4
c conflicts	: 72
c decisions	: 20677
c propagations	: 33928
c inspects	: 21094
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 72
c root simplifications	: 16
c 
c CURRENT OPTIMUM=39056
c Current CPU time (ms) : 89.482
c starts	: 5
c conflicts	: 80
c decisions	: 25098
c propagations	: 39835
c inspects	: 25969
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 80
c root simplifications	: 17
c 
c CURRENT OPTIMUM=38455
c Current CPU time (ms) : 94.668
c starts	: 6
c conflicts	: 82
c decisions	: 27677
c propagations	: 43917
c inspects	: 30096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 82
c root simplifications	: 18
c 
c CURRENT OPTIMUM=30973
c Current CPU time (ms) : 97.029
c starts	: 7
c conflicts	: 91
c decisions	: 30195
c propagations	: 47885
c inspects	: 35525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 91
c root simplifications	: 19
c 
c CURRENT OPTIMUM=30841
c Current CPU time (ms) : 106.464
c starts	: 8
c conflicts	: 92
c decisions	: 31704
c propagations	: 50868
c inspects	: 39080
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 92
c root simplifications	: 20
c 
c CURRENT OPTIMUM=27756
c Current CPU time (ms) : 777.897
c starts	: 10
c conflicts	: 196
c decisions	: 35533
c propagations	: 57318
c inspects	: 50211
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 196
c root simplifications	: 22
c 
c CURRENT OPTIMUM=24699
c Current CPU time (ms) : 789.346
c starts	: 11
c conflicts	: 200
c decisions	: 37887
c propagations	: 61544
c inspects	: 56272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 200
c root simplifications	: 23
c 
c CURRENT OPTIMUM=24630
c Current CPU time (ms) : 1108.864
c starts	: 12
c conflicts	: 219
c decisions	: 42008
c propagations	: 68025
c inspects	: 65539
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 219
c root simplifications	: 24
#### 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.97 0.96 2/54 9903
Raw data (stat): 9903 (runsolver) R 9902 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487905633 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.0001 s]
Raw data (loadavg): 1.03 1.00 0.97 4/64 9913
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18103 0 1 0 737 47 0 0 25 0 11 0 487905633 866684928 21627 4294967295 134512640 134569956 3221224400 3221214704 1130909218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211593 21627 13073 16 0 211577 0
vsize: 846372
[startup+20.0014 s]
Raw data (loadavg): 1.18 1.03 0.98 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18115 3 1 0 1595 47 0 0 25 0 11 0 487905633 864546816 22272 4294967295 134512640 134569956 3221224400 3221214344 1131306351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211071 22272 13073 16 0 211055 0
vsize: 844284
[startup+30.0018 s]
Raw data (loadavg): 1.16 1.03 0.98 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 2549 48 0 0 25 0 11 0 487905633 862142464 21823 4294967295 134512640 134569956 3221224400 3221214384 1131571773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 21823 13073 16 0 210468 0
vsize: 841936
[startup+40.0021 s]
Raw data (loadavg): 1.13 1.03 0.98 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 3503 48 0 0 25 0 11 0 487905633 862142464 21991 4294967295 134512640 134569956 3221224400 3221214344 1131306387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 21991 13073 16 0 210468 0
vsize: 841936
[startup+50.0029 s]
Raw data (loadavg): 1.11 1.03 0.98 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 4444 48 0 0 25 0 11 0 487905633 862142464 22184 4294967295 134512640 134569956 3221224400 3221214632 1131596714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 22184 13073 16 0 210468 0
vsize: 841936
[startup+60.0023 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 5378 48 0 0 25 0 11 0 487905633 862142464 22366 4294967295 134512640 134569956 3221224400 3221214520 1131552138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 22366 13073 16 0 210468 0
vsize: 841936
[startup+70.0037 s]
Raw data (loadavg): 1.16 1.04 0.99 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 6337 49 0 0 25 0 11 0 487905633 862142464 22803 4294967295 134512640 134569956 3221224400 3221214520 1131552333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 22803 13073 16 0 210468 0
vsize: 841936
[startup+80.0045 s]
Raw data (loadavg): 1.13 1.04 0.99 2/64 9915
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 7305 49 0 0 25 0 11 0 487905633 862142464 22865 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 22865 13073 16 0 210468 0
vsize: 841936
[startup+90.0039 s]
Raw data (loadavg): 1.19 1.06 0.99 2/64 9917
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 8271 49 0 0 25 0 11 0 487905633 862142464 22963 4294967295 134512640 134569956 3221224400 3221214664 1131367419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 22963 13073 16 0 210468 0
vsize: 841936
[startup+100.004 s]
Raw data (loadavg): 1.16 1.05 0.99 2/64 9920
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 9233 50 0 0 25 0 11 0 487905633 862142464 23031 4294967295 134512640 134569956 3221224400 3221214536 1131335578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23031 13073 16 0 210468 0
vsize: 841936
[startup+110.005 s]
Raw data (loadavg): 1.14 1.05 0.99 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 10181 50 0 0 25 0 11 0 487905633 862142464 23155 4294967295 134512640 134569956 3221224400 3221214760 1131372731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23155 13073 16 0 210468 0
vsize: 841936
[startup+120.005 s]
Raw data (loadavg): 1.12 1.05 0.99 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 11137 50 0 0 25 0 11 0 487905633 862142464 23176 4294967295 134512640 134569956 3221224400 3221214440 1131306556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23176 13073 16 0 210468 0
vsize: 841936
[startup+130.006 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 12100 50 0 0 25 0 11 0 487905633 862142464 23230 4294967295 134512640 134569956 3221224400 3221214624 1131593270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23230 13073 16 0 210468 0
vsize: 841936
[startup+140.007 s]
Raw data (loadavg): 1.08 1.05 0.99 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 13071 50 0 0 25 0 11 0 487905633 862142464 23426 4294967295 134512640 134569956 3221224400 3221214520 1131552548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23426 13073 16 0 210468 0
vsize: 841936
[startup+150.007 s]
Raw data (loadavg): 1.14 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 14052 50 0 0 25 0 11 0 487905633 862142464 23526 4294967295 134512640 134569956 3221224400 3221214440 1131306556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23526 13073 16 0 210468 0
vsize: 841936
[startup+160.007 s]
Raw data (loadavg): 1.12 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 15038 50 0 0 25 0 11 0 487905633 862142464 23703 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23703 13073 16 0 210468 0
vsize: 841936
[startup+170.008 s]
Raw data (loadavg): 1.10 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 16035 50 0 0 25 0 11 0 487905633 862142464 23706 4294967295 134512640 134569956 3221224400 3221214440 1131306384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23706 13073 16 0 210468 0
vsize: 841936
[startup+180.009 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 17032 50 0 0 25 0 11 0 487905633 862142464 23710 4294967295 134512640 134569956 3221224400 3221214440 1131307279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23710 13073 16 0 210468 0
vsize: 841936
[startup+190.009 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 18030 50 0 0 25 0 11 0 487905633 862142464 23715 4294967295 134512640 134569956 3221224400 3221214544 1131265606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23715 13073 16 0 210468 0
vsize: 841936
[startup+200.01 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 19026 50 0 0 25 0 11 0 487905633 862142464 23719 4294967295 134512640 134569956 3221224400 3221214624 1131593123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23719 13073 16 0 210468 0
vsize: 841936
[startup+210.009 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 20022 50 0 0 25 0 11 0 487905633 862142464 23721 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23721 13073 16 0 210468 0
vsize: 841936
[startup+220.01 s]
Raw data (loadavg): 1.12 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 21020 50 0 0 25 0 11 0 487905633 862142464 23724 4294967295 134512640 134569956 3221224400 3221214432 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23724 13073 16 0 210468 0
vsize: 841936
[startup+230.011 s]
Raw data (loadavg): 1.10 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 22011 50 0 0 25 0 11 0 487905633 862142464 23728 4294967295 134512640 134569956 3221224400 3221214440 1131307279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 23728 13073 16 0 210468 0
vsize: 841936
[startup+240.011 s]
Raw data (loadavg): 1.09 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 23000 50 0 0 25 0 11 0 487905633 862142464 23736 4294967295 134512640 134569956 3221224400 3221214520 1131553401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23736 13073 16 0 210468 0
vsize: 841936
[startup+250.012 s]
Raw data (loadavg): 1.07 1.06 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 23990 51 0 0 25 0 11 0 487905633 862142464 23740 4294967295 134512640 134569956 3221224400 3221214592 1131465608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23740 13073 16 0 210468 0
vsize: 841936
[startup+260.013 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 24978 51 0 0 25 0 11 0 487905633 862142464 23740 4294967295 134512640 134569956 3221224400 3221214632 1131596806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23740 13073 16 0 210468 0
vsize: 841936
[startup+270.013 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 25967 51 0 0 24 0 11 0 487905633 862142464 23800 4294967295 134512640 134569956 3221224400 3221214520 1131551986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23800 13073 16 0 210468 0
vsize: 841936
[startup+280.015 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 26959 51 0 0 25 0 11 0 487905633 862142464 23805 4294967295 134512640 134569956 3221224400 3221214520 1131551993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23805 13073 16 0 210468 0
vsize: 841936
[startup+290.015 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 27954 51 0 0 25 0 11 0 487905633 862142464 23848 4294967295 134512640 134569956 3221224400 3221214520 1131552378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23848 13073 16 0 210468 0
vsize: 841936
[startup+300.015 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 28951 51 0 0 25 0 11 0 487905633 862142464 23853 4294967295 134512640 134569956 3221224400 3221214520 1131552363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23853 13073 16 0 210468 0
vsize: 841936
[startup+310.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 29949 51 0 0 25 0 11 0 487905633 862142464 23855 4294967295 134512640 134569956 3221224400 3221214520 1131552113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23855 13073 16 0 210468 0
vsize: 841936
[startup+320.017 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 30946 51 0 0 25 0 11 0 487905633 862142464 23860 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23860 13073 16 0 210468 0
vsize: 841936
[startup+330.017 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 31944 51 0 0 25 0 11 0 487905633 862142464 23863 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23863 13073 16 0 210468 0
vsize: 841936
[startup+340.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 32942 51 0 0 25 0 11 0 487905633 862142464 23866 4294967295 134512640 134569956 3221224400 3221214624 1131593112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23866 13073 16 0 210468 0
vsize: 841936
[startup+350.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 33939 51 0 0 25 0 11 0 487905633 862142464 23869 4294967295 134512640 134569956 3221224400 3221214440 1131306604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23869 13073 16 0 210468 0
vsize: 841936
[startup+360.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 34937 51 0 0 25 0 11 0 487905633 862142464 23872 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23872 13073 16 0 210468 0
vsize: 841936
[startup+370.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 35935 51 0 0 25 0 11 0 487905633 862142464 23874 4294967295 134512640 134569956 3221224400 3221214520 1131552389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23874 13073 16 0 210468 0
vsize: 841936
[startup+380.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 36932 51 0 0 25 0 11 0 487905633 862142464 23876 4294967295 134512640 134569956 3221224400 3221214624 1131593104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23876 13073 16 0 210468 0
vsize: 841936
[startup+390.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 37930 51 0 0 25 0 11 0 487905633 862142464 23879 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23879 13073 16 0 210468 0
vsize: 841936
[startup+400.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 38927 51 0 0 25 0 11 0 487905633 862142464 23884 4294967295 134512640 134569956 3221224400 3221214520 1131552453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23884 13073 16 0 210468 0
vsize: 841936
[startup+410.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 39924 51 0 0 25 0 11 0 487905633 862142464 23885 4294967295 134512640 134569956 3221224400 3221214600 1131183129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23885 13073 16 0 210468 0
vsize: 841936
[startup+420.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 40921 51 0 0 25 0 11 0 487905633 862142464 23890 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23890 13073 16 0 210468 0
vsize: 841936
[startup+430.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 41918 51 0 0 25 0 11 0 487905633 862142464 23893 4294967295 134512640 134569956 3221224400 3221214624 1131593123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23893 13073 16 0 210468 0
vsize: 841936
[startup+440.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 42916 51 0 0 25 0 11 0 487905633 862142464 23896 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23896 13073 16 0 210468 0
vsize: 841936
[startup+450.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 43913 51 0 0 25 0 11 0 487905633 862142464 23897 4294967295 134512640 134569956 3221224400 3221214520 1131551988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23897 13073 16 0 210468 0
vsize: 841936
[startup+460.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 44910 51 0 0 25 0 11 0 487905633 862142464 23902 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23902 13073 16 0 210468 0
vsize: 841936
[startup+470.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 45907 51 0 0 25 0 11 0 487905633 862142464 23904 4294967295 134512640 134569956 3221224400 3221214520 1131552363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23904 13073 16 0 210468 0
vsize: 841936
[startup+480.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 46905 51 0 0 25 0 11 0 487905633 862142464 23908 4294967295 134512640 134569956 3221224400 3221214632 1131596753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23908 13073 16 0 210468 0
vsize: 841936
[startup+490.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 47902 51 0 0 25 0 11 0 487905633 862142464 23909 4294967295 134512640 134569956 3221224400 3221214520 1131551986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23909 13073 16 0 210468 0
vsize: 841936
[startup+500.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 48900 51 0 0 25 0 11 0 487905633 862142464 23912 4294967295 134512640 134569956 3221224400 3221214520 1131552401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23912 13073 16 0 210468 0
vsize: 841936
[startup+510.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 49897 51 0 0 25 0 11 0 487905633 862142464 23917 4294967295 134512640 134569956 3221224400 3221214464 1131526593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23917 13073 16 0 210468 0
vsize: 841936
[startup+520.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 50895 51 0 0 25 0 11 0 487905633 862142464 23920 4294967295 134512640 134569956 3221224400 3221214520 1131552536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23920 13073 16 0 210468 0
vsize: 841936
[startup+530.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 51893 51 0 0 25 0 11 0 487905633 862142464 23922 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23922 13073 16 0 210468 0
vsize: 841936
[startup+540.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 52890 52 0 0 25 0 11 0 487905633 862142464 23927 4294967295 134512640 134569956 3221224400 3221214624 1131593125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23927 13073 16 0 210468 0
vsize: 841936
[startup+550.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 53887 52 0 0 25 0 11 0 487905633 862142464 23928 4294967295 134512640 134569956 3221224400 3221214632 1131596792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23928 13073 16 0 210468 0
vsize: 841936
[startup+560.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 54885 52 0 0 25 0 11 0 487905633 862142464 23930 4294967295 134512640 134569956 3221224400 3221214520 1131553401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23930 13073 16 0 210468 0
vsize: 841936
[startup+570.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 55882 52 0 0 25 0 11 0 487905633 862142464 23932 4294967295 134512640 134569956 3221224400 3221214520 1131552012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23932 13073 16 0 210468 0
vsize: 841936
[startup+580.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 56879 52 0 0 25 0 11 0 487905633 862142464 23938 4294967295 134512640 134569956 3221224400 3221214624 1131593260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23938 13073 16 0 210468 0
vsize: 841936
[startup+590.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 57876 52 0 0 25 0 11 0 487905633 862142464 23942 4294967295 134512640 134569956 3221224400 3221214624 1131593120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23942 13073 16 0 210468 0
vsize: 841936
[startup+600.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 58874 52 0 0 25 0 11 0 487905633 862142464 23947 4294967295 134512640 134569956 3221224400 3221214624 1131593104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23947 13073 16 0 210468 0
vsize: 841936
[startup+610.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 59871 52 0 0 25 0 11 0 487905633 862142464 23948 4294967295 134512640 134569956 3221224400 3221214600 1131183129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23948 13073 16 0 210468 0
vsize: 841936
[startup+620.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 60868 52 0 0 25 0 11 0 487905633 862142464 23954 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23954 13073 16 0 210468 0
vsize: 841936
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 61866 52 0 0 25 0 11 0 487905633 862142464 23955 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23955 13073 16 0 210468 0
vsize: 841936
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 62863 52 0 0 25 0 11 0 487905633 862142464 23961 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23961 13073 16 0 210468 0
vsize: 841936
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 63860 52 0 0 25 0 11 0 487905633 862142464 23963 4294967295 134512640 134569956 3221224400 3221214632 1131596784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23963 13073 16 0 210468 0
vsize: 841936
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 64857 52 0 0 25 0 11 0 487905633 862142464 23964 4294967295 134512640 134569956 3221224400 3221214632 1131525665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23964 13073 16 0 210468 0
vsize: 841936
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 65855 52 0 0 25 0 11 0 487905633 862142464 23969 4294967295 134512640 134569956 3221224400 3221214440 1131306604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23969 13073 16 0 210468 0
vsize: 841936
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 66853 52 0 0 25 0 11 0 487905633 862142464 23973 4294967295 134512640 134569956 3221224400 3221214520 1131554163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23973 13073 16 0 210468 0
vsize: 841936
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 67850 52 0 0 25 0 11 0 487905633 862142464 23976 4294967295 134512640 134569956 3221224400 3221214520 1131552342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23976 13073 16 0 210468 0
vsize: 841936
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 68846 53 0 0 25 0 11 0 487905633 862142464 23982 4294967295 134512640 134569956 3221224400 3221214440 1131306314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23982 13073 16 0 210468 0
vsize: 841936
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 69844 53 0 0 25 0 11 0 487905633 862142464 23983 4294967295 134512640 134569956 3221224400 3221214540 1131306176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23983 13073 16 0 210468 0
vsize: 841936
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 70841 53 0 0 25 0 11 0 487905633 862142464 23986 4294967295 134512640 134569956 3221224400 3221214608 1131491569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23986 13073 16 0 210468 0
vsize: 841936
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 71839 53 0 0 25 0 11 0 487905633 862142464 23988 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23988 13073 16 0 210468 0
vsize: 841936
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 72836 53 0 0 25 0 11 0 487905633 862142464 23992 4294967295 134512640 134569956 3221224400 3221214544 1131265599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23992 13073 16 0 210468 0
vsize: 841936
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 73833 53 0 0 25 0 11 0 487905633 862142464 23993 4294967295 134512640 134569956 3221224400 3221214520 1131552504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 23993 13073 16 0 210468 0
vsize: 841936
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 74830 53 0 0 25 0 11 0 487905633 862142464 24000 4294967295 134512640 134569956 3221224400 3221214440 1131306478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24000 13073 16 0 210468 0
vsize: 841936
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9921
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 75828 53 0 0 25 0 11 0 487905633 862142464 24001 4294967295 134512640 134569956 3221224400 3221214440 1131306459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24001 13073 16 0 210468 0
vsize: 841936
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9922
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 76821 53 0 0 24 0 11 0 487905633 862142464 24005 4294967295 134512640 134569956 3221224400 3221214760 1131379432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24005 13073 16 0 210468 0
vsize: 841936
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 77805 53 0 0 25 0 11 0 487905633 862142464 24008 4294967295 134512640 134569956 3221224400 3221214760 1131371168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24008 13073 16 0 210468 0
vsize: 841936
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 78774 53 0 0 25 0 11 0 487905633 862142464 24014 4294967295 134512640 134569956 3221224400 3221214632 1131596809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24014 13073 16 0 210468 0
vsize: 841936
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 79744 53 0 0 25 0 11 0 487905633 862142464 24017 4294967295 134512640 134569956 3221224400 3221214440 1131306298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24017 13073 16 0 210468 0
vsize: 841936
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 80714 53 0 0 25 0 11 0 487905633 862142464 24025 4294967295 134512640 134569956 3221224400 3221214520 1131552586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24025 13073 16 0 210468 0
vsize: 841936
[startup+830.059 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 81685 53 0 0 25 0 11 0 487905633 862142464 24118 4294967295 134512640 134569956 3221224400 3221214544 1131265576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24118 13073 16 0 210468 0
vsize: 841936
[startup+840.061 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 9923
Raw data (stat): 9903 (java) S 9902 5897 5896 0 -1 0 18117 3 1 0 82660 53 0 0 25 0 11 0 487905633 862142464 24173 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24173 13073 16 0 210468 0
vsize: 841936
[startup+850.064 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 83646 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214624 1131593130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24401 13073 16 0 210468 0
vsize: 841936
[startup+860.064 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 84645 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24401 13073 16 0 210468 0
vsize: 841936
[startup+870.065 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 85644 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214520 1131551983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24401 13073 16 0 210468 0
vsize: 841936
[startup+880.066 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 86642 54 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214440 1131306307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24401 13073 16 0 210468 0
vsize: 841936
[startup+890.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 87640 54 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214632 1131596708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24401 13073 16 0 210468 0
vsize: 841936
[startup+900.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 88638 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24402 13073 16 0 210468 0
vsize: 841936
[startup+910.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 89637 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24402 13073 16 0 210468 0
vsize: 841936
[startup+920.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 90634 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24402 13073 16 0 210468 0
vsize: 841936
[startup+930.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 91632 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214632 1131596784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24402 13073 16 0 210468 0
vsize: 841936
[startup+940.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 92629 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214432 1131306189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24402 13073 16 0 210468 0
vsize: 841936
[startup+950.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 93626 54 0 0 25 0 11 0 487905633 862142464 24411 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24411 13073 16 0 210468 0
vsize: 841936
[startup+960.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 94624 54 0 0 25 0 11 0 487905633 862142464 24411 4294967295 134512640 134569956 3221224400 3221214440 1131306323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24411 13073 16 0 210468 0
vsize: 841936
[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 95623 54 0 0 25 0 11 0 487905633 862142464 24425 4294967295 134512640 134569956 3221224400 3221214520 1131553277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24425 13073 16 0 210468 0
vsize: 841936
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 96622 54 0 0 25 0 11 0 487905633 862142464 24425 4294967295 134512640 134569956 3221224400 3221214624 1131593260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24425 13073 16 0 210468 0
vsize: 841936
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 97617 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214432 1131306240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24426 13073 16 0 210468 0
vsize: 841936
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 98608 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24426 13073 16 0 210468 0
vsize: 841936
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 99600 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24426 13073 16 0 210468 0
vsize: 841936
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 100589 54 0 0 25 0 11 0 487905633 862142464 24435 4294967295 134512640 134569956 3221224400 3221214440 1131306612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24435 13073 16 0 210468 0
vsize: 841936
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 101579 54 0 0 25 0 11 0 487905633 862142464 24439 4294967295 134512640 134569956 3221224400 3221214760 1131371168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24439 13073 16 0 210468 0
vsize: 841936
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 102558 54 0 0 25 0 11 0 487905633 862142464 24484 4294967295 134512640 134569956 3221224400 3221214624 1131593160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24484 13073 16 0 210468 0
vsize: 841936
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 103541 54 0 0 25 0 11 0 487905633 862142464 24484 4294967295 134512640 134569956 3221224400 3221214432 1131306380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24484 13073 16 0 210468 0
vsize: 841936
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 104522 54 0 0 25 0 11 0 487905633 862142464 24502 4294967295 134512640 134569956 3221224400 3221214520 1131554134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24502 13073 16 0 210468 0
vsize: 841936
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 105507 54 0 0 25 0 11 0 487905633 862142464 24583 4294967295 134512640 134569956 3221224400 3221214432 1131306387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24583 13073 16 0 210468 0
vsize: 841936
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 106501 55 0 0 25 0 11 0 487905633 862142464 24622 4294967295 134512640 134569956 3221224400 3221214520 1131554158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24622 13073 16 0 210468 0
vsize: 841936
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 107494 55 0 0 24 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214624 1131593130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24623 13073 16 0 210468 0
vsize: 841936
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9923
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 108482 55 0 0 24 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214632 1131596675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24623 13073 16 0 210468 0
vsize: 841936
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 109465 55 0 0 25 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214760 1131379904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24623 13073 16 0 210468 0
vsize: 841936
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 110443 55 0 0 25 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214624 1131593214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24623 13073 16 0 210468 0
vsize: 841936
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 111418 55 0 0 24 0 11 0 487905633 862142464 24678 4294967295 134512640 134569956 3221224400 3221214520 1131551939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24678 13073 16 0 210468 0
vsize: 841936
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 112401 55 0 0 25 0 11 0 487905633 862142464 24737 4294967295 134512640 134569956 3221224400 3221214432 1131306650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 24737 13073 16 0 210468 0
vsize: 841936
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 113384 55 0 0 25 0 11 0 487905633 862142464 24751 4294967295 134512640 134569956 3221224400 3221214520 1131552374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24751 13073 16 0 210468 0
vsize: 841936
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 114372 56 0 0 25 0 11 0 487905633 862142464 24847 4294967295 134512640 134569956 3221224400 3221214456 1131664277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24847 13073 16 0 210468 0
vsize: 841936
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 115364 56 0 0 25 0 11 0 487905633 862142464 24865 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24865 13073 16 0 210468 0
vsize: 841936
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 116357 57 0 0 25 0 11 0 487905633 862142464 24869 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24869 13073 16 0 210468 0
vsize: 841936
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 117350 57 0 0 25 0 11 0 487905633 862142464 24880 4294967295 134512640 134569956 3221224400 3221214624 1131593214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24880 13073 16 0 210468 0
vsize: 841936
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 118343 58 0 0 25 0 11 0 487905633 862142464 24895 4294967295 134512640 134569956 3221224400 3221214520 1131554124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24895 13073 16 0 210468 0
vsize: 841936
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 119335 58 0 0 25 0 11 0 487905633 862142464 24906 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24906 13073 16 0 210468 0
vsize: 841936
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9924
Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 120329 58 0 0 25 0 11 0 487905633 862142464 24910 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 24910 13073 16 0 210468 0
vsize: 841936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9926
Raw data (stat): 9903 (java) Z 9902 5897 5896 0 -1 1036 18118 11209 1 0 120330 63 2833 35 25 0 1 0 487905633 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): 1232.63
CPU user time (s): 1231.64
CPU system time (s): 0.992849
CPU usage (%): 101.023
Max. virtual memory (Kb): 846372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####