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/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic98.opb
MD5SUM4c475edac91e4650fa2d3e487e86c291
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 81920000000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 66700085225335
Number of bits of the biggest sum of numbers46
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.81012
Number of variables14923
Total number of constraints14313
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14177
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint13571

Trace number 14483

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        707696 kB
Buffers:         19068 kB
Cached:         272312 kB
SwapCached:          0 kB
Active:         197468 kB
Inactive:        96788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707444 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6900 kB
Slab:            26956 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:20:12 (client local time) WITH STATUS 143 IN 1230.69 SECONDS
stats: 19990 7 1230.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-blp-ic98.opb
c reading problem 
c [nbvar=14923]
c [nbconstr=14313]
c time 98.789
c #vars     14923
c #clauses  853
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.79 0.81 0.84 2/54 8519
Raw data (stat): 8519 (runsolver) R 8518 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540585886 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.82 0.81 0.84 2/63 8528
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 882 39 0 0 25 0 10 0 540585886 854224896 19356 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208551 19356 13073 16 0 208535 0
vsize: 834204
[startup+20.006 s]
Raw data (loadavg): 0.85 0.82 0.85 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 1795 43 0 0 25 0 10 0 540585886 854126592 19796 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208527 19796 13073 16 0 208511 0
vsize: 834108
[startup+30.0059 s]
Raw data (loadavg): 0.87 0.82 0.85 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 2700 43 0 0 24 0 10 0 540585886 854126592 20280 4294967295 134512640 134569956 3221224400 3221214528 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208527 20280 13073 16 0 208511 0
vsize: 834108
[startup+40.007 s]
Raw data (loadavg): 0.89 0.83 0.85 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 3631 43 0 0 25 0 10 0 540585886 854126592 20518 4294967295 134512640 134569956 3221224400 3221214528 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208527 20518 13073 16 0 208511 0
vsize: 834108
[startup+50.0075 s]
Raw data (loadavg): 0.98 0.85 0.85 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 4574 44 0 0 25 0 10 0 540585886 854126592 20709 4294967295 134512640 134569956 3221224400 3221214528 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208527 20709 13073 16 0 208511 0
vsize: 834108
[startup+60.0078 s]
Raw data (loadavg): 0.99 0.85 0.85 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 5519 44 0 0 25 0 10 0 540585886 854126592 20837 4294967295 134512640 134569956 3221224400 3221214632 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208527 20837 13073 16 0 208511 0
vsize: 834108
[startup+70.0087 s]
Raw data (loadavg): 0.99 0.86 0.86 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18028 0 1 0 6457 45 0 0 25 0 10 0 540585886 854126592 20946 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208527 20946 13073 16 0 208511 0
vsize: 834108
[startup+80.0088 s]
Raw data (loadavg): 1.07 0.88 0.86 2/63 8581
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18030 0 1 0 7372 46 0 0 25 0 10 0 540585886 856530944 21651 4294967295 134512640 134569956 3221224400 3221214232 1131325233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 21651 13073 16 0 209098 0
vsize: 836456
[startup+90.0131 s]
Raw data (loadavg): 1.06 0.88 0.86 2/63 8583
Raw data (stat): 8519 (java) S 8518 11931 11930 0 -1 0 18030 0 1 0 8238 49 0 0 25 0 10 0 540585886 856395776 27486 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209081 27486 13073 16 0 209065 0
vsize: 836324
[startup+100.014 s]
Raw data (loadavg): 1.05 0.89 0.86 3/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18057 0 1 0 9119 52 0 0 25 0 11 0 540585886 856924160 29517 4294967295 134512640 134569956 3221224400 3221214908 1130902053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209210 29517 13073 16 0 209194 0
vsize: 836840
[startup+110.015 s]
Raw data (loadavg): 1.20 0.92 0.88 3/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 9957 53 0 0 25 0 11 0 540585886 860467200 31212 4294967295 134512640 134569956 3221224400 3221214816 1131280256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31212 13073 16 0 210059 0
vsize: 840300
[startup+120.015 s]
Raw data (loadavg): 1.17 0.92 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 10874 53 0 0 25 0 11 0 540585886 859746304 30951 4294967295 134512640 134569956 3221224400 3221214888 1131383700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209899 30951 13073 16 0 209883 0
vsize: 839596
[startup+130.016 s]
Raw data (loadavg): 1.14 0.93 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 11779 53 0 0 25 0 11 0 540585886 858464256 30638 4294967295 134512640 134569956 3221224400 3221214792 1131309429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 30638 13073 16 0 209570 0
vsize: 838344
[startup+140.016 s]
Raw data (loadavg): 1.12 0.93 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 12691 53 0 0 25 0 11 0 540585886 858464256 31423 4294967295 134512640 134569956 3221224400 3221214888 1131383068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31423 13073 16 0 209570 0
vsize: 838344
[startup+150.017 s]
Raw data (loadavg): 1.10 0.93 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 13678 53 0 0 25 0 11 0 540585886 858464256 31444 4294967295 134512640 134569956 3221224400 3221214884 1131280224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 31444 13073 16 0 209570 0
vsize: 838344
[startup+160.016 s]
Raw data (loadavg): 1.09 0.93 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 14664 54 0 0 25 0 11 0 540585886 858464256 31456 4294967295 134512640 134569956 3221224400 3221214880 1131285262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 31456 13073 16 0 209570 0
vsize: 838344
[startup+170.016 s]
Raw data (loadavg): 1.07 0.93 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18099 0 1 0 15651 54 0 0 25 0 11 0 540585886 858464256 31472 4294967295 134512640 134569956 3221224400 3221214888 1131384042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 31472 13073 16 0 209570 0
vsize: 838344
[startup+180.017 s]
Raw data (loadavg): 1.06 0.94 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18100 0 1 0 16608 54 0 0 25 0 11 0 540585886 859095040 31616 4294967295 134512640 134569956 3221224400 3221214728 1131487865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 31616 13073 16 0 209724 0
vsize: 838960
[startup+190.124 s]
Raw data (loadavg): 1.05 0.94 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18100 0 1 0 17577 54 0 0 25 0 11 0 540585886 858464256 31501 4294967295 134512640 134569956 3221224400 3221214840 1131280245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31501 13073 16 0 209570 0
vsize: 838344
[startup+200.124 s]
Raw data (loadavg): 1.04 0.94 0.88 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 18545 54 0 0 25 0 11 0 540585886 858464256 31508 4294967295 134512640 134569956 3221224400 3221214608 1131359599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31508 13073 16 0 209570 0
vsize: 838344
[startup+210.124 s]
Raw data (loadavg): 1.04 0.94 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 19521 55 0 0 25 0 11 0 540585886 858464256 31513 4294967295 134512640 134569956 3221224400 3221214440 1131304787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31513 13073 16 0 209570 0
vsize: 838344
[startup+220.129 s]
Raw data (loadavg): 1.03 0.94 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 20492 55 0 0 25 0 11 0 540585886 858464256 31523 4294967295 134512640 134569956 3221224400 3221214688 1131599387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31523 13073 16 0 209570 0
vsize: 838344
[startup+230.129 s]
Raw data (loadavg): 1.02 0.94 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 21476 55 0 0 25 0 11 0 540585886 858464256 31683 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31683 13073 16 0 209570 0
vsize: 838344
[startup+240.13 s]
Raw data (loadavg): 1.02 0.94 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 22465 55 0 0 25 0 11 0 540585886 858464256 31853 4294967295 134512640 134569956 3221224400 3221214688 1131599360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31853 13073 16 0 209570 0
vsize: 838344
[startup+250.131 s]
Raw data (loadavg): 1.02 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 23457 55 0 0 25 0 11 0 540585886 858464256 31855 4294967295 134512640 134569956 3221224400 3221214688 1131599419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31855 13073 16 0 209570 0
vsize: 838344
[startup+260.131 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 24448 55 0 0 25 0 11 0 540585886 858464256 31856 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31856 13073 16 0 209570 0
vsize: 838344
[startup+270.131 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 25442 55 0 0 25 0 11 0 540585886 858464256 31861 4294967295 134512640 134569956 3221224400 3221214684 1131448416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31861 13073 16 0 209570 0
vsize: 838344
[startup+280.131 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 26433 55 0 0 25 0 11 0 540585886 858464256 31944 4294967295 134512640 134569956 3221224400 3221214520 1131304640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31944 13073 16 0 209570 0
vsize: 838344
[startup+290.132 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 27429 55 0 0 25 0 11 0 540585886 858464256 31978 4294967295 134512640 134569956 3221224400 3221214584 1131546524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 31978 13073 16 0 209570 0
vsize: 838344
[startup+300.132 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 28425 55 0 0 25 0 11 0 540585886 858464256 31978 4294967295 134512640 134569956 3221224400 3221214688 1131599372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31978 13073 16 0 209570 0
vsize: 838344
[startup+310.132 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 29421 55 0 0 25 0 11 0 540585886 858464256 31992 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31992 13073 16 0 209570 0
vsize: 838344
[startup+320.132 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 30418 55 0 0 25 0 11 0 540585886 858464256 31992 4294967295 134512640 134569956 3221224400 3221214688 1131599393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 31992 13073 16 0 209570 0
vsize: 838344
[startup+330.132 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 31413 55 0 0 25 0 11 0 540585886 858464256 32005 4294967295 134512640 134569956 3221224400 3221214688 1131599372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32005 13073 16 0 209570 0
vsize: 838344
[startup+340.133 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 32409 55 0 0 25 0 11 0 540585886 858464256 32005 4294967295 134512640 134569956 3221224400 3221214584 1131548817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32005 13073 16 0 209570 0
vsize: 838344
[startup+350.133 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 33406 55 0 0 25 0 11 0 540585886 858464256 32005 4294967295 134512640 134569956 3221224400 3221214624 1131267263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32005 13073 16 0 209570 0
vsize: 838344
[startup+360.133 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8584
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 34402 55 0 0 25 0 11 0 540585886 858464256 32018 4294967295 134512640 134569956 3221224400 3221214584 1131548034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32018 13073 16 0 209570 0
vsize: 838344
[startup+370.135 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18101 0 1 0 35398 55 0 0 25 0 11 0 540585886 858464256 32018 4294967295 134512640 134569956 3221224400 3221214624 1131266860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32018 13073 16 0 209570 0
vsize: 838344
[startup+380.135 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 36387 56 0 0 25 0 11 0 540585886 858464256 32033 4294967295 134512640 134569956 3221224400 3221214792 1131309168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32033 13073 16 0 209570 0
vsize: 838344
[startup+390.136 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 37380 56 0 0 25 0 11 0 540585886 858464256 32045 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32045 13073 16 0 209570 0
vsize: 838344
[startup+400.137 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 38374 56 0 0 25 0 11 0 540585886 858464256 32045 4294967295 134512640 134569956 3221224400 3221214584 1131546443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32045 13073 16 0 209570 0
vsize: 838344
[startup+410.136 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 39364 56 0 0 25 0 11 0 540585886 858464256 32059 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32059 13073 16 0 209570 0
vsize: 838344
[startup+420.136 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 40358 56 0 0 25 0 11 0 540585886 858464256 32059 4294967295 134512640 134569956 3221224400 3221214520 1131304723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32059 13073 16 0 209570 0
vsize: 838344
[startup+430.137 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 41349 56 0 0 25 0 11 0 540585886 858464256 32059 4294967295 134512640 134569956 3221224400 3221214688 1131599413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32059 13073 16 0 209570 0
vsize: 838344
[startup+440.138 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 42341 56 0 0 25 0 11 0 540585886 858464256 32098 4294967295 134512640 134569956 3221224400 3221214792 1131309258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32098 13073 16 0 209570 0
vsize: 838344
[startup+450.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 43319 56 0 0 25 0 11 0 540585886 858464256 32109 4294967295 134512640 134569956 3221224400 3221214792 1131310113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32109 13073 16 0 209570 0
vsize: 838344
[startup+460.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 44310 56 0 0 25 0 11 0 540585886 858464256 32182 4294967295 134512640 134569956 3221224400 3221214584 1131546910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32182 13073 16 0 209570 0
vsize: 838344
[startup+470.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 45306 56 0 0 25 0 11 0 540585886 858464256 32230 4294967295 134512640 134569956 3221224400 3221214688 1131599387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32230 13073 16 0 209570 0
vsize: 838344
[startup+480.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 46303 56 0 0 25 0 11 0 540585886 858464256 32230 4294967295 134512640 134569956 3221224400 3221214688 1131599423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32230 13073 16 0 209570 0
vsize: 838344
[startup+490.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 47301 56 0 0 25 0 11 0 540585886 858464256 32235 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32235 13073 16 0 209570 0
vsize: 838344
[startup+500.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 48298 56 0 0 22 0 11 0 540585886 858464256 32279 4294967295 134512640 134569956 3221224400 3221214520 1131304950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32279 13073 16 0 209570 0
vsize: 838344
[startup+510.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 49297 56 0 0 25 0 11 0 540585886 858464256 32279 4294967295 134512640 134569956 3221224400 3221214520 1131304787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32279 13073 16 0 209570 0
vsize: 838344
[startup+520.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 50296 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+530.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 51294 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214584 1131546531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+540.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 52293 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214616 1131285293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+550.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 53291 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214688 1131604338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+560.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 54289 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214688 1131604503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+570.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 55288 56 0 0 25 0 11 0 540585886 858464256 32281 4294967295 134512640 134569956 3221224400 3221214688 1131599387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32281 13073 16 0 209570 0
vsize: 838344
[startup+580.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 56286 56 0 0 25 0 11 0 540585886 858464256 32289 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32289 13073 16 0 209570 0
vsize: 838344
[startup+590.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 57285 57 0 0 25 0 11 0 540585886 858464256 32289 4294967295 134512640 134569956 3221224400 3221214584 1131546478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32289 13073 16 0 209570 0
vsize: 838344
[startup+600.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 58284 57 0 0 25 0 11 0 540585886 858464256 32289 4294967295 134512640 134569956 3221224400 3221214884 1131285314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32289 13073 16 0 209570 0
vsize: 838344
[startup+610.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 59282 57 0 0 25 0 11 0 540585886 858464256 32289 4294967295 134512640 134569956 3221224400 3221214584 1131546843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32289 13073 16 0 209570 0
vsize: 838344
[startup+620.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 60280 57 0 0 25 0 11 0 540585886 858464256 32289 4294967295 134512640 134569956 3221224400 3221214688 1131599407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32289 13073 16 0 209570 0
vsize: 838344
[startup+630.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 61278 57 0 0 25 0 11 0 540585886 858464256 32296 4294967295 134512640 134569956 3221224400 3221214520 1131304787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32296 13073 16 0 209570 0
vsize: 838344
[startup+640.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 62276 57 0 0 25 0 11 0 540585886 858464256 32297 4294967295 134512640 134569956 3221224400 3221214616 1131285255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32297 13073 16 0 209570 0
vsize: 838344
[startup+650.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 63275 57 0 0 25 0 11 0 540585886 858464256 32297 4294967295 134512640 134569956 3221224400 3221214584 1131548820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32297 13073 16 0 209570 0
vsize: 838344
[startup+660.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 64273 57 0 0 25 0 11 0 540585886 858464256 32297 4294967295 134512640 134569956 3221224400 3221214520 1131305050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32297 13073 16 0 209570 0
vsize: 838344
[startup+670.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 65272 57 0 0 25 0 11 0 540585886 858464256 32304 4294967295 134512640 134569956 3221224400 3221214520 1131305066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32304 13073 16 0 209570 0
vsize: 838344
[startup+680.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 66269 57 0 0 25 0 11 0 540585886 858464256 32304 4294967295 134512640 134569956 3221224400 3221214880 1131285281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32304 13073 16 0 209570 0
vsize: 838344
[startup+690.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 67266 57 0 0 25 0 11 0 540585886 858464256 32308 4294967295 134512640 134569956 3221224400 3221214688 1131599399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32308 13073 16 0 209570 0
vsize: 838344
[startup+700.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 68263 57 0 0 25 0 11 0 540585886 858464256 32308 4294967295 134512640 134569956 3221224400 3221214688 1131599393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32308 13073 16 0 209570 0
vsize: 838344
[startup+710.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 69262 57 0 0 25 0 11 0 540585886 858464256 32308 4294967295 134512640 134569956 3221224400 3221214584 1131547988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32308 13073 16 0 209570 0
vsize: 838344
[startup+720.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 70260 57 0 0 25 0 11 0 540585886 858464256 32311 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32311 13073 16 0 209570 0
vsize: 838344
[startup+730.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 71257 57 0 0 25 0 11 0 540585886 858464256 32311 4294967295 134512640 134569956 3221224400 3221214624 1131267342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32311 13073 16 0 209570 0
vsize: 838344
[startup+740.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 72255 57 0 0 25 0 11 0 540585886 858464256 32311 4294967295 134512640 134569956 3221224400 3221214688 1131599372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32311 13073 16 0 209570 0
vsize: 838344
[startup+750.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 73252 57 0 0 25 0 11 0 540585886 858464256 32322 4294967295 134512640 134569956 3221224400 3221214688 1131604323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32322 13073 16 0 209570 0
vsize: 838344
[startup+760.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 74250 57 0 0 25 0 11 0 540585886 858464256 32323 4294967295 134512640 134569956 3221224400 3221214624 1131267335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32323 13073 16 0 209570 0
vsize: 838344
[startup+770.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 75247 57 0 0 25 0 11 0 540585886 858464256 32323 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32323 13073 16 0 209570 0
vsize: 838344
[startup+780.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 76244 57 0 0 25 0 11 0 540585886 858464256 32323 4294967295 134512640 134569956 3221224400 3221214584 1131546475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209586 32323 13073 16 0 209570 0
vsize: 838344
[startup+790.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 77240 57 0 0 25 0 11 0 540585886 858464256 32323 4294967295 134512640 134569956 3221224400 3221214688 1131599396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32323 13073 16 0 209570 0
vsize: 838344
[startup+800.171 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 78237 58 0 0 25 0 11 0 540585886 858464256 32323 4294967295 134512640 134569956 3221224400 3221214688 1131599419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32323 13073 16 0 209570 0
vsize: 838344
[startup+810.171 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 79233 58 0 0 25 0 11 0 540585886 858464256 32342 4294967295 134512640 134569956 3221224400 3221214664 1131448441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32342 13073 16 0 209570 0
vsize: 838344
[startup+820.172 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 80231 58 0 0 25 0 11 0 540585886 858464256 32347 4294967295 134512640 134569956 3221224400 3221214688 1131599360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32347 13073 16 0 209570 0
vsize: 838344
[startup+830.172 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 81228 58 0 0 25 0 11 0 540585886 858464256 32347 4294967295 134512640 134569956 3221224400 3221214520 1131305050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32347 13073 16 0 209570 0
vsize: 838344
[startup+840.173 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 82224 58 0 0 25 0 11 0 540585886 858464256 32347 4294967295 134512640 134569956 3221224400 3221214624 1131267342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32347 13073 16 0 209570 0
vsize: 838344
[startup+850.173 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 83222 58 0 0 25 0 11 0 540585886 858464256 32347 4294967295 134512640 134569956 3221224400 3221214688 1131604485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32347 13073 16 0 209570 0
vsize: 838344
[startup+860.173 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 84219 58 0 0 25 0 11 0 540585886 858464256 32371 4294967295 134512640 134569956 3221224400 3221214520 1131304723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32371 13073 16 0 209570 0
vsize: 838344
[startup+870.173 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 85216 58 0 0 25 0 11 0 540585886 858464256 32371 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32371 13073 16 0 209570 0
vsize: 838344
[startup+880.173 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 86214 58 0 0 25 0 11 0 540585886 858464256 32391 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32391 13073 16 0 209570 0
vsize: 838344
[startup+890.174 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 87212 58 0 0 25 0 11 0 540585886 858464256 32391 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32391 13073 16 0 209570 0
vsize: 838344
[startup+900.276 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 88220 58 0 0 25 0 11 0 540585886 858464256 32391 4294967295 134512640 134569956 3221224400 3221214520 1131304872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32391 13073 16 0 209570 0
vsize: 838344
[startup+910.276 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 89218 58 0 0 25 0 11 0 540585886 858464256 32391 4294967295 134512640 134569956 3221224400 3221214688 1131599372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32391 13073 16 0 209570 0
vsize: 838344
[startup+920.284 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 90217 58 0 0 25 0 11 0 540585886 858464256 32396 4294967295 134512640 134569956 3221224400 3221214584 1131546910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32396 13073 16 0 209570 0
vsize: 838344
[startup+930.284 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 91214 58 0 0 25 0 11 0 540585886 858464256 32407 4294967295 134512640 134569956 3221224400 3221214584 1131546910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32407 13073 16 0 209570 0
vsize: 838344
[startup+940.284 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 92210 58 0 0 25 0 11 0 540585886 858464256 32407 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32407 13073 16 0 209570 0
vsize: 838344
[startup+950.284 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 93208 58 0 0 25 0 11 0 540585886 858464256 32407 4294967295 134512640 134569956 3221224400 3221214664 1131448481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32407 13073 16 0 209570 0
vsize: 838344
[startup+960.284 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 94204 58 0 0 25 0 11 0 540585886 858464256 32407 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32407 13073 16 0 209570 0
vsize: 838344
[startup+970.293 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 95200 58 0 0 25 0 11 0 540585886 858464256 32417 4294967295 134512640 134569956 3221224400 3221214688 1131599387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32417 13073 16 0 209570 0
vsize: 838344
[startup+980.293 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 96195 58 0 0 25 0 11 0 540585886 858464256 32417 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32417 13073 16 0 209570 0
vsize: 838344
[startup+990.294 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 97192 58 0 0 25 0 11 0 540585886 858464256 32417 4294967295 134512640 134569956 3221224400 3221214520 1131304655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32417 13073 16 0 209570 0
vsize: 838344
[startup+1000.29 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 98188 58 0 0 25 0 11 0 540585886 858464256 32417 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32417 13073 16 0 209570 0
vsize: 838344
[startup+1010.29 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 99184 59 0 0 25 0 11 0 540585886 858464256 32460 4294967295 134512640 134569956 3221224400 3221214584 1131547992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32460 13073 16 0 209570 0
vsize: 838344
[startup+1020.3 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 100181 59 0 0 25 0 11 0 540585886 858464256 32465 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32465 13073 16 0 209570 0
vsize: 838344
[startup+1030.3 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 101178 59 0 0 25 0 11 0 540585886 858464256 32465 4294967295 134512640 134569956 3221224400 3221214688 1131599372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32465 13073 16 0 209570 0
vsize: 838344
[startup+1040.3 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 102174 59 0 0 25 0 11 0 540585886 858464256 32475 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32475 13073 16 0 209570 0
vsize: 838344
[startup+1050.3 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 103171 59 0 0 25 0 11 0 540585886 858464256 32494 4294967295 134512640 134569956 3221224400 3221214688 1131599393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32494 13073 16 0 209570 0
vsize: 838344
[startup+1060.3 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 104169 59 0 0 25 0 11 0 540585886 858464256 32499 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32499 13073 16 0 209570 0
vsize: 838344
[startup+1070.3 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 105166 59 0 0 25 0 11 0 540585886 858464256 32499 4294967295 134512640 134569956 3221224400 3221214688 1131604323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32499 13073 16 0 209570 0
vsize: 838344
[startup+1080.3 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 106164 59 0 0 25 0 11 0 540585886 858464256 32499 4294967295 134512640 134569956 3221224400 3221214688 1131599360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32499 13073 16 0 209570 0
vsize: 838344
[startup+1090.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 107162 59 0 0 25 0 11 0 540585886 858464256 32499 4294967295 134512640 134569956 3221224400 3221214888 1131384344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32499 13073 16 0 209570 0
vsize: 838344
[startup+1100.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 108158 59 0 0 25 0 11 0 540585886 858464256 32523 4294967295 134512640 134569956 3221224400 3221214688 1131599393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32523 13073 16 0 209570 0
vsize: 838344
[startup+1110.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 109157 59 0 0 25 0 11 0 540585886 858464256 32523 4294967295 134512640 134569956 3221224400 3221214520 1131304737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32523 13073 16 0 209570 0
vsize: 838344
[startup+1120.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 110154 59 0 0 25 0 11 0 540585886 858464256 32523 4294967295 134512640 134569956 3221224400 3221214688 1131604472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32523 13073 16 0 209570 0
vsize: 838344
[startup+1130.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 111152 59 0 0 25 0 11 0 540585886 858464256 32523 4294967295 134512640 134569956 3221224400 3221214744 1131458063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32523 13073 16 0 209570 0
vsize: 838344
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 112150 59 0 0 25 0 11 0 540585886 858464256 32523 4294967295 134512640 134569956 3221224400 3221214688 1131599387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32523 13073 16 0 209570 0
vsize: 838344
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 113148 59 0 0 25 0 11 0 540585886 858464256 32528 4294967295 134512640 134569956 3221224400 3221214688 1131599393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32528 13073 16 0 209570 0
vsize: 838344
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 114146 59 0 0 25 0 11 0 540585886 858464256 32529 4294967295 134512640 134569956 3221224400 3221214688 1131599376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32529 13073 16 0 209570 0
vsize: 838344
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 115142 59 0 0 25 0 11 0 540585886 858464256 32529 4294967295 134512640 134569956 3221224400 3221214584 1131548081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32529 13073 16 0 209570 0
vsize: 838344
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 116138 59 0 0 25 0 11 0 540585886 858464256 32536 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32536 13073 16 0 209570 0
vsize: 838344
[startup+1190.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 117135 59 0 0 25 0 11 0 540585886 858464256 32536 4294967295 134512640 134569956 3221224400 3221214688 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32536 13073 16 0 209570 0
vsize: 838344
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 118130 59 0 0 25 0 11 0 540585886 858464256 32541 4294967295 134512640 134569956 3221224400 3221214688 1131599399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32541 13073 16 0 209570 0
vsize: 838344
[startup+1210.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 119125 59 0 0 25 0 11 0 540585886 858464256 32541 4294967295 134512640 134569956 3221224400 3221214688 1131599385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32541 13073 16 0 209570 0
vsize: 838344
[startup+1220.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 8586
Raw data (stat): 8519 (java) R 8518 11931 11930 0 -1 0 18102 0 1 0 120122 59 0 0 25 0 11 0 540585886 858464256 32546 4294967295 134512640 134569956 3221224400 3221214648 1131419057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209586 32546 13073 16 0 209570 0
vsize: 838344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.42 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 8588
Raw data (stat): 8519 (java) Z 8518 11931 11930 0 -1 1036 18102 18976 1 0 120127 65 2830 44 25 0 1 0 540585886 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.41
CPU time (s): 1230.69
CPU user time (s): 1229.59
CPU system time (s): 1.10283
CPU usage (%): 100.842
Max. virtual memory (Kb): 840300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####