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-ic97.opb
MD5SUMa763f1a89c66e69c15e96e7ec1ddc143
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(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 32392558579027
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables10959
Total number of constraints10724
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10588
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint9774

Trace number 13958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-20 22:27:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19977 boxname=wulflinc25 idbench=1537 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a763f1a89c66e69c15e96e7ec1ddc143  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-blp-ic97.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-blp-ic97.opb
IDLAUNCH: 19977
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        752092 kB
Buffers:          7964 kB
Cached:         254172 kB
SwapCached:        820 kB
Active:          42712 kB
Inactive:       221504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751840 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            12692 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:48:13 (client local time) WITH STATUS 143 IN 1240.57 SECONDS
stats: 19977 7 1240.57 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-blp-ic97.opb
c reading problem 
c [nbvar=10959]
c [nbconstr=10724]
c time 56.646
c #vars     10959
c #clauses  1059
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.89 0.94 0.91 1/54 23397
Raw data (stat): 23397 (runsolver) D 23396 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 540046235 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 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): 1.06 0.98 0.92 2/63 23406
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 17991 0 1 0 871 42 0 0 25 0 10 0 540046235 854761472 19577 4294967295 134512640 134569956 3221224400 3221214632 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208682 19577 13073 16 0 208666 0
vsize: 834728
[startup+20.0003 s]
Raw data (loadavg): 1.05 0.98 0.92 2/63 23406
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 17991 0 1 0 1793 42 0 0 25 0 10 0 540046235 854761472 19914 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208682 19914 13073 16 0 208666 0
vsize: 834728
[startup+30.0013 s]
Raw data (loadavg): 1.04 0.98 0.92 2/63 23406
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 17991 0 1 0 2697 43 0 0 25 0 10 0 540046235 854761472 20409 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208682 20409 13073 16 0 208666 0
vsize: 834728
[startup+40.0019 s]
Raw data (loadavg): 1.03 0.98 0.92 2/63 23406
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 17991 0 1 0 3628 43 0 0 25 0 10 0 540046235 854761472 20645 4294967295 134512640 134569956 3221224400 3221214496 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208682 20645 13073 16 0 208666 0
vsize: 834728
[startup+50.0021 s]
Raw data (loadavg): 1.03 0.98 0.92 2/63 23406
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 17992 0 1 0 4503 45 0 0 25 0 10 0 540046235 854761472 24210 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208682 24210 13073 16 0 208666 0
vsize: 834728
[startup+60.0021 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18022 0 1 0 5391 47 0 0 25 0 11 0 540046235 855916544 25940 4294967295 134512640 134569956 3221224400 3221214752 1131372367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208964 25940 13073 16 0 208948 0
vsize: 835856
[startup+70.0016 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18023 0 1 0 6305 48 0 0 25 0 11 0 540046235 855289856 26034 4294967295 134512640 134569956 3221224400 3221214680 1131316531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208811 26034 13073 16 0 208795 0
vsize: 835244
[startup+80.0023 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 7156 48 0 0 25 0 11 0 540046235 857714688 26633 4294967295 134512640 134569956 3221224400 3221214776 1131372212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 26633 13073 16 0 209387 0
vsize: 837612
[startup+90.002 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 8070 48 0 0 23 0 11 0 540046235 857714688 26633 4294967295 134512640 134569956 3221224400 3221214728 1131266420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 26633 13073 16 0 209387 0
vsize: 837612
[startup+100.003 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 8991 48 0 0 25 0 11 0 540046235 857714688 27390 4294967295 134512640 134569956 3221224400 3221214776 1131372212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27390 13073 16 0 209387 0
vsize: 837612
[startup+110.003 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 9974 49 0 0 25 0 11 0 540046235 857714688 27420 4294967295 134512640 134569956 3221224400 3221214680 1131317278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27420 13073 16 0 209387 0
vsize: 837612
[startup+120.004 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 10958 49 0 0 24 0 11 0 540046235 857714688 27430 4294967295 134512640 134569956 3221224400 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27430 13073 16 0 209387 0
vsize: 837612
[startup+130.004 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 11942 49 0 0 25 0 11 0 540046235 857714688 27469 4294967295 134512640 134569956 3221224400 3221214776 1131370335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27469 13073 16 0 209387 0
vsize: 837612
[startup+140.004 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 12928 49 0 0 25 0 11 0 540046235 857714688 27478 4294967295 134512640 134569956 3221224400 3221214776 1131372056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27478 13073 16 0 209387 0
vsize: 837612
[startup+150.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18066 0 2 0 13913 49 0 0 25 0 11 0 540046235 857714688 27505 4294967295 134512640 134569956 3221224400 3221214776 1131372212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27505 13073 16 0 209387 0
vsize: 837612
[startup+160.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 14896 49 0 0 25 0 11 0 540046235 857714688 27518 4294967295 134512640 134569956 3221224400 3221214776 1131372212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27518 13073 16 0 209387 0
vsize: 837612
[startup+170.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 15880 50 0 0 25 0 11 0 540046235 857714688 27526 4294967295 134512640 134569956 3221224400 3221214776 1131371884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27526 13073 16 0 209387 0
vsize: 837612
[startup+180.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 16861 50 0 0 25 0 11 0 540046235 857714688 27549 4294967295 134512640 134569956 3221224400 3221214632 1131312631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27549 13073 16 0 209387 0
vsize: 837612
[startup+190.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 17841 50 0 0 25 0 11 0 540046235 857714688 27585 4294967295 134512640 134569956 3221224400 3221214776 1131372212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27585 13073 16 0 209387 0
vsize: 837612
[startup+200.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 18825 50 0 0 25 0 11 0 540046235 857714688 27610 4294967295 134512640 134569956 3221224400 3221214728 1131445538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209403 27610 13073 16 0 209387 0
vsize: 837612
[startup+210.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 19787 50 0 0 25 0 11 0 540046235 857714688 27630 4294967295 134512640 134569956 3221224400 3221214660 1080203737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209403 27630 13073 16 0 209387 0
vsize: 837612
[startup+220.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 20743 50 0 0 25 0 11 0 540046235 857714688 27660 4294967295 134512640 134569956 3221224400 3221214672 1131500674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27660 13073 16 0 209387 0
vsize: 837612
[startup+230.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) S 23396 28099 28098 0 -1 0 18067 0 2 0 21660 51 0 0 25 0 11 0 540046235 857714688 27682 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27682 13073 16 0 209387 0
vsize: 837612
[startup+240.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 22623 51 0 0 25 0 11 0 540046235 857714688 27690 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209403 27690 13073 16 0 209387 0
vsize: 837612
[startup+250.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18067 0 2 0 23581 51 0 0 25 0 11 0 540046235 857714688 27709 4294967295 134512640 134569956 3221224400 3221214664 1131563625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27709 13073 16 0 209387 0
vsize: 837612
[startup+260.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 24540 51 0 0 25 0 11 0 540046235 857714688 27718 4294967295 134512640 134569956 3221224400 3221214672 1131513200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 27718 13073 16 0 209387 0
vsize: 837612
[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 25503 52 0 0 25 0 11 0 540046235 857714688 28083 4294967295 134512640 134569956 3221224400 3221214672 1131513341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 28083 13073 16 0 209387 0
vsize: 837612
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 26489 52 0 0 25 0 11 0 540046235 857714688 28229 4294967295 134512640 134569956 3221224400 3221214664 1131563594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 28229 13073 16 0 209387 0
vsize: 837612
[startup+290.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 27472 52 0 0 25 0 11 0 540046235 857714688 28310 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209403 28310 13073 16 0 209387 0
vsize: 837612
[startup+300.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 28454 52 0 0 25 0 11 0 540046235 857714688 28473 4294967295 134512640 134569956 3221224400 3221214664 1131539427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209403 28473 13073 16 0 209387 0
vsize: 837612
[startup+310.011 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 29443 53 0 0 25 0 11 0 540046235 861908992 29416 4294967295 134512640 134569956 3221224400 3221214672 1131513203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210427 29416 13073 16 0 210411 0
vsize: 841708
[startup+320.012 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 30428 53 0 0 25 0 11 0 540046235 861908992 29416 4294967295 134512640 134569956 3221224400 3221214568 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210427 29416 13073 16 0 210411 0
vsize: 841708
[startup+330.012 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 31421 53 0 0 25 0 11 0 540046235 860860416 29277 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29277 13073 16 0 210155 0
vsize: 840684
[startup+340.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 32417 53 0 0 25 0 11 0 540046235 860860416 29335 4294967295 134512640 134569956 3221224400 3221214664 1131563921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29335 13073 16 0 210155 0
vsize: 840684
[startup+350.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 33406 53 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214768 1131634316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+360.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 34401 53 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131564079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+370.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 35397 53 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+380.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 36394 54 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214760 1131637474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+390.021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 37391 54 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214760 1131637344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+400.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 38387 54 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+410.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 39382 55 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214760 1131637347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+420.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 40378 55 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214768 1131634316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+430.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 41374 55 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131564061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+440.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 42369 55 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 43366 56 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214592 1131530891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 44358 56 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214760 1131637347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 45350 56 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214760 1131637459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 46342 57 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 47333 57 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 48326 57 0 0 25 0 11 0 540046235 860860416 29339 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29339 13073 16 0 210155 0
vsize: 840684
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 49319 57 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131284981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 50318 57 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131564838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 51307 58 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 52296 58 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131285211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 53285 58 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131564013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 54275 59 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131284771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 55264 59 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 56255 59 0 0 25 0 11 0 540046235 860860416 29456 4294967295 134512640 134569956 3221224400 3221214768 1131634352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29456 13073 16 0 210155 0
vsize: 840684
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 57248 59 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214728 1131445547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 58235 60 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214664 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 59222 60 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 60210 60 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214664 1131563210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 61200 61 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214664 1131565599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 62189 61 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 63173 61 0 0 24 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214744 1131362337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 64161 61 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214744 1131362353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 65149 62 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214760 1131637395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 66137 62 0 0 25 0 11 0 540046235 860860416 29618 4294967295 134512640 134569956 3221224400 3221214768 1131634323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29618 13073 16 0 210155 0
vsize: 840684
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 67132 62 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214744 1131466993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 68128 62 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131564713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 69124 63 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 70122 63 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131563687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 71118 63 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 72111 63 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214768 1131634327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 73106 63 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131566909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 74102 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214768 1131634327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 75099 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131563909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 76095 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 77086 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214768 1131634319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 78069 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131564149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 79048 64 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214768 1131634316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 80031 65 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214760 1131637344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 81011 65 0 0 25 0 11 0 540046235 860860416 29813 4294967295 134512640 134569956 3221224400 3221214664 1131564810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29813 13073 16 0 210155 0
vsize: 840684
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 81996 65 0 0 25 0 11 0 540046235 860860416 29844 4294967295 134512640 134569956 3221224400 3221214664 1131564124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 29844 13073 16 0 210155 0
vsize: 840684
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 82986 65 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214664 1131564034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 83985 66 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214672 1131284981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) S 23396 28099 28098 0 -1 0 18068 0 2 0 84973 66 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 85962 66 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214672 1131284962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 86952 66 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214672 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 87944 67 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214672 1131284968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 88935 67 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214756 1131285698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 89926 67 0 0 25 0 11 0 540046235 860860416 30057 4294967295 134512640 134569956 3221224400 3221214672 1131285169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30057 13073 16 0 210155 0
vsize: 840684
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 90917 68 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 91908 68 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 92900 68 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 93890 68 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214768 1131634316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 94881 68 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 95875 69 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 96867 69 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131564886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 97852 69 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214672 1131284872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 98826 70 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214760 1131637347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 99801 70 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 100779 70 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131564814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 101758 71 0 0 25 0 11 0 540046235 860860416 30220 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30220 13073 16 0 210155 0
vsize: 840684
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 102736 71 0 0 25 0 11 0 540046235 860860416 30408 4294967295 134512640 134569956 3221224400 3221214672 1131285119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30408 13073 16 0 210155 0
vsize: 840684
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 103726 71 0 0 25 0 11 0 540046235 860860416 30408 4294967295 134512640 134569956 3221224400 3221214672 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30408 13073 16 0 210155 0
vsize: 840684
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 104720 72 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214672 1131285129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 105714 72 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 106704 72 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214768 1131634319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 107694 72 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 108686 73 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214672 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 109676 73 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214768 1131634421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 110668 73 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214672 1131284824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 111660 73 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214768 1131634352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 112654 73 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 113648 74 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131564719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 114639 74 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131564980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 115632 75 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 116626 75 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 117620 75 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214768 1131634316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 118614 75 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214760 1131637395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 119610 76 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214664 1131563244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 23407
Raw data (stat): 23397 (java) R 23396 28099 28098 0 -1 0 18068 0 2 0 120602 76 0 0 25 0 11 0 540046235 860860416 30570 4294967295 134512640 134569956 3221224400 3221214728 1131445546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210171 30570 13073 16 0 210155 0
vsize: 840684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 23409
Raw data (stat): 23397 (java) Z 23396 28099 28098 0 -1 1036 18068 16492 2 0 120606 81 3325 43 25 0 1 0 540046235 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1240.57
CPU user time (s): 1239.32
CPU system time (s): 1.25381
CPU usage (%): 100.845
Max. virtual memory (Kb): 841708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####