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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM5b8ef604a7452dcb7c7d749b75aed566
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.15
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 4515

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-13 18:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3150 boxname=wulflinc20 idbench=350 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb
IDLAUNCH: 3150
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        896468 kB
Buffers:         32116 kB
Cached:          69968 kB
SwapCached:       2636 kB
Active:          43784 kB
Inactive:        63776 kB
HighTotal:      131008 kB
HighFree:        57344 kB
LowTotal:       903652 kB
LowFree:        839124 kB
SwapTotal:     2097892 kB
SwapFree:      2095256 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            24992 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:25:28 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3150 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb
c reading problem 
c [nbvar=1534]
c [nbconstr=126163]
c time 18.529
c #vars     1534
c #clauses  126163
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=0
c Current CPU time (ms) : 19.047
c starts	: 1
c conflicts	: 0
c decisions	: 1534
c propagations	: 1534
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 19.341
c starts	: 2
c conflicts	: 0
c decisions	: 3067
c propagations	: 3068
c inspects	: 136
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 26.857
c starts	: 3
c conflicts	: 25
c decisions	: 4600
c propagations	: 4952
c inspects	: 3825
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-43
c Current CPU time (ms) : 27.384
c starts	: 4
c conflicts	: 25
c decisions	: 4643
c propagations	: 6486
c inspects	: 10743
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-44
c Current CPU time (ms) : 27.958
c starts	: 5
c conflicts	: 26
c decisions	: 4687
c propagations	: 8025
c inspects	: 18224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-45
c Current CPU time (ms) : 141.386
c starts	: 7
c conflicts	: 267
c decisions	: 5106
c propagations	: 12972
c inspects	: 148168
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 267
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-46
c Current CPU time (ms) : 1185.563
c starts	: 12
c conflicts	: 1129
c decisions	: 6268
c propagations	: 26631
c inspects	: 1045815
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1129
c root simplifications	: 12
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 1.00 0.99 2/54 29121
Raw data (stat): 29121 (runsolver) R 29120 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477960066 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 29130
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18003 0 1 0 876 44 0 0 25 0 10 0 477960066 858062848 23123 4294967295 134512640 134569956 3221224416 3221213184 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209488 23124 13073 16 0 209472 0
vsize: 837952
[startup+20.0009 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 29133
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18032 3 1 0 1727 47 0 0 25 0 11 0 477960066 858591232 30302 4294967295 134512640 134569956 3221224416 3221214816 1131355508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 30302 13073 16 0 209601 0
vsize: 838468
[startup+30.0019 s]
Raw data (loadavg): 1.21 1.06 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18088 3 1 0 2397 49 0 0 25 0 11 0 477960066 866443264 38391 4294967295 134512640 134569956 3221224416 3221214376 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211534 38391 13073 16 0 211518 0
vsize: 846136
[startup+40.0028 s]
Raw data (loadavg): 1.18 1.06 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 3295 49 0 0 25 0 11 0 477960066 866344960 38408 4294967295 134512640 134569956 3221224416 3221214616 1131478311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 38408 13073 16 0 211494 0
vsize: 846040
[startup+50.0031 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 4199 49 0 0 25 0 11 0 477960066 866344960 38874 4294967295 134512640 134569956 3221224416 3221214696 1131424211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 38874 13073 16 0 211494 0
vsize: 846040
[startup+60.0043 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 5098 49 0 0 25 0 11 0 477960066 866344960 39263 4294967295 134512640 134569956 3221224416 3221214284 1078022208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 39263 13073 16 0 211494 0
vsize: 846040
[startup+70.005 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 6000 49 0 0 25 0 11 0 477960066 866344960 39603 4294967295 134512640 134569956 3221224416 3221214696 1131425047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 39603 13073 16 0 211494 0
vsize: 846040
[startup+80.0064 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 6865 50 0 0 25 0 11 0 477960066 866344960 40033 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 40033 13073 16 0 211494 0
vsize: 846040
[startup+90.007 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 7723 50 0 0 25 0 11 0 477960066 866344960 40824 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 40824 13073 16 0 211494 0
vsize: 846040
[startup+100.007 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 29136
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 8619 50 0 0 25 0 11 0 477960066 866344960 41320 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 41320 13073 16 0 211494 0
vsize: 846040
[startup+110.008 s]
Raw data (loadavg): 1.13 1.06 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 9506 50 0 0 24 0 11 0 477960066 866344960 41720 4294967295 134512640 134569956 3221224416 3221214672 1131221824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 41720 13073 16 0 211494 0
vsize: 846040
[startup+120.009 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 29136
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 10402 51 0 0 25 0 11 0 477960066 866344960 42097 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 42098 13073 16 0 211494 0
vsize: 846040
[startup+130.01 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 11284 51 0 0 25 0 11 0 477960066 866344960 42617 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 42617 13073 16 0 211494 0
vsize: 846040
[startup+140.01 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 29136
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 12167 52 0 0 25 0 11 0 477960066 866344960 43126 4294967295 134512640 134569956 3221224416 3221214672 1131222377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 43126 13073 16 0 211494 0
vsize: 846040
[startup+150.01 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 13019 52 0 0 25 0 11 0 477960066 866344960 43401 4294967295 134512640 134569956 3221224416 3221214776 1131385620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 43401 13073 16 0 211494 0
vsize: 846040
[startup+160.012 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 13862 52 0 0 25 0 11 0 477960066 866344960 43716 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 43716 13073 16 0 211494 0
vsize: 846040
[startup+170.012 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 14719 52 0 0 25 0 11 0 477960066 866344960 44031 4294967295 134512640 134569956 3221224416 3221214672 1131222715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 44031 13073 16 0 211494 0
vsize: 846040
[startup+180.012 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 15573 53 0 0 25 0 11 0 477960066 866344960 44336 4294967295 134512640 134569956 3221224416 3221214600 1131694698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 44336 13073 16 0 211494 0
vsize: 846040
[startup+190.013 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 16451 53 0 0 25 0 11 0 477960066 866344960 44755 4294967295 134512640 134569956 3221224416 3221214696 1131422769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 44755 13073 16 0 211494 0
vsize: 846040
[startup+200.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 17338 54 0 0 25 0 11 0 477960066 866344960 45168 4294967295 134512640 134569956 3221224416 3221214672 1131222538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 45168 13073 16 0 211494 0
vsize: 846040
[startup+210.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 18217 54 0 0 25 0 11 0 477960066 866344960 45385 4294967295 134512640 134569956 3221224416 3221214672 1131222031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 45385 13073 16 0 211494 0
vsize: 846040
[startup+220.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 19097 54 0 0 25 0 11 0 477960066 866344960 45712 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 45712 13073 16 0 211494 0
vsize: 846040
[startup+230.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 19975 54 0 0 25 0 11 0 477960066 866344960 45976 4294967295 134512640 134569956 3221224416 3221214672 1131221529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 45976 13073 16 0 211494 0
vsize: 846040
[startup+240.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 20840 55 0 0 24 0 11 0 477960066 866344960 46285 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 46285 13073 16 0 211494 0
vsize: 846040
[startup+250.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 21717 55 0 0 25 0 11 0 477960066 866344960 46612 4294967295 134512640 134569956 3221224416 3221214600 1131695695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 46612 13073 16 0 211494 0
vsize: 846040
[startup+260.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 22609 55 0 0 25 0 11 0 477960066 866344960 46870 4294967295 134512640 134569956 3221224416 3221214672 1131221533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 46870 13073 16 0 211494 0
vsize: 846040
[startup+270.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 23481 55 0 0 25 0 11 0 477960066 866344960 47057 4294967295 134512640 134569956 3221224416 3221214712 1131713815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 47057 13073 16 0 211494 0
vsize: 846040
[startup+280.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 24353 55 0 0 25 0 11 0 477960066 866344960 47340 4294967295 134512640 134569956 3221224416 3221214680 1131410312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 47340 13073 16 0 211494 0
vsize: 846040
[startup+290.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 25226 55 0 0 24 0 11 0 477960066 866344960 47559 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 47559 13073 16 0 211494 0
vsize: 846040
[startup+300.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 26100 56 0 0 25 0 11 0 477960066 866344960 47886 4294967295 134512640 134569956 3221224416 3221214664 1131707988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 47886 13073 16 0 211494 0
vsize: 846040
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 26987 56 0 0 25 0 11 0 477960066 866344960 48199 4294967295 134512640 134569956 3221224416 3221214648 1131462393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 48199 13073 16 0 211494 0
vsize: 846040
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 27872 56 0 0 25 0 11 0 477960066 866344960 48387 4294967295 134512640 134569956 3221224416 3221214600 1131695642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 48387 13073 16 0 211494 0
vsize: 846040
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 28758 56 0 0 25 0 11 0 477960066 866344960 48669 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 48669 13073 16 0 211494 0
vsize: 846040
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 29642 56 0 0 25 0 11 0 477960066 866344960 48948 4294967295 134512640 134569956 3221224416 3221214672 1131222167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 48948 13073 16 0 211494 0
vsize: 846040
[startup+350.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 30530 57 0 0 25 0 11 0 477960066 866344960 49325 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 49325 13073 16 0 211494 0
vsize: 846040
[startup+360.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 31412 57 0 0 25 0 11 0 477960066 866344960 49459 4294967295 134512640 134569956 3221224416 3221214672 1131221587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 49459 13073 16 0 211494 0
vsize: 846040
[startup+370.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 32289 57 0 0 24 0 11 0 477960066 866344960 49771 4294967295 134512640 134569956 3221224416 3221214776 1131385477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 49771 13073 16 0 211494 0
vsize: 846040
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 33170 57 0 0 25 0 11 0 477960066 866344960 50160 4294967295 134512640 134569956 3221224416 3221214672 1131221908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 50160 13073 16 0 211494 0
vsize: 846040
[startup+390.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 34072 57 0 0 25 0 11 0 477960066 866344960 50322 4294967295 134512640 134569956 3221224416 3221214776 1131384549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 50322 13073 16 0 211494 0
vsize: 846040
[startup+400.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 34981 57 0 0 25 0 11 0 477960066 866344960 50588 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 50588 13073 16 0 211494 0
vsize: 846040
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 35890 58 0 0 24 0 11 0 477960066 866344960 50626 4294967295 134512640 134569956 3221224416 3221214672 1131222270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 50626 13073 16 0 211494 0
vsize: 846040
[startup+420.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 36783 58 0 0 25 0 11 0 477960066 866344960 50771 4294967295 134512640 134569956 3221224416 3221214776 1131384695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 50771 13073 16 0 211494 0
vsize: 846040
[startup+430.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 37657 58 0 0 25 0 11 0 477960066 866344960 51091 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 51091 13073 16 0 211494 0
vsize: 846040
[startup+440.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 38532 58 0 0 25 0 11 0 477960066 866344960 51477 4294967295 134512640 134569956 3221224416 3221214600 1131695709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 51477 13073 16 0 211494 0
vsize: 846040
[startup+450.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 39416 59 0 0 25 0 11 0 477960066 866344960 51672 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 51672 13073 16 0 211494 0
vsize: 846040
[startup+460.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 40301 59 0 0 25 0 11 0 477960066 866344960 51966 4294967295 134512640 134569956 3221224416 3221214776 1131384695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 51966 13073 16 0 211494 0
vsize: 846040
[startup+470.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 41176 59 0 0 25 0 11 0 477960066 866344960 52318 4294967295 134512640 134569956 3221224416 3221214720 1131222776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 52318 13073 16 0 211494 0
vsize: 846040
[startup+480.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 42053 59 0 0 25 0 11 0 477960066 866344960 52555 4294967295 134512640 134569956 3221224416 3221214672 1131222134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 52555 13073 16 0 211494 0
vsize: 846040
[startup+490.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 42940 59 0 0 25 0 11 0 477960066 866344960 52856 4294967295 134512640 134569956 3221224416 3221214608 1131258187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 52856 13073 16 0 211494 0
vsize: 846040
[startup+500.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 43820 59 0 0 25 0 11 0 477960066 866344960 53094 4294967295 134512640 134569956 3221224416 3221214672 1131222377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 53094 13073 16 0 211494 0
vsize: 846040
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 44713 60 0 0 25 0 11 0 477960066 866344960 53403 4294967295 134512640 134569956 3221224416 3221214712 1131713804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 53403 13073 16 0 211494 0
vsize: 846040
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 45629 60 0 0 25 0 11 0 477960066 866344960 53716 4294967295 134512640 134569956 3221224416 3221214632 1131326421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 53716 13073 16 0 211494 0
vsize: 846040
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 46531 60 0 0 25 0 11 0 477960066 866344960 53896 4294967295 134512640 134569956 3221224416 3221214672 1131221537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 53896 13073 16 0 211494 0
vsize: 846040
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 47433 60 0 0 25 0 11 0 477960066 866344960 54067 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 54067 13073 16 0 211494 0
vsize: 846040
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 48318 60 0 0 25 0 11 0 477960066 866344960 54273 4294967295 134512640 134569956 3221224416 3221214696 1131423238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 54273 13073 16 0 211494 0
vsize: 846040
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 49221 60 0 0 25 0 11 0 477960066 866344960 54582 4294967295 134512640 134569956 3221224416 3221214776 1131384526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 54582 13073 16 0 211494 0
vsize: 846040
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 50115 60 0 0 25 0 11 0 477960066 866344960 54819 4294967295 134512640 134569956 3221224416 3221214712 1131713815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 54819 13073 16 0 211494 0
vsize: 846040
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 51011 60 0 0 25 0 11 0 477960066 866344960 55087 4294967295 134512640 134569956 3221224416 3221214672 1131222679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55087 13073 16 0 211494 0
vsize: 846040
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 51901 60 0 0 25 0 11 0 477960066 866344960 55294 4294967295 134512640 134569956 3221224416 3221214776 1131385616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55294 13073 16 0 211494 0
vsize: 846040
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 52801 60 0 0 25 0 11 0 477960066 866344960 55635 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55635 13073 16 0 211494 0
vsize: 846040
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 53738 60 0 0 25 0 11 0 477960066 866344960 55804 4294967295 134512640 134569956 3221224416 3221214672 1131222352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55804 13073 16 0 211494 0
vsize: 846040
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 54678 61 0 0 25 0 11 0 477960066 866344960 55836 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55836 13073 16 0 211494 0
vsize: 846040
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 55591 61 0 0 25 0 11 0 477960066 866344960 55862 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55862 13073 16 0 211494 0
vsize: 846040
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 56485 61 0 0 25 0 11 0 477960066 866344960 55908 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 55908 13073 16 0 211494 0
vsize: 846040
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 57378 61 0 0 25 0 11 0 477960066 866344960 56207 4294967295 134512640 134569956 3221224416 3221214672 1131221541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 56207 13073 16 0 211494 0
vsize: 846040
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 58285 61 0 0 25 0 11 0 477960066 866344960 56495 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 56495 13073 16 0 211494 0
vsize: 846040
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 59200 61 0 0 25 0 11 0 477960066 866344960 56725 4294967295 134512640 134569956 3221224416 3221214672 1131222286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 56725 13073 16 0 211494 0
vsize: 846040
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 60105 61 0 0 25 0 11 0 477960066 866344960 56868 4294967295 134512640 134569956 3221224416 3221214712 1131713825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 56868 13073 16 0 211494 0
vsize: 846040
[startup+690.041 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 61015 61 0 0 25 0 11 0 477960066 866344960 57012 4294967295 134512640 134569956 3221224416 3221214776 1131384613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 57012 13073 16 0 211494 0
vsize: 846040
[startup+700.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 61932 61 0 0 25 0 11 0 477960066 866344960 57287 4294967295 134512640 134569956 3221224416 3221214672 1131222354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 57287 13073 16 0 211494 0
vsize: 846040
[startup+710.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 62851 62 0 0 25 0 11 0 477960066 866344960 57443 4294967295 134512640 134569956 3221224416 3221214600 1131694768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 57443 13073 16 0 211494 0
vsize: 846040
[startup+720.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 63767 62 0 0 25 0 11 0 477960066 866344960 57624 4294967295 134512640 134569956 3221224416 3221214608 1131464105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 57624 13073 16 0 211494 0
vsize: 846040
[startup+730.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 64669 62 0 0 25 0 11 0 477960066 866344960 57839 4294967295 134512640 134569956 3221224416 3221214776 1131383547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 57839 13073 16 0 211494 0
vsize: 846040
[startup+740.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 65587 62 0 0 25 0 11 0 477960066 866344960 58069 4294967295 134512640 134569956 3221224416 3221214440 1078033055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 58069 13073 16 0 211494 0
vsize: 846040
[startup+750.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 66499 62 0 0 25 0 11 0 477960066 866344960 58238 4294967295 134512640 134569956 3221224416 3221214672 1131222797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 58238 13073 16 0 211494 0
vsize: 846040
[startup+760.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 67413 62 0 0 25 0 11 0 477960066 866344960 58414 4294967295 134512640 134569956 3221224416 3221214776 1131385595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 58414 13073 16 0 211494 0
vsize: 846040
[startup+770.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 68325 62 0 0 25 0 11 0 477960066 866344960 58599 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 58599 13073 16 0 211494 0
vsize: 846040
[startup+780.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 69240 62 0 0 25 0 11 0 477960066 866344960 58896 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 58896 13073 16 0 211494 0
vsize: 846040
[startup+790.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 70167 62 0 0 25 0 11 0 477960066 866344960 59044 4294967295 134512640 134569956 3221224416 3221214672 1131221587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59044 13073 16 0 211494 0
vsize: 846040
[startup+800.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 71079 62 0 0 25 0 11 0 477960066 866344960 59205 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59205 13073 16 0 211494 0
vsize: 846040
[startup+810.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 71991 62 0 0 25 0 11 0 477960066 866344960 59313 4294967295 134512640 134569956 3221224416 3221214672 1131221537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59313 13073 16 0 211494 0
vsize: 846040
[startup+820.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 72903 62 0 0 25 0 11 0 477960066 866344960 59574 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59574 13073 16 0 211494 0
vsize: 846040
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 73819 62 0 0 25 0 11 0 477960066 866344960 59741 4294967295 134512640 134569956 3221224416 3221214672 1131222694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59741 13073 16 0 211494 0
vsize: 846040
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 74746 62 0 0 25 0 11 0 477960066 866344960 59977 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 59977 13073 16 0 211494 0
vsize: 846040
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 75678 62 0 0 25 0 11 0 477960066 866344960 60179 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 60179 13073 16 0 211494 0
vsize: 846040
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 76604 62 0 0 25 0 11 0 477960066 866344960 60306 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 60306 13073 16 0 211494 0
vsize: 846040
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 77515 62 0 0 25 0 11 0 477960066 866344960 60370 4294967295 134512640 134569956 3221224416 3221214776 1131384675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 60370 13073 16 0 211494 0
vsize: 846040
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 78433 63 0 0 25 0 11 0 477960066 866344960 60721 4294967295 134512640 134569956 3221224416 3221214824 1131413293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 60721 13073 16 0 211494 0
vsize: 846040
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 79365 63 0 0 25 0 11 0 477960066 866344960 60902 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211510 60902 13073 16 0 211494 0
vsize: 846040
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 80296 63 0 0 25 0 11 0 477960066 866344960 60982 4294967295 134512640 134569956 3221224416 3221214672 1131222167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 60982 13073 16 0 211494 0
vsize: 846040
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 81220 63 0 0 25 0 11 0 477960066 866344960 61124 4294967295 134512640 134569956 3221224416 3221214672 1131221818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61124 13073 16 0 211494 0
vsize: 846040
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 82137 63 0 0 24 0 11 0 477960066 866344960 61303 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61303 13073 16 0 211494 0
vsize: 846040
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 83066 64 0 0 25 0 11 0 477960066 866344960 61487 4294967295 134512640 134569956 3221224416 3221214600 1131694461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61487 13073 16 0 211494 0
vsize: 846040
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 84006 64 0 0 25 0 11 0 477960066 866344960 61704 4294967295 134512640 134569956 3221224416 3221214824 1131413176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61704 13073 16 0 211494 0
vsize: 846040
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 84948 64 0 0 25 0 11 0 477960066 866344960 61812 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61812 13073 16 0 211494 0
vsize: 846040
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 85887 65 0 0 25 0 11 0 477960066 866344960 61965 4294967295 134512640 134569956 3221224416 3221214608 1131465473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 61965 13073 16 0 211494 0
vsize: 846040
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 86829 65 0 0 25 0 11 0 477960066 866344960 62035 4294967295 134512640 134569956 3221224416 3221214672 1131222058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62035 13073 16 0 211494 0
vsize: 846040
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 87774 65 0 0 24 0 11 0 477960066 866344960 62220 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62220 13073 16 0 211494 0
vsize: 846040
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 88724 65 0 0 25 0 11 0 477960066 866344960 62324 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62324 13073 16 0 211494 0
vsize: 846040
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 89674 65 0 0 25 0 11 0 477960066 866344960 62481 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62481 13073 16 0 211494 0
vsize: 846040
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 90622 66 0 0 25 0 11 0 477960066 866344960 62540 4294967295 134512640 134569956 3221224416 3221214672 1131222274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62540 13073 16 0 211494 0
vsize: 846040
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 91562 66 0 0 25 0 11 0 477960066 866344960 62608 4294967295 134512640 134569956 3221224416 3221214672 1131221965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62608 13073 16 0 211494 0
vsize: 846040
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 92498 67 0 0 25 0 11 0 477960066 866344960 62753 4294967295 134512640 134569956 3221224416 3221214672 1131221533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62753 13073 16 0 211494 0
vsize: 846040
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 93436 67 0 0 24 0 11 0 477960066 866344960 62846 4294967295 134512640 134569956 3221224416 3221214776 1131384675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62846 13073 16 0 211494 0
vsize: 846040
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 94369 67 0 0 25 0 11 0 477960066 866344960 62993 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 62993 13073 16 0 211494 0
vsize: 846040
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 95286 67 0 0 25 0 11 0 477960066 866344960 63143 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 63143 13073 16 0 211494 0
vsize: 846040
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 96188 67 0 0 25 0 11 0 477960066 866344960 63170 4294967295 134512640 134569956 3221224416 3221214672 1131222186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 63170 13073 16 0 211494 0
vsize: 846040
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 97090 67 0 0 25 0 11 0 477960066 866344960 63433 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 63433 13073 16 0 211494 0
vsize: 846040
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 98016 68 0 0 25 0 11 0 477960066 866344960 63702 4294967295 134512640 134569956 3221224416 3221214672 1131222538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 63702 13073 16 0 211494 0
vsize: 846040
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 98934 69 0 0 25 0 11 0 477960066 866344960 63919 4294967295 134512640 134569956 3221224416 3221214672 1131222570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 63919 13073 16 0 211494 0
vsize: 846040
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 99818 69 0 0 25 0 11 0 477960066 866344960 64066 4294967295 134512640 134569956 3221224416 3221214776 1131384593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64066 13073 16 0 211494 0
vsize: 846040
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 100716 69 0 0 25 0 11 0 477960066 866344960 64204 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64204 13073 16 0 211494 0
vsize: 846040
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 101641 70 0 0 25 0 11 0 477960066 866344960 64490 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64490 13073 16 0 211494 0
vsize: 846040
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 102604 70 0 0 25 0 11 0 477960066 866344960 64548 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64548 13073 16 0 211494 0
vsize: 846040
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 103558 71 0 0 25 0 11 0 477960066 866344960 64582 4294967295 134512640 134569956 3221224416 3221214008 1077101249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64582 13073 16 0 211494 0
vsize: 846040
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 104482 71 0 0 25 0 11 0 477960066 866344960 64603 4294967295 134512640 134569956 3221224416 3221214608 1131464555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64603 13073 16 0 211494 0
vsize: 846040
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 105395 71 0 0 25 0 11 0 477960066 866344960 64640 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64640 13073 16 0 211494 0
vsize: 846040
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29139
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 106292 71 0 0 25 0 11 0 477960066 866344960 64792 4294967295 134512640 134569956 3221224416 3221214824 1131413158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64792 13073 16 0 211494 0
vsize: 846040
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 107167 72 0 0 25 0 11 0 477960066 866344960 64999 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 64999 13073 16 0 211494 0
vsize: 846040
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 108031 73 0 0 25 0 11 0 477960066 866344960 65196 4294967295 134512640 134569956 3221224416 3221214776 1131384579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65196 13073 16 0 211494 0
vsize: 846040
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 108907 73 0 0 25 0 11 0 477960066 866344960 65432 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65432 13073 16 0 211494 0
vsize: 846040
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 109822 73 0 0 25 0 11 0 477960066 866344960 65793 4294967295 134512640 134569956 3221224416 3221214672 1131221808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65793 13073 16 0 211494 0
vsize: 846040
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 110786 74 0 0 25 0 11 0 477960066 866344960 65832 4294967295 134512640 134569956 3221224416 3221214672 1131221899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65832 13073 16 0 211494 0
vsize: 846040
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 111755 74 0 0 25 0 11 0 477960066 866344960 65864 4294967295 134512640 134569956 3221224416 3221214672 1131222021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65864 13073 16 0 211494 0
vsize: 846040
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 112714 74 0 0 25 0 11 0 477960066 866344960 65888 4294967295 134512640 134569956 3221224416 3221214776 1131384615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65888 13073 16 0 211494 0
vsize: 846040
[startup+1260.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 113653 74 0 0 25 0 11 0 477960066 866344960 65911 4294967295 134512640 134569956 3221224416 3221214672 1131222310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65911 13073 16 0 211494 0
vsize: 846040
[startup+1270.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 114570 75 0 0 25 0 11 0 477960066 866344960 65934 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 65934 13073 16 0 211494 0
vsize: 846040
[startup+1280.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 115469 75 0 0 25 0 11 0 477960066 866344960 66093 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 66093 13073 16 0 211494 0
vsize: 846040
[startup+1290.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 116369 75 0 0 25 0 11 0 477960066 866344960 66261 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 66261 13073 16 0 211494 0
vsize: 846040
[startup+1300.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 117272 76 0 0 25 0 11 0 477960066 866344960 66525 4294967295 134512640 134569956 3221224416 3221214776 1131384581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 66525 13073 16 0 211494 0
vsize: 846040
[startup+1310.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 118178 76 0 0 25 0 11 0 477960066 866344960 66757 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 66757 13073 16 0 211494 0
vsize: 846040
[startup+1320.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 119085 76 0 0 25 0 11 0 477960066 866344960 66941 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 66941 13073 16 0 211494 0
vsize: 846040
[startup+1330.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 29140
Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 120007 76 0 0 25 0 11 0 477960066 866344960 67116 4294967295 134512640 134569956 3221224416 3221214672 1131222708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211510 67116 13073 16 0 211494 0
vsize: 846040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.23 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 29142
Raw data (stat): 29121 (java) Z 29120 27565 27564 0 -1 1036 18090 54440 1 0 120011 89 14211 126 25 0 1 0 477960066 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1330.23
CPU time (s): 1344.38
CPU user time (s): 1342.22
CPU system time (s): 2.15367
CPU usage (%): 101.063
Max. virtual memory (Kb): 846136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####