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/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM2b591d1b24a201f365bc505135aa0578
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -33
Optimality of the best value was proved NO
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.07
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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 4496

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 17:51:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2988 boxname=wulflinc18 idbench=332 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-4.opb
IDLAUNCH: 2988
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        921332 kB
Buffers:         33820 kB
Cached:          43176 kB
SwapCached:        320 kB
Active:          46252 kB
Inactive:        33976 kB
HighTotal:      131008 kB
HighFree:        83748 kB
LowTotal:       903652 kB
LowFree:        837584 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27468 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:13:57 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2988 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-4.opb
c reading problem 
c [nbvar=945]
c [nbconstr=58549]
c time 9.752
c #vars     945
c #clauses  58549
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) : 10.17
c starts	: 1
c conflicts	: 0
c decisions	: 945
c propagations	: 945
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) : 10.442
c starts	: 2
c conflicts	: 0
c decisions	: 1889
c propagations	: 1890
c inspects	: 218
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) : 15.902
c starts	: 3
c conflicts	: 20
c decisions	: 2833
c propagations	: 3065
c inspects	: 2576
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-33
c Current CPU time (ms) : 16.131
c starts	: 4
c conflicts	: 20
c decisions	: 2866
c propagations	: 4010
c inspects	: 6718
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-34
c Current CPU time (ms) : 24.089
c starts	: 5
c conflicts	: 76
c decisions	: 2968
c propagations	: 5316
c inspects	: 27164
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 76
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-35
c Current CPU time (ms) : 50.378
c starts	: 7
c conflicts	: 176
c decisions	: 3174
c propagations	: 7854
c inspects	: 81060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 176
c root simplifications	: 7
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.97 2/55 21373
Raw data (stat): 21373 (runsolver) R 21372 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477885271 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+9.99996 s]
Raw data (loadavg): 1.09 1.02 0.98 2/64 21382
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 17995 0 1 0 766 48 0 0 25 0 10 0 477885271 858624000 22293 4294967295 134512640 134569956 3221224416 3221214820 1131140978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209625 22293 13073 16 0 209609 0
vsize: 838500
[startup+20.0011 s]
Raw data (loadavg): 1.08 1.02 0.98 2/65 21387
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18066 6 1 0 1442 49 0 0 25 0 11 0 477885271 862486528 30184 4294967295 134512640 134569956 3221224416 3221214488 1131300074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210568 30184 13073 16 0 210552 0
vsize: 842272
[startup+30.0022 s]
Raw data (loadavg): 1.07 1.01 0.98 2/65 21388
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18066 6 1 0 2332 49 0 0 25 0 11 0 477885271 861409280 30284 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 30284 13073 16 0 210289 0
vsize: 841220
[startup+40.0026 s]
Raw data (loadavg): 1.13 1.03 0.99 2/65 21388
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 3212 50 0 0 25 0 11 0 477885271 861409280 30936 4294967295 134512640 134569956 3221224416 3221214576 1131580080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 30936 13073 16 0 210289 0
vsize: 841220
[startup+50.0039 s]
Raw data (loadavg): 1.11 1.03 0.99 2/65 21388
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 4101 50 0 0 25 0 11 0 477885271 861409280 31436 4294967295 134512640 134569956 3221224416 3221214808 1131358308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210305 31436 13073 16 0 210289 0
vsize: 841220
[startup+60.0039 s]
Raw data (loadavg): 1.09 1.03 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 4964 51 0 0 25 0 11 0 477885271 863506432 32646 4294967295 134512640 134569956 3221224416 3221214712 1131188246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210817 32646 13073 16 0 210801 0
vsize: 843268
[startup+70.0047 s]
Raw data (loadavg): 1.08 1.03 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 5843 51 0 0 25 0 11 0 477885271 863506432 33085 4294967295 134512640 134569956 3221224416 3221214712 1131188048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210817 33085 13073 16 0 210801 0
vsize: 843268
[startup+80.0058 s]
Raw data (loadavg): 1.06 1.03 0.99 2/65 21389
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18067 6 1 0 6721 51 0 0 25 0 11 0 477885271 862457856 33264 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 33264 13073 16 0 210545 0
vsize: 842244
[startup+90.0066 s]
Raw data (loadavg): 1.05 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 7586 51 0 0 24 0 11 0 477885271 862457856 33588 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 33588 13073 16 0 210545 0
vsize: 842244
[startup+100.007 s]
Raw data (loadavg): 1.05 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 8467 51 0 0 25 0 11 0 477885271 862457856 33834 4294967295 134512640 134569956 3221224416 3221214808 1131359185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 33834 13073 16 0 210545 0
vsize: 842244
[startup+110.007 s]
Raw data (loadavg): 1.04 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 9339 52 0 0 25 0 11 0 477885271 862457856 34124 4294967295 134512640 134569956 3221224416 3221214552 1131395246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 34124 13073 16 0 210545 0
vsize: 842244
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 10223 52 0 0 25 0 11 0 477885271 862457856 34355 4294967295 134512640 134569956 3221224416 3221214712 1131187781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 34355 13073 16 0 210545 0
vsize: 842244
[startup+130.009 s]
Raw data (loadavg): 1.03 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 11108 53 0 0 25 0 11 0 477885271 862457856 34681 4294967295 134512640 134569956 3221224416 3221214696 1131405584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 34681 13073 16 0 210545 0
vsize: 842244
[startup+140.01 s]
Raw data (loadavg): 1.02 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 12004 53 0 0 25 0 11 0 477885271 862457856 34903 4294967295 134512640 134569956 3221224416 3221214648 1131268308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 34903 13073 16 0 210545 0
vsize: 842244
[startup+150.011 s]
Raw data (loadavg): 1.02 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 12882 53 0 0 25 0 11 0 477885271 862457856 35297 4294967295 134512640 134569956 3221224416 3221214808 1131358178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 35297 13073 16 0 210545 0
vsize: 842244
[startup+160.01 s]
Raw data (loadavg): 1.02 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 13745 53 0 0 25 0 11 0 477885271 862457856 35551 4294967295 134512640 134569956 3221224416 3221214808 1131358322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 35551 13073 16 0 210545 0
vsize: 842244
[startup+170.011 s]
Raw data (loadavg): 1.01 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18067 6 1 0 14622 54 0 0 25 0 11 0 477885271 862457856 35811 4294967295 134512640 134569956 3221224416 3221214712 1131188246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 35811 13073 16 0 210545 0
vsize: 842244
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 15482 54 0 0 25 0 11 0 477885271 862457856 36191 4294967295 134512640 134569956 3221224416 3221214712 1131188551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 36191 13073 16 0 210545 0
vsize: 842244
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 16364 54 0 0 25 0 11 0 477885271 862457856 36485 4294967295 134512640 134569956 3221224416 3221214808 1131358160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 36485 13073 16 0 210545 0
vsize: 842244
[startup+200.013 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 17244 54 0 0 25 0 11 0 477885271 862457856 36775 4294967295 134512640 134569956 3221224416 3221214696 1131405008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 36775 13073 16 0 210545 0
vsize: 842244
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 18122 54 0 0 25 0 11 0 477885271 862457856 37104 4294967295 134512640 134569956 3221224416 3221214696 1131407550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 37104 13073 16 0 210545 0
vsize: 842244
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 19001 54 0 0 25 0 11 0 477885271 862457856 37418 4294967295 134512640 134569956 3221224416 3221214712 1131188196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 37418 13073 16 0 210545 0
vsize: 842244
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 19870 54 0 0 25 0 11 0 477885271 862457856 37722 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 37722 13073 16 0 210545 0
vsize: 842244
[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 20751 54 0 0 25 0 11 0 477885271 862457856 38054 4294967295 134512640 134569956 3221224416 3221214712 1131188542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 38054 13073 16 0 210545 0
vsize: 842244
[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 21637 54 0 0 25 0 11 0 477885271 862457856 38316 4294967295 134512640 134569956 3221224416 3221214712 1131188483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 38316 13073 16 0 210545 0
vsize: 842244
[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 22526 54 0 0 25 0 11 0 477885271 862457856 38630 4294967295 134512640 134569956 3221224416 3221214984 1131148057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 38630 13073 16 0 210545 0
vsize: 842244
[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 23398 55 0 0 25 0 11 0 477885271 862457856 38924 4294967295 134512640 134569956 3221224416 3221214712 1131189135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 38924 13073 16 0 210545 0
vsize: 842244
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 24281 55 0 0 25 0 11 0 477885271 862457856 39214 4294967295 134512640 134569956 3221224416 3221214696 1131407137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 39214 13073 16 0 210545 0
vsize: 842244
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21389
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 25171 55 0 0 25 0 11 0 477885271 862457856 39528 4294967295 134512640 134569956 3221224416 3221214712 1131187965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 39528 13073 16 0 210545 0
vsize: 842244
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 26077 55 0 0 25 0 11 0 477885271 862457856 39593 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 39593 13073 16 0 210545 0
vsize: 842244
[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 26965 55 0 0 25 0 11 0 477885271 862457856 39809 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 39809 13073 16 0 210545 0
vsize: 842244
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 27857 55 0 0 25 0 11 0 477885271 862457856 40100 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 40100 13073 16 0 210545 0
vsize: 842244
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 28748 55 0 0 19 0 11 0 477885271 862457856 40291 4294967295 134512640 134569956 3221224416 3221214712 1131187773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 40291 13073 16 0 210545 0
vsize: 842244
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 29636 55 0 0 20 0 11 0 477885271 862457856 40576 4294967295 134512640 134569956 3221224416 3221214712 1131189156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 40576 13073 16 0 210545 0
vsize: 842244
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 30535 55 0 0 23 0 11 0 477885271 862457856 40862 4294967295 134512640 134569956 3221224416 3221214712 1131189132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 40862 13073 16 0 210545 0
vsize: 842244
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 31430 55 0 0 18 0 11 0 477885271 862457856 41135 4294967295 134512640 134569956 3221224416 3221214712 1131188306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 41135 13073 16 0 210545 0
vsize: 842244
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 32340 55 0 0 22 0 11 0 477885271 862457856 41364 4294967295 134512640 134569956 3221224416 3221214712 1131189132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 41364 13073 16 0 210545 0
vsize: 842244
[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 33247 55 0 0 25 0 11 0 477885271 862457856 41602 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 41602 13073 16 0 210545 0
vsize: 842244
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 34157 55 0 0 18 0 11 0 477885271 862457856 41819 4294967295 134512640 134569956 3221224416 3221214664 1131148569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 41819 13073 16 0 210545 0
vsize: 842244
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 35071 55 0 0 21 0 11 0 477885271 862457856 42001 4294967295 134512640 134569956 3221224416 3221214728 1131468069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 42001 13073 16 0 210545 0
vsize: 842244
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 35972 56 0 0 18 0 11 0 477885271 862457856 42234 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 42234 13073 16 0 210545 0
vsize: 842244
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 36876 56 0 0 20 0 11 0 477885271 862457856 42481 4294967295 134512640 134569956 3221224416 3221214712 1131188784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 42481 13073 16 0 210545 0
vsize: 842244
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 37770 56 0 0 16 0 11 0 477885271 862457856 42703 4294967295 134512640 134569956 3221224416 3221214712 1131187781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 42703 13073 16 0 210545 0
vsize: 842244
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 38671 56 0 0 17 0 11 0 477885271 862457856 42931 4294967295 134512640 134569956 3221224416 3221214576 1131579767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 42931 13073 16 0 210545 0
vsize: 842244
[startup+450.039 s]
Raw data (loadavg): 1.07 1.02 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 39572 56 0 0 21 0 11 0 477885271 862457856 43172 4294967295 134512640 134569956 3221224416 3221214584 1131242925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 43172 13073 16 0 210545 0
vsize: 842244
[startup+460.039 s]
Raw data (loadavg): 1.06 1.02 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 40463 56 0 0 18 0 11 0 477885271 862457856 43432 4294967295 134512640 134569956 3221224416 3221214712 1131188538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 43432 13073 16 0 210545 0
vsize: 842244
[startup+470.039 s]
Raw data (loadavg): 1.05 1.01 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 41367 56 0 0 22 0 11 0 477885271 862457856 43707 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 43707 13073 16 0 210545 0
vsize: 842244
[startup+480.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/65 21391
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 42255 56 0 0 17 0 11 0 477885271 862457856 43991 4294967295 134512640 134569956 3221224416 3221214712 1131187773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 43991 13073 16 0 210545 0
vsize: 842244
[startup+490.045 s]
Raw data (loadavg): 1.04 1.01 0.99 2/69 21395
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 43175 56 0 0 25 0 11 0 477885271 862457856 44240 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44240 13073 16 0 210545 0
vsize: 842244
[startup+500.046 s]
Raw data (loadavg): 1.25 1.06 1.01 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 44103 60 0 0 25 0 11 0 477885271 862457856 44458 4294967295 134512640 134569956 3221224416 3221214712 1131189245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44458 13073 16 0 210545 0
vsize: 842244
[startup+510.046 s]
Raw data (loadavg): 1.21 1.06 1.01 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 45046 60 0 0 25 0 11 0 477885271 862457856 44499 4294967295 134512640 134569956 3221224416 3221214808 1131358322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44499 13073 16 0 210545 0
vsize: 842244
[startup+520.046 s]
Raw data (loadavg): 1.18 1.06 1.01 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 45976 60 0 0 25 0 11 0 477885271 862457856 44594 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44594 13073 16 0 210545 0
vsize: 842244
[startup+530.047 s]
Raw data (loadavg): 1.15 1.05 1.01 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 46898 60 0 0 25 0 11 0 477885271 862457856 44756 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44756 13073 16 0 210545 0
vsize: 842244
[startup+540.047 s]
Raw data (loadavg): 1.13 1.05 1.00 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 47828 61 0 0 25 0 11 0 477885271 862457856 44887 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 44887 13073 16 0 210545 0
vsize: 842244
[startup+550.048 s]
Raw data (loadavg): 1.11 1.05 1.00 2/65 21444
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 48757 61 0 0 25 0 11 0 477885271 862457856 45044 4294967295 134512640 134569956 3221224416 3221214712 1131188523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45044 13073 16 0 210545 0
vsize: 842244
[startup+560.051 s]
Raw data (loadavg): 1.09 1.05 1.00 2/65 21446
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 49675 61 0 0 25 0 11 0 477885271 862457856 45175 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45175 13073 16 0 210545 0
vsize: 842244
[startup+570.052 s]
Raw data (loadavg): 1.08 1.05 1.00 2/65 21446
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 50599 61 0 0 25 0 11 0 477885271 862457856 45351 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45351 13073 16 0 210545 0
vsize: 842244
[startup+580.053 s]
Raw data (loadavg): 1.06 1.04 1.00 2/65 21446
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 51524 61 0 0 24 0 11 0 477885271 862457856 45527 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45527 13073 16 0 210545 0
vsize: 842244
[startup+590.054 s]
Raw data (loadavg): 1.05 1.04 1.00 2/65 21446
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 52461 61 0 0 25 0 11 0 477885271 862457856 45672 4294967295 134512640 134569956 3221224416 3221214696 1131407881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45672 13073 16 0 210545 0
vsize: 842244
[startup+600.054 s]
Raw data (loadavg): 1.13 1.06 1.01 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 53382 61 0 0 25 0 11 0 477885271 862457856 45851 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45851 13073 16 0 210545 0
vsize: 842244
[startup+610.055 s]
Raw data (loadavg): 1.11 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 54298 61 0 0 25 0 11 0 477885271 862457856 45966 4294967295 134512640 134569956 3221224416 3221214608 1131439659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 45966 13073 16 0 210545 0
vsize: 842244
[startup+620.059 s]
Raw data (loadavg): 1.09 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 55211 61 0 0 25 0 11 0 477885271 862457856 46149 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 46149 13073 16 0 210545 0
vsize: 842244
[startup+630.058 s]
Raw data (loadavg): 1.16 1.07 1.01 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 56135 61 0 0 25 0 11 0 477885271 862457856 46341 4294967295 134512640 134569956 3221224416 3221214712 1131188067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 46341 13073 16 0 210545 0
vsize: 842244
[startup+640.059 s]
Raw data (loadavg): 1.13 1.06 1.01 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 57052 61 0 0 25 0 11 0 477885271 862457856 46545 4294967295 134512640 134569956 3221224416 3221214712 1131188404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 46545 13073 16 0 210545 0
vsize: 842244
[startup+650.059 s]
Raw data (loadavg): 1.11 1.06 1.01 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 57971 62 0 0 23 0 11 0 477885271 862457856 46691 4294967295 134512640 134569956 3221224416 3221214808 1131359534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 46691 13073 16 0 210545 0
vsize: 842244
[startup+660.059 s]
Raw data (loadavg): 1.09 1.06 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 58888 62 0 0 25 0 11 0 477885271 862457856 46872 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 46872 13073 16 0 210545 0
vsize: 842244
[startup+670.06 s]
Raw data (loadavg): 1.08 1.06 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 59809 62 0 0 25 0 11 0 477885271 862457856 47071 4294967295 134512640 134569956 3221224416 3221214576 1131581033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47071 13073 16 0 210545 0
vsize: 842244
[startup+680.06 s]
Raw data (loadavg): 1.07 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 60729 62 0 0 25 0 11 0 477885271 862457856 47244 4294967295 134512640 134569956 3221224416 3221214688 1131622848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47244 13073 16 0 210545 0
vsize: 842244
[startup+690.061 s]
Raw data (loadavg): 1.06 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 61656 62 0 0 25 0 11 0 477885271 862457856 47379 4294967295 134512640 134569956 3221224416 3221214712 1131189245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47379 13073 16 0 210545 0
vsize: 842244
[startup+700.062 s]
Raw data (loadavg): 1.05 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 62567 62 0 0 25 0 11 0 477885271 862457856 47592 4294967295 134512640 134569956 3221224416 3221214808 1131358356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47592 13073 16 0 210545 0
vsize: 842244
[startup+710.062 s]
Raw data (loadavg): 1.04 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 63484 62 0 0 25 0 11 0 477885271 862457856 47721 4294967295 134512640 134569956 3221224416 3221214760 1131144128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47721 13073 16 0 210545 0
vsize: 842244
[startup+720.062 s]
Raw data (loadavg): 1.03 1.05 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 64408 63 0 0 25 0 11 0 477885271 862457856 47970 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 47970 13073 16 0 210545 0
vsize: 842244
[startup+730.063 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 65350 63 0 0 25 0 11 0 477885271 862457856 48161 4294967295 134512640 134569956 3221224416 3221214712 1131188551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48161 13073 16 0 210545 0
vsize: 842244
[startup+740.063 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 66283 63 0 0 25 0 11 0 477885271 862457856 48230 4294967295 134512640 134569956 3221224416 3221214712 1131188386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48230 13073 16 0 210545 0
vsize: 842244
[startup+750.063 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 67206 63 0 0 25 0 11 0 477885271 862457856 48383 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48383 13073 16 0 210545 0
vsize: 842244
[startup+760.063 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 68126 63 0 0 25 0 11 0 477885271 862457856 48498 4294967295 134512640 134569956 3221224416 3221214712 1131187965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48498 13073 16 0 210545 0
vsize: 842244
[startup+770.064 s]
Raw data (loadavg): 1.01 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 69046 63 0 0 25 0 11 0 477885271 862457856 48740 4294967295 134512640 134569956 3221224416 3221214712 1131187785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48740 13073 16 0 210545 0
vsize: 842244
[startup+780.064 s]
Raw data (loadavg): 1.01 1.04 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 69971 63 0 0 25 0 11 0 477885271 862457856 48894 4294967295 134512640 134569956 3221224416 3221214808 1131359534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 48894 13073 16 0 210545 0
vsize: 842244
[startup+790.065 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 70896 63 0 0 25 0 11 0 477885271 862457856 49093 4294967295 134512640 134569956 3221224416 3221214728 1131468091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 49093 13073 16 0 210545 0
vsize: 842244
[startup+800.066 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 71823 63 0 0 25 0 11 0 477885271 862457856 49235 4294967295 134512640 134569956 3221224416 3221214696 1131406003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 49235 13073 16 0 210545 0
vsize: 842244
[startup+810.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 72743 64 0 0 24 0 11 0 477885271 862457856 49352 4294967295 134512640 134569956 3221224416 3221214808 1131358308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 49352 13073 16 0 210545 0
vsize: 842244
[startup+820.067 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 73660 64 0 0 25 0 11 0 477885271 862457856 49577 4294967295 134512640 134569956 3221224416 3221214712 1131187998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 49577 13073 16 0 210545 0
vsize: 842244
[startup+830.068 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 74583 64 0 0 25 0 11 0 477885271 862457856 49717 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 49717 13073 16 0 210545 0
vsize: 842244
[startup+840.068 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21448
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 75510 64 0 0 25 0 11 0 477885271 862457856 49934 4294967295 134512640 134569956 3221224416 3221214760 1131144128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 49934 13073 16 0 210545 0
vsize: 842244
[startup+850.069 s]
Raw data (loadavg): 1.15 1.06 1.01 2/65 21450
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 76437 64 0 0 25 0 11 0 477885271 862457856 50093 4294967295 134512640 134569956 3221224416 3221214712 1131188527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50093 13073 16 0 210545 0
vsize: 842244
[startup+860.068 s]
Raw data (loadavg): 1.12 1.06 1.01 2/65 21450
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 77366 64 0 0 25 0 11 0 477885271 862457856 50224 4294967295 134512640 134569956 3221224416 3221214712 1131188044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50224 13073 16 0 210545 0
vsize: 842244
[startup+870.069 s]
Raw data (loadavg): 1.11 1.05 1.01 2/65 21450
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 78299 65 0 0 25 0 11 0 477885271 862457856 50402 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50402 13073 16 0 210545 0
vsize: 842244
[startup+880.069 s]
Raw data (loadavg): 1.09 1.05 1.01 2/65 21450
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 79236 65 0 0 25 0 11 0 477885271 862457856 50545 4294967295 134512640 134569956 3221224416 3221214712 1131187974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50545 13073 16 0 210545 0
vsize: 842244
[startup+890.07 s]
Raw data (loadavg): 1.07 1.05 1.01 2/65 21450
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 80179 65 0 0 25 0 11 0 477885271 862457856 50642 4294967295 134512640 134569956 3221224416 3221214712 1131188087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50642 13073 16 0 210545 0
vsize: 842244
[startup+900.072 s]
Raw data (loadavg): 1.06 1.05 1.01 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 81125 66 0 0 25 0 11 0 477885271 862457856 50806 4294967295 134512640 134569956 3221224416 3221214712 1131188240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210561 50806 13073 16 0 210545 0
vsize: 842244
[startup+910.072 s]
Raw data (loadavg): 1.05 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 82072 66 0 0 25 0 11 0 477885271 862457856 50908 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50908 13073 16 0 210545 0
vsize: 842244
[startup+920.073 s]
Raw data (loadavg): 1.04 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 83014 67 0 0 25 0 11 0 477885271 862457856 50976 4294967295 134512640 134569956 3221224416 3221214808 1131359104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 50976 13073 16 0 210545 0
vsize: 842244
[startup+930.073 s]
Raw data (loadavg): 1.04 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 83947 67 0 0 24 0 11 0 477885271 862457856 51098 4294967295 134512640 134569956 3221224416 3221214712 1131187939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51098 13073 16 0 210545 0
vsize: 842244
[startup+940.074 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 84891 67 0 0 25 0 11 0 477885271 862457856 51231 4294967295 134512640 134569956 3221224416 3221214592 1131189203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51231 13073 16 0 210545 0
vsize: 842244
[startup+950.074 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 85839 68 0 0 25 0 11 0 477885271 862457856 51361 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51361 13073 16 0 210545 0
vsize: 842244
[startup+960.073 s]
Raw data (loadavg): 1.09 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 86780 68 0 0 25 0 11 0 477885271 862457856 51467 4294967295 134512640 134569956 3221224416 3221214712 1131187785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51467 13073 16 0 210545 0
vsize: 842244
[startup+970.075 s]
Raw data (loadavg): 1.08 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 87702 69 0 0 25 0 11 0 477885271 862457856 51565 4294967295 134512640 134569956 3221224416 3221214968 1131512704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51565 13073 16 0 210545 0
vsize: 842244
[startup+980.075 s]
Raw data (loadavg): 1.07 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 88613 70 0 0 25 0 11 0 477885271 862457856 51649 4294967295 134512640 134569956 3221224416 3221214808 1131359061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51649 13073 16 0 210545 0
vsize: 842244
[startup+990.08 s]
Raw data (loadavg): 1.06 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 89535 70 0 0 25 0 11 0 477885271 862457856 51878 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 51878 13073 16 0 210545 0
vsize: 842244
[startup+1000.08 s]
Raw data (loadavg): 1.12 1.06 1.01 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 90467 70 0 0 25 0 11 0 477885271 862457856 52061 4294967295 134512640 134569956 3221224416 3221214712 1131187781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52061 13073 16 0 210545 0
vsize: 842244
[startup+1010.08 s]
Raw data (loadavg): 1.10 1.06 1.01 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 91385 71 0 0 25 0 11 0 477885271 862457856 52101 4294967295 134512640 134569956 3221224416 3221214712 1131188459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52101 13073 16 0 210545 0
vsize: 842244
[startup+1020.08 s]
Raw data (loadavg): 1.09 1.06 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 92292 71 0 0 25 0 11 0 477885271 862457856 52127 4294967295 134512640 134569956 3221224416 3221214712 1131188353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52127 13073 16 0 210545 0
vsize: 842244
[startup+1030.08 s]
Raw data (loadavg): 1.07 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 93214 71 0 0 25 0 11 0 477885271 862457856 52474 4294967295 134512640 134569956 3221224416 3221214712 1131188417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52474 13073 16 0 210545 0
vsize: 842244
[startup+1040.08 s]
Raw data (loadavg): 1.06 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 94143 72 0 0 25 0 11 0 477885271 862457856 52680 4294967295 134512640 134569956 3221224416 3221214576 1131580966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52680 13073 16 0 210545 0
vsize: 842244
[startup+1050.08 s]
Raw data (loadavg): 1.05 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 95083 72 0 0 25 0 11 0 477885271 862457856 52765 4294967295 134512640 134569956 3221224416 3221214712 1131188523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52765 13073 16 0 210545 0
vsize: 842244
[startup+1060.09 s]
Raw data (loadavg): 1.04 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 96012 72 0 0 25 0 11 0 477885271 862457856 52886 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 52886 13073 16 0 210545 0
vsize: 842244
[startup+1070.09 s]
Raw data (loadavg): 1.04 1.05 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 96934 73 0 0 24 0 11 0 477885271 862457856 53007 4294967295 134512640 134569956 3221224416 3221214712 1131188459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53007 13073 16 0 210545 0
vsize: 842244
[startup+1080.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 97858 73 0 0 25 0 11 0 477885271 862457856 53134 4294967295 134512640 134569956 3221224416 3221214760 1131144145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53134 13073 16 0 210545 0
vsize: 842244
[startup+1090.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 98785 73 0 0 25 0 11 0 477885271 862457856 53339 4294967295 134512640 134569956 3221224416 3221214808 1131358279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53339 13073 16 0 210545 0
vsize: 842244
[startup+1100.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 99713 74 0 0 25 0 11 0 477885271 862457856 53476 4294967295 134512640 134569956 3221224416 3221214712 1131188246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53476 13073 16 0 210545 0
vsize: 842244
[startup+1110.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 100638 74 0 0 25 0 11 0 477885271 862457856 53596 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53596 13073 16 0 210545 0
vsize: 842244
[startup+1120.09 s]
Raw data (loadavg): 1.01 1.04 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 101564 74 0 0 25 0 11 0 477885271 862457856 53764 4294967295 134512640 134569956 3221224416 3221214712 1131188367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53764 13073 16 0 210545 0
vsize: 842244
[startup+1130.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 102492 74 0 0 25 0 11 0 477885271 862457856 53966 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 53966 13073 16 0 210545 0
vsize: 842244
[startup+1140.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 103434 75 0 0 25 0 11 0 477885271 862457856 54100 4294967295 134512640 134569956 3221224416 3221214808 1131358308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54100 13073 16 0 210545 0
vsize: 842244
[startup+1150.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 104373 75 0 0 25 0 11 0 477885271 862457856 54186 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54186 13073 16 0 210545 0
vsize: 842244
[startup+1160.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 105317 75 0 0 25 0 11 0 477885271 862457856 54315 4294967295 134512640 134569956 3221224416 3221214696 1131406415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54315 13073 16 0 210545 0
vsize: 842244
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 106259 76 0 0 25 0 11 0 477885271 862457856 54436 4294967295 134512640 134569956 3221224416 3221214712 1131188033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54436 13073 16 0 210545 0
vsize: 842244
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 107194 77 0 0 24 0 11 0 477885271 862457856 54537 4294967295 134512640 134569956 3221224416 3221214712 1131187965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54537 13073 16 0 210545 0
vsize: 842244
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 21452
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 108128 77 0 0 25 0 11 0 477885271 862457856 54656 4294967295 134512640 134569956 3221224416 3221214712 1131189044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54656 13073 16 0 210545 0
vsize: 842244
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 109052 78 0 0 25 0 11 0 477885271 862457856 54822 4294967295 134512640 134569956 3221224416 3221214712 1131189054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54822 13073 16 0 210545 0
vsize: 842244
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 109982 78 0 0 25 0 11 0 477885271 862457856 54936 4294967295 134512640 134569956 3221224416 3221214608 1131439659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 54936 13073 16 0 210545 0
vsize: 842244
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 110921 79 0 0 25 0 11 0 477885271 862457856 55124 4294967295 134512640 134569956 3221224416 3221214800 1130883310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55124 13073 16 0 210545 0
vsize: 842244
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 111856 79 0 0 25 0 11 0 477885271 862457856 55220 4294967295 134512640 134569956 3221224416 3221214712 1131188289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55220 13073 16 0 210545 0
vsize: 842244
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 112781 80 0 0 24 0 11 0 477885271 862457856 55349 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55349 13073 16 0 210545 0
vsize: 842244
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 113718 80 0 0 25 0 11 0 477885271 862457856 55498 4294967295 134512640 134569956 3221224416 3221214712 1131187781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55498 13073 16 0 210545 0
vsize: 842244
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 114659 80 0 0 25 0 11 0 477885271 862457856 55657 4294967295 134512640 134569956 3221224416 3221214808 1131359220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55657 13073 16 0 210545 0
vsize: 842244
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) S 21372 20024 20023 0 -1 0 18068 6 1 0 115600 81 0 0 25 0 11 0 477885271 862457856 55775 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55775 13073 16 0 210545 0
vsize: 842244
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 116530 81 0 0 25 0 11 0 477885271 862457856 55889 4294967295 134512640 134569956 3221224416 3221214712 1131187785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55889 13073 16 0 210545 0
vsize: 842244
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 117460 81 0 0 25 0 11 0 477885271 862457856 55940 4294967295 134512640 134569956 3221224416 3221214808 1131358301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 55940 13073 16 0 210545 0
vsize: 842244
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 118389 81 0 0 25 0 11 0 477885271 862457856 56120 4294967295 134512640 134569956 3221224416 3221214592 1131268308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 56120 13073 16 0 210545 0
vsize: 842244
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 119321 82 0 0 25 0 11 0 477885271 862457856 56257 4294967295 134512640 134569956 3221224416 3221214808 1131358304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 56257 13073 16 0 210545 0
vsize: 842244
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21454
Raw data (stat): 21373 (java) R 21372 20024 20023 0 -1 0 18068 6 1 0 120255 82 0 0 25 0 11 0 477885271 862457856 56380 4294967295 134512640 134569956 3221224416 3221214808 1131359079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210561 56380 13073 16 0 210545 0
vsize: 842244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.23 s]
Raw data (loadavg): 1.00 1.01 1.00 1/55 21456
Raw data (stat): 21373 (java) Z 21372 20024 20023 0 -1 1036 18068 42935 1 0 120257 92 12690 108 25 0 1 0 477885271 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): 1320.23
CPU time (s): 1331.49
CPU user time (s): 1329.48
CPU system time (s): 2.01069
CPU usage (%): 100.853
Max. virtual memory (Kb): 843268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####