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-g250.15.opb
MD5SUM9cfcc49797c7ac58bfef2056b3d91b66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 7500
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 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.065989
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
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 constraint15

Trace number 4297

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        871504 kB
Buffers:         31960 kB
Cached:          88108 kB
SwapCached:       3828 kB
Active:          45112 kB
Inactive:        81584 kB
HighTotal:      131008 kB
HighFree:        40656 kB
LowTotal:       903652 kB
LowFree:        830848 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30804 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:36:05 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1188 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-g250.15.opb
c reading problem 
c [nbvar=7500]
c [nbconstr=237715]
c time 87.316
c #vars     7500
c #clauses  237715
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
#### 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.87 0.96 0.74 2/54 29056
Raw data (stat): 29056 (runsolver) R 29055 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477309810 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.96 0.97 0.75 2/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 17979 0 1 0 887 41 0 0 25 0 10 0 477309810 853483520 19083 4294967295 134512640 134569956 3221224416 3221214204 1077070800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208370 19083 13073 16 0 208354 0
vsize: 833480
[startup+20.0018 s]
Raw data (loadavg): 0.97 0.97 0.75 4/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18001 0 1 0 1775 41 0 0 25 0 10 0 477309810 861020160 21053 4294967295 134512640 134569956 3221224416 3221214432 1130902053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210210 21053 13073 16 0 210194 0
vsize: 840840
[startup+30.0024 s]
Raw data (loadavg): 1.28 1.04 0.78 4/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18067 0 1 0 2606 42 0 0 25 0 10 0 477309810 882651136 26594 4294967295 134512640 134569956 3221224416 3221214512 1130894839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215491 26594 13073 16 0 215475 0
vsize: 861964
[startup+40.0029 s]
Raw data (loadavg): 1.38 1.07 0.79 2/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18067 0 1 0 3431 43 0 0 25 0 10 0 477309810 882397184 29001 4294967295 134512640 134569956 3221224416 3221214584 1131243947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215429 29001 13073 16 0 215413 0
vsize: 861716
[startup+50.0038 s]
Raw data (loadavg): 1.32 1.07 0.79 2/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18067 0 1 0 4430 44 0 0 25 0 10 0 477309810 882397184 29001 4294967295 134512640 134569956 3221224416 3221214584 1131243841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215429 29001 13073 16 0 215413 0
vsize: 861716
[startup+60.0041 s]
Raw data (loadavg): 1.27 1.06 0.79 2/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18067 0 1 0 5329 45 0 0 25 0 10 0 477309810 882397184 34172 4294967295 134512640 134569956 3221224416 3221214584 1131243841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215429 34172 13073 16 0 215413 0
vsize: 861716
[startup+70.0054 s]
Raw data (loadavg): 1.23 1.06 0.80 2/63 29065
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18067 0 1 0 6236 46 0 0 25 0 10 0 477309810 882397184 38083 4294967295 134512640 134569956 3221224416 3221214584 1131243907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215429 38083 13073 16 0 215413 0
vsize: 861716
[startup+80.0095 s]
Raw data (loadavg): 1.19 1.06 0.80 2/63 29065
Raw data (stat): 29056 (java) S 29055 28546 28545 0 -1 0 18067 0 1 0 7186 47 0 0 25 0 10 0 477309810 882397184 40540 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215429 40541 13073 16 0 215413 0
vsize: 861716
[startup+90.0097 s]
Raw data (loadavg): 1.16 1.06 0.80 4/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18133 0 1 0 8047 49 0 0 25 0 11 0 477309810 882925568 42165 4294967295 134512640 134569956 3221224416 3221213640 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 42165 13073 16 0 215542 0
vsize: 862232
[startup+100.01 s]
Raw data (loadavg): 1.21 1.07 0.81 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 8912 49 0 0 25 0 11 0 477309810 882925568 44698 4294967295 134512640 134569956 3221224416 3221214832 1131620489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 44698 13073 16 0 215542 0
vsize: 862232
[startup+110.011 s]
Raw data (loadavg): 1.18 1.07 0.81 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 9877 49 0 0 25 0 11 0 477309810 882925568 46481 4294967295 134512640 134569956 3221224416 3221214848 1131592175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46481 13073 16 0 215542 0
vsize: 862232
[startup+120.011 s]
Raw data (loadavg): 1.23 1.08 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 10867 49 0 0 25 0 11 0 477309810 882925568 46486 4294967295 134512640 134569956 3221224416 3221214848 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46486 13073 16 0 215542 0
vsize: 862232
[startup+130.012 s]
Raw data (loadavg): 1.20 1.08 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 11854 49 0 0 25 0 11 0 477309810 882925568 46486 4294967295 134512640 134569956 3221224416 3221214848 1131592177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 46486 13073 16 0 215542 0
vsize: 862232
[startup+140.013 s]
Raw data (loadavg): 1.16 1.08 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 12836 49 0 0 25 0 11 0 477309810 882925568 46487 4294967295 134512640 134569956 3221224416 3221214848 1131592224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 46487 13073 16 0 215542 0
vsize: 862232
[startup+150.013 s]
Raw data (loadavg): 1.14 1.07 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 13817 50 0 0 25 0 11 0 477309810 882925568 46489 4294967295 134512640 134569956 3221224416 3221214848 1131592398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46489 13073 16 0 215542 0
vsize: 862232
[startup+160.013 s]
Raw data (loadavg): 1.12 1.07 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 14798 50 0 0 25 0 11 0 477309810 882925568 46489 4294967295 134512640 134569956 3221224416 3221214848 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46489 13073 16 0 215542 0
vsize: 862232
[startup+170.014 s]
Raw data (loadavg): 1.10 1.07 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18135 0 1 0 15777 50 0 0 25 0 11 0 477309810 882925568 46489 4294967295 134512640 134569956 3221224416 3221214760 1131678904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46489 13073 16 0 215542 0
vsize: 862232
[startup+180.014 s]
Raw data (loadavg): 1.08 1.06 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 16754 50 0 0 25 0 11 0 477309810 882925568 46540 4294967295 134512640 134569956 3221224416 3221214840 1131627729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46540 13073 16 0 215542 0
vsize: 862232
[startup+190.014 s]
Raw data (loadavg): 1.07 1.06 0.82 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 17732 50 0 0 25 0 11 0 477309810 882925568 46722 4294967295 134512640 134569956 3221224416 3221214736 1131604168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46722 13073 16 0 215542 0
vsize: 862232
[startup+200.015 s]
Raw data (loadavg): 1.06 1.06 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 18709 50 0 0 25 0 11 0 477309810 882925568 46722 4294967295 134512640 134569956 3221224416 3221214712 1131231321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46722 13073 16 0 215542 0
vsize: 862232
[startup+210.015 s]
Raw data (loadavg): 1.05 1.06 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 19686 50 0 0 24 0 11 0 477309810 882925568 46841 4294967295 134512640 134569956 3221224416 3221214848 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46841 13073 16 0 215542 0
vsize: 862232
[startup+220.015 s]
Raw data (loadavg): 1.04 1.05 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 20685 50 0 0 25 0 11 0 477309810 882925568 46847 4294967295 134512640 134569956 3221224416 3221214848 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46847 13073 16 0 215542 0
vsize: 862232
[startup+230.016 s]
Raw data (loadavg): 1.03 1.05 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 21662 50 0 0 25 0 11 0 477309810 882925568 46970 4294967295 134512640 134569956 3221224416 3221214848 1131592237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 46970 13073 16 0 215542 0
vsize: 862232
[startup+240.015 s]
Raw data (loadavg): 1.03 1.05 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 22641 50 0 0 25 0 11 0 477309810 882925568 47096 4294967295 134512640 134569956 3221224416 3221214848 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47096 13073 16 0 215542 0
vsize: 862232
[startup+250.016 s]
Raw data (loadavg): 1.02 1.05 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 23623 50 0 0 25 0 11 0 477309810 882925568 47096 4294967295 134512640 134569956 3221224416 3221214848 1131592228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47096 13073 16 0 215542 0
vsize: 862232
[startup+260.017 s]
Raw data (loadavg): 1.02 1.05 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 24604 50 0 0 25 0 11 0 477309810 882925568 47167 4294967295 134512640 134569956 3221224416 3221214848 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47167 13073 16 0 215542 0
vsize: 862232
[startup+270.016 s]
Raw data (loadavg): 1.02 1.04 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 25586 50 0 0 25 0 11 0 477309810 882925568 47238 4294967295 134512640 134569956 3221224416 3221214848 1131592208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47238 13073 16 0 215542 0
vsize: 862232
[startup+280.017 s]
Raw data (loadavg): 1.01 1.04 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 26567 50 0 0 25 0 11 0 477309810 882925568 47238 4294967295 134512640 134569956 3221224416 3221214848 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47238 13073 16 0 215542 0
vsize: 862232
[startup+290.018 s]
Raw data (loadavg): 1.01 1.04 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 27548 50 0 0 25 0 11 0 477309810 882925568 47285 4294967295 134512640 134569956 3221224416 3221214848 1131592175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 47285 13073 16 0 215542 0
vsize: 862232
[startup+300.019 s]
Raw data (loadavg): 1.01 1.04 0.83 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 28523 51 0 0 25 0 11 0 477309810 882925568 47450 4294967295 134512640 134569956 3221224416 3221214840 1131592398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47450 13073 16 0 215542 0
vsize: 862232
[startup+310.018 s]
Raw data (loadavg): 1.01 1.04 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 29524 51 0 0 25 0 11 0 477309810 882925568 47450 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47450 13073 16 0 215542 0
vsize: 862232
[startup+320.018 s]
Raw data (loadavg): 1.01 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 30504 51 0 0 25 0 11 0 477309810 882925568 47522 4294967295 134512640 134569956 3221224416 3221214840 1131592235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47522 13073 16 0 215542 0
vsize: 862232
[startup+330.019 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 31484 51 0 0 25 0 11 0 477309810 882925568 47609 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47609 13073 16 0 215542 0
vsize: 862232
[startup+340.018 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 32466 51 0 0 25 0 11 0 477309810 882925568 47681 4294967295 134512640 134569956 3221224416 3221214736 1131285894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47681 13073 16 0 215542 0
vsize: 862232
[startup+350.019 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 33447 51 0 0 25 0 11 0 477309810 882925568 47741 4294967295 134512640 134569956 3221224416 3221214840 1131592235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47741 13073 16 0 215542 0
vsize: 862232
[startup+360.02 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 34429 51 0 0 25 0 11 0 477309810 882925568 47792 4294967295 134512640 134569956 3221224416 3221214840 1131592398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47792 13073 16 0 215542 0
vsize: 862232
[startup+370.02 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 35408 51 0 0 25 0 11 0 477309810 882925568 47838 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 47838 13073 16 0 215542 0
vsize: 862232
[startup+380.02 s]
Raw data (loadavg): 1.00 1.03 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 36388 51 0 0 25 0 11 0 477309810 882925568 47902 4294967295 134512640 134569956 3221224416 3221214840 1131592417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47902 13073 16 0 215542 0
vsize: 862232
[startup+390.02 s]
Raw data (loadavg): 1.00 1.02 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 37367 51 0 0 25 0 11 0 477309810 882925568 47999 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 47999 13073 16 0 215542 0
vsize: 862232
[startup+400.02 s]
Raw data (loadavg): 1.00 1.02 0.84 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 38348 51 0 0 25 0 11 0 477309810 882925568 48190 4294967295 134512640 134569956 3221224416 3221214688 1131838124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48190 13073 16 0 215542 0
vsize: 862232
[startup+410.02 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 39332 51 0 0 25 0 11 0 477309810 882925568 48190 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48190 13073 16 0 215542 0
vsize: 862232
[startup+420.02 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 40316 51 0 0 25 0 11 0 477309810 882925568 48259 4294967295 134512640 134569956 3221224416 3221214840 1131592387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48259 13073 16 0 215542 0
vsize: 862232
[startup+430.024 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) S 29055 28546 28545 0 -1 0 18136 0 1 0 41315 51 0 0 25 0 11 0 477309810 882925568 48259 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48259 13073 16 0 215542 0
vsize: 862232
[startup+440.024 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 42276 51 0 0 25 0 11 0 477309810 882925568 48322 4294967295 134512640 134569956 3221224416 3221214752 1131678820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48322 13073 16 0 215542 0
vsize: 862232
[startup+450.025 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 43253 51 0 0 25 0 11 0 477309810 882925568 48593 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48593 13073 16 0 215542 0
vsize: 862232
[startup+460.024 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 44232 51 0 0 25 0 11 0 477309810 882925568 48694 4294967295 134512640 134569956 3221224416 3221214840 1131592193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48694 13073 16 0 215542 0
vsize: 862232
[startup+470.024 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 45212 51 0 0 25 0 11 0 477309810 882925568 48784 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48784 13073 16 0 215542 0
vsize: 862232
[startup+480.025 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 46212 51 0 0 25 0 11 0 477309810 882925568 48784 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48784 13073 16 0 215542 0
vsize: 862232
[startup+490.025 s]
Raw data (loadavg): 1.00 1.02 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 47193 51 0 0 25 0 11 0 477309810 882925568 48883 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48883 13073 16 0 215542 0
vsize: 862232
[startup+500.025 s]
Raw data (loadavg): 1.00 1.01 0.85 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 48173 51 0 0 25 0 11 0 477309810 882925568 48939 4294967295 134512640 134569956 3221224416 3221214840 1131592175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 48939 13073 16 0 215542 0
vsize: 862232
[startup+510.025 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 49154 51 0 0 25 0 11 0 477309810 882925568 49014 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49014 13073 16 0 215542 0
vsize: 862232
[startup+520.024 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 50134 51 0 0 25 0 11 0 477309810 882925568 49080 4294967295 134512640 134569956 3221224416 3221214840 1131592208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49080 13073 16 0 215542 0
vsize: 862232
[startup+530.025 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 51114 51 0 0 25 0 11 0 477309810 882925568 49311 4294967295 134512640 134569956 3221224416 3221214840 1131592193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49311 13073 16 0 215542 0
vsize: 862232
[startup+540.025 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 52100 51 0 0 25 0 11 0 477309810 882925568 49311 4294967295 134512640 134569956 3221224416 3221214688 1131838236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49311 13073 16 0 215542 0
vsize: 862232
[startup+550.026 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 53085 51 0 0 25 0 11 0 477309810 882925568 49311 4294967295 134512640 134569956 3221224416 3221214840 1131592235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49311 13073 16 0 215542 0
vsize: 862232
[startup+560.026 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 54070 52 0 0 25 0 11 0 477309810 882925568 49311 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49311 13073 16 0 215542 0
vsize: 862232
[startup+570.026 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 55053 52 0 0 25 0 11 0 477309810 882925568 49407 4294967295 134512640 134569956 3221224416 3221214840 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49407 13073 16 0 215542 0
vsize: 862232
[startup+580.027 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 56037 52 0 0 25 0 11 0 477309810 882925568 49407 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49407 13073 16 0 215542 0
vsize: 862232
[startup+590.026 s]
Raw data (loadavg): 1.00 1.01 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 57020 52 0 0 25 0 11 0 477309810 882925568 49499 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49499 13073 16 0 215542 0
vsize: 862232
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 58004 52 0 0 25 0 11 0 477309810 882925568 49566 4294967295 134512640 134569956 3221224416 3221214840 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49566 13073 16 0 215542 0
vsize: 862232
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 58988 52 0 0 25 0 11 0 477309810 882925568 49636 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49636 13073 16 0 215542 0
vsize: 862232
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 59972 52 0 0 25 0 11 0 477309810 882925568 49700 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49700 13073 16 0 215542 0
vsize: 862232
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 60956 52 0 0 25 0 11 0 477309810 882925568 49780 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49780 13073 16 0 215542 0
vsize: 862232
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 61939 52 0 0 25 0 11 0 477309810 882925568 49838 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49838 13073 16 0 215542 0
vsize: 862232
[startup+650.029 s]
Raw data (loadavg): 1.08 1.02 0.87 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 62917 52 0 0 25 0 11 0 477309810 882925568 49936 4294967295 134512640 134569956 3221224416 3221214840 1131592413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 49936 13073 16 0 215542 0
vsize: 862232
[startup+660.029 s]
Raw data (loadavg): 1.07 1.02 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 63895 52 0 0 25 0 11 0 477309810 882925568 50121 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50121 13073 16 0 215542 0
vsize: 862232
[startup+670.029 s]
Raw data (loadavg): 1.06 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 64872 52 0 0 25 0 11 0 477309810 882925568 50222 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50222 13073 16 0 215542 0
vsize: 862232
[startup+680.029 s]
Raw data (loadavg): 1.05 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 65851 52 0 0 25 0 11 0 477309810 882925568 50380 4294967295 134512640 134569956 3221224416 3221214688 1131838112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50380 13073 16 0 215542 0
vsize: 862232
[startup+690.029 s]
Raw data (loadavg): 1.04 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 66830 52 0 0 25 0 11 0 477309810 882925568 50459 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50459 13073 16 0 215542 0
vsize: 862232
[startup+700.03 s]
Raw data (loadavg): 1.03 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 67811 52 0 0 25 0 11 0 477309810 882925568 50537 4294967295 134512640 134569956 3221224416 3221214840 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50537 13073 16 0 215542 0
vsize: 862232
[startup+710.03 s]
Raw data (loadavg): 1.03 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 68790 52 0 0 25 0 11 0 477309810 882925568 50596 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50596 13073 16 0 215542 0
vsize: 862232
[startup+720.03 s]
Raw data (loadavg): 1.02 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 69771 52 0 0 25 0 11 0 477309810 882925568 50677 4294967295 134512640 134569956 3221224416 3221214840 1131592387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50677 13073 16 0 215542 0
vsize: 862232
[startup+730.031 s]
Raw data (loadavg): 1.02 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 70751 52 0 0 25 0 11 0 477309810 882925568 50812 4294967295 134512640 134569956 3221224416 3221214840 1131592387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50812 13073 16 0 215542 0
vsize: 862232
[startup+740.031 s]
Raw data (loadavg): 1.02 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 71734 52 0 0 25 0 11 0 477309810 882925568 50812 4294967295 134512640 134569956 3221224416 3221214840 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50812 13073 16 0 215542 0
vsize: 862232
[startup+750.032 s]
Raw data (loadavg): 1.01 1.01 0.88 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 72716 52 0 0 25 0 11 0 477309810 882925568 50954 4294967295 134512640 134569956 3221224416 3221214840 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 50954 13073 16 0 215542 0
vsize: 862232
[startup+760.032 s]
Raw data (loadavg): 1.01 1.01 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 73700 52 0 0 25 0 11 0 477309810 882925568 50954 4294967295 134512640 134569956 3221224416 3221214840 1131592175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 50954 13073 16 0 215542 0
vsize: 862232
[startup+770.032 s]
Raw data (loadavg): 1.01 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 74683 52 0 0 25 0 11 0 477309810 882925568 51081 4294967295 134512640 134569956 3221224416 3221214840 1131592413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51081 13073 16 0 215542 0
vsize: 862232
[startup+780.032 s]
Raw data (loadavg): 1.01 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 75654 52 0 0 19 0 11 0 477309810 882925568 51176 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51176 13073 16 0 215542 0
vsize: 862232
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 76640 52 0 0 25 0 11 0 477309810 882925568 51259 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51259 13073 16 0 215542 0
vsize: 862232
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 77626 53 0 0 25 0 11 0 477309810 882925568 51333 4294967295 134512640 134569956 3221224416 3221214728 1131604170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51333 13073 16 0 215542 0
vsize: 862232
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 78613 53 0 0 25 0 11 0 477309810 882925568 51333 4294967295 134512640 134569956 3221224416 3221214840 1131592193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51333 13073 16 0 215542 0
vsize: 862232
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 79599 53 0 0 25 0 11 0 477309810 882925568 51400 4294967295 134512640 134569956 3221224416 3221214840 1131592405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51400 13073 16 0 215542 0
vsize: 862232
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 80586 53 0 0 25 0 11 0 477309810 882925568 51472 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51472 13073 16 0 215542 0
vsize: 862232
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 81572 53 0 0 25 0 11 0 477309810 882925568 51530 4294967295 134512640 134569956 3221224416 3221214840 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51530 13073 16 0 215542 0
vsize: 862232
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 82559 53 0 0 25 0 11 0 477309810 882925568 51530 4294967295 134512640 134569956 3221224416 3221214840 1131592160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 51530 13073 16 0 215542 0
vsize: 862232
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 83544 53 0 0 25 0 11 0 477309810 882925568 51612 4294967295 134512640 134569956 3221224416 3221214840 1131592175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 51612 13073 16 0 215542 0
vsize: 862232
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 84529 53 0 0 25 0 11 0 477309810 882925568 51755 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51755 13073 16 0 215542 0
vsize: 862232
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 85515 53 0 0 25 0 11 0 477309810 882925568 51755 4294967295 134512640 134569956 3221224416 3221214728 1131604170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51755 13073 16 0 215542 0
vsize: 862232
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 86500 53 0 0 25 0 11 0 477309810 882925568 51824 4294967295 134512640 134569956 3221224416 3221214840 1131592398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51824 13073 16 0 215542 0
vsize: 862232
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 87484 53 0 0 25 0 11 0 477309810 882925568 51873 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51873 13073 16 0 215542 0
vsize: 862232
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 88470 53 0 0 25 0 11 0 477309810 882925568 51931 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 51931 13073 16 0 215542 0
vsize: 862232
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 89454 53 0 0 25 0 11 0 477309810 882925568 52024 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52024 13073 16 0 215542 0
vsize: 862232
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 90440 53 0 0 25 0 11 0 477309810 882925568 52024 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52024 13073 16 0 215542 0
vsize: 862232
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 91424 53 0 0 25 0 11 0 477309810 882925568 52086 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52086 13073 16 0 215542 0
vsize: 862232
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 92406 54 0 0 25 0 11 0 477309810 882925568 52145 4294967295 134512640 134569956 3221224416 3221214664 1131286156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 52145 13073 16 0 215542 0
vsize: 862232
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 93386 54 0 0 25 0 11 0 477309810 882925568 52245 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52245 13073 16 0 215542 0
vsize: 862232
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 94347 54 0 0 25 0 11 0 477309810 882925568 52431 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52431 13073 16 0 215542 0
vsize: 862232
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 95328 54 0 0 25 0 11 0 477309810 882925568 52487 4294967295 134512640 134569956 3221224416 3221214840 1131592407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52487 13073 16 0 215542 0
vsize: 862232
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 96309 54 0 0 25 0 11 0 477309810 882925568 52533 4294967295 134512640 134569956 3221224416 3221214840 1131592235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52533 13073 16 0 215542 0
vsize: 862232
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 97290 54 0 0 25 0 11 0 477309810 882925568 52621 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52621 13073 16 0 215542 0
vsize: 862232
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 98253 54 0 0 25 0 11 0 477309810 882925568 52679 4294967295 134512640 134569956 3221224416 3221214688 1131838150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52679 13073 16 0 215542 0
vsize: 862232
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 99234 54 0 0 25 0 11 0 477309810 882925568 52723 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52723 13073 16 0 215542 0
vsize: 862232
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 100216 54 0 0 25 0 11 0 477309810 882925568 52786 4294967295 134512640 134569956 3221224416 3221214840 1131592394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52786 13073 16 0 215542 0
vsize: 862232
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 101198 54 0 0 25 0 11 0 477309810 882925568 52851 4294967295 134512640 134569956 3221224416 3221214748 1131714631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 52851 13073 16 0 215542 0
vsize: 862232
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 102164 54 0 0 25 0 11 0 477309810 882925568 53080 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53080 13073 16 0 215542 0
vsize: 862232
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 103150 54 0 0 25 0 11 0 477309810 882925568 53080 4294967295 134512640 134569956 3221224416 3221214840 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53080 13073 16 0 215542 0
vsize: 862232
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 104135 54 0 0 25 0 11 0 477309810 882925568 53080 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53080 13073 16 0 215542 0
vsize: 862232
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 105119 54 0 0 25 0 11 0 477309810 882925568 53159 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215558 53159 13073 16 0 215542 0
vsize: 862232
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 106103 54 0 0 25 0 11 0 477309810 882925568 53206 4294967295 134512640 134569956 3221224416 3221214840 1131592387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53206 13073 16 0 215542 0
vsize: 862232
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 107088 54 0 0 25 0 11 0 477309810 882925568 53259 4294967295 134512640 134569956 3221224416 3221214840 1131592175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53259 13073 16 0 215542 0
vsize: 862232
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 108073 54 0 0 25 0 11 0 477309810 882925568 53303 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53303 13073 16 0 215542 0
vsize: 862232
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 109058 54 0 0 25 0 11 0 477309810 882925568 53352 4294967295 134512640 134569956 3221224416 3221214840 1131592183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53352 13073 16 0 215542 0
vsize: 862232
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 110043 54 0 0 25 0 11 0 477309810 882925568 53454 4294967295 134512640 134569956 3221224416 3221214840 1131592172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53454 13073 16 0 215542 0
vsize: 862232
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 111028 54 0 0 25 0 11 0 477309810 882925568 53514 4294967295 134512640 134569956 3221224416 3221214840 1131592232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53514 13073 16 0 215542 0
vsize: 862232
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 112014 54 0 0 25 0 11 0 477309810 882925568 53555 4294967295 134512640 134569956 3221224416 3221214688 1131838124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53555 13073 16 0 215542 0
vsize: 862232
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 112999 54 0 0 25 0 11 0 477309810 882925568 53642 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53642 13073 16 0 215542 0
vsize: 862232
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 113984 54 0 0 25 0 11 0 477309810 882925568 53726 4294967295 134512640 134569956 3221224416 3221214840 1131592160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53726 13073 16 0 215542 0
vsize: 862232
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 114969 54 0 0 25 0 11 0 477309810 882925568 53772 4294967295 134512640 134569956 3221224416 3221214840 1131592235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53772 13073 16 0 215542 0
vsize: 862232
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 115955 54 0 0 25 0 11 0 477309810 882925568 53821 4294967295 134512640 134569956 3221224416 3221214840 1131592224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53821 13073 16 0 215542 0
vsize: 862232
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 116940 55 0 0 25 0 11 0 477309810 882925568 53880 4294967295 134512640 134569956 3221224416 3221214840 1131592387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53880 13073 16 0 215542 0
vsize: 862232
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 117925 55 0 0 25 0 11 0 477309810 882925568 53953 4294967295 134512640 134569956 3221224416 3221214840 1131592220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 53953 13073 16 0 215542 0
vsize: 862232
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 118909 55 0 0 25 0 11 0 477309810 882925568 54049 4294967295 134512640 134569956 3221224416 3221214664 1131285685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 54049 13073 16 0 215542 0
vsize: 862232
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 119895 55 0 0 25 0 11 0 477309810 882925568 54106 4294967295 134512640 134569956 3221224416 3221214620 1131708204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 54106 13073 16 0 215542 0
vsize: 862232
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 29066
Raw data (stat): 29056 (java) R 29055 28546 28545 0 -1 0 18136 0 1 0 120880 55 0 0 25 0 11 0 477309810 882925568 54190 4294967295 134512640 134569956 3221224416 3221214840 1131592160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215558 54190 13073 16 0 215542 0
vsize: 862232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 29068
Raw data (stat): 29056 (java) Z 29055 28546 28545 0 -1 1036 18136 28809 1 0 120884 55 2502 61 25 0 1 0 477309810 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.18
CPU time (s): 1235.03
CPU user time (s): 1233.86
CPU system time (s): 1.16682
CPU usage (%): 99.5847
Max. virtual memory (Kb): 862232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####