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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUM4ca22bc512e0c22cb7d573f87d47eeef
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1073741823
Optimality of the best value was proved NO
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1262.34
Number of variables13806
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint390

Trace number 13666

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-20 21:19:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14413 boxname=wulflinc31 idbench=1109 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4ca22bc512e0c22cb7d573f87d47eeef  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-bienst1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-bienst1.opb
IDLAUNCH: 14413
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        552676 kB
Buffers:         31768 kB
Cached:         413316 kB
SwapCached:        588 kB
Active:          33904 kB
Inactive:       413200 kB
HighTotal:      131008 kB
HighFree:        18312 kB
LowTotal:       903652 kB
LowFree:        534364 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            29128 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 21:39:53 (client local time) WITH STATUS 143 IN 1252.21 SECONDS
stats: 14413 7 1252.21 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-bienst1.opb
c reading problem 
c [nbvar=13806]
c [nbconstr=632]
c time 59.509
c #vars     13806
c #clauses  732
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.91 0.95 0.90 2/54 14232
Raw data (stat): 14232 (runsolver) R 14231 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539610736 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.0029 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18002 0 1 0 813 39 0 0 23 0 10 0 539610736 857014272 20335 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209232 20335 13073 16 0 209216 0
vsize: 836928
[startup+20.0113 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18002 0 1 0 1678 39 0 0 19 0 10 0 539610736 855441408 20798 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 20798 13073 16 0 208832 0
vsize: 835392
[startup+30.0229 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18002 0 1 0 2530 39 0 0 18 0 10 0 539610736 855441408 21155 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 21155 13073 16 0 208832 0
vsize: 835392
[startup+40.0337 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18002 0 1 0 3413 39 0 0 19 0 10 0 539610736 855441408 21544 4294967295 134512640 134569956 3221224400 3221214840 1131297032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 21544 13073 16 0 208832 0
vsize: 835392
[startup+50.0452 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18002 0 1 0 4313 39 0 0 18 0 10 0 539610736 855441408 21805 4294967295 134512640 134569956 3221224400 3221214840 1131296001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 21805 13073 16 0 208832 0
vsize: 835392
[startup+60.0485 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 14241
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18002 0 1 0 5224 40 0 0 25 0 10 0 539610736 855441408 21982 4294967295 134512640 134569956 3221224400 3221214388 1131210803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 21982 13073 16 0 208832 0
vsize: 835392
[startup+70.0512 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18040 0 1 0 6168 40 0 0 25 0 11 0 539610736 855969792 23731 4294967295 134512640 134569956 3221224400 3221214776 1131331402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208977 23731 13073 16 0 208961 0
vsize: 835908
[startup+80.0532 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18078 0 1 0 7082 40 0 0 25 0 11 0 539610736 860147712 24805 4294967295 134512640 134569956 3221224400 3221214752 1131271612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209997 24805 13073 16 0 209981 0
vsize: 839988
[startup+90.0616 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18079 0 1 0 8076 41 0 0 25 0 11 0 539610736 858996736 24546 4294967295 134512640 134569956 3221224400 3221214696 1131245451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209716 24546 13073 16 0 209700 0
vsize: 838864
[startup+100.068 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18079 0 1 0 9071 41 0 0 25 0 11 0 539610736 858996736 24551 4294967295 134512640 134569956 3221224400 3221214848 1131358944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24551 13073 16 0 209700 0
vsize: 838864
[startup+110.076 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18080 0 1 0 10066 41 0 0 25 0 11 0 539610736 858996736 24559 4294967295 134512640 134569956 3221224400 3221214848 1131359209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24559 13073 16 0 209700 0
vsize: 838864
[startup+120.077 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18080 0 1 0 11060 41 0 0 25 0 11 0 539610736 858996736 24579 4294967295 134512640 134569956 3221224400 3221214848 1131359363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24579 13073 16 0 209700 0
vsize: 838864
[startup+130.085 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18086 0 1 0 12023 41 0 0 25 0 11 0 539610736 858996736 24614 4294967295 134512640 134569956 3221224400 3221214680 1131272477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24614 13073 16 0 209700 0
vsize: 838864
[startup+140.086 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 13008 41 0 0 24 0 11 0 539610736 858996736 24626 4294967295 134512640 134569956 3221224400 3221214776 1131330316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24626 13073 16 0 209700 0
vsize: 838864
[startup+150.092 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 13994 41 0 0 25 0 11 0 539610736 858996736 24628 4294967295 134512640 134569956 3221224400 3221214776 1131331358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24628 13073 16 0 209700 0
vsize: 838864
[startup+160.095 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 14983 41 0 0 20 0 11 0 539610736 858996736 24650 4294967295 134512640 134569956 3221224400 3221214680 1131271612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24650 13073 16 0 209700 0
vsize: 838864
[startup+170.096 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 15972 41 0 0 24 0 11 0 539610736 858996736 24665 4294967295 134512640 134569956 3221224400 3221214680 1131271657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24665 13073 16 0 209700 0
vsize: 838864
[startup+180.097 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 16964 41 0 0 25 0 11 0 539610736 858996736 24681 4294967295 134512640 134569956 3221224400 3221214608 1131462760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24681 13073 16 0 209700 0
vsize: 838864
[startup+190.098 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 17954 41 0 0 25 0 11 0 539610736 858996736 24699 4294967295 134512640 134569956 3221224400 3221214680 1131272503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24699 13073 16 0 209700 0
vsize: 838864
[startup+200.098 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 18936 41 0 0 25 0 11 0 539610736 858996736 24726 4294967295 134512640 134569956 3221224400 3221214608 1131462768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209716 24726 13073 16 0 209700 0
vsize: 838864
[startup+210.099 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 19912 42 0 0 25 0 11 0 539610736 858996736 24746 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24746 13073 16 0 209700 0
vsize: 838864
[startup+220.099 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 20879 42 0 0 25 0 11 0 539610736 858996736 24774 4294967295 134512640 134569956 3221224400 3221214680 1131271931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24774 13073 16 0 209700 0
vsize: 838864
[startup+230.103 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18087 0 1 0 21843 42 0 0 25 0 11 0 539610736 858996736 24822 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24822 13073 16 0 209700 0
vsize: 838864
[startup+240.111 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 22806 42 0 0 25 0 11 0 539610736 858996736 24885 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 24885 13073 16 0 209700 0
vsize: 838864
[startup+250.116 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 23794 42 0 0 25 0 11 0 539610736 858996736 25034 4294967295 134512640 134569956 3221224400 3221214520 1131232257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25034 13073 16 0 209700 0
vsize: 838864
[startup+260.117 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 24784 42 0 0 25 0 11 0 539610736 858996736 25143 4294967295 134512640 134569956 3221224400 3221214624 1131593941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25143 13073 16 0 209700 0
vsize: 838864
[startup+270.118 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 25773 42 0 0 25 0 11 0 539610736 858996736 25174 4294967295 134512640 134569956 3221224400 3221214520 1131231263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25174 13073 16 0 209700 0
vsize: 838864
[startup+280.118 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18087 0 1 0 26751 42 0 0 25 0 11 0 539610736 858996736 25185 4294967295 134512640 134569956 3221224400 3221214772 1131271212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25185 13073 16 0 209700 0
vsize: 838864
[startup+290.129 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 27708 42 0 0 25 0 11 0 539610736 858996736 25223 4294967295 134512640 134569956 3221224400 3221214680 1131272538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25223 13073 16 0 209700 0
vsize: 838864
[startup+300.137 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 28683 42 0 0 25 0 11 0 539610736 858996736 25236 4294967295 134512640 134569956 3221224400 3221214704 1131622861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25236 13073 16 0 209700 0
vsize: 838864
[startup+310.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 29669 43 0 0 25 0 11 0 539610736 858996736 25287 4294967295 134512640 134569956 3221224400 3221214520 1131231445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25287 13073 16 0 209700 0
vsize: 838864
[startup+320.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 30656 43 0 0 25 0 11 0 539610736 858996736 25366 4294967295 134512640 134569956 3221224400 3221214600 1131552576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25366 13073 16 0 209700 0
vsize: 838864
[startup+330.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 31645 43 0 0 25 0 11 0 539610736 858996736 25422 4294967295 134512640 134569956 3221224400 3221214600 1131551596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25422 13073 16 0 209700 0
vsize: 838864
[startup+340.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 32629 43 0 0 25 0 11 0 539610736 858996736 25525 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25525 13073 16 0 209700 0
vsize: 838864
[startup+350.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 33612 43 0 0 25 0 11 0 539610736 858996736 25591 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25591 13073 16 0 209700 0
vsize: 838864
[startup+360.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 34601 43 0 0 25 0 11 0 539610736 858996736 25595 4294967295 134512640 134569956 3221224400 3221214704 1131622767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25595 13073 16 0 209700 0
vsize: 838864
[startup+370.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 35581 43 0 0 25 0 11 0 539610736 858996736 25604 4294967295 134512640 134569956 3221224400 3221214704 1131622883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25604 13073 16 0 209700 0
vsize: 838864
[startup+380.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 36559 43 0 0 25 0 11 0 539610736 858996736 25608 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25608 13073 16 0 209700 0
vsize: 838864
[startup+390.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 37534 43 0 0 25 0 11 0 539610736 858996736 25622 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25622 13073 16 0 209700 0
vsize: 838864
[startup+400.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 38509 43 0 0 25 0 11 0 539610736 858996736 25637 4294967295 134512640 134569956 3221224400 3221214744 1131511126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25637 13073 16 0 209700 0
vsize: 838864
[startup+410.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 39480 43 0 0 25 0 11 0 539610736 858996736 25674 4294967295 134512640 134569956 3221224400 3221214704 1131622752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25674 13073 16 0 209700 0
vsize: 838864
[startup+420.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 40451 43 0 0 25 0 11 0 539610736 858996736 25757 4294967295 134512640 134569956 3221224400 3221214704 1131622767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25757 13073 16 0 209700 0
vsize: 838864
[startup+430.195 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 41396 43 0 0 25 0 11 0 539610736 858996736 25949 4294967295 134512640 134569956 3221224400 3221214616 1131276030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 25949 13073 16 0 209700 0
vsize: 838864
[startup+440.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18088 0 1 0 42365 43 0 0 25 0 11 0 539610736 858996736 26020 4294967295 134512640 134569956 3221224400 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26020 13073 16 0 209700 0
vsize: 838864
[startup+450.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 43343 43 0 0 25 0 11 0 539610736 858996736 26158 4294967295 134512640 134569956 3221224400 3221214664 1131619459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26158 13073 16 0 209700 0
vsize: 838864
[startup+460.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 44323 43 0 0 25 0 11 0 539610736 858996736 26248 4294967295 134512640 134569956 3221224400 3221214704 1131622861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26248 13073 16 0 209700 0
vsize: 838864
[startup+470.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 45305 43 0 0 25 0 11 0 539610736 858996736 26321 4294967295 134512640 134569956 3221224400 3221214616 1131276001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26321 13073 16 0 209700 0
vsize: 838864
[startup+480.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 46281 43 0 0 25 0 11 0 539610736 858996736 26445 4294967295 134512640 134569956 3221224400 3221214520 1131232499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26445 13073 16 0 209700 0
vsize: 838864
[startup+490.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 47265 44 0 0 25 0 11 0 539610736 858996736 26533 4294967295 134512640 134569956 3221224400 3221214708 1131397342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26533 13073 16 0 209700 0
vsize: 838864
[startup+500.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 48246 44 0 0 24 0 11 0 539610736 858996736 26663 4294967295 134512640 134569956 3221224400 3221214520 1131231393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26663 13073 16 0 209700 0
vsize: 838864
[startup+510.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 49234 44 0 0 25 0 11 0 539610736 858996736 26716 4294967295 134512640 134569956 3221224400 3221214744 1131511984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26716 13073 16 0 209700 0
vsize: 838864
[startup+520.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 50221 44 0 0 25 0 11 0 539610736 858996736 26722 4294967295 134512640 134569956 3221224400 3221214704 1131622865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26722 13073 16 0 209700 0
vsize: 838864
[startup+530.205 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 51204 44 0 0 24 0 11 0 539610736 858996736 26757 4294967295 134512640 134569956 3221224400 3221214616 1131276210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26757 13073 16 0 209700 0
vsize: 838864
[startup+540.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 52190 44 0 0 25 0 11 0 539610736 858996736 26788 4294967295 134512640 134569956 3221224400 3221214784 1131466888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26788 13073 16 0 209700 0
vsize: 838864
[startup+550.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 53177 44 0 0 25 0 11 0 539610736 858996736 26810 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26810 13073 16 0 209700 0
vsize: 838864
[startup+560.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 54157 44 0 0 25 0 11 0 539610736 858996736 26870 4294967295 134512640 134569956 3221224400 3221214520 1131232529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26870 13073 16 0 209700 0
vsize: 838864
[startup+570.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 55144 44 0 0 25 0 11 0 539610736 858996736 26912 4294967295 134512640 134569956 3221224400 3221214616 1131276025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26912 13073 16 0 209700 0
vsize: 838864
[startup+580.209 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 56130 44 0 0 25 0 11 0 539610736 858996736 26945 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 26945 13073 16 0 209700 0
vsize: 838864
[startup+590.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 57111 44 0 0 25 0 11 0 539610736 858996736 27000 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27000 13073 16 0 209700 0
vsize: 838864
[startup+600.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 58097 44 0 0 25 0 11 0 539610736 858996736 27038 4294967295 134512640 134569956 3221224400 3221214424 1076461217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27038 13073 16 0 209700 0
vsize: 838864
[startup+610.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 59082 44 0 0 25 0 11 0 539610736 858996736 27079 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27079 13073 16 0 209700 0
vsize: 838864
[startup+620.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 60062 44 0 0 25 0 11 0 539610736 858996736 27141 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27141 13073 16 0 209700 0
vsize: 838864
[startup+630.213 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 61047 44 0 0 25 0 11 0 539610736 858996736 27169 4294967295 134512640 134569956 3221224400 3221214520 1131231260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27169 13073 16 0 209700 0
vsize: 838864
[startup+640.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18088 0 1 0 62028 44 0 0 25 0 11 0 539610736 858996736 27198 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27198 13073 16 0 209700 0
vsize: 838864
[startup+650.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 63010 44 0 0 25 0 11 0 539610736 858996736 27252 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27252 13073 16 0 209700 0
vsize: 838864
[startup+660.218 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 63993 44 0 0 25 0 11 0 539610736 858996736 27283 4294967295 134512640 134569956 3221224400 3221214704 1131622752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27283 13073 16 0 209700 0
vsize: 838864
[startup+670.218 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 64970 44 0 0 25 0 11 0 539610736 858996736 27347 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27347 13073 16 0 209700 0
vsize: 838864
[startup+680.219 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 65952 44 0 0 25 0 11 0 539610736 858996736 27389 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27389 13073 16 0 209700 0
vsize: 838864
[startup+690.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 66934 44 0 0 25 0 11 0 539610736 858996736 27433 4294967295 134512640 134569956 3221224400 3221214520 1131579620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27433 13073 16 0 209700 0
vsize: 838864
[startup+700.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 67910 44 0 0 25 0 11 0 539610736 858996736 27512 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27512 13073 16 0 209700 0
vsize: 838864
[startup+710.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 68892 44 0 0 25 0 11 0 539610736 858996736 27545 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27545 13073 16 0 209700 0
vsize: 838864
[startup+720.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 69873 44 0 0 25 0 11 0 539610736 858996736 27590 4294967295 134512640 134569956 3221224400 3221214520 1131231563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27590 13073 16 0 209700 0
vsize: 838864
[startup+730.221 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 70845 44 0 0 25 0 11 0 539610736 858996736 27654 4294967295 134512640 134569956 3221224400 3221214760 1131276206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27654 13073 16 0 209700 0
vsize: 838864
[startup+740.221 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 71824 44 0 0 25 0 11 0 539610736 858996736 27717 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27717 13073 16 0 209700 0
vsize: 838864
[startup+750.222 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 72804 44 0 0 25 0 11 0 539610736 858996736 27772 4294967295 134512640 134569956 3221224400 3221214704 1131622767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27772 13073 16 0 209700 0
vsize: 838864
[startup+760.222 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 73777 44 0 0 25 0 11 0 539610736 858996736 27850 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27850 13073 16 0 209700 0
vsize: 838864
[startup+770.223 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 74743 44 0 0 25 0 11 0 539610736 858996736 27921 4294967295 134512640 134569956 3221224400 3221214704 1131622872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27921 13073 16 0 209700 0
vsize: 838864
[startup+780.224 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 75720 44 0 0 25 0 11 0 539610736 858996736 27980 4294967295 134512640 134569956 3221224400 3221214520 1131231410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 27980 13073 16 0 209700 0
vsize: 838864
[startup+790.225 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 76697 44 0 0 25 0 11 0 539610736 858996736 28022 4294967295 134512640 134569956 3221224400 3221214704 1131622752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28022 13073 16 0 209700 0
vsize: 838864
[startup+800.226 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 77665 44 0 0 25 0 11 0 539610736 858996736 28101 4294967295 134512640 134569956 3221224400 3221214600 1131550949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28101 13073 16 0 209700 0
vsize: 838864
[startup+810.227 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 78641 44 0 0 25 0 11 0 539610736 858996736 28149 4294967295 134512640 134569956 3221224400 3221214668 1131566419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28149 13073 16 0 209700 0
vsize: 838864
[startup+820.228 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 79616 44 0 0 25 0 11 0 539610736 858996736 28243 4294967295 134512640 134569956 3221224400 3221214608 1131271516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28243 13073 16 0 209700 0
vsize: 838864
[startup+830.228 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 80591 44 0 0 25 0 11 0 539610736 858996736 28306 4294967295 134512640 134569956 3221224400 3221214600 1131551564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28306 13073 16 0 209700 0
vsize: 838864
[startup+840.229 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 81558 44 0 0 25 0 11 0 539610736 858996736 28383 4294967295 134512640 134569956 3221224400 3221214600 1131550955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28383 13073 16 0 209700 0
vsize: 838864
[startup+850.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 82532 44 0 0 25 0 11 0 539610736 858996736 28464 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28464 13073 16 0 209700 0
vsize: 838864
[startup+860.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 83505 44 0 0 25 0 11 0 539610736 858996736 28474 4294967295 134512640 134569956 3221224400 3221214848 1131359369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28474 13073 16 0 209700 0
vsize: 838864
[startup+870.231 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 84476 44 0 0 25 0 11 0 539610736 858996736 28547 4294967295 134512640 134569956 3221224400 3221214704 1131622872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28547 13073 16 0 209700 0
vsize: 838864
[startup+880.232 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 85446 44 0 0 25 0 11 0 539610736 858996736 28671 4294967295 134512640 134569956 3221224400 3221214704 1131624314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28671 13073 16 0 209700 0
vsize: 838864
[startup+890.232 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 86417 45 0 0 24 0 11 0 539610736 858996736 28734 4294967295 134512640 134569956 3221224400 3221214520 1131231410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28734 13073 16 0 209700 0
vsize: 838864
[startup+900.233 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 87398 45 0 0 25 0 11 0 539610736 858996736 28791 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28791 13073 16 0 209700 0
vsize: 838864
[startup+910.233 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 88368 45 0 0 25 0 11 0 539610736 858996736 28858 4294967295 134512640 134569956 3221224400 3221214520 1131231651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 28858 13073 16 0 209700 0
vsize: 838864
[startup+920.234 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 89338 45 0 0 25 0 11 0 539610736 858996736 28933 4294967295 134512640 134569956 3221224400 3221214600 1131550891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209716 28933 13073 16 0 209700 0
vsize: 838864
[startup+930.234 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 90306 45 0 0 25 0 11 0 539610736 858996736 29014 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209716 29014 13073 16 0 209700 0
vsize: 838864
[startup+940.234 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 91265 45 0 0 25 0 11 0 539610736 859504640 29257 4294967295 134512640 134569956 3221224400 3221214584 1131443688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29257 13073 16 0 209824 0
vsize: 839360
[startup+950.235 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 92234 45 0 0 25 0 11 0 539610736 859504640 29333 4294967295 134512640 134569956 3221224400 3221214600 1131551700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29333 13073 16 0 209824 0
vsize: 839360
[startup+960.235 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 93203 46 0 0 25 0 11 0 539610736 859504640 29415 4294967295 134512640 134569956 3221224400 3221214704 1131622769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29415 13073 16 0 209824 0
vsize: 839360
[startup+970.235 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 94162 46 0 0 25 0 11 0 539610736 859504640 29558 4294967295 134512640 134569956 3221224400 3221214800 1131412064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29558 13073 16 0 209824 0
vsize: 839360
[startup+980.236 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 95132 47 0 0 25 0 11 0 539610736 859504640 29645 4294967295 134512640 134569956 3221224400 3221214600 1131551754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29645 13073 16 0 209824 0
vsize: 839360
[startup+990.236 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 96102 48 0 0 25 0 11 0 539610736 859504640 29739 4294967295 134512640 134569956 3221224400 3221214704 1131622861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29739 13073 16 0 209824 0
vsize: 839360
[startup+1000.24 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) S 14231 23176 23175 0 -1 0 18088 0 1 0 97071 48 0 0 25 0 11 0 539610736 859504640 29832 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29832 13073 16 0 209824 0
vsize: 839360
[startup+1010.24 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 98036 48 0 0 25 0 11 0 539610736 859504640 29934 4294967295 134512640 134569956 3221224400 3221214520 1131232216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 29934 13073 16 0 209824 0
vsize: 839360
[startup+1020.24 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 99009 49 0 0 25 0 11 0 539610736 859504640 30012 4294967295 134512640 134569956 3221224400 3221214480 1131392866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30012 13073 16 0 209824 0
vsize: 839360
[startup+1030.24 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 99981 49 0 0 25 0 11 0 539610736 859504640 30078 4294967295 134512640 134569956 3221224400 3221214680 1131541921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 30078 13073 16 0 209824 0
vsize: 839360
[startup+1040.24 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 100945 49 0 0 25 0 11 0 539610736 859504640 30200 4294967295 134512640 134569956 3221224400 3221214520 1131232161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30200 13073 16 0 209824 0
vsize: 839360
[startup+1050.24 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 101919 49 0 0 25 0 11 0 539610736 859504640 30282 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30282 13073 16 0 209824 0
vsize: 839360
[startup+1060.24 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 102893 49 0 0 25 0 11 0 539610736 859504640 30356 4294967295 134512640 134569956 3221224400 3221214704 1131622876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30356 13073 16 0 209824 0
vsize: 839360
[startup+1070.24 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 103869 50 0 0 25 0 11 0 539610736 859504640 30435 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30435 13073 16 0 209824 0
vsize: 839360
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 104837 50 0 0 25 0 11 0 539610736 859504640 30527 4294967295 134512640 134569956 3221224400 3221214776 1131330400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30527 13073 16 0 209824 0
vsize: 839360
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 105809 50 0 0 25 0 11 0 539610736 859504640 30632 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30632 13073 16 0 209824 0
vsize: 839360
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 106786 50 0 0 25 0 11 0 539610736 859504640 30703 4294967295 134512640 134569956 3221224400 3221214704 1131622752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30703 13073 16 0 209824 0
vsize: 839360
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 107757 51 0 0 25 0 11 0 539610736 859504640 30812 4294967295 134512640 134569956 3221224400 3221214640 1131232566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30812 13073 16 0 209824 0
vsize: 839360
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 108736 51 0 0 25 0 11 0 539610736 859504640 30885 4294967295 134512640 134569956 3221224400 3221214520 1131231294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30885 13073 16 0 209824 0
vsize: 839360
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 109708 51 0 0 25 0 11 0 539610736 859504640 30985 4294967295 134512640 134569956 3221224400 3221214704 1131622767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 30985 13073 16 0 209824 0
vsize: 839360
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 110687 51 0 0 25 0 11 0 539610736 859504640 31027 4294967295 134512640 134569956 3221224400 3221214704 1131622807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 31027 13073 16 0 209824 0
vsize: 839360
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 111665 51 0 0 25 0 11 0 539610736 859504640 31069 4294967295 134512640 134569956 3221224400 3221214704 1131622872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31069 13073 16 0 209824 0
vsize: 839360
[startup+1160.25 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 112635 52 0 0 25 0 11 0 539610736 859504640 31129 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31129 13073 16 0 209824 0
vsize: 839360
[startup+1170.25 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 113611 52 0 0 25 0 11 0 539610736 859504640 31171 4294967295 134512640 134569956 3221224400 3221214704 1131622861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31171 13073 16 0 209824 0
vsize: 839360
[startup+1180.25 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 114586 52 0 0 25 0 11 0 539610736 859504640 31188 4294967295 134512640 134569956 3221224400 3221214600 1131551702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31188 13073 16 0 209824 0
vsize: 839360
[startup+1190.25 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 115551 52 0 0 25 0 11 0 539610736 859504640 31291 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31291 13073 16 0 209824 0
vsize: 839360
[startup+1200.25 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 116524 53 0 0 25 0 11 0 539610736 859504640 31368 4294967295 134512640 134569956 3221224400 3221214520 1131231445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31368 13073 16 0 209824 0
vsize: 839360
[startup+1210.25 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 117497 53 0 0 25 0 11 0 539610736 859504640 31437 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31437 13073 16 0 209824 0
vsize: 839360
[startup+1220.25 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 118461 53 0 0 24 0 11 0 539610736 859504640 31521 4294967295 134512640 134569956 3221224400 3221214520 1131231430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31521 13073 16 0 209824 0
vsize: 839360
[startup+1230.25 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 119436 53 0 0 25 0 11 0 539610736 859504640 31587 4294967295 134512640 134569956 3221224400 3221214612 1131233335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31587 13073 16 0 209824 0
vsize: 839360
[startup+1240.25 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 14242
Raw data (stat): 14232 (java) R 14231 23176 23175 0 -1 0 18088 0 1 0 120410 53 0 0 25 0 11 0 539610736 859504640 31656 4294967295 134512640 134569956 3221224400 3221214704 1131622764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 31656 13073 16 0 209824 0
vsize: 839360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.35 s]
Raw data (loadavg): 1.02 1.01 0.94 1/54 14244
Raw data (stat): 14232 (java) Z 14231 23176 23175 0 -1 1036 18088 18806 1 0 120414 59 4700 46 25 0 1 0 539610736 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.35
CPU time (s): 1252.21
CPU user time (s): 1251.15
CPU system time (s): 1.05784
CPU usage (%): 100.956
Max. virtual memory (Kb): 839988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####