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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
MD5SUMe21ba82f6fe94f7331ec17a5a9607763
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved NO
Number of terms in the objective function 2152
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 2152
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2152
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.8518
Number of variables2152
Total number of constraints17197
Number of constraints which are clauses17197
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 constraint16

Trace number 4298

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 16:15:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1251 boxname=wulflinc18 idbench=139 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  e21ba82f6fe94f7331ec17a5a9607763  /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb
IDLAUNCH: 1251
/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:        926196 kB
Buffers:         32384 kB
Cached:          40192 kB
SwapCached:        320 kB
Active:          41360 kB
Inactive:        34324 kB
HighTotal:      131008 kB
HighFree:        86884 kB
LowTotal:       903652 kB
LowFree:        839312 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27308 kB
Committed_AS:    63696 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:36:08 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1251 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb
c reading problem 
c [nbvar=2152]
c [nbconstr=17197]
c time 8.132
c #vars     2152
c #clauses  17197
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=1036
c Current CPU time (ms) : 34.828
c starts	: 2
c conflicts	: 148
c decisions	: 1072
c propagations	: 59986
c inspects	: 295769
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 148
c root simplifications	: 2
c 
c CURRENT OPTIMUM=1033
c Current CPU time (ms) : 58.004
c starts	: 4
c conflicts	: 270
c decisions	: 1482
c propagations	: 102015
c inspects	: 462659
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 270
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1032
c Current CPU time (ms) : 106.992
c starts	: 6
c conflicts	: 419
c decisions	: 1869
c propagations	: 144152
c inspects	: 618811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 419
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1031
c Current CPU time (ms) : 315.08
c starts	: 7
c conflicts	: 479
c decisions	: 2200
c propagations	: 170612
c inspects	: 832378
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 479
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.90 0.96 0.75 2/55 20746
Raw data (stat): 20746 (runsolver) R 20745 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477306279 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.91 0.96 0.75 3/65 20756
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18077 0 1 0 693 47 0 0 25 0 11 0 477306279 858906624 20013 4294967295 134512640 134569956 3221224416 3221214428 1130918280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 20013 13073 16 0 209678 0
vsize: 838776
[startup+20.0012 s]
Raw data (loadavg): 1.00 0.97 0.76 2/65 20756
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18080 0 1 0 1523 47 0 0 25 0 11 0 477306279 863686656 23941 4294967295 134512640 134569956 3221224416 3221214840 1131376688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 23941 13073 16 0 210845 0
vsize: 843444
[startup+30.0011 s]
Raw data (loadavg): 1.00 0.97 0.76 2/65 20756
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 0 1 0 2504 47 0 0 25 0 11 0 477306279 863686656 24184 4294967295 134512640 134569956 3221224416 3221214736 1131435858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 24184 13073 16 0 210845 0
vsize: 843444
[startup+40.0022 s]
Raw data (loadavg): 1.00 0.97 0.76 2/65 20757
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 3462 47 0 0 25 0 11 0 477306279 863686656 24391 4294967295 134512640 134569956 3221224416 3221214840 1131376617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210861 24391 13073 16 0 210845 0
vsize: 843444
[startup+50.003 s]
Raw data (loadavg): 1.00 0.97 0.76 2/65 20757
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 4419 47 0 0 25 0 11 0 477306279 863686656 24578 4294967295 134512640 134569956 3221224416 3221214592 1131363571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 24578 13073 16 0 210845 0
vsize: 843444
[startup+60.0029 s]
Raw data (loadavg): 1.00 0.97 0.76 2/65 20758
Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18081 3 1 0 5363 47 0 0 25 0 11 0 477306279 863686656 24757 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 24757 13073 16 0 210845 0
vsize: 843444
[startup+70.0068 s]
Raw data (loadavg): 1.00 0.97 0.77 2/65 20758
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 6281 48 0 0 25 0 11 0 477306279 863686656 24854 4294967295 134512640 134569956 3221224416 3221214840 1131376769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210861 24854 13073 16 0 210845 0
vsize: 843444
[startup+80.0079 s]
Raw data (loadavg): 1.08 0.99 0.77 2/65 20758
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 7227 48 0 0 25 0 11 0 477306279 863686656 24902 4294967295 134512640 134569956 3221224416 3221214704 1131173849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210861 24902 13073 16 0 210845 0
vsize: 843444
[startup+90.0086 s]
Raw data (loadavg): 1.07 0.99 0.78 2/65 20760
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 8172 48 0 0 25 0 11 0 477306279 863686656 25006 4294967295 134512640 134569956 3221224416 3221214840 1131376420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 25006 13073 16 0 210845 0
vsize: 843444
[startup+100.009 s]
Raw data (loadavg): 1.06 0.99 0.78 2/65 20760
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 9081 48 0 0 25 0 11 0 477306279 863686656 25781 4294967295 134512640 134569956 3221224416 3221214800 1131483803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210861 25781 13073 16 0 210845 0
vsize: 843444
[startup+110.009 s]
Raw data (loadavg): 1.05 0.99 0.78 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 9992 48 0 0 25 0 11 0 477306279 866668544 27269 4294967295 134512640 134569956 3221224416 3221214688 1131329855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211589 27269 13073 16 0 211573 0
vsize: 846356
[startup+120.01 s]
Raw data (loadavg): 1.04 0.99 0.78 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 10936 48 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214688 1131329985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 27085 13073 16 0 211197 0
vsize: 844852
[startup+130.01 s]
Raw data (loadavg): 1.03 0.99 0.78 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 11869 48 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 27085 13073 16 0 211197 0
vsize: 844852
[startup+140.011 s]
Raw data (loadavg): 1.03 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 12800 49 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214792 1131415414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27085 13073 16 0 211197 0
vsize: 844852
[startup+150.012 s]
Raw data (loadavg): 1.02 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 13736 49 0 0 25 0 11 0 477306279 865128448 27192 4294967295 134512640 134569956 3221224416 3221214792 1131415790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27192 13073 16 0 211197 0
vsize: 844852
[startup+160.012 s]
Raw data (loadavg): 1.02 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 14668 49 0 0 25 0 11 0 477306279 865128448 27785 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27785 13073 16 0 211197 0
vsize: 844852
[startup+170.013 s]
Raw data (loadavg): 1.02 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 15645 49 0 0 25 0 11 0 477306279 865128448 27887 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27887 13073 16 0 211197 0
vsize: 844852
[startup+180.013 s]
Raw data (loadavg): 1.01 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 16615 49 0 0 25 0 11 0 477306279 865128448 27913 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27913 13073 16 0 211197 0
vsize: 844852
[startup+190.013 s]
Raw data (loadavg): 1.01 0.99 0.79 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 17586 50 0 0 25 0 11 0 477306279 865128448 27938 4294967295 134512640 134569956 3221224416 3221214688 1131330225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27938 13073 16 0 211197 0
vsize: 844852
[startup+200.012 s]
Raw data (loadavg): 1.01 0.99 0.80 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 18561 50 0 0 25 0 11 0 477306279 865128448 27956 4294967295 134512640 134569956 3221224416 3221214688 1131329806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27956 13073 16 0 211197 0
vsize: 844852
[startup+210.012 s]
Raw data (loadavg): 1.01 0.99 0.80 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 19527 50 0 0 25 0 11 0 477306279 865128448 27999 4294967295 134512640 134569956 3221224416 3221214688 1131330252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 27999 13073 16 0 211197 0
vsize: 844852
[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.80 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 20505 51 0 0 25 0 11 0 477306279 865128448 28016 4294967295 134512640 134569956 3221224416 3221214688 1131329863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28016 13073 16 0 211197 0
vsize: 844852
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.80 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 21480 51 0 0 25 0 11 0 477306279 865128448 28046 4294967295 134512640 134569956 3221224416 3221214688 1131329787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28046 13073 16 0 211197 0
vsize: 844852
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.80 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 22454 51 0 0 25 0 11 0 477306279 865128448 28064 4294967295 134512640 134569956 3221224416 3221214728 1131387597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28064 13073 16 0 211197 0
vsize: 844852
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.81 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 23430 51 0 0 25 0 11 0 477306279 865128448 28071 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28071 13073 16 0 211197 0
vsize: 844852
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.81 2/65 20761
Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 24394 52 0 0 25 0 11 0 477306279 865128448 28091 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28091 13073 16 0 211197 0
vsize: 844852
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.81 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 25362 52 0 0 25 0 11 0 477306279 865128448 28131 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28131 13073 16 0 211197 0
vsize: 844852
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.81 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 26337 52 0 0 25 0 11 0 477306279 865128448 28153 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28153 13073 16 0 211197 0
vsize: 844852
[startup+290.014 s]
Raw data (loadavg): 1.00 0.99 0.81 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 27304 53 0 0 25 0 11 0 477306279 865128448 28176 4294967295 134512640 134569956 3221224416 3221214788 1131329747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28176 13073 16 0 211197 0
vsize: 844852
[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 28269 53 0 0 25 0 11 0 477306279 865128448 28196 4294967295 134512640 134569956 3221224416 3221214688 1131330642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28196 13073 16 0 211197 0
vsize: 844852
[startup+310.013 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20761
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 29237 53 0 0 25 0 11 0 477306279 865128448 28273 4294967295 134512640 134569956 3221224416 3221214688 1131330683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28273 13073 16 0 211197 0
vsize: 844852
[startup+320.014 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 30213 53 0 0 25 0 11 0 477306279 865030144 28267 4294967295 134512640 134569956 3221224416 3221214792 1131415411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28267 13073 16 0 211173 0
vsize: 844756
[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 31185 54 0 0 25 0 11 0 477306279 865030144 28273 4294967295 134512640 134569956 3221224416 3221214840 1131376623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28273 13073 16 0 211173 0
vsize: 844756
[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 32152 54 0 0 24 0 11 0 477306279 865030144 28275 4294967295 134512640 134569956 3221224416 3221214792 1131416678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28275 13073 16 0 211173 0
vsize: 844756
[startup+350.015 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 33117 55 0 0 24 0 11 0 477306279 865030144 28277 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28277 13073 16 0 211173 0
vsize: 844756
[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 34082 55 0 0 25 0 11 0 477306279 865030144 28285 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28285 13073 16 0 211173 0
vsize: 844756
[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.82 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 35052 55 0 0 25 0 11 0 477306279 865030144 28406 4294967295 134512640 134569956 3221224416 3221214792 1131415540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28406 13073 16 0 211173 0
vsize: 844756
[startup+380.016 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20762
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 36031 55 0 0 25 0 11 0 477306279 865030144 28423 4294967295 134512640 134569956 3221224416 3221214792 1131416837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211189 28423 13073 16 0 211173 0
vsize: 844756
[startup+390.016 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 37006 56 0 0 25 0 11 0 477306279 865030144 28432 4294967295 134512640 134569956 3221224416 3221214840 1131376871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28432 13073 16 0 211173 0
vsize: 844756
[startup+400.016 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 37983 56 0 0 25 0 11 0 477306279 865030144 28450 4294967295 134512640 134569956 3221224416 3221214688 1131330128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28450 13073 16 0 211173 0
vsize: 844756
[startup+410.016 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 38960 56 0 0 25 0 11 0 477306279 865030144 28471 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28471 13073 16 0 211173 0
vsize: 844756
[startup+420.017 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 39932 56 0 0 25 0 11 0 477306279 865030144 28496 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28496 13073 16 0 211173 0
vsize: 844756
[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 40910 57 0 0 25 0 11 0 477306279 865030144 28536 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28536 13073 16 0 211173 0
vsize: 844756
[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 41887 57 0 0 25 0 11 0 477306279 865030144 28553 4294967295 134512640 134569956 3221224416 3221214688 1131330741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28553 13073 16 0 211173 0
vsize: 844756
[startup+450.018 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 42869 57 0 0 25 0 11 0 477306279 865030144 28592 4294967295 134512640 134569956 3221224416 3221214688 1131330354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28592 13073 16 0 211173 0
vsize: 844756
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 43851 57 0 0 25 0 11 0 477306279 865030144 28600 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28600 13073 16 0 211173 0
vsize: 844756
[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 44828 58 0 0 25 0 11 0 477306279 865030144 28632 4294967295 134512640 134569956 3221224416 3221214688 1131330613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28632 13073 16 0 211173 0
vsize: 844756
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.83 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 45809 58 0 0 25 0 11 0 477306279 865030144 28641 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28641 13073 16 0 211173 0
vsize: 844756
[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 46789 58 0 0 25 0 11 0 477306279 865030144 28652 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28652 13073 16 0 211173 0
vsize: 844756
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 47767 58 0 0 25 0 11 0 477306279 865030144 28683 4294967295 134512640 134569956 3221224416 3221214788 1131329740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28683 13073 16 0 211173 0
vsize: 844756
[startup+510.02 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 48747 59 0 0 25 0 11 0 477306279 865030144 28685 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28685 13073 16 0 211173 0
vsize: 844756
[startup+520.02 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 49724 59 0 0 25 0 11 0 477306279 865030144 28720 4294967295 134512640 134569956 3221224416 3221214840 1131376871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28720 13073 16 0 211173 0
vsize: 844756
[startup+530.02 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 50707 59 0 0 25 0 11 0 477306279 865030144 28721 4294967295 134512640 134569956 3221224416 3221214688 1131329753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28721 13073 16 0 211173 0
vsize: 844756
[startup+540.02 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 51689 59 0 0 25 0 11 0 477306279 865030144 28746 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28746 13073 16 0 211173 0
vsize: 844756
[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 52668 59 0 0 25 0 11 0 477306279 865030144 28754 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28754 13073 16 0 211173 0
vsize: 844756
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 53645 60 0 0 25 0 11 0 477306279 865030144 28778 4294967295 134512640 134569956 3221224416 3221214688 1131330086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28778 13073 16 0 211173 0
vsize: 844756
[startup+570.022 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 54619 60 0 0 25 0 11 0 477306279 865030144 28797 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28797 13073 16 0 211173 0
vsize: 844756
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.84 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 55597 61 0 0 25 0 11 0 477306279 865030144 28816 4294967295 134512640 134569956 3221224416 3221214840 1131376602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28816 13073 16 0 211173 0
vsize: 844756
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 56579 61 0 0 25 0 11 0 477306279 865030144 28838 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28838 13073 16 0 211173 0
vsize: 844756
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 57559 61 0 0 25 0 11 0 477306279 865030144 28849 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28849 13073 16 0 211173 0
vsize: 844756
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 58541 62 0 0 25 0 11 0 477306279 865030144 28850 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28850 13073 16 0 211173 0
vsize: 844756
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 59518 62 0 0 25 0 11 0 477306279 865030144 28859 4294967295 134512640 134569956 3221224416 3221214688 1131329757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28859 13073 16 0 211173 0
vsize: 844756
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 60494 62 0 0 25 0 11 0 477306279 865030144 28873 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28873 13073 16 0 211173 0
vsize: 844756
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 61472 63 0 0 25 0 11 0 477306279 865030144 28910 4294967295 134512640 134569956 3221224416 3221214792 1131415395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28910 13073 16 0 211173 0
vsize: 844756
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 62452 63 0 0 25 0 11 0 477306279 865030144 28939 4294967295 134512640 134569956 3221224416 3221214792 1131416678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28939 13073 16 0 211173 0
vsize: 844756
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 63434 64 0 0 25 0 11 0 477306279 865030144 28956 4294967295 134512640 134569956 3221224416 3221214888 1131570561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28956 13073 16 0 211173 0
vsize: 844756
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 64416 64 0 0 25 0 11 0 477306279 865030144 28986 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28986 13073 16 0 211173 0
vsize: 844756
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.85 2/65 20764
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 65401 64 0 0 25 0 11 0 477306279 865030144 28994 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 28994 13073 16 0 211173 0
vsize: 844756
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 66386 65 0 0 25 0 11 0 477306279 865030144 29005 4294967295 134512640 134569956 3221224416 3221214952 1131354649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29005 13073 16 0 211173 0
vsize: 844756
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 67371 65 0 0 25 0 11 0 477306279 865030144 29013 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29013 13073 16 0 211173 0
vsize: 844756
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 68354 65 0 0 25 0 11 0 477306279 865030144 29027 4294967295 134512640 134569956 3221224416 3221214792 1131415787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29027 13073 16 0 211173 0
vsize: 844756
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 69334 66 0 0 25 0 11 0 477306279 865030144 29040 4294967295 134512640 134569956 3221224416 3221214792 1131416658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29040 13073 16 0 211173 0
vsize: 844756
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 70318 66 0 0 25 0 11 0 477306279 865030144 29055 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29055 13073 16 0 211173 0
vsize: 844756
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 71300 66 0 0 25 0 11 0 477306279 865030144 29064 4294967295 134512640 134569956 3221224416 3221214688 1131331022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29064 13073 16 0 211173 0
vsize: 844756
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 72277 66 0 0 24 0 11 0 477306279 865030144 29085 4294967295 134512640 134569956 3221224416 3221214688 1131330107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29085 13073 16 0 211173 0
vsize: 844756
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 73253 67 0 0 25 0 11 0 477306279 865030144 29103 4294967295 134512640 134569956 3221224416 3221214792 1131416792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29103 13073 16 0 211173 0
vsize: 844756
[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 74229 67 0 0 25 0 11 0 477306279 865030144 29116 4294967295 134512640 134569956 3221224416 3221214688 1131330076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29116 13073 16 0 211173 0
vsize: 844756
[startup+780.032 s]
Raw data (loadavg): 1.00 0.99 0.86 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 75209 68 0 0 25 0 11 0 477306279 865030144 29142 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29142 13073 16 0 211173 0
vsize: 844756
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 76194 68 0 0 25 0 11 0 477306279 865030144 29158 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29158 13073 16 0 211173 0
vsize: 844756
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 77172 68 0 0 25 0 11 0 477306279 865030144 29166 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29166 13073 16 0 211173 0
vsize: 844756
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 78153 68 0 0 25 0 11 0 477306279 865030144 29166 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29166 13073 16 0 211173 0
vsize: 844756
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 79134 69 0 0 25 0 11 0 477306279 865030144 29169 4294967295 134512640 134569956 3221224416 3221214688 1131330184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29169 13073 16 0 211173 0
vsize: 844756
[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 80101 69 0 0 25 0 11 0 477306279 865030144 29212 4294967295 134512640 134569956 3221224416 3221214688 1131330402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29212 13073 16 0 211173 0
vsize: 844756
[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 81080 69 0 0 24 0 11 0 477306279 865030144 29224 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29224 13073 16 0 211173 0
vsize: 844756
[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 82062 70 0 0 25 0 11 0 477306279 865030144 29224 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29224 13073 16 0 211173 0
vsize: 844756
[startup+860.034 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 83033 70 0 0 25 0 11 0 477306279 865030144 29270 4294967295 134512640 134569956 3221224416 3221214688 1131330398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29270 13073 16 0 211173 0
vsize: 844756
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 84007 70 0 0 24 0 11 0 477306279 865030144 29277 4294967295 134512640 134569956 3221224416 3221214792 1131416572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29277 13073 16 0 211173 0
vsize: 844756
[startup+880.036 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 84983 71 0 0 25 0 11 0 477306279 865030144 29278 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29278 13073 16 0 211173 0
vsize: 844756
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.87 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 85955 71 0 0 25 0 11 0 477306279 865030144 29314 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29314 13073 16 0 211173 0
vsize: 844756
[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 86930 71 0 0 25 0 11 0 477306279 865030144 29332 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29332 13073 16 0 211173 0
vsize: 844756
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 87899 71 0 0 25 0 11 0 477306279 865030144 29362 4294967295 134512640 134569956 3221224416 3221214792 1131417705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29362 13073 16 0 211173 0
vsize: 844756
[startup+920.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 88878 72 0 0 25 0 11 0 477306279 865030144 29398 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29398 13073 16 0 211173 0
vsize: 844756
[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 89855 72 0 0 25 0 11 0 477306279 865030144 29405 4294967295 134512640 134569956 3221224416 3221214688 1131330169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29405 13073 16 0 211173 0
vsize: 844756
[startup+940.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 90831 73 0 0 25 0 11 0 477306279 865030144 29445 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29445 13073 16 0 211173 0
vsize: 844756
[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 91816 73 0 0 25 0 11 0 477306279 865030144 29448 4294967295 134512640 134569956 3221224416 3221214792 1131415776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29448 13073 16 0 211173 0
vsize: 844756
[startup+960.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 92795 73 0 0 25 0 11 0 477306279 865030144 29467 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29467 13073 16 0 211173 0
vsize: 844756
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 93772 74 0 0 25 0 11 0 477306279 865030144 29483 4294967295 134512640 134569956 3221224416 3221214792 1131415536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29483 13073 16 0 211173 0
vsize: 844756
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20766
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 94754 74 0 0 25 0 11 0 477306279 865030144 29484 4294967295 134512640 134569956 3221224416 3221214688 1131329757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29484 13073 16 0 211173 0
vsize: 844756
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.88 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 95725 74 0 0 25 0 11 0 477306279 865030144 29502 4294967295 134512640 134569956 3221224416 3221214688 1131330128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29502 13073 16 0 211173 0
vsize: 844756
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 96697 75 0 0 25 0 11 0 477306279 865030144 29531 4294967295 134512640 134569956 3221224416 3221214728 1131387551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29531 13073 16 0 211173 0
vsize: 844756
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 97676 75 0 0 25 0 11 0 477306279 865030144 29543 4294967295 134512640 134569956 3221224416 3221214792 1131415702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29543 13073 16 0 211173 0
vsize: 844756
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 98650 75 0 0 25 0 11 0 477306279 865030144 29601 4294967295 134512640 134569956 3221224416 3221214792 1131416658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29601 13073 16 0 211173 0
vsize: 844756
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 99631 76 0 0 25 0 11 0 477306279 865030144 29605 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29605 13073 16 0 211173 0
vsize: 844756
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 100605 76 0 0 25 0 11 0 477306279 865030144 29606 4294967295 134512640 134569956 3221224416 3221214688 1131330076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29606 13073 16 0 211173 0
vsize: 844756
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 101577 77 0 0 25 0 11 0 477306279 865030144 29642 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29642 13073 16 0 211173 0
vsize: 844756
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 102557 77 0 0 25 0 11 0 477306279 865030144 29643 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29643 13073 16 0 211173 0
vsize: 844756
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 103531 77 0 0 25 0 11 0 477306279 865030144 29684 4294967295 134512640 134569956 3221224416 3221214688 1131329851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29684 13073 16 0 211173 0
vsize: 844756
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 104515 77 0 0 25 0 11 0 477306279 865030144 29696 4294967295 134512640 134569956 3221224416 3221214688 1131330447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29696 13073 16 0 211173 0
vsize: 844756
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 105488 78 0 0 25 0 11 0 477306279 865030144 29696 4294967295 134512640 134569956 3221224416 3221214792 1131416712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29696 13073 16 0 211173 0
vsize: 844756
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 106461 78 0 0 25 0 11 0 477306279 865030144 29725 4294967295 134512640 134569956 3221224416 3221214688 1131330765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29725 13073 16 0 211173 0
vsize: 844756
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 107436 78 0 0 25 0 11 0 477306279 865030144 29742 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29742 13073 16 0 211173 0
vsize: 844756
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 108412 79 0 0 25 0 11 0 477306279 865030144 29788 4294967295 134512640 134569956 3221224416 3221214688 1131330200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29788 13073 16 0 211173 0
vsize: 844756
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 109391 79 0 0 25 0 11 0 477306279 865030144 29798 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29798 13073 16 0 211173 0
vsize: 844756
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 110367 79 0 0 25 0 11 0 477306279 865030144 29809 4294967295 134512640 134569956 3221224416 3221214840 1131376427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29809 13073 16 0 211173 0
vsize: 844756
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 111347 80 0 0 25 0 11 0 477306279 865030144 29821 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29821 13073 16 0 211173 0
vsize: 844756
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 112325 80 0 0 25 0 11 0 477306279 865030144 29845 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29845 13073 16 0 211173 0
vsize: 844756
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 113306 80 0 0 25 0 11 0 477306279 865030144 29852 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29852 13073 16 0 211173 0
vsize: 844756
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 114282 81 0 0 25 0 11 0 477306279 865030144 29869 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29869 13073 16 0 211173 0
vsize: 844756
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.90 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 115261 81 0 0 24 0 11 0 477306279 865030144 29895 4294967295 134512640 134569956 3221224416 3221214788 1131329740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29895 13073 16 0 211173 0
vsize: 844756
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 116241 81 0 0 24 0 11 0 477306279 865030144 29898 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29898 13073 16 0 211173 0
vsize: 844756
[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 117220 82 0 0 25 0 11 0 477306279 865030144 29907 4294967295 134512640 134569956 3221224416 3221214792 1131415813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29907 13073 16 0 211173 0
vsize: 844756
[startup+1220.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 118197 82 0 0 25 0 11 0 477306279 865030144 29924 4294967295 134512640 134569956 3221224416 3221214792 1131415369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29924 13073 16 0 211173 0
vsize: 844756
[startup+1230.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 119179 82 0 0 25 0 11 0 477306279 865030144 29948 4294967295 134512640 134569956 3221224416 3221214792 1131417677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29948 13073 16 0 211173 0
vsize: 844756
[startup+1240.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20768
Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 120157 82 0 0 25 0 11 0 477306279 865030144 29962 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211189 29962 13073 16 0 211173 0
vsize: 844756
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 20770
Raw data (stat): 20746 (java) Z 20745 20024 20023 0 -1 1036 18083 14783 1 0 120161 82 4292 45 25 0 1 0 477306279 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): 1240.14
CPU time (s): 1245.83
CPU user time (s): 1244.54
CPU system time (s): 1.2898
CPU usage (%): 100.459
Max. virtual memory (Kb): 846356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####