PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb
MD5SUM	0c5e732518faa634f5236b6dfdf30123
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
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	2030
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2030
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3.2935
Number of variables	2030
Total number of constraints	4359
Number of constraints which are clauses	4359
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 4385

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-13 16:55:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1782 boxname=wulflinc1 idbench=198 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0c5e732518faa634f5236b6dfdf30123  /oldhome/oroussel/tmp/wulflinc1/normalized-par16-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-par16-3.opb
IDLAUNCH: 1782
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        873768 kB
Buffers:         39540 kB
Cached:          96732 kB
SwapCached:          0 kB
Active:         102048 kB
Inactive:        37924 kB
HighTotal:      131008 kB
HighFree:        41356 kB
LowTotal:       903652 kB
LowFree:        832412 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15136 kB
Committed_AS:    96700 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:16:39 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1782 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-par16-3.opb
c reading problem 
c [nbvar=2030]
c [nbconstr=4359]
c time 6.099
c #vars     2030
c #clauses  4359
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=1015
c Current CPU time (ms) : 528.007
c starts	: 8
c conflicts	: 3424
c decisions	: 3757
c propagations	: 1309939
c inspects	: 4031644
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3424
c root simplifications	: 8
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.94 2/59 13117
Raw data (stat): 13117 (runsolver) R 13116 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 362480842 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.0005 s]
Raw data (loadavg): 1.09 1.02 0.95 4/69 13127
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18134 0 1 0 724 43 0 0 25 0 11 0 362480842 880836608 25014 4294967295 134512640 134569956 3221224416 3221214784 1130918246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215048 25014 13073 16 0 215032 0
vsize: 860192
[startup+20.0013 s]
Raw data (loadavg): 1.38 1.08 0.97 2/69 13127
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 1559 43 0 0 25 0 11 0 362480842 879218688 24934 4294967295 134512640 134569956 3221224416 3221214848 1131406243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214653 24934 13073 16 0 214637 0
vsize: 858612
[startup+30.0021 s]
Raw data (loadavg): 1.33 1.08 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 2530 44 0 0 25 0 11 0 362480842 874004480 24264 4294967295 134512640 134569956 3221224416 3221214848 1131406521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 24264 13073 16 0 213364 0
vsize: 853520
[startup+40.0019 s]
Raw data (loadavg): 1.27 1.08 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 3514 44 0 0 25 0 11 0 362480842 874004480 24413 4294967295 134512640 134569956 3221224416 3221214672 1131660043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 24413 13073 16 0 213364 0
vsize: 853520
[startup+50.0021 s]
Raw data (loadavg): 1.23 1.07 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 4498 44 0 0 25 0 11 0 362480842 874004480 24622 4294967295 134512640 134569956 3221224416 3221214668 1080204229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 24622 13073 16 0 213364 0
vsize: 853520
[startup+60.0024 s]
Raw data (loadavg): 1.20 1.07 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 5480 44 0 0 25 0 11 0 362480842 874004480 24810 4294967295 134512640 134569956 3221224416 3221214848 1131406240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 24810 13073 16 0 213364 0
vsize: 853520
[startup+70.0031 s]
Raw data (loadavg): 1.16 1.07 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 6462 44 0 0 25 0 11 0 362480842 874004480 24933 4294967295 134512640 134569956 3221224416 3221214848 1131406389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 24933 13073 16 0 213364 0
vsize: 853520
[startup+80.004 s]
Raw data (loadavg): 1.14 1.06 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 7448 44 0 0 25 0 11 0 362480842 874004480 25264 4294967295 134512640 134569956 3221224416 3221214672 1131659920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25264 13073 16 0 213364 0
vsize: 853520
[startup+90.0038 s]
Raw data (loadavg): 1.12 1.06 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 8431 44 0 0 24 0 11 0 362480842 874004480 25264 4294967295 134512640 134569956 3221224416 3221214672 1131659916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25264 13073 16 0 213364 0
vsize: 853520
[startup+100.004 s]
Raw data (loadavg): 1.10 1.06 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 9418 44 0 0 25 0 11 0 362480842 874004480 25288 4294967295 134512640 134569956 3221224416 3221214808 1131465545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25288 13073 16 0 213364 0
vsize: 853520
[startup+110.005 s]
Raw data (loadavg): 1.08 1.06 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 10405 45 0 0 25 0 11 0 362480842 874004480 25386 4294967295 134512640 134569956 3221224416 3221214712 1131429982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25386 13073 16 0 213364 0
vsize: 853520
[startup+120.005 s]
Raw data (loadavg): 1.07 1.05 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 11392 45 0 0 25 0 11 0 362480842 874004480 25516 4294967295 134512640 134569956 3221224416 3221214848 1131406654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25516 13073 16 0 213364 0
vsize: 853520
[startup+130.006 s]
Raw data (loadavg): 1.06 1.05 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 12379 45 0 0 25 0 11 0 362480842 874004480 25594 4294967295 134512640 134569956 3221224416 3221214848 1131406654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25594 13073 16 0 213364 0
vsize: 853520
[startup+140.006 s]
Raw data (loadavg): 1.05 1.05 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 13360 45 0 0 25 0 11 0 362480842 874004480 25791 4294967295 134512640 134569956 3221224416 3221214848 1131406502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25791 13073 16 0 213364 0
vsize: 853520
[startup+150.005 s]
Raw data (loadavg): 1.04 1.05 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 14346 45 0 0 25 0 11 0 362480842 874004480 25937 4294967295 134512640 134569956 3221224416 3221214848 1131406236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 25937 13073 16 0 213364 0
vsize: 853520
[startup+160.005 s]
Raw data (loadavg): 1.03 1.05 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 15333 45 0 0 25 0 11 0 362480842 874004480 26155 4294967295 134512640 134569956 3221224416 3221214848 1131406518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 26155 13073 16 0 213364 0
vsize: 853520
[startup+170.005 s]
Raw data (loadavg): 1.03 1.04 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 16315 45 0 0 25 0 11 0 362480842 874004480 26315 4294967295 134512640 134569956 3221224416 3221214844 1131167283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 26315 13073 16 0 213364 0
vsize: 853520
[startup+180.006 s]
Raw data (loadavg): 1.02 1.04 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 17302 45 0 0 25 0 11 0 362480842 874004480 26474 4294967295 134512640 134569956 3221224416 3221214848 1131406436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 26474 13073 16 0 213364 0
vsize: 853520
[startup+190.006 s]
Raw data (loadavg): 1.02 1.04 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 18289 46 0 0 25 0 11 0 362480842 874004480 26707 4294967295 134512640 134569956 3221224416 3221214824 1131287046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 26707 13073 16 0 213364 0
vsize: 853520
[startup+200.006 s]
Raw data (loadavg): 1.02 1.04 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 19271 46 0 0 25 0 11 0 362480842 874004480 26963 4294967295 134512640 134569956 3221224416 3221214896 1131483098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 26963 13073 16 0 213364 0
vsize: 853520
[startup+210.006 s]
Raw data (loadavg): 1.01 1.04 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 20260 46 0 0 25 0 11 0 362480842 874004480 27052 4294967295 134512640 134569956 3221224416 3221214848 1131406236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 27052 13073 16 0 213364 0
vsize: 853520
[startup+220.007 s]
Raw data (loadavg): 1.01 1.03 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 21247 46 0 0 25 0 11 0 362480842 874004480 27186 4294967295 134512640 134569956 3221224416 3221214848 1131406521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 27186 13073 16 0 213364 0
vsize: 853520
[startup+230.008 s]
Raw data (loadavg): 1.01 1.03 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 22228 46 0 0 25 0 11 0 362480842 874004480 27447 4294967295 134512640 134569956 3221224416 3221214848 1131406523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 27447 13073 16 0 213364 0
vsize: 853520
[startup+240.008 s]
Raw data (loadavg): 1.01 1.03 0.97 2/69 13129
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 23216 46 0 0 25 0 11 0 362480842 874004480 27527 4294967295 134512640 134569956 3221224416 3221214848 1131406668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 27527 13073 16 0 213364 0
vsize: 853520
[startup+250.008 s]
Raw data (loadavg): 1.01 1.03 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 24201 47 0 0 25 0 11 0 362480842 874004480 27678 4294967295 134512640 134569956 3221224416 3221214684 1131595699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 27678 13073 16 0 213364 0
vsize: 853520
[startup+260.008 s]
Raw data (loadavg): 1.00 1.03 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 25181 47 0 0 25 0 11 0 362480842 874004480 27947 4294967295 134512640 134569956 3221224416 3221214848 1131406521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 27947 13073 16 0 213364 0
vsize: 853520
[startup+270.008 s]
Raw data (loadavg): 1.00 1.03 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 26169 47 0 0 25 0 11 0 362480842 874004480 28033 4294967295 134512640 134569956 3221224416 3221214848 1131406232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 28033 13073 16 0 213364 0
vsize: 853520
[startup+280.009 s]
Raw data (loadavg): 1.00 1.03 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 27149 47 0 0 25 0 11 0 362480842 874004480 28263 4294967295 134512640 134569956 3221224416 3221214848 1131406248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 28263 13073 16 0 213364 0
vsize: 853520
[startup+290.01 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 28136 47 0 0 25 0 11 0 362480842 874004480 28437 4294967295 134512640 134569956 3221224416 3221214864 1131474417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 28437 13073 16 0 213364 0
vsize: 853520
[startup+300.009 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13182
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 29123 48 0 0 25 0 11 0 362480842 874004480 28607 4294967295 134512640 134569956 3221224416 3221214672 1131659923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 28607 13073 16 0 213364 0
vsize: 853520
[startup+310.009 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13184
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 30104 48 0 0 25 0 11 0 362480842 874004480 28918 4294967295 134512640 134569956 3221224416 3221214712 1131428891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 28918 13073 16 0 213364 0
vsize: 853520
[startup+320.01 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13186
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 31091 48 0 0 25 0 11 0 362480842 874004480 29071 4294967295 134512640 134569956 3221224416 3221214840 1131406514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 29071 13073 16 0 213364 0
vsize: 853520
[startup+330.01 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 32072 48 0 0 25 0 11 0 362480842 874004480 29301 4294967295 134512640 134569956 3221224416 3221214840 1131406518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 29301 13073 16 0 213364 0
vsize: 853520
[startup+340.01 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 33059 48 0 0 25 0 11 0 362480842 874004480 29453 4294967295 134512640 134569956 3221224416 3221214576 1131528259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 29453 13073 16 0 213364 0
vsize: 853520
[startup+350.01 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 34046 49 0 0 25 0 11 0 362480842 874004480 29649 4294967295 134512640 134569956 3221224416 3221214932 1131597603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 29649 13073 16 0 213364 0
vsize: 853520
[startup+360.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 35027 49 0 0 25 0 11 0 362480842 874004480 29885 4294967295 134512640 134569956 3221224416 3221214664 1131659920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 29885 13073 16 0 213364 0
vsize: 853520
[startup+370.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 36008 49 0 0 25 0 11 0 362480842 874004480 30130 4294967295 134512640 134569956 3221224416 3221214840 1131406523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30130 13073 16 0 213364 0
vsize: 853520
[startup+380.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 36996 49 0 0 25 0 11 0 362480842 874004480 30279 4294967295 134512640 134569956 3221224416 3221214704 1131428911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30279 13073 16 0 213364 0
vsize: 853520
[startup+390.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 37977 49 0 0 25 0 11 0 362480842 874004480 30434 4294967295 134512640 134569956 3221224416 3221214800 1131287053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30434 13073 16 0 213364 0
vsize: 853520
[startup+400.012 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 38965 49 0 0 25 0 11 0 362480842 874004480 30517 4294967295 134512640 134569956 3221224416 3221214840 1131406514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30517 13073 16 0 213364 0
vsize: 853520
[startup+410.012 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 39946 49 0 0 25 0 11 0 362480842 874004480 30692 4294967295 134512640 134569956 3221224416 3221214736 1131547169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30692 13073 16 0 213364 0
vsize: 853520
[startup+420.012 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 40932 49 0 0 25 0 11 0 362480842 874004480 30841 4294967295 134512640 134569956 3221224416 3221214840 1131406518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 30841 13073 16 0 213364 0
vsize: 853520
[startup+430.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 41913 49 0 0 20 0 11 0 362480842 874004480 31061 4294967295 134512640 134569956 3221224416 3221214840 1131406654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 31061 13073 16 0 213364 0
vsize: 853520
[startup+440.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 42900 50 0 0 25 0 11 0 362480842 874004480 31167 4294967295 134512640 134569956 3221224416 3221214840 1131406654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 31167 13073 16 0 213364 0
vsize: 853520
[startup+450.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 43880 50 0 0 25 0 11 0 362480842 874004480 31402 4294967295 134512640 134569956 3221224416 3221214704 1131429982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 31402 13073 16 0 213364 0
vsize: 853520
[startup+460.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 44867 50 0 0 25 0 11 0 362480842 874004480 31535 4294967295 134512640 134569956 3221224416 3221214840 1131406654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 31535 13073 16 0 213364 0
vsize: 853520
[startup+470.014 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 45847 50 0 0 25 0 11 0 362480842 874004480 31694 4294967295 134512640 134569956 3221224416 3221214840 1131406419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 31694 13073 16 0 213364 0
vsize: 853520
[startup+480.014 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 46834 50 0 0 25 0 11 0 362480842 874004480 31774 4294967295 134512640 134569956 3221224416 3221214840 1131406436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 31774 13073 16 0 213364 0
vsize: 853520
[startup+490.014 s]
Raw data (loadavg): 1.00 1.01 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 47814 50 0 0 25 0 11 0 362480842 874004480 31962 4294967295 134512640 134569956 3221224416 3221214704 1131428919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 31962 13073 16 0 213364 0
vsize: 853520
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 48793 50 0 0 25 0 11 0 362480842 874004480 32163 4294967295 134512640 134569956 3221224416 3221214840 1131406264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32163 13073 16 0 213364 0
vsize: 853520
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 49772 50 0 0 25 0 11 0 362480842 874004480 32282 4294967295 134512640 134569956 3221224416 3221214800 1131287708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32282 13073 16 0 213364 0
vsize: 853520
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13188
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 0 1 0 50751 51 0 0 25 0 11 0 362480842 874004480 32434 4294967295 134512640 134569956 3221224416 3221214840 1131406518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32434 13073 16 0 213364 0
vsize: 853520
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18144 4 1 0 51727 51 0 0 25 0 11 0 362480842 874004480 32556 4294967295 134512640 134569956 3221224416 3221214848 1131160016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32556 13073 16 0 213364 0
vsize: 853520
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 52687 51 0 0 24 0 11 0 362480842 874004480 32692 4294967295 134512640 134569956 3221224416 3221214304 1131675735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32692 13073 16 0 213364 0
vsize: 853520
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 53654 51 0 0 25 0 11 0 362480842 874004480 32749 4294967295 134512640 134569956 3221224416 3221214376 1131676192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32749 13073 16 0 213364 0
vsize: 853520
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 54608 51 0 0 24 0 11 0 362480842 874004480 32859 4294967295 134512640 134569956 3221224416 3221214848 1131159950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 32859 13073 16 0 213364 0
vsize: 853520
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 55571 52 0 0 24 0 11 0 362480842 874004480 33086 4294967295 134512640 134569956 3221224416 3221214576 1131528782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33086 13073 16 0 213364 0
vsize: 853520
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 56545 52 0 0 25 0 11 0 362480842 874004480 33305 4294967295 134512640 134569956 3221224416 3221214840 1131406518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33305 13073 16 0 213364 0
vsize: 853520
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 57518 52 0 0 25 0 11 0 362480842 874004480 33464 4294967295 134512640 134569956 3221224416 3221214840 1131406243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33464 13073 16 0 213364 0
vsize: 853520
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 58492 52 0 0 25 0 11 0 362480842 874004480 33561 4294967295 134512640 134569956 3221224416 3221214840 1131406654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33561 13073 16 0 213364 0
vsize: 853520
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 59465 52 0 0 20 0 11 0 362480842 874004480 33646 4294967295 134512640 134569956 3221224416 3221214800 1131286557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33646 13073 16 0 213364 0
vsize: 853520
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13189
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 60437 52 0 0 25 0 11 0 362480842 874004480 33737 4294967295 134512640 134569956 3221224416 3221214840 1131406427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33737 13073 16 0 213364 0
vsize: 853520
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 61413 53 0 0 25 0 11 0 362480842 874004480 33817 4294967295 134512640 134569956 3221224416 3221214800 1131286565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33817 13073 16 0 213364 0
vsize: 853520
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 62385 53 0 0 25 0 11 0 362480842 874004480 33924 4294967295 134512640 134569956 3221224416 3221214800 1131287752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 33924 13073 16 0 213364 0
vsize: 853520
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 63357 53 0 0 25 0 11 0 362480842 874004480 34030 4294967295 134512640 134569956 3221224416 3221214800 1131287178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34030 13073 16 0 213364 0
vsize: 853520
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 64329 54 0 0 25 0 11 0 362480842 874004480 34151 4294967295 134512640 134569956 3221224416 3221214848 1131159865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34151 13073 16 0 213364 0
vsize: 853520
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 65302 54 0 0 25 0 11 0 362480842 874004480 34297 4294967295 134512640 134569956 3221224416 3221214800 1131286999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34297 13073 16 0 213364 0
vsize: 853520
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 66275 54 0 0 25 0 11 0 362480842 874004480 34410 4294967295 134512640 134569956 3221224416 3221214888 1131484929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34410 13073 16 0 213364 0
vsize: 853520
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 67248 54 0 0 25 0 11 0 362480842 874004480 34502 4294967295 134512640 134569956 3221224416 3221214840 1131406523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34502 13073 16 0 213364 0
vsize: 853520
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 68221 54 0 0 25 0 11 0 362480842 874004480 34577 4294967295 134512640 134569956 3221224416 3221214840 1131406668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34577 13073 16 0 213364 0
vsize: 853520
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 69198 54 0 0 22 0 11 0 362480842 874004480 34673 4294967295 134512640 134569956 3221224416 3221214840 1131406668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34673 13073 16 0 213364 0
vsize: 853520
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 70171 54 0 0 25 0 11 0 362480842 874004480 34757 4294967295 134512640 134569956 3221224416 3221214312 1131682568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34757 13073 16 0 213364 0
vsize: 853520
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 71143 54 0 0 25 0 11 0 362480842 874004480 34872 4294967295 134512640 134569956 3221224416 3221214840 1131406664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34872 13073 16 0 213364 0
vsize: 853520
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 72116 55 0 0 25 0 11 0 362480842 874004480 34980 4294967295 134512640 134569956 3221224416 3221214872 1131471021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 34980 13073 16 0 213364 0
vsize: 853520
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 73090 55 0 0 25 0 11 0 362480842 874004480 35084 4294967295 134512640 134569956 3221224416 3221214320 1131676209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35084 13073 16 0 213364 0
vsize: 853520
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 74069 55 0 0 25 0 11 0 362480842 874004480 35174 4294967295 134512640 134569956 3221224416 3221214840 1131406243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35174 13073 16 0 213364 0
vsize: 853520
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 75044 55 0 0 25 0 11 0 362480842 874004480 35247 4294967295 134512640 134569956 3221224416 3221214800 1131286856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35247 13073 16 0 213364 0
vsize: 853520
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 76023 55 0 0 25 0 11 0 362480842 874004480 35324 4294967295 134512640 134569956 3221224416 3221214664 1131659920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35324 13073 16 0 213364 0
vsize: 853520
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 76998 56 0 0 25 0 11 0 362480842 874004480 35396 4294967295 134512640 134569956 3221224416 3221214800 1131286561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35396 13073 16 0 213364 0
vsize: 853520
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 77976 56 0 0 25 0 11 0 362480842 874004480 35449 4294967295 134512640 134569956 3221224416 3221214888 1131485505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35449 13073 16 0 213364 0
vsize: 853520
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 78948 56 0 0 25 0 11 0 362480842 874004480 35524 4294967295 134512640 134569956 3221224416 3221214320 1131676241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35524 13073 16 0 213364 0
vsize: 853520
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 79925 56 0 0 25 0 11 0 362480842 874004480 35638 4294967295 134512640 134569956 3221224416 3221214208 1131676216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35638 13073 16 0 213364 0
vsize: 853520
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 80903 56 0 0 25 0 11 0 362480842 874004480 35696 4294967295 134512640 134569956 3221224416 3221213928 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35696 13073 16 0 213364 0
vsize: 853520
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 81874 56 0 0 25 0 11 0 362480842 874004480 35783 4294967295 134512640 134569956 3221224416 3221214664 1131659920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35783 13073 16 0 213364 0
vsize: 853520
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 82851 57 0 0 25 0 11 0 362480842 874004480 35889 4294967295 134512640 134569956 3221224416 3221214800 1131286640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35889 13073 16 0 213364 0
vsize: 853520
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) S 13116 12452 12451 0 -1 0 18145 4 1 0 83824 57 0 0 25 0 11 0 362480842 874004480 35994 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 35994 13073 16 0 213364 0
vsize: 853520
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 84805 57 0 0 25 0 11 0 362480842 874004480 36061 4294967295 134512640 134569956 3221224416 3221214664 1131660043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36061 13073 16 0 213364 0
vsize: 853520
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 85778 57 0 0 25 0 11 0 362480842 874004480 36152 4294967295 134512640 134569956 3221224416 3221214840 1131406240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36152 13073 16 0 213364 0
vsize: 853520
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 86751 57 0 0 25 0 11 0 362480842 874004480 36209 4294967295 134512640 134569956 3221224416 3221214800 1131286557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36209 13073 16 0 213364 0
vsize: 853520
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 87728 57 0 0 25 0 11 0 362480842 874004480 36274 4294967295 134512640 134569956 3221224416 3221214800 1131286602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36274 13073 16 0 213364 0
vsize: 853520
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 88706 57 0 0 25 0 11 0 362480842 874004480 36353 4294967295 134512640 134569956 3221224416 3221214800 1131287698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36353 13073 16 0 213364 0
vsize: 853520
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13191
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 89683 57 0 0 25 0 11 0 362480842 874004480 36420 4294967295 134512640 134569956 3221224416 3221214164 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36420 13073 16 0 213364 0
vsize: 853520
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 90655 58 0 0 24 0 11 0 362480842 874004480 36512 4294967295 134512640 134569956 3221224416 3221214800 1131286602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36512 13073 16 0 213364 0
vsize: 853520
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 91632 58 0 0 25 0 11 0 362480842 874004480 36590 4294967295 134512640 134569956 3221224416 3221214896 1131386592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36590 13073 16 0 213364 0
vsize: 853520
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 92604 58 0 0 25 0 11 0 362480842 874004480 36686 4294967295 134512640 134569956 3221224416 3221214800 1131286972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36686 13073 16 0 213364 0
vsize: 853520
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 93577 59 0 0 25 0 11 0 362480842 874004480 36759 4294967295 134512640 134569956 3221224416 3221214176 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36759 13073 16 0 213364 0
vsize: 853520
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 94555 59 0 0 25 0 11 0 362480842 874004480 36855 4294967295 134512640 134569956 3221224416 3221214800 1131288006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36855 13073 16 0 213364 0
vsize: 853520
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 95530 59 0 0 25 0 11 0 362480842 874004480 36934 4294967295 134512640 134569956 3221224416 3221214200 1131682473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 36934 13073 16 0 213364 0
vsize: 853520
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 96509 59 0 0 25 0 11 0 362480842 874004480 37015 4294967295 134512640 134569956 3221224416 3221214840 1131406664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 37015 13073 16 0 213364 0
vsize: 853520
[startup+1000.03 s]
Raw data (loadavg): 1.07 1.02 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 97484 59 0 0 25 0 11 0 362480842 874004480 37105 4294967295 134512640 134569956 3221224416 3221214584 1131675733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37105 13073 16 0 213364 0
vsize: 853520
[startup+1010.03 s]
Raw data (loadavg): 1.06 1.02 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 98460 60 0 0 25 0 11 0 362480842 874004480 37161 4294967295 134512640 134569956 3221224416 3221214800 1131286972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37161 13073 16 0 213364 0
vsize: 853520
[startup+1020.03 s]
Raw data (loadavg): 1.05 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 99439 60 0 0 25 0 11 0 362480842 874004480 37212 4294967295 134512640 134569956 3221224416 3221214840 1131406224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37212 13073 16 0 213364 0
vsize: 853520
[startup+1030.03 s]
Raw data (loadavg): 1.04 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 100410 60 0 0 25 0 11 0 362480842 874004480 37273 4294967295 134512640 134569956 3221224416 3221214200 1131682634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37273 13073 16 0 213364 0
vsize: 853520
[startup+1040.03 s]
Raw data (loadavg): 1.04 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 101381 60 0 0 25 0 11 0 362480842 874004480 37352 4294967295 134512640 134569956 3221224416 3221214840 1131406514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37352 13073 16 0 213364 0
vsize: 853520
[startup+1050.03 s]
Raw data (loadavg): 1.03 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 102358 60 0 0 25 0 11 0 362480842 874004480 37416 4294967295 134512640 134569956 3221224416 3221214896 1131386461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37416 13073 16 0 213364 0
vsize: 853520
[startup+1060.03 s]
Raw data (loadavg): 1.02 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 103334 60 0 0 25 0 11 0 362480842 874004480 37466 4294967295 134512640 134569956 3221224416 3221214540 1131676240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37466 13073 16 0 213364 0
vsize: 853520
[startup+1070.04 s]
Raw data (loadavg): 1.02 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 104305 61 0 0 25 0 11 0 362480842 874004480 37549 4294967295 134512640 134569956 3221224416 3221214880 1080204352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37549 13073 16 0 213364 0
vsize: 853520
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 105281 61 0 0 25 0 11 0 362480842 874004480 37640 4294967295 134512640 134569956 3221224416 3221214344 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37640 13073 16 0 213364 0
vsize: 853520
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 106254 61 0 0 25 0 11 0 362480842 874004480 37729 4294967295 134512640 134569956 3221224416 3221214840 1131332070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37729 13073 16 0 213364 0
vsize: 853520
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 107230 61 0 0 25 0 11 0 362480842 874004480 37779 4294967295 134512640 134569956 3221224416 3221214148 1131676176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37779 13073 16 0 213364 0
vsize: 853520
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.01 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 108207 61 0 0 25 0 11 0 362480842 874004480 37855 4294967295 134512640 134569956 3221224416 3221214840 1131406240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37855 13073 16 0 213364 0
vsize: 853520
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 109184 62 0 0 25 0 11 0 362480842 874004480 37925 4294967295 134512640 134569956 3221224416 3221214840 1131406419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37925 13073 16 0 213364 0
vsize: 853520
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 110156 62 0 0 25 0 11 0 362480842 874004480 37979 4294967295 134512640 134569956 3221224416 3221214840 1131406419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 37979 13073 16 0 213364 0
vsize: 853520
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 111133 62 0 0 25 0 11 0 362480842 874004480 38050 4294967295 134512640 134569956 3221224416 3221214800 1131286972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38050 13073 16 0 213364 0
vsize: 853520
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 112106 62 0 0 25 0 11 0 362480842 874004480 38125 4294967295 134512640 134569956 3221224416 3221213592 1131676192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38125 13073 16 0 213364 0
vsize: 853520
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 113081 62 0 0 25 0 11 0 362480842 874004480 38216 4294967295 134512640 134569956 3221224416 3221214800 1131286966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38216 13073 16 0 213364 0
vsize: 853520
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 114059 62 0 0 25 0 11 0 362480842 874004480 38272 4294967295 134512640 134569956 3221224416 3221214800 1131287097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38272 13073 16 0 213364 0
vsize: 853520
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 115033 63 0 0 25 0 11 0 362480842 874004480 38357 4294967295 134512640 134569956 3221224416 3221214840 1131406668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38357 13073 16 0 213364 0
vsize: 853520
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 116012 63 0 0 25 0 11 0 362480842 874004480 38425 4294967295 134512640 134569956 3221224416 3221214800 1131286999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38425 13073 16 0 213364 0
vsize: 853520
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 116986 63 0 0 25 0 11 0 362480842 874004480 38483 4294967295 134512640 134569956 3221224416 3221214840 1131406514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38483 13073 16 0 213364 0
vsize: 853520
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 117964 63 0 0 24 0 11 0 362480842 874004480 38543 4294967295 134512640 134569956 3221224416 3221214800 1131287752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38543 13073 16 0 213364 0
vsize: 853520
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13193
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 118941 63 0 0 25 0 11 0 362480842 874004480 38599 4294967295 134512640 134569956 3221224416 3221214800 1131286561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38599 13073 16 0 213364 0
vsize: 853520
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13195
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 119917 64 0 0 25 0 11 0 362480842 874004480 38672 4294967295 134512640 134569956 3221224416 3221214428 1131676240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38672 13073 16 0 213364 0
vsize: 853520
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/69 13195
Raw data (stat): 13117 (java) R 13116 12452 12451 0 -1 0 18145 4 1 0 120889 64 0 0 25 0 11 0 362480842 874004480 38785 4294967295 134512640 134569956 3221224416 3221214704 1131430861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213380 38785 13073 16 0 213364 0
vsize: 853520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.98 1/59 13197
Raw data (stat): 13117 (java) Z 13116 12452 12451 0 -1 1036 18145 31886 1 0 120894 71 4599 75 25 0 1 0 362480842 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.16
CPU time (s): 1256.41
CPU user time (s): 1254.94
CPU system time (s): 1.47178
CPU usage (%): 101.31
Max. virtual memory (Kb): 860192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####