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-ii32d3.opb
MD5SUM527fb49aa1a9296592f9e28b71f1006f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 802
Optimality of the best value was proved NO
Number of terms in the objective function 1648
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 1648
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 1648
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark269.791
Number of variables1648
Total number of constraints20302
Number of constraints which are clauses20302
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 constraint32

Trace number 4339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-13 16:35:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1413 boxname=wulflinc22 idbench=157 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  527fb49aa1a9296592f9e28b71f1006f  /oldhome/oroussel/tmp/wulflinc22/normalized-ii32d3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-ii32d3.opb
IDLAUNCH: 1413
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        878304 kB
Buffers:         27080 kB
Cached:          86092 kB
SwapCached:        524 kB
Active:          29760 kB
Inactive:        86752 kB
HighTotal:      131008 kB
HighFree:        41272 kB
LowTotal:       903652 kB
LowFree:        837032 kB
SwapTotal:     2097892 kB
SwapFree:      2097368 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            34328 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:56:49 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1413 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-ii32d3.opb
c reading problem 
c [nbvar=1648]
c [nbconstr=20302]
c time 7.704
c #vars     1648
c #clauses  20302
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): 1.14 1.03 0.92 2/54 26911
Raw data (stat): 26911 (runsolver) R 26910 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477434065 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.0052 s]
Raw data (loadavg): 1.35 1.08 0.94 4/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18087 0 1 0 701 46 0 0 25 0 11 0 477434065 868265984 21929 4294967295 134512640 134569956 3221224416 3221214840 1130895131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211979 21929 13073 16 0 211963 0
vsize: 847916
[startup+20.0249 s]
Raw data (loadavg): 1.37 1.09 0.94 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18091 0 1 0 1469 47 0 0 25 0 11 0 477434065 867749888 25278 4294967295 134512640 134569956 3221224416 3221214728 1131393743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 25278 13073 16 0 211837 0
vsize: 847412
[startup+30.0256 s]
Raw data (loadavg): 1.31 1.09 0.94 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18091 0 1 0 2434 47 0 0 25 0 11 0 477434065 867749888 25776 4294967295 134512640 134569956 3221224416 3221214792 1131368100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 25776 13073 16 0 211837 0
vsize: 847412
[startup+40.0257 s]
Raw data (loadavg): 1.27 1.09 0.94 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 3400 47 0 0 25 0 11 0 477434065 867749888 25978 4294967295 134512640 134569956 3221224416 3221214896 1131528577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 25978 13073 16 0 211837 0
vsize: 847412
[startup+50.0259 s]
Raw data (loadavg): 1.30 1.10 0.95 3/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 4358 47 0 0 25 0 11 0 477434065 875479040 28161 4294967295 134512640 134569956 3221224416 3221214896 1131528212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213740 28161 13073 16 0 213724 0
vsize: 854960
[startup+60.0267 s]
Raw data (loadavg): 1.26 1.10 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 5325 47 0 0 25 0 11 0 477434065 867749888 26641 4294967295 134512640 134569956 3221224416 3221214848 1131360480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 26641 13073 16 0 211837 0
vsize: 847412
[startup+70.0278 s]
Raw data (loadavg): 1.22 1.09 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 6288 48 0 0 25 0 11 0 477434065 867749888 27527 4294967295 134512640 134569956 3221224416 3221214688 1131284704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 27527 13073 16 0 211837 0
vsize: 847412
[startup+80.0281 s]
Raw data (loadavg): 1.18 1.09 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 7255 48 0 0 25 0 11 0 477434065 867749888 27761 4294967295 134512640 134569956 3221224416 3221214736 1131400372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 27761 13073 16 0 211837 0
vsize: 847412
[startup+90.0277 s]
Raw data (loadavg): 1.15 1.08 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 8220 48 0 0 25 0 11 0 477434065 867749888 27965 4294967295 134512640 134569956 3221224416 3221214848 1131360942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 27965 13073 16 0 211837 0
vsize: 847412
[startup+100.027 s]
Raw data (loadavg): 1.21 1.10 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 9183 48 0 0 25 0 11 0 477434065 874635264 30389 4294967295 134512640 134569956 3221224416 3221214848 1131360946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213534 30389 13073 16 0 213518 0
vsize: 854136
[startup+110.028 s]
Raw data (loadavg): 1.18 1.09 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 10148 48 0 0 25 0 11 0 477434065 867749888 29457 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 29457 13073 16 0 211837 0
vsize: 847412
[startup+120.029 s]
Raw data (loadavg): 1.15 1.09 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 11125 48 0 0 25 0 11 0 477434065 867749888 29701 4294967295 134512640 134569956 3221224416 3221214536 1131508688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 29701 13073 16 0 211837 0
vsize: 847412
[startup+130.029 s]
Raw data (loadavg): 1.13 1.09 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 12091 48 0 0 25 0 11 0 477434065 867749888 29914 4294967295 134512640 134569956 3221224416 3221214840 1131360779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 29914 13073 16 0 211837 0
vsize: 847412
[startup+140.029 s]
Raw data (loadavg): 1.11 1.08 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 13056 48 0 0 25 0 11 0 477434065 867749888 30154 4294967295 134512640 134569956 3221224416 3221214728 1131399366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 30154 13073 16 0 211837 0
vsize: 847412
[startup+150.029 s]
Raw data (loadavg): 1.09 1.08 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 14015 48 0 0 25 0 11 0 477434065 867749888 30655 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 30655 13073 16 0 211837 0
vsize: 847412
[startup+160.03 s]
Raw data (loadavg): 1.08 1.08 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 14980 49 0 0 25 0 11 0 477434065 867749888 31148 4294967295 134512640 134569956 3221224416 3221214664 1131284072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 31148 13073 16 0 211837 0
vsize: 847412
[startup+170.03 s]
Raw data (loadavg): 1.06 1.08 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 15944 49 0 0 25 0 11 0 477434065 867749888 31663 4294967295 134512640 134569956 3221224416 3221214728 1131399485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 31663 13073 16 0 211837 0
vsize: 847412
[startup+180.03 s]
Raw data (loadavg): 1.05 1.07 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 16909 49 0 0 25 0 11 0 477434065 867749888 32053 4294967295 134512640 134569956 3221224416 3221214840 1131360639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 32053 13073 16 0 211837 0
vsize: 847412
[startup+190.031 s]
Raw data (loadavg): 1.04 1.07 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 17876 49 0 0 25 0 11 0 477434065 867749888 32385 4294967295 134512640 134569956 3221224416 3221214664 1131284986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 32385 13073 16 0 211837 0
vsize: 847412
[startup+200.03 s]
Raw data (loadavg): 1.04 1.07 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 18846 49 0 0 25 0 11 0 477434065 867749888 32794 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 32794 13073 16 0 211837 0
vsize: 847412
[startup+210.031 s]
Raw data (loadavg): 1.03 1.06 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 19814 49 0 0 25 0 11 0 477434065 867749888 33087 4294967295 134512640 134569956 3221224416 3221214656 1131429411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 33087 13073 16 0 211837 0
vsize: 847412
[startup+220.032 s]
Raw data (loadavg): 1.03 1.06 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 20780 49 0 0 25 0 11 0 477434065 867749888 33431 4294967295 134512640 134569956 3221224416 3221214876 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 33431 13073 16 0 211837 0
vsize: 847412
[startup+230.031 s]
Raw data (loadavg): 1.02 1.06 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 21744 49 0 0 25 0 11 0 477434065 867749888 33989 4294967295 134512640 134569956 3221224416 3221214768 1131366044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 33989 13073 16 0 211837 0
vsize: 847412
[startup+240.031 s]
Raw data (loadavg): 1.02 1.06 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 22713 49 0 0 25 0 11 0 477434065 867749888 34325 4294967295 134512640 134569956 3221224416 3221214884 1131363811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 34325 13073 16 0 211837 0
vsize: 847412
[startup+250.031 s]
Raw data (loadavg): 1.01 1.05 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 23681 49 0 0 25 0 11 0 477434065 867749888 34750 4294967295 134512640 134569956 3221224416 3221214768 1131367119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 34750 13073 16 0 211837 0
vsize: 847412
[startup+260.031 s]
Raw data (loadavg): 1.01 1.05 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 24650 49 0 0 25 0 11 0 477434065 867749888 35136 4294967295 134512640 134569956 3221224416 3221214688 1131602061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 35136 13073 16 0 211837 0
vsize: 847412
[startup+270.031 s]
Raw data (loadavg): 1.01 1.05 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 25619 49 0 0 25 0 11 0 477434065 867749888 35700 4294967295 134512640 134569956 3221224416 3221214840 1131360942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 35700 13073 16 0 211837 0
vsize: 847412
[startup+280.031 s]
Raw data (loadavg): 1.01 1.05 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 26589 49 0 0 25 0 11 0 477434065 867749888 35999 4294967295 134512640 134569956 3221224416 3221214840 1131360480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 35999 13073 16 0 211837 0
vsize: 847412
[startup+290.032 s]
Raw data (loadavg): 1.01 1.05 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 27557 49 0 0 25 0 11 0 477434065 867749888 36447 4294967295 134512640 134569956 3221224416 3221214688 1131602083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 36447 13073 16 0 211837 0
vsize: 847412
[startup+300.032 s]
Raw data (loadavg): 1.00 1.04 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 28526 49 0 0 25 0 11 0 477434065 867749888 36915 4294967295 134512640 134569956 3221224416 3221214688 1131601967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 36915 13073 16 0 211837 0
vsize: 847412
[startup+310.032 s]
Raw data (loadavg): 1.00 1.04 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 29497 49 0 0 25 0 11 0 477434065 867749888 37257 4294967295 134512640 134569956 3221224416 3221214656 1131429081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 37257 13073 16 0 211837 0
vsize: 847412
[startup+320.033 s]
Raw data (loadavg): 1.00 1.04 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 30464 49 0 0 25 0 11 0 477434065 867749888 37683 4294967295 134512640 134569956 3221224416 3221214728 1131400372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 37683 13073 16 0 211837 0
vsize: 847412
[startup+330.032 s]
Raw data (loadavg): 1.00 1.04 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 31421 49 0 0 25 0 11 0 477434065 867749888 38082 4294967295 134512640 134569956 3221224416 3221214576 1131445026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 38082 13073 16 0 211837 0
vsize: 847412
[startup+340.032 s]
Raw data (loadavg): 1.00 1.04 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 32387 49 0 0 25 0 11 0 477434065 867749888 38280 4294967295 134512640 134569956 3221224416 3221214704 1131178905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 38280 13073 16 0 211837 0
vsize: 847412
[startup+350.033 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 33353 49 0 0 25 0 11 0 477434065 867749888 38621 4294967295 134512640 134569956 3221224416 3221214840 1131360940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 38621 13073 16 0 211837 0
vsize: 847412
[startup+360.034 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 34320 49 0 0 25 0 11 0 477434065 867749888 39035 4294967295 134512640 134569956 3221224416 3221214840 1131360920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 39035 13073 16 0 211837 0
vsize: 847412
[startup+370.033 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 35289 49 0 0 25 0 11 0 477434065 867749888 39606 4294967295 134512640 134569956 3221224416 3221214840 1131360480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 39606 13073 16 0 211837 0
vsize: 847412
[startup+380.033 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 36257 50 0 0 25 0 11 0 477434065 867749888 40000 4294967295 134512640 134569956 3221224416 3221214616 1131238481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 40000 13073 16 0 211837 0
vsize: 847412
[startup+390.032 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 37224 50 0 0 25 0 11 0 477434065 867749888 40620 4294967295 134512640 134569956 3221224416 3221214848 1131568601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 40620 13073 16 0 211837 0
vsize: 847412
[startup+400.033 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 38185 50 0 0 25 0 11 0 477434065 867749888 40979 4294967295 134512640 134569956 3221224416 3221214736 1131476370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 40979 13073 16 0 211837 0
vsize: 847412
[startup+410.033 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 39151 50 0 0 25 0 11 0 477434065 867749888 41436 4294967295 134512640 134569956 3221224416 3221214888 1131533588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 41436 13073 16 0 211837 0
vsize: 847412
[startup+420.033 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 40117 50 0 0 25 0 11 0 477434065 867749888 41772 4294967295 134512640 134569956 3221224416 3221214728 1131399356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 41772 13073 16 0 211837 0
vsize: 847412
[startup+430.033 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 41087 50 0 0 25 0 11 0 477434065 867749888 41933 4294967295 134512640 134569956 3221224416 3221214840 1131360472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 41933 13073 16 0 211837 0
vsize: 847412
[startup+440.033 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 42055 50 0 0 25 0 11 0 477434065 867749888 42184 4294967295 134512640 134569956 3221224416 3221214576 1131445091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 42184 13073 16 0 211837 0
vsize: 847412
[startup+450.033 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 43022 50 0 0 25 0 11 0 477434065 867749888 42548 4294967295 134512640 134569956 3221224416 3221214840 1131360764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 42548 13073 16 0 211837 0
vsize: 847412
[startup+460.034 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 43990 50 0 0 24 0 11 0 477434065 867749888 42969 4294967295 134512640 134569956 3221224416 3221214592 1131288245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 42969 13073 16 0 211837 0
vsize: 847412
[startup+470.034 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 44959 50 0 0 25 0 11 0 477434065 867749888 43249 4294967295 134512640 134569956 3221224416 3221214840 1131360779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 43249 13073 16 0 211837 0
vsize: 847412
[startup+480.034 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 45927 50 0 0 25 0 11 0 477434065 867749888 43600 4294967295 134512640 134569956 3221224416 3221214664 1131284421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 43600 13073 16 0 211837 0
vsize: 847412
[startup+490.035 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 46897 50 0 0 25 0 11 0 477434065 867749888 43830 4294967295 134512640 134569956 3221224416 3221214688 1131221055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 43830 13073 16 0 211837 0
vsize: 847412
[startup+500.034 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 47859 50 0 0 25 0 11 0 477434065 867749888 44195 4294967295 134512640 134569956 3221224416 3221214648 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 44195 13073 16 0 211837 0
vsize: 847412
[startup+510.035 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 48810 50 0 0 25 0 11 0 477434065 867749888 44648 4294967295 134512640 134569956 3221224416 3221214664 1131284482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 44648 13073 16 0 211837 0
vsize: 847412
[startup+520.035 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 49776 50 0 0 25 0 11 0 477434065 867749888 44856 4294967295 134512640 134569956 3221224416 3221214768 1131367011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 44856 13073 16 0 211837 0
vsize: 847412
[startup+530.034 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 50732 50 0 0 25 0 11 0 477434065 867749888 45246 4294967295 134512640 134569956 3221224416 3221214840 1131360490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 45246 13073 16 0 211837 0
vsize: 847412
[startup+540.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 51699 50 0 0 25 0 11 0 477434065 867749888 45509 4294967295 134512640 134569956 3221224416 3221214600 1131424848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 45509 13073 16 0 211837 0
vsize: 847412
[startup+550.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 52655 50 0 0 25 0 11 0 477434065 867749888 46001 4294967295 134512640 134569956 3221224416 3221214728 1131399388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 46001 13073 16 0 211837 0
vsize: 847412
[startup+560.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 53612 50 0 0 25 0 11 0 477434065 867749888 46397 4294967295 134512640 134569956 3221224416 3221214728 1131397808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 46397 13073 16 0 211837 0
vsize: 847412
[startup+570.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 54580 50 0 0 25 0 11 0 477434065 867749888 46638 4294967295 134512640 134569956 3221224416 3221214840 1131360764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 46638 13073 16 0 211837 0
vsize: 847412
[startup+580.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 55535 51 0 0 25 0 11 0 477434065 867749888 47001 4294967295 134512640 134569956 3221224416 3221214840 1131360464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 47001 13073 16 0 211837 0
vsize: 847412
[startup+590.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 56491 51 0 0 25 0 11 0 477434065 867749888 47478 4294967295 134512640 134569956 3221224416 3221214888 1131526930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 47478 13073 16 0 211837 0
vsize: 847412
[startup+600.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 57447 51 0 0 25 0 11 0 477434065 867749888 47753 4294967295 134512640 134569956 3221224416 3221214728 1131399394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 47753 13073 16 0 211837 0
vsize: 847412
[startup+610.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 58394 51 0 0 25 0 11 0 477434065 867749888 48073 4294967295 134512640 134569956 3221224416 3221214724 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 48073 13073 16 0 211837 0
vsize: 847412
[startup+620.042 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26921
Raw data (stat): 26911 (java) S 26910 26298 26297 0 -1 0 18092 0 1 0 59358 51 0 0 25 0 11 0 477434065 867749888 48365 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 48365 13073 16 0 211837 0
vsize: 847412
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 60313 51 0 0 25 0 11 0 477434065 867749888 48765 4294967295 134512640 134569956 3221224416 3221214840 1131360483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 48765 13073 16 0 211837 0
vsize: 847412
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 61269 51 0 0 24 0 11 0 477434065 867749888 49034 4294967295 134512640 134569956 3221224416 3221214720 1131363865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 49034 13073 16 0 211837 0
vsize: 847412
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 62236 51 0 0 25 0 11 0 477434065 867749888 49303 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 49303 13073 16 0 211837 0
vsize: 847412
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 63203 51 0 0 25 0 11 0 477434065 867749888 49557 4294967295 134512640 134569956 3221224416 3221214840 1131360490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 49557 13073 16 0 211837 0
vsize: 847412
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 64159 51 0 0 25 0 11 0 477434065 867749888 50083 4294967295 134512640 134569956 3221224416 3221214768 1131369394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 50083 13073 16 0 211837 0
vsize: 847412
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 65127 51 0 0 25 0 11 0 477434065 867749888 50420 4294967295 134512640 134569956 3221224416 3221214728 1131399366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 50420 13073 16 0 211837 0
vsize: 847412
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 66085 51 0 0 25 0 11 0 477434065 867749888 50745 4294967295 134512640 134569956 3221224416 3221214768 1131367047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 50745 13073 16 0 211837 0
vsize: 847412
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 67042 51 0 0 25 0 11 0 477434065 867749888 50983 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 50983 13073 16 0 211837 0
vsize: 847412
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 67997 51 0 0 25 0 11 0 477434065 867749888 51231 4294967295 134512640 134569956 3221224416 3221214840 1131360934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 51231 13073 16 0 211837 0
vsize: 847412
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 68950 51 0 0 25 0 11 0 477434065 867749888 51532 4294967295 134512640 134569956 3221224416 3221214676 1080203717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 51532 13073 16 0 211837 0
vsize: 847412
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 69904 51 0 0 25 0 11 0 477434065 867749888 51876 4294967295 134512640 134569956 3221224416 3221214840 1131360483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 51876 13073 16 0 211837 0
vsize: 847412
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 70870 51 0 0 25 0 11 0 477434065 867749888 52068 4294967295 134512640 134569956 3221224416 3221214728 1131400372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 52068 13073 16 0 211837 0
vsize: 847412
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 71825 51 0 0 25 0 11 0 477434065 867749888 52435 4294967295 134512640 134569956 3221224416 3221214836 1131283987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 52435 13073 16 0 211837 0
vsize: 847412
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 72777 51 0 0 25 0 11 0 477434065 867749888 52886 4294967295 134512640 134569956 3221224416 3221214736 1131475812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 52886 13073 16 0 211837 0
vsize: 847412
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 73741 51 0 0 25 0 11 0 477434065 867749888 53154 4294967295 134512640 134569956 3221224416 3221214840 1131360783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 53154 13073 16 0 211837 0
vsize: 847412
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 74692 51 0 0 25 0 11 0 477434065 867749888 53468 4294967295 134512640 134569956 3221224416 3221214840 1131360777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 53468 13073 16 0 211837 0
vsize: 847412
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 75643 51 0 0 25 0 11 0 477434065 867749888 53666 4294967295 134512640 134569956 3221224416 3221214840 1131360649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 53666 13073 16 0 211837 0
vsize: 847412
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 76604 51 0 0 25 0 11 0 477434065 867749888 53867 4294967295 134512640 134569956 3221224416 3221214840 1131360779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 53867 13073 16 0 211837 0
vsize: 847412
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 77566 51 0 0 25 0 11 0 477434065 867749888 54122 4294967295 134512640 134569956 3221224416 3221214736 1131471573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 54122 13073 16 0 211837 0
vsize: 847412
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 78517 51 0 0 25 0 11 0 477434065 867749888 54354 4294967295 134512640 134569956 3221224416 3221214840 1131419879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 54354 13073 16 0 211837 0
vsize: 847412
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 79480 51 0 0 25 0 11 0 477434065 867749888 54666 4294967295 134512640 134569956 3221224416 3221214848 1131569195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 54666 13073 16 0 211837 0
vsize: 847412
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 80432 51 0 0 24 0 11 0 477434065 867749888 55113 4294967295 134512640 134569956 3221224416 3221214720 1131451748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 55113 13073 16 0 211837 0
vsize: 847412
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 81398 51 0 0 25 0 11 0 477434065 867749888 55228 4294967295 134512640 134569956 3221224416 3221214728 1131399398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 55228 13073 16 0 211837 0
vsize: 847412
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 82350 51 0 0 25 0 11 0 477434065 867749888 55565 4294967295 134512640 134569956 3221224416 3221214576 1131445396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 55565 13073 16 0 211837 0
vsize: 847412
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 83303 51 0 0 25 0 11 0 477434065 867749888 55735 4294967295 134512640 134569956 3221224416 3221214840 1131360934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 55735 13073 16 0 211837 0
vsize: 847412
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 84254 51 0 0 25 0 11 0 477434065 867749888 55951 4294967295 134512640 134569956 3221224416 3221214840 1131360934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 55951 13073 16 0 211837 0
vsize: 847412
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 85205 52 0 0 25 0 11 0 477434065 867749888 56160 4294967295 134512640 134569956 3221224416 3221214744 1131288767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 56160 13073 16 0 211837 0
vsize: 847412
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 86168 52 0 0 25 0 11 0 477434065 867749888 56323 4294967295 134512640 134569956 3221224416 3221214840 1131360940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 56323 13073 16 0 211837 0
vsize: 847412
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 87120 52 0 0 25 0 11 0 477434065 867749888 56623 4294967295 134512640 134569956 3221224416 3221214656 1131428562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 56623 13073 16 0 211837 0
vsize: 847412
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 88069 52 0 0 25 0 11 0 477434065 867749888 56952 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 56952 13073 16 0 211837 0
vsize: 847412
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 89017 52 0 0 25 0 11 0 477434065 867749888 57223 4294967295 134512640 134569956 3221224416 3221214848 1131569084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 57223 13073 16 0 211837 0
vsize: 847412
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 89979 52 0 0 25 0 11 0 477434065 867749888 57461 4294967295 134512640 134569956 3221224416 3221214840 1131360920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 57461 13073 16 0 211837 0
vsize: 847412
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 90930 52 0 0 25 0 11 0 477434065 867749888 57694 4294967295 134512640 134569956 3221224416 3221214728 1131399420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 57694 13073 16 0 211837 0
vsize: 847412
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 91894 52 0 0 25 0 11 0 477434065 867749888 57891 4294967295 134512640 134569956 3221224416 3221214880 1080203669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 57891 13073 16 0 211837 0
vsize: 847412
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 92845 52 0 0 25 0 11 0 477434065 867749888 58171 4294967295 134512640 134569956 3221224416 3221214840 1131360779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 58171 13073 16 0 211837 0
vsize: 847412
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 93796 52 0 0 25 0 11 0 477434065 867749888 58468 4294967295 134512640 134569956 3221224416 3221214840 1131360934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 58468 13073 16 0 211837 0
vsize: 847412
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 94748 52 0 0 25 0 11 0 477434065 867749888 58722 4294967295 134512640 134569956 3221224416 3221214736 1131284217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 58722 13073 16 0 211837 0
vsize: 847412
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 95700 52 0 0 25 0 11 0 477434065 867749888 58911 4294967295 134512640 134569956 3221224416 3221214840 1131360480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 58911 13073 16 0 211837 0
vsize: 847412
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 96663 52 0 0 25 0 11 0 477434065 867749888 59178 4294967295 134512640 134569956 3221224416 3221214840 1131360934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 59178 13073 16 0 211837 0
vsize: 847412
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 97613 53 0 0 25 0 11 0 477434065 867749888 59502 4294967295 134512640 134569956 3221224416 3221214688 1131601967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 59502 13073 16 0 211837 0
vsize: 847412
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 98576 53 0 0 25 0 11 0 477434065 867749888 59752 4294967295 134512640 134569956 3221224416 3221214664 1131284211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 59752 13073 16 0 211837 0
vsize: 847412
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 99528 53 0 0 25 0 11 0 477434065 867749888 59940 4294967295 134512640 134569956 3221224416 3221214672 1131423429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 59940 13073 16 0 211837 0
vsize: 847412
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 100479 53 0 0 25 0 11 0 477434065 867749888 60169 4294967295 134512640 134569956 3221224416 3221214840 1131360764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 60169 13073 16 0 211837 0
vsize: 847412
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 101442 53 0 0 25 0 11 0 477434065 867749888 60359 4294967295 134512640 134569956 3221224416 3221214664 1131284356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 60359 13073 16 0 211837 0
vsize: 847412
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 102393 53 0 0 25 0 11 0 477434065 867749888 60590 4294967295 134512640 134569956 3221224416 3221214840 1131360483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 60590 13073 16 0 211837 0
vsize: 847412
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 103344 53 0 0 25 0 11 0 477434065 867749888 60772 4294967295 134512640 134569956 3221224416 3221214840 1131360480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 60772 13073 16 0 211837 0
vsize: 847412
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 104307 53 0 0 25 0 11 0 477434065 867749888 61082 4294967295 134512640 134569956 3221224416 3221214840 1131360920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 61082 13073 16 0 211837 0
vsize: 847412
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 105271 53 0 0 25 0 11 0 477434065 867749888 61287 4294967295 134512640 134569956 3221224416 3221214736 1131470656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 61287 13073 16 0 211837 0
vsize: 847412
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 106223 53 0 0 24 0 11 0 477434065 867749888 61611 4294967295 134512640 134569956 3221224416 3221214840 1131360772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 61611 13073 16 0 211837 0
vsize: 847412
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 107171 53 0 0 25 0 11 0 477434065 867749888 61911 4294967295 134512640 134569956 3221224416 3221214840 1131360476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 61911 13073 16 0 211837 0
vsize: 847412
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 108118 53 0 0 25 0 11 0 477434065 867749888 62139 4294967295 134512640 134569956 3221224416 3221214824 1131574401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 62139 13073 16 0 211837 0
vsize: 847412
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 109066 53 0 0 25 0 11 0 477434065 867749888 62347 4294967295 134512640 134569956 3221224416 3221214840 1131360772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 62347 13073 16 0 211837 0
vsize: 847412
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 110014 54 0 0 25 0 11 0 477434065 867749888 62460 4294967295 134512640 134569956 3221224416 3221214688 1131601964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 62460 13073 16 0 211837 0
vsize: 847412
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 110962 54 0 0 25 0 11 0 477434065 867749888 62703 4294967295 134512640 134569956 3221224416 3221214840 1131360927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 62703 13073 16 0 211837 0
vsize: 847412
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 111909 54 0 0 25 0 11 0 477434065 867749888 62877 4294967295 134512640 134569956 3221224416 3221214840 1131360775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 62877 13073 16 0 211837 0
vsize: 847412
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 5/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 112857 54 0 0 25 0 11 0 477434065 867749888 63105 4294967295 134512640 134569956 3221224416 3221214688 1131602076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 63105 13073 16 0 211837 0
vsize: 847412
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 113806 54 0 0 25 0 11 0 477434065 867749888 63307 4294967295 134512640 134569956 3221224416 3221214840 1131360772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 63307 13073 16 0 211837 0
vsize: 847412
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 114755 54 0 0 25 0 11 0 477434065 867749888 63479 4294967295 134512640 134569956 3221224416 3221214840 1131360464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 63479 13073 16 0 211837 0
vsize: 847412
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 115703 54 0 0 25 0 11 0 477434065 867749888 63737 4294967295 134512640 134569956 3221224416 3221214664 1131284402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211853 63737 13073 16 0 211837 0
vsize: 847412
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 116637 55 0 0 24 0 11 0 477434065 867749888 64075 4294967295 134512640 134569956 3221224416 3221214664 1131285046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 64075 13073 16 0 211837 0
vsize: 847412
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) S 26910 26298 26297 0 -1 0 18092 0 1 0 117592 55 0 0 25 0 11 0 477434065 867749888 64295 4294967295 134512640 134569956 3221224416 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 64295 13073 16 0 211837 0
vsize: 847412
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 118535 55 0 0 24 0 11 0 477434065 867749888 64605 4294967295 134512640 134569956 3221224416 3221214672 1131288392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 64605 13073 16 0 211837 0
vsize: 847412
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 119484 56 0 0 25 0 11 0 477434065 867749888 64883 4294967295 134512640 134569956 3221224416 3221214728 1131399430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 64883 13073 16 0 211837 0
vsize: 847412
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26921
Raw data (stat): 26911 (java) R 26910 26298 26297 0 -1 0 18092 0 1 0 120435 56 0 0 25 0 11 0 477434065 867749888 65122 4294967295 134512640 134569956 3221224416 3221214840 1131360502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 65122 13073 16 0 211837 0
vsize: 847412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 26923
Raw data (stat): 26911 (java) Z 26910 26298 26297 0 -1 1036 18092 62058 1 0 120438 68 7332 145 25 0 1 0 477434065 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): 1260.22
CPU time (s): 1279.85
CPU user time (s): 1277.71
CPU system time (s): 2.13668
CPU usage (%): 101.558
Max. virtual memory (Kb): 854960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####