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/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM6ffc4ed72f4dd993b121ae0a2045731e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 9505
Biggest coefficient in the objective function 697303040
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 66656504525
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 697303040
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 66656504525
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.087986
Number of variables9535
Total number of constraints365
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint1
Maximum length of a constraint280

Trace number 15720

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 05:39:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16766 boxname=wulflinc18 idbench=1290 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 16766
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        375024 kB
Buffers:         35044 kB
Cached:         592956 kB
SwapCached:        388 kB
Active:         322980 kB
Inactive:       307508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        374772 kB
SwapTotal:     2097892 kB
SwapFree:      2096996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6224 kB
Slab:            23256 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:00:41 (client local time) WITH STATUS 143 IN 1237.69 SECONDS
stats: 16766 7 1237.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-dcmulti.opb
c reading problem 
c [nbvar=9535]
c [nbconstr=365]
c time 29.08
c #vars     9535
c #clauses  369
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.73 0.91 0.89 2/55 20471
Raw data (stat): 20471 (runsolver) R 20470 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542621266 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.77 0.91 0.89 2/64 20480
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 17980 0 1 0 882 40 0 0 24 0 10 0 542621266 853889024 19149 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 19149 13073 16 0 208453 0
vsize: 833876
[startup+20.0016 s]
Raw data (loadavg): 0.81 0.91 0.89 2/64 20480
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 17981 0 1 0 1776 40 0 0 25 0 10 0 542621266 854126592 19701 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208527 19701 13073 16 0 208511 0
vsize: 834108
[startup+30.0027 s]
Raw data (loadavg): 1.00 0.95 0.90 3/64 20480
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18042 0 1 0 2639 41 0 0 25 0 10 0 542621266 858558464 21128 4294967295 134512640 134569956 3221224400 3221214864 1131264802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209609 21128 13073 16 0 209593 0
vsize: 838436
[startup+40.0034 s]
Raw data (loadavg): 1.07 0.97 0.91 2/65 20481
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 3440 42 0 0 25 0 11 0 542621266 859947008 22627 4294967295 134512640 134569956 3221224400 3221214688 1131265138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209948 22627 13073 16 0 209932 0
vsize: 839792
[startup+50.0043 s]
Raw data (loadavg): 1.14 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 4377 42 0 0 25 0 11 0 542621266 859779072 22823 4294967295 134512640 134569956 3221224400 3221214848 1131370867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209907 22823 13073 16 0 209891 0
vsize: 839628
[startup+60.0048 s]
Raw data (loadavg): 1.12 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 5316 42 0 0 25 0 11 0 542621266 857423872 22924 4294967295 134512640 134569956 3221224400 3221214600 1131406051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209332 22924 13073 16 0 209316 0
vsize: 837328
[startup+70.0051 s]
Raw data (loadavg): 1.10 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 6287 42 0 0 25 0 11 0 542621266 857423872 22926 4294967295 134512640 134569956 3221224400 3221214688 1131264905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 22926 13073 16 0 209316 0
vsize: 837328
[startup+80.006 s]
Raw data (loadavg): 1.08 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 7253 43 0 0 25 0 11 0 542621266 857423872 22926 4294967295 134512640 134569956 3221224400 3221214576 1131294148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 22926 13073 16 0 209316 0
vsize: 837328
[startup+90.0059 s]
Raw data (loadavg): 1.07 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18090 0 1 0 8210 43 0 0 25 0 11 0 542621266 857423872 23017 4294967295 134512640 134569956 3221224400 3221214688 1131265138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23017 13073 16 0 209316 0
vsize: 837328
[startup+100.007 s]
Raw data (loadavg): 1.06 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 9169 43 0 0 25 0 11 0 542621266 857423872 23150 4294967295 134512640 134569956 3221224400 3221214576 1131475880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23150 13073 16 0 209316 0
vsize: 837328
[startup+110.008 s]
Raw data (loadavg): 1.05 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 10143 43 0 0 25 0 11 0 542621266 857423872 23215 4294967295 134512640 134569956 3221224400 3221214688 1131265138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23215 13073 16 0 209316 0
vsize: 837328
[startup+120.008 s]
Raw data (loadavg): 1.04 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 11111 43 0 0 25 0 11 0 542621266 857423872 23315 4294967295 134512640 134569956 3221224400 3221214696 1131575980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23315 13073 16 0 209316 0
vsize: 837328
[startup+130.009 s]
Raw data (loadavg): 1.03 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 12080 43 0 0 25 0 11 0 542621266 857423872 23381 4294967295 134512640 134569956 3221224400 3221214776 1131345990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23381 13073 16 0 209316 0
vsize: 837328
[startup+140.009 s]
Raw data (loadavg): 1.03 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 13006 43 0 0 25 0 11 0 542621266 857423872 23474 4294967295 134512640 134569956 3221224400 3221214776 1131343287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23474 13073 16 0 209316 0
vsize: 837328
[startup+150.01 s]
Raw data (loadavg): 1.02 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 13957 43 0 0 25 0 11 0 542621266 857423872 23527 4294967295 134512640 134569956 3221224400 3221214696 1131576099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209332 23527 13073 16 0 209316 0
vsize: 837328
[startup+160.011 s]
Raw data (loadavg): 1.02 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 14926 43 0 0 25 0 11 0 542621266 862666752 24981 4294967295 134512640 134569956 3221224400 3221214680 1131575985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210612 24981 13073 16 0 210596 0
vsize: 842448
[startup+170.011 s]
Raw data (loadavg): 1.02 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 15893 43 0 0 25 0 11 0 542621266 862666752 25263 4294967295 134512640 134569956 3221224400 3221214680 1131575980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210612 25263 13073 16 0 210596 0
vsize: 842448
[startup+180.012 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 16867 44 0 0 25 0 11 0 542621266 862666752 25447 4294967295 134512640 134569956 3221224400 3221214664 1131265218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210612 25447 13073 16 0 210596 0
vsize: 842448
[startup+190.012 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 17823 44 0 0 25 0 11 0 542621266 859521024 24654 4294967295 134512640 134569956 3221224400 3221214752 1131344366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 24654 13073 16 0 209828 0
vsize: 839376
[startup+200.013 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 18790 44 0 0 25 0 11 0 542621266 859521024 24725 4294967295 134512640 134569956 3221224400 3221214720 1131625922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 24725 13073 16 0 209828 0
vsize: 839376
[startup+210.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 19762 44 0 0 25 0 11 0 542621266 859521024 24871 4294967295 134512640 134569956 3221224400 3221214648 1131459738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 24871 13073 16 0 209828 0
vsize: 839376
[startup+220.015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 20742 44 0 0 25 0 11 0 542621266 859521024 25035 4294967295 134512640 134569956 3221224400 3221214292 1131625056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25035 13073 16 0 209828 0
vsize: 839376
[startup+230.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 21720 44 0 0 24 0 11 0 542621266 859521024 25066 4294967295 134512640 134569956 3221224400 3221214544 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25066 13073 16 0 209828 0
vsize: 839376
[startup+240.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 22703 44 0 0 25 0 11 0 542621266 859521024 25154 4294967295 134512640 134569956 3221224400 3221214664 1131265259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25154 13073 16 0 209828 0
vsize: 839376
[startup+250.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 23688 44 0 0 25 0 11 0 542621266 859521024 25184 4294967295 134512640 134569956 3221224400 3221214672 1131576099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25184 13073 16 0 209828 0
vsize: 839376
[startup+260.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 24671 44 0 0 25 0 11 0 542621266 859521024 25227 4294967295 134512640 134569956 3221224400 3221214752 1131345988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25227 13073 16 0 209828 0
vsize: 839376
[startup+270.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18091 0 1 0 25654 44 0 0 25 0 11 0 542621266 859521024 25307 4294967295 134512640 134569956 3221224400 3221214664 1131265014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25307 13073 16 0 209828 0
vsize: 839376
[startup+280.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 26637 45 0 0 25 0 11 0 542621266 859521024 25333 4294967295 134512640 134569956 3221224400 3221214832 1131371047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25333 13073 16 0 209828 0
vsize: 839376
[startup+290.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 27623 45 0 0 25 0 11 0 542621266 859521024 25351 4294967295 134512640 134569956 3221224400 3221214456 1131594737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25351 13073 16 0 209828 0
vsize: 839376
[startup+300.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 28610 45 0 0 25 0 11 0 542621266 859521024 25385 4294967295 134512640 134569956 3221224400 3221214584 1131327481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25385 13073 16 0 209828 0
vsize: 839376
[startup+310.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 29592 45 0 0 25 0 11 0 542621266 859521024 25439 4294967295 134512640 134569956 3221224400 3221214672 1131576088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25439 13073 16 0 209828 0
vsize: 839376
[startup+320.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 30576 45 0 0 25 0 11 0 542621266 859521024 25448 4294967295 134512640 134569956 3221224400 3221214664 1131264909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25448 13073 16 0 209828 0
vsize: 839376
[startup+330.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 31552 45 0 0 25 0 11 0 542621266 859521024 25479 4294967295 134512640 134569956 3221224400 3221214752 1131343287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25479 13073 16 0 209828 0
vsize: 839376
[startup+340.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20483
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 32531 45 0 0 25 0 11 0 542621266 859521024 25502 4294967295 134512640 134569956 3221224400 3221214672 1131576088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 25502 13073 16 0 209828 0
vsize: 839376
[startup+350.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 33501 45 0 0 25 0 11 0 542621266 859521024 25532 4294967295 134512640 134569956 3221224400 3221214664 1131266150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25532 13073 16 0 209828 0
vsize: 839376
[startup+360.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 34471 45 0 0 25 0 11 0 542621266 859521024 25621 4294967295 134512640 134569956 3221224400 3221214672 1131576099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25621 13073 16 0 209828 0
vsize: 839376
[startup+370.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 35447 45 0 0 25 0 11 0 542621266 859521024 25697 4294967295 134512640 134569956 3221224400 3221214832 1131370796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 25697 13073 16 0 209828 0
vsize: 839376
[startup+380.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 36417 45 0 0 25 0 11 0 542621266 859521024 25781 4294967295 134512640 134569956 3221224400 3221214672 1131575968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 25781 13073 16 0 209828 0
vsize: 839376
[startup+390.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 37394 45 0 0 25 0 11 0 542621266 859521024 25853 4294967295 134512640 134569956 3221224400 3221214752 1131343352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 25853 13073 16 0 209828 0
vsize: 839376
[startup+400.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 38365 45 0 0 25 0 11 0 542621266 859521024 25956 4294967295 134512640 134569956 3221224400 3221214712 1131412608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 25956 13073 16 0 209828 0
vsize: 839376
[startup+410.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 39342 46 0 0 25 0 11 0 542621266 859521024 26045 4294967295 134512640 134569956 3221224400 3221214672 1131575983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26045 13073 16 0 209828 0
vsize: 839376
[startup+420.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 40315 46 0 0 25 0 11 0 542621266 859521024 26124 4294967295 134512640 134569956 3221224400 3221214668 1131394208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26124 13073 16 0 209828 0
vsize: 839376
[startup+430.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 41293 46 0 0 25 0 11 0 542621266 859521024 26204 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 26204 13073 16 0 209828 0
vsize: 839376
[startup+440.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 42265 47 0 0 25 0 11 0 542621266 859521024 26302 4294967295 134512640 134569956 3221224400 3221214752 1131343327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26302 13073 16 0 209828 0
vsize: 839376
[startup+450.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 43243 47 0 0 25 0 11 0 542621266 859521024 26362 4294967295 134512640 134569956 3221224400 3221214712 1131503700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 26362 13073 16 0 209828 0
vsize: 839376
[startup+460.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 44214 47 0 0 25 0 11 0 542621266 859521024 26442 4294967295 134512640 134569956 3221224400 3221214672 1131576092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26442 13073 16 0 209828 0
vsize: 839376
[startup+470.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 45191 47 0 0 25 0 11 0 542621266 859521024 26501 4294967295 134512640 134569956 3221224400 3221214752 1131345655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26501 13073 16 0 209828 0
vsize: 839376
[startup+480.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 46162 47 0 0 25 0 11 0 542621266 859521024 26586 4294967295 134512640 134569956 3221224400 3221214712 1131503700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26586 13073 16 0 209828 0
vsize: 839376
[startup+490.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 47139 47 0 0 25 0 11 0 542621266 859521024 26658 4294967295 134512640 134569956 3221224400 3221214712 1131414130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26658 13073 16 0 209828 0
vsize: 839376
[startup+500.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 48109 48 0 0 25 0 11 0 542621266 859521024 26744 4294967295 134512640 134569956 3221224400 3221214680 1131623082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26744 13073 16 0 209828 0
vsize: 839376
[startup+510.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 49071 48 0 0 25 0 11 0 542621266 859521024 26882 4294967295 134512640 134569956 3221224400 3221214828 1131293804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26882 13073 16 0 209828 0
vsize: 839376
[startup+520.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 50047 49 0 0 25 0 11 0 542621266 859521024 26967 4294967295 134512640 134569956 3221224400 3221214672 1131575983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 26967 13073 16 0 209828 0
vsize: 839376
[startup+530.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 51021 49 0 0 25 0 11 0 542621266 859521024 27076 4294967295 134512640 134569956 3221224400 3221214728 1131399683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27076 13073 16 0 209828 0
vsize: 839376
[startup+540.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 52000 49 0 0 25 0 11 0 542621266 859521024 27171 4294967295 134512640 134569956 3221224400 3221214664 1131265085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27171 13073 16 0 209828 0
vsize: 839376
[startup+550.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 52981 50 0 0 25 0 11 0 542621266 859521024 27254 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27254 13073 16 0 209828 0
vsize: 839376
[startup+560.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 53959 50 0 0 25 0 11 0 542621266 859521024 27306 4294967295 134512640 134569956 3221224400 3221214672 1131576077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27306 13073 16 0 209828 0
vsize: 839376
[startup+570.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 54939 50 0 0 25 0 11 0 542621266 859521024 27319 4294967295 134512640 134569956 3221224400 3221214752 1131345228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 27319 13073 16 0 209828 0
vsize: 839376
[startup+580.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 55918 50 0 0 25 0 11 0 542621266 859521024 27363 4294967295 134512640 134569956 3221224400 3221214664 1131264909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27363 13073 16 0 209828 0
vsize: 839376
[startup+590.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 56893 51 0 0 25 0 11 0 542621266 859521024 27429 4294967295 134512640 134569956 3221224400 3221214380 1131643052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27429 13073 16 0 209828 0
vsize: 839376
[startup+600.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 57873 51 0 0 25 0 11 0 542621266 859521024 27482 4294967295 134512640 134569956 3221224400 3221214752 1131342969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27482 13073 16 0 209828 0
vsize: 839376
[startup+610.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 58851 52 0 0 25 0 11 0 542621266 859521024 27542 4294967295 134512640 134569956 3221224400 3221214568 1131293817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 27542 13073 16 0 209828 0
vsize: 839376
[startup+620.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 59826 52 0 0 25 0 11 0 542621266 859521024 27606 4294967295 134512640 134569956 3221224400 3221214664 1131265138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27606 13073 16 0 209828 0
vsize: 839376
[startup+630.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 60804 52 0 0 25 0 11 0 542621266 859521024 27667 4294967295 134512640 134569956 3221224400 3221214932 1131248355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27667 13073 16 0 209828 0
vsize: 839376
[startup+640.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20485
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 61782 52 0 0 25 0 11 0 542621266 859521024 27723 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27723 13073 16 0 209828 0
vsize: 839376
[startup+650.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 62759 53 0 0 25 0 11 0 542621266 859521024 27777 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27777 13073 16 0 209828 0
vsize: 839376
[startup+660.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 63737 53 0 0 25 0 11 0 542621266 859521024 27831 4294967295 134512640 134569956 3221224400 3221214592 1131427459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 27831 13073 16 0 209828 0
vsize: 839376
[startup+670.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) S 20470 20024 20023 0 -1 0 18092 0 1 0 64707 53 0 0 25 0 11 0 542621266 859521024 27901 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27901 13073 16 0 209828 0
vsize: 839376
[startup+680.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 65678 53 0 0 25 0 11 0 542621266 859521024 27982 4294967295 134512640 134569956 3221224400 3221214568 1131294380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 27982 13073 16 0 209828 0
vsize: 839376
[startup+690.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 66655 53 0 0 25 0 11 0 542621266 859521024 28051 4294967295 134512640 134569956 3221224400 3221214672 1131576092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28051 13073 16 0 209828 0
vsize: 839376
[startup+700.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 67625 54 0 0 25 0 11 0 542621266 859521024 28138 4294967295 134512640 134569956 3221224400 3221214832 1131370807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28138 13073 16 0 209828 0
vsize: 839376
[startup+710.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 68599 54 0 0 25 0 11 0 542621266 859521024 28211 4294967295 134512640 134569956 3221224400 3221214664 1131264705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28211 13073 16 0 209828 0
vsize: 839376
[startup+720.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 69571 54 0 0 25 0 11 0 542621266 859521024 28298 4294967295 134512640 134569956 3221224400 3221214728 1131375206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28298 13073 16 0 209828 0
vsize: 839376
[startup+730.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 70542 55 0 0 25 0 11 0 542621266 859521024 28359 4294967295 134512640 134569956 3221224400 3221214672 1131575983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28359 13073 16 0 209828 0
vsize: 839376
[startup+740.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 71514 55 0 0 25 0 11 0 542621266 859521024 28425 4294967295 134512640 134569956 3221224400 3221214752 1131344248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28425 13073 16 0 209828 0
vsize: 839376
[startup+750.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 72484 56 0 0 25 0 11 0 542621266 859521024 28509 4294967295 134512640 134569956 3221224400 3221214288 1131623337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28509 13073 16 0 209828 0
vsize: 839376
[startup+760.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 73457 56 0 0 25 0 11 0 542621266 859521024 28596 4294967295 134512640 134569956 3221224400 3221214664 1131264716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28596 13073 16 0 209828 0
vsize: 839376
[startup+770.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 74432 56 0 0 25 0 11 0 542621266 859521024 28717 4294967295 134512640 134569956 3221224400 3221214076 1131622488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28717 13073 16 0 209828 0
vsize: 839376
[startup+780.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 75406 57 0 0 25 0 11 0 542621266 859521024 28811 4294967295 134512640 134569956 3221224400 3221214748 1131264684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28811 13073 16 0 209828 0
vsize: 839376
[startup+790.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 76387 57 0 0 25 0 11 0 542621266 859521024 28879 4294967295 134512640 134569956 3221224400 3221214672 1131576077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28879 13073 16 0 209828 0
vsize: 839376
[startup+800.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 77367 57 0 0 25 0 11 0 542621266 859521024 28981 4294967295 134512640 134569956 3221224400 3221214752 1131343241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 28981 13073 16 0 209828 0
vsize: 839376
[startup+810.061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 78349 58 0 0 25 0 11 0 542621266 859521024 29047 4294967295 134512640 134569956 3221224400 3221214712 1131414121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29047 13073 16 0 209828 0
vsize: 839376
[startup+820.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 79329 58 0 0 25 0 11 0 542621266 859521024 29128 4294967295 134512640 134569956 3221224400 3221214752 1131344237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29128 13073 16 0 209828 0
vsize: 839376
[startup+830.063 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 80309 59 0 0 25 0 11 0 542621266 859521024 29176 4294967295 134512640 134569956 3221224400 3221214332 1131623049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29176 13073 16 0 209828 0
vsize: 839376
[startup+840.063 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 81288 59 0 0 25 0 11 0 542621266 859521024 29209 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29209 13073 16 0 209828 0
vsize: 839376
[startup+850.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 82264 60 0 0 24 0 11 0 542621266 859521024 29250 4294967295 134512640 134569956 3221224400 3221214672 1131576077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29250 13073 16 0 209828 0
vsize: 839376
[startup+860.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 83240 60 0 0 25 0 11 0 542621266 859521024 29333 4294967295 134512640 134569956 3221224400 3221214832 1131370997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29333 13073 16 0 209828 0
vsize: 839376
[startup+870.064 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 84218 60 0 0 25 0 11 0 542621266 859521024 29412 4294967295 134512640 134569956 3221224400 3221214728 1131398906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29412 13073 16 0 209828 0
vsize: 839376
[startup+880.065 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 85194 61 0 0 25 0 11 0 542621266 859521024 29485 4294967295 134512640 134569956 3221224400 3221214664 1131265138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29485 13073 16 0 209828 0
vsize: 839376
[startup+890.066 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 86167 61 0 0 25 0 11 0 542621266 859521024 29574 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29574 13073 16 0 209828 0
vsize: 839376
[startup+900.067 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 87146 61 0 0 25 0 11 0 542621266 859521024 29624 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29624 13073 16 0 209828 0
vsize: 839376
[startup+910.067 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 88123 61 0 0 25 0 11 0 542621266 859521024 29688 4294967295 134512640 134569956 3221224400 3221214680 1131623292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29688 13073 16 0 209828 0
vsize: 839376
[startup+920.067 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 89103 61 0 0 25 0 11 0 542621266 859521024 29742 4294967295 134512640 134569956 3221224400 3221214664 1131264701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29742 13073 16 0 209828 0
vsize: 839376
[startup+930.068 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 90082 62 0 0 25 0 11 0 542621266 859521024 29798 4294967295 134512640 134569956 3221224400 3221214432 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29798 13073 16 0 209828 0
vsize: 839376
[startup+940.068 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20487
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 91058 62 0 0 25 0 11 0 542621266 859521024 29851 4294967295 134512640 134569956 3221224400 3221214672 1131576077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29851 13073 16 0 209828 0
vsize: 839376
[startup+950.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 92035 63 0 0 25 0 11 0 542621266 859521024 29902 4294967295 134512640 134569956 3221224400 3221214728 1131399894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29902 13073 16 0 209828 0
vsize: 839376
[startup+960.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 93011 63 0 0 25 0 11 0 542621266 859521024 29955 4294967295 134512640 134569956 3221224400 3221214752 1131346711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 29955 13073 16 0 209828 0
vsize: 839376
[startup+970.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 93983 63 0 0 24 0 11 0 542621266 859521024 30033 4294967295 134512640 134569956 3221224400 3221214664 1131264741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 30033 13073 16 0 209828 0
vsize: 839376
[startup+980.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 94960 64 0 0 25 0 11 0 542621266 859521024 30102 4294967295 134512640 134569956 3221224400 3221214664 1131264705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30102 13073 16 0 209828 0
vsize: 839376
[startup+990.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 95938 64 0 0 25 0 11 0 542621266 859521024 30225 4294967295 134512640 134569956 3221224400 3221214712 1131503700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30225 13073 16 0 209828 0
vsize: 839376
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 96917 64 0 0 25 0 11 0 542621266 859521024 30319 4294967295 134512640 134569956 3221224400 3221214672 1131575968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30319 13073 16 0 209828 0
vsize: 839376
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 97895 64 0 0 25 0 11 0 542621266 859521024 30374 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30374 13073 16 0 209828 0
vsize: 839376
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 98873 64 0 0 25 0 11 0 542621266 859521024 30439 4294967295 134512640 134569956 3221224400 3221214560 1131294439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30439 13073 16 0 209828 0
vsize: 839376
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 99846 65 0 0 25 0 11 0 542621266 859521024 30493 4294967295 134512640 134569956 3221224400 3221214664 1131264701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30493 13073 16 0 209828 0
vsize: 839376
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 100818 65 0 0 25 0 11 0 542621266 859521024 30534 4294967295 134512640 134569956 3221224400 3221214664 1131265298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30534 13073 16 0 209828 0
vsize: 839376
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 101789 66 0 0 25 0 11 0 542621266 859521024 30606 4294967295 134512640 134569956 3221224400 3221214552 1131439705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30606 13073 16 0 209828 0
vsize: 839376
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 102761 66 0 0 25 0 11 0 542621266 859521024 30739 4294967295 134512640 134569956 3221224400 3221214664 1131264718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30739 13073 16 0 209828 0
vsize: 839376
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 103737 66 0 0 25 0 11 0 542621266 859521024 30929 4294967295 134512640 134569956 3221224400 3221214832 1131370796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30929 13073 16 0 209828 0
vsize: 839376
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 104715 67 0 0 25 0 11 0 542621266 859521024 30992 4294967295 134512640 134569956 3221224400 3221214752 1131343287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 30992 13073 16 0 209828 0
vsize: 839376
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 105691 67 0 0 25 0 11 0 542621266 859521024 31047 4294967295 134512640 134569956 3221224400 3221214592 1131428323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31047 13073 16 0 209828 0
vsize: 839376
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 106668 67 0 0 25 0 11 0 542621266 859521024 31107 4294967295 134512640 134569956 3221224400 3221214648 1131459776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31107 13073 16 0 209828 0
vsize: 839376
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 107645 68 0 0 24 0 11 0 542621266 859521024 31171 4294967295 134512640 134569956 3221224400 3221214816 1131383849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31171 13073 16 0 209828 0
vsize: 839376
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 108621 68 0 0 24 0 11 0 542621266 859521024 31229 4294967295 134512640 134569956 3221224400 3221214540 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31229 13073 16 0 209828 0
vsize: 839376
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 109602 69 0 0 25 0 11 0 542621266 859521024 31274 4294967295 134512640 134569956 3221224400 3221214752 1131343087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31274 13073 16 0 209828 0
vsize: 839376
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 110578 69 0 0 25 0 11 0 542621266 859521024 31360 4294967295 134512640 134569956 3221224400 3221214664 1131265191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31360 13073 16 0 209828 0
vsize: 839376
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.98 0.91 3/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 111555 69 0 0 25 0 11 0 542621266 859521024 31441 4294967295 134512640 134569956 3221224400 3221214816 1131382973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31441 13073 16 0 209828 0
vsize: 839376
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 112531 69 0 0 25 0 11 0 542621266 859521024 31512 4294967295 134512640 134569956 3221224400 3221214664 1131265385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31512 13073 16 0 209828 0
vsize: 839376
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 113508 70 0 0 25 0 11 0 542621266 859521024 31570 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31570 13073 16 0 209828 0
vsize: 839376
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 114484 70 0 0 25 0 11 0 542621266 859521024 31623 4294967295 134512640 134569956 3221224400 3221214672 1131576092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 31623 13073 16 0 209828 0
vsize: 839376
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 115460 70 0 0 25 0 11 0 542621266 859521024 31689 4294967295 134512640 134569956 3221224400 3221214672 1131575980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31689 13073 16 0 209828 0
vsize: 839376
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/65 20489
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 116435 70 0 0 25 0 11 0 542621266 859521024 31789 4294967295 134512640 134569956 3221224400 3221214560 1131475937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31789 13073 16 0 209828 0
vsize: 839376
[startup+1210.08 s]
Raw data (loadavg): 1.08 1.00 0.92 2/69 20532
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 117407 72 0 0 25 0 11 0 542621266 859521024 31847 4294967295 134512640 134569956 3221224400 3221214752 1131344533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 31847 13073 16 0 209828 0
vsize: 839376
[startup+1220.08 s]
Raw data (loadavg): 1.15 1.02 0.93 2/65 20542
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 118381 72 0 0 25 0 11 0 542621266 859521024 31912 4294967295 134512640 134569956 3221224400 3221214664 1131265073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209844 31912 13073 16 0 209828 0
vsize: 839376
[startup+1230.09 s]
Raw data (loadavg): 1.12 1.02 0.93 2/65 20542
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 119351 72 0 0 25 0 11 0 542621266 859521024 32010 4294967295 134512640 134569956 3221224400 3221214832 1131462951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 32010 13073 16 0 209828 0
vsize: 839376
[startup+1240.09 s]
Raw data (loadavg): 1.10 1.01 0.93 2/65 20542
Raw data (stat): 20471 (java) R 20470 20024 20023 0 -1 0 18092 0 1 0 120325 73 0 0 25 0 11 0 542621266 859521024 32064 4294967295 134512640 134569956 3221224400 3221214760 1131341332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209844 32064 13073 16 0 209828 0
vsize: 839376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.10 1.01 0.93 1/55 20544
Raw data (stat): 20471 (java) Z 20470 20024 20023 0 -1 1036 18092 12296 1 0 120328 73 3332 34 25 0 1 0 542621266 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.19
CPU time (s): 1237.69
CPU user time (s): 1236.61
CPU system time (s): 1.08083
CPU usage (%): 99.799
Max. virtual memory (Kb): 842448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####