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/milp/normalized-mps-v2-13-7-neos7.opb
MD5SUMa0c0383d4386a0d720647b21fc890d47
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 3056
Biggest coefficient in the objective function 7864320000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 588566085150
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 524288000000
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 1048577097151
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1252.35
Number of variables22900
Total number of constraints2578
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)566
Number of constraints which are nor clauses,nor cardinality constraints2012
Minimum length of a constraint1
Maximum length of a constraint387

Trace number 14057

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-20 22:48:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19743 boxname=wulflinc25 idbench=1519 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a0c0383d4386a0d720647b21fc890d47  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos7.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos7.opb
IDLAUNCH: 19743
/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:        749060 kB
Buffers:          9664 kB
Cached:         255532 kB
SwapCached:        820 kB
Active:          38376 kB
Inactive:       228920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748808 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            12604 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 23:09:23 (client local time) WITH STATUS 143 IN 1250.51 SECONDS
stats: 19743 7 1250.51 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos7.opb
c reading problem 
c [nbvar=22900]
c [nbconstr=2578]
c time 155.425
c #vars     22900
c #clauses  2625
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.74 0.94 0.91 2/54 23681
Raw data (stat): 23681 (runsolver) R 23680 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540172288 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+9.99969 s]
Raw data (loadavg): 1.01 0.99 0.92 3/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18018 0 1 0 852 39 0 0 24 0 10 0 540172288 854945792 19630 4294967295 134512640 134569956 3221224400 3221214772 1130897496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208727 19630 13073 16 0 208711 0
vsize: 834908
[startup+20.0009 s]
Raw data (loadavg): 1.09 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 1706 40 0 0 25 0 10 0 540172288 855605248 21168 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208888 21168 13073 16 0 208872 0
vsize: 835552
[startup+30.0013 s]
Raw data (loadavg): 1.07 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 2547 40 0 0 25 0 10 0 540172288 855560192 21375 4294967295 134512640 134569956 3221224400 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 21375 13073 16 0 208861 0
vsize: 835508
[startup+40.0014 s]
Raw data (loadavg): 1.06 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 3420 41 0 0 25 0 10 0 540172288 855560192 22003 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 22003 13073 16 0 208861 0
vsize: 835508
[startup+50.0024 s]
Raw data (loadavg): 1.05 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 4339 41 0 0 25 0 10 0 540172288 855560192 22173 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 22173 13073 16 0 208861 0
vsize: 835508
[startup+60.0021 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 5253 41 0 0 25 0 10 0 540172288 855560192 22312 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 22312 13073 16 0 208861 0
vsize: 835508
[startup+70.0021 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 6176 41 0 0 25 0 10 0 540172288 855560192 22514 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 22514 13073 16 0 208861 0
vsize: 835508
[startup+80.0035 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 7108 41 0 0 25 0 10 0 540172288 855560192 22614 4294967295 134512640 134569956 3221224400 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 22614 13073 16 0 208861 0
vsize: 835508
[startup+90.0038 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 8033 41 0 0 25 0 10 0 540172288 855560192 22718 4294967295 134512640 134569956 3221224400 3221214696 1076619281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 22718 13073 16 0 208861 0
vsize: 835508
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 8958 42 0 0 25 0 10 0 540172288 855560192 22828 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 22828 13073 16 0 208861 0
vsize: 835508
[startup+110.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) S 23680 28099 28098 0 -1 0 18019 0 1 0 9887 42 0 0 25 0 10 0 540172288 855560192 22926 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 22926 13073 16 0 208861 0
vsize: 835508
[startup+120.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 10815 43 0 0 25 0 10 0 540172288 855560192 23022 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23022 13073 16 0 208861 0
vsize: 835508
[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 11742 43 0 0 25 0 10 0 540172288 855560192 23115 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 23115 13073 16 0 208861 0
vsize: 835508
[startup+140.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 12670 43 0 0 25 0 10 0 540172288 855560192 23202 4294967295 134512640 134569956 3221224400 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23202 13073 16 0 208861 0
vsize: 835508
[startup+150.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 23690
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18019 0 1 0 13597 43 0 0 25 0 10 0 540172288 855560192 23287 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23287 13073 16 0 208861 0
vsize: 835508
[startup+160.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18048 0 1 0 14510 44 0 0 25 0 11 0 540172288 856055808 23976 4294967295 134512640 134569956 3221224400 3221214928 1131324259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208998 23976 13073 16 0 208982 0
vsize: 835992
[startup+170.014 s]
Raw data (loadavg): 1.16 1.03 0.94 3/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18091 0 1 0 15368 44 0 0 25 0 11 0 540172288 858537984 24680 4294967295 134512640 134569956 3221224400 3221214664 1131493358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 24680 13073 16 0 209588 0
vsize: 838416
[startup+180.014 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18091 0 1 0 16313 45 0 0 25 0 11 0 540172288 858537984 24677 4294967295 134512640 134569956 3221224400 3221214664 1131482339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 24677 13073 16 0 209588 0
vsize: 838416
[startup+190.015 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 17269 45 0 0 25 0 11 0 540172288 858537984 24682 4294967295 134512640 134569956 3221224400 3221214568 1131216503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 24682 13073 16 0 209588 0
vsize: 838416
[startup+200.015 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 18215 45 0 0 25 0 11 0 540172288 858537984 24686 4294967295 134512640 134569956 3221224400 3221214672 1131357040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 24686 13073 16 0 209588 0
vsize: 838416
[startup+210.015 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 19159 45 0 0 25 0 11 0 540172288 858537984 24687 4294967295 134512640 134569956 3221224400 3221214664 1131216712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 24687 13073 16 0 209588 0
vsize: 838416
[startup+220.016 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 20105 45 0 0 25 0 11 0 540172288 858537984 25335 4294967295 134512640 134569956 3221224400 3221214768 1131533200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25335 13073 16 0 209588 0
vsize: 838416
[startup+230.016 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 21096 45 0 0 25 0 11 0 540172288 858537984 25416 4294967295 134512640 134569956 3221224400 3221214664 1131495789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25416 13073 16 0 209588 0
vsize: 838416
[startup+240.016 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 22093 46 0 0 25 0 11 0 540172288 858537984 25416 4294967295 134512640 134569956 3221224400 3221214760 1131543630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25416 13073 16 0 209588 0
vsize: 838416
[startup+250.016 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 23091 46 0 0 25 0 11 0 540172288 858537984 25416 4294967295 134512640 134569956 3221224400 3221214664 1131216712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25416 13073 16 0 209588 0
vsize: 838416
[startup+260.016 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 24089 46 0 0 25 0 11 0 540172288 858537984 25418 4294967295 134512640 134569956 3221224400 3221214768 1131533204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25418 13073 16 0 209588 0
vsize: 838416
[startup+270.016 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 25087 46 0 0 25 0 11 0 540172288 858537984 25418 4294967295 134512640 134569956 3221224400 3221214760 1131543647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25418 13073 16 0 209588 0
vsize: 838416
[startup+280.016 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 26085 46 0 0 25 0 11 0 540172288 858537984 25418 4294967295 134512640 134569956 3221224400 3221214672 1131216873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25418 13073 16 0 209588 0
vsize: 838416
[startup+290.017 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 27083 46 0 0 25 0 11 0 540172288 858537984 25419 4294967295 134512640 134569956 3221224400 3221214760 1131543747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25419 13073 16 0 209588 0
vsize: 838416
[startup+300.017 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 28080 47 0 0 25 0 11 0 540172288 858537984 25420 4294967295 134512640 134569956 3221224400 3221214664 1131496393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25420 13073 16 0 209588 0
vsize: 838416
[startup+310.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 29077 47 0 0 25 0 11 0 540172288 858537984 25420 4294967295 134512640 134569956 3221224400 3221214768 1131533207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25420 13073 16 0 209588 0
vsize: 838416
[startup+320.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 30074 47 0 0 25 0 11 0 540172288 858537984 25420 4294967295 134512640 134569956 3221224400 3221214760 1131543662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25420 13073 16 0 209588 0
vsize: 838416
[startup+330.018 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 31063 48 0 0 25 0 11 0 540172288 858537984 25422 4294967295 134512640 134569956 3221224400 3221214856 1131354223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 25422 13073 16 0 209588 0
vsize: 838416
[startup+340.019 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 32050 48 0 0 25 0 11 0 540172288 858537984 25423 4294967295 134512640 134569956 3221224400 3221214664 1131216712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25423 13073 16 0 209588 0
vsize: 838416
[startup+350.019 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 33038 48 0 0 25 0 11 0 540172288 858537984 25423 4294967295 134512640 134569956 3221224400 3221214768 1131533207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25423 13073 16 0 209588 0
vsize: 838416
[startup+360.02 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 34025 48 0 0 25 0 11 0 540172288 862609408 26440 4294967295 134512640 134569956 3221224400 3221214664 1131494128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210598 26440 13073 16 0 210582 0
vsize: 842392
[startup+370.021 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 35016 49 0 0 25 0 11 0 540172288 862609408 26485 4294967295 134512640 134569956 3221224400 3221214768 1131533204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210598 26485 13073 16 0 210582 0
vsize: 842392
[startup+380.021 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 36010 49 0 0 25 0 11 0 540172288 862609408 26485 4294967295 134512640 134569956 3221224400 3221214632 1131456445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210598 26485 13073 16 0 210582 0
vsize: 842392
[startup+390.022 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 37004 49 0 0 25 0 11 0 540172288 862609408 26486 4294967295 134512640 134569956 3221224400 3221214760 1131543797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210598 26486 13073 16 0 210582 0
vsize: 842392
[startup+400.025 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 37998 50 0 0 25 0 11 0 540172288 862609408 26486 4294967295 134512640 134569956 3221224400 3221214664 1131493294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210598 26486 13073 16 0 210582 0
vsize: 842392
[startup+410.031 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 38992 50 0 0 25 0 11 0 540172288 862609408 26486 4294967295 134512640 134569956 3221224400 3221214768 1131533341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210598 26486 13073 16 0 210582 0
vsize: 842392
[startup+420.046 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 39989 51 0 0 25 0 11 0 540172288 862609408 26551 4294967295 134512640 134569956 3221224400 3221214664 1131493440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210598 26551 13073 16 0 210582 0
vsize: 842392
[startup+430.046 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 40988 51 0 0 25 0 11 0 540172288 862609408 26551 4294967295 134512640 134569956 3221224400 3221214768 1131533331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210598 26551 13073 16 0 210582 0
vsize: 842392
[startup+440.047 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 41987 51 0 0 25 0 11 0 540172288 862609408 26551 4294967295 134512640 134569956 3221224400 3221214768 1131533331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210598 26551 13073 16 0 210582 0
vsize: 842392
[startup+450.047 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 42982 51 0 0 25 0 11 0 540172288 862543872 26535 4294967295 134512640 134569956 3221224400 3221214696 1131228475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210582 26535 13073 16 0 210566 0
vsize: 842328
[startup+460.047 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 43978 51 0 0 25 0 11 0 540172288 862515200 26528 4294967295 134512640 134569956 3221224400 3221214784 1131364912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210575 26528 13073 16 0 210559 0
vsize: 842300
[startup+470.048 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 44973 51 0 0 25 0 11 0 540172288 862515200 26528 4294967295 134512640 134569956 3221224400 3221214744 1131533331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210575 26528 13073 16 0 210559 0
vsize: 842300
[startup+480.061 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 45968 52 0 0 25 0 11 0 540172288 862515200 26528 4294967295 134512640 134569956 3221224400 3221214744 1131533341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210575 26528 13073 16 0 210559 0
vsize: 842300
[startup+490.066 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 46962 52 0 0 25 0 11 0 540172288 862515200 26528 4294967295 134512640 134569956 3221224400 3221214832 1131354300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210575 26528 13073 16 0 210559 0
vsize: 842300
[startup+500.066 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 47954 52 0 0 25 0 11 0 540172288 858537984 25560 4294967295 134512640 134569956 3221224400 3221214792 1131327659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25560 13073 16 0 209588 0
vsize: 838416
[startup+510.066 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 48943 52 0 0 25 0 11 0 540172288 858537984 25568 4294967295 134512640 134569956 3221224400 3221214792 1131421847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25568 13073 16 0 209588 0
vsize: 838416
[startup+520.067 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 49935 52 0 0 25 0 11 0 540172288 858537984 25582 4294967295 134512640 134569956 3221224400 3221214696 1131228936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25582 13073 16 0 209588 0
vsize: 838416
[startup+530.067 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 50924 52 0 0 25 0 11 0 540172288 858537984 25598 4294967295 134512640 134569956 3221224400 3221214736 1131216657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25598 13073 16 0 209588 0
vsize: 838416
[startup+540.067 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18092 0 1 0 51916 53 0 0 25 0 11 0 540172288 858537984 25608 4294967295 134512640 134569956 3221224400 3221214832 1131354272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25608 13073 16 0 209588 0
vsize: 838416
[startup+550.067 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 52908 53 0 0 25 0 11 0 540172288 858537984 25628 4294967295 134512640 134569956 3221224400 3221214832 1131341970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25628 13073 16 0 209588 0
vsize: 838416
[startup+560.068 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 53895 53 0 0 25 0 11 0 540172288 858537984 25648 4294967295 134512640 134569956 3221224400 3221214744 1131533331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25648 13073 16 0 209588 0
vsize: 838416
[startup+570.068 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 54884 54 0 0 25 0 11 0 540172288 858537984 25668 4294967295 134512640 134569956 3221224400 3221214784 1131364952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25668 13073 16 0 209588 0
vsize: 838416
[startup+580.068 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 55873 54 0 0 25 0 11 0 540172288 858537984 25696 4294967295 134512640 134569956 3221224400 3221214832 1131341253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25696 13073 16 0 209588 0
vsize: 838416
[startup+590.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 56862 54 0 0 25 0 11 0 540172288 858537984 25729 4294967295 134512640 134569956 3221224400 3221214744 1131533348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25729 13073 16 0 209588 0
vsize: 838416
[startup+600.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 57850 55 0 0 25 0 11 0 540172288 858537984 25775 4294967295 134512640 134569956 3221224400 3221214744 1131533348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25775 13073 16 0 209588 0
vsize: 838416
[startup+610.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 58840 55 0 0 25 0 11 0 540172288 858537984 25812 4294967295 134512640 134569956 3221224400 3221214832 1131354459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25812 13073 16 0 209588 0
vsize: 838416
[startup+620.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 59828 55 0 0 25 0 11 0 540172288 858537984 25848 4294967295 134512640 134569956 3221224400 3221214832 1131354225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25848 13073 16 0 209588 0
vsize: 838416
[startup+630.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 60815 56 0 0 25 0 11 0 540172288 858537984 25891 4294967295 134512640 134569956 3221224400 3221214832 1131354466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25891 13073 16 0 209588 0
vsize: 838416
[startup+640.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 61801 56 0 0 25 0 11 0 540172288 858537984 25939 4294967295 134512640 134569956 3221224400 3221214832 1131354220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25939 13073 16 0 209588 0
vsize: 838416
[startup+650.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 62790 56 0 0 25 0 11 0 540172288 858537984 25974 4294967295 134512640 134569956 3221224400 3221214792 1131327682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 25974 13073 16 0 209588 0
vsize: 838416
[startup+660.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 63776 56 0 0 25 0 11 0 540172288 858537984 26036 4294967295 134512640 134569956 3221224400 3221214696 1131228673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26036 13073 16 0 209588 0
vsize: 838416
[startup+670.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 64763 57 0 0 25 0 11 0 540172288 858537984 26075 4294967295 134512640 134569956 3221224400 3221214792 1131327761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26075 13073 16 0 209588 0
vsize: 838416
[startup+680.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23691
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 65747 57 0 0 24 0 11 0 540172288 858537984 26133 4294967295 134512640 134569956 3221224400 3221214696 1131228348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26133 13073 16 0 209588 0
vsize: 838416
[startup+690.095 s]
Raw data (loadavg): 1.16 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 66729 58 0 0 25 0 11 0 540172288 858537984 26179 4294967295 134512640 134569956 3221224400 3221214744 1131533331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26179 13073 16 0 209588 0
vsize: 838416
[startup+700.095 s]
Raw data (loadavg): 1.13 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 67717 58 0 0 25 0 11 0 540172288 858537984 26231 4294967295 134512640 134569956 3221224400 3221214744 1131533348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26231 13073 16 0 209588 0
vsize: 838416
[startup+710.095 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 68705 58 0 0 25 0 11 0 540172288 858537984 26276 4294967295 134512640 134569956 3221224400 3221214736 1131217360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26276 13073 16 0 209588 0
vsize: 838416
[startup+720.096 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 69689 58 0 0 25 0 11 0 540172288 858537984 26332 4294967295 134512640 134569956 3221224400 3221214696 1131229459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26332 13073 16 0 209588 0
vsize: 838416
[startup+730.096 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 70673 59 0 0 25 0 11 0 540172288 858537984 26384 4294967295 134512640 134569956 3221224400 3221214832 1131354220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26384 13073 16 0 209588 0
vsize: 838416
[startup+740.096 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 71660 59 0 0 25 0 11 0 540172288 858537984 26430 4294967295 134512640 134569956 3221224400 3221214736 1131216465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26430 13073 16 0 209588 0
vsize: 838416
[startup+750.096 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 72643 60 0 0 25 0 11 0 540172288 858537984 26501 4294967295 134512640 134569956 3221224400 3221214832 1131354284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26501 13073 16 0 209588 0
vsize: 838416
[startup+760.097 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 23744
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 73627 60 0 0 25 0 11 0 540172288 858537984 26567 4294967295 134512640 134569956 3221224400 3221214744 1131533341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26567 13073 16 0 209588 0
vsize: 838416
[startup+770.098 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 74615 60 0 0 25 0 11 0 540172288 858537984 26617 4294967295 134512640 134569956 3221224400 3221214696 1131228268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26617 13073 16 0 209588 0
vsize: 838416
[startup+780.098 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 75601 60 0 0 25 0 11 0 540172288 858537984 26662 4294967295 134512640 134569956 3221224400 3221214696 1131228337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 26662 13073 16 0 209588 0
vsize: 838416
[startup+790.098 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 76585 60 0 0 25 0 11 0 540172288 858537984 26736 4294967295 134512640 134569956 3221224400 3221214832 1131354231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26736 13073 16 0 209588 0
vsize: 838416
[startup+800.098 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 77573 60 0 0 25 0 11 0 540172288 858537984 26790 4294967295 134512640 134569956 3221224400 3221214832 1131341223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26790 13073 16 0 209588 0
vsize: 838416
[startup+810.097 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 78555 61 0 0 25 0 11 0 540172288 858537984 26827 4294967295 134512640 134569956 3221224400 3221214744 1131573128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 26827 13073 16 0 209588 0
vsize: 838416
[startup+820.098 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 79536 61 0 0 25 0 11 0 540172288 858537984 26908 4294967295 134512640 134569956 3221224400 3221214872 1131589527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 26908 13073 16 0 209588 0
vsize: 838416
[startup+830.098 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 80517 61 0 0 25 0 11 0 540172288 858537984 27011 4294967295 134512640 134569956 3221224400 3221214744 1131533214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27011 13073 16 0 209588 0
vsize: 838416
[startup+840.098 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 81501 62 0 0 25 0 11 0 540172288 858537984 27115 4294967295 134512640 134569956 3221224400 3221214784 1131364230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27115 13073 16 0 209588 0
vsize: 838416
[startup+850.098 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 82483 62 0 0 25 0 11 0 540172288 858537984 27187 4294967295 134512640 134569956 3221224400 3221214832 1131354231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27187 13073 16 0 209588 0
vsize: 838416
[startup+860.099 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 83465 62 0 0 25 0 11 0 540172288 858537984 27265 4294967295 134512640 134569956 3221224400 3221214792 1131327659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27265 13073 16 0 209588 0
vsize: 838416
[startup+870.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 84447 62 0 0 25 0 11 0 540172288 858537984 27366 4294967295 134512640 134569956 3221224400 3221214696 1131228629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27366 13073 16 0 209588 0
vsize: 838416
[startup+880.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 85429 62 0 0 25 0 11 0 540172288 858537984 27461 4294967295 134512640 134569956 3221224400 3221214744 1131533341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27461 13073 16 0 209588 0
vsize: 838416
[startup+890.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 86408 62 0 0 25 0 11 0 540172288 858537984 27550 4294967295 134512640 134569956 3221224400 3221214696 1131228527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27550 13073 16 0 209588 0
vsize: 838416
[startup+900.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 87391 63 0 0 25 0 11 0 540172288 858537984 27619 4294967295 134512640 134569956 3221224400 3221214832 1131354466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27619 13073 16 0 209588 0
vsize: 838416
[startup+910.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 88374 63 0 0 25 0 11 0 540172288 858537984 27718 4294967295 134512640 134569956 3221224400 3221214788 1131228243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 27718 13073 16 0 209588 0
vsize: 838416
[startup+920.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 89354 63 0 0 25 0 11 0 540172288 858537984 27803 4294967295 134512640 134569956 3221224400 3221214856 1131285847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27803 13073 16 0 209588 0
vsize: 838416
[startup+930.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 90336 64 0 0 25 0 11 0 540172288 858537984 27838 4294967295 134512640 134569956 3221224400 3221214696 1131228897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27838 13073 16 0 209588 0
vsize: 838416
[startup+940.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 91316 64 0 0 25 0 11 0 540172288 858537984 27937 4294967295 134512640 134569956 3221224400 3221214716 1131456140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 27937 13073 16 0 209588 0
vsize: 838416
[startup+950.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 92298 64 0 0 25 0 11 0 540172288 858537984 28002 4294967295 134512640 134569956 3221224400 3221214912 1131452723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28002 13073 16 0 209588 0
vsize: 838416
[startup+960.101 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 93278 65 0 0 25 0 11 0 540172288 858537984 28091 4294967295 134512640 134569956 3221224400 3221214744 1131533348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28091 13073 16 0 209588 0
vsize: 838416
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 94259 65 0 0 24 0 11 0 540172288 858537984 28180 4294967295 134512640 134569956 3221224400 3221214696 1131228257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28180 13073 16 0 209588 0
vsize: 838416
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 95242 65 0 0 25 0 11 0 540172288 858537984 28260 4294967295 134512640 134569956 3221224400 3221214720 1131390529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28260 13073 16 0 209588 0
vsize: 838416
[startup+990.101 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 96220 65 0 0 25 0 11 0 540172288 858537984 28362 4294967295 134512640 134569956 3221224400 3221214792 1131329893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28362 13073 16 0 209588 0
vsize: 838416
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 97202 66 0 0 25 0 11 0 540172288 858537984 28413 4294967295 134512640 134569956 3221224400 3221214744 1131533184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28413 13073 16 0 209588 0
vsize: 838416
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 98186 66 0 0 25 0 11 0 540172288 858537984 28479 4294967295 134512640 134569956 3221224400 3221214792 1131327724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28479 13073 16 0 209588 0
vsize: 838416
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23746
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 99170 66 0 0 25 0 11 0 540172288 858537984 28551 4294967295 134512640 134569956 3221224400 3221214728 1131352980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28551 13073 16 0 209588 0
vsize: 838416
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 100154 66 0 0 25 0 11 0 540172288 858537984 28630 4294967295 134512640 134569956 3221224400 3221214696 1131228620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28630 13073 16 0 209588 0
vsize: 838416
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 101133 66 0 0 25 0 11 0 540172288 858537984 28698 4294967295 134512640 134569956 3221224400 3221214696 1131228608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28698 13073 16 0 209588 0
vsize: 838416
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 102115 66 0 0 25 0 11 0 540172288 858537984 28757 4294967295 134512640 134569956 3221224400 3221214656 1131414455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 28757 13073 16 0 209588 0
vsize: 838416
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 103092 67 0 0 25 0 11 0 540172288 858537984 28830 4294967295 134512640 134569956 3221224400 3221214736 1131216753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28830 13073 16 0 209588 0
vsize: 838416
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 104065 67 0 0 25 0 11 0 540172288 858537984 28961 4294967295 134512640 134569956 3221224400 3221214696 1131228825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 28961 13073 16 0 209588 0
vsize: 838416
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 105042 67 0 0 25 0 11 0 540172288 858537984 29072 4294967295 134512640 134569956 3221224400 3221214744 1131533200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29072 13073 16 0 209588 0
vsize: 838416
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 106019 67 0 0 25 0 11 0 540172288 858537984 29220 4294967295 134512640 134569956 3221224400 3221214744 1131533222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29220 13073 16 0 209588 0
vsize: 838416
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 106998 67 0 0 25 0 11 0 540172288 858537984 29382 4294967295 134512640 134569956 3221224400 3221214744 1131533331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29382 13073 16 0 209588 0
vsize: 838416
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 107970 68 0 0 24 0 11 0 540172288 858537984 29534 4294967295 134512640 134569956 3221224400 3221214832 1131354272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29534 13073 16 0 209588 0
vsize: 838416
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 108949 68 0 0 25 0 11 0 540172288 858537984 29598 4294967295 134512640 134569956 3221224400 3221214696 1131229132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29598 13073 16 0 209588 0
vsize: 838416
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 109930 68 0 0 25 0 11 0 540172288 858537984 29699 4294967295 134512640 134569956 3221224400 3221214696 1131228629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29699 13073 16 0 209588 0
vsize: 838416
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 110904 68 0 0 25 0 11 0 540172288 858537984 29801 4294967295 134512640 134569956 3221224400 3221214832 1131354477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209604 29801 13073 16 0 209588 0
vsize: 838416
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 111879 68 0 0 25 0 11 0 540172288 858537984 29927 4294967295 134512640 134569956 3221224400 3221214832 1131354220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 29927 13073 16 0 209588 0
vsize: 838416
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) S 23680 28099 28098 0 -1 0 18093 0 1 0 112862 69 0 0 25 0 11 0 540172288 858537984 30035 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30035 13073 16 0 209588 0
vsize: 838416
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 113841 69 0 0 25 0 11 0 540172288 858537984 30164 4294967295 134512640 134569956 3221224400 3221214784 1131364181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30164 13073 16 0 209588 0
vsize: 838416
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 114820 69 0 0 25 0 11 0 540172288 858537984 30296 4294967295 134512640 134569956 3221224400 3221214696 1131228279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30296 13073 16 0 209588 0
vsize: 838416
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 115793 70 0 0 25 0 11 0 540172288 858537984 30427 4294967295 134512640 134569956 3221224400 3221214696 1131228537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30427 13073 16 0 209588 0
vsize: 838416
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 116772 70 0 0 25 0 11 0 540172288 858537984 30510 4294967295 134512640 134569956 3221224400 3221214696 1131228673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30510 13073 16 0 209588 0
vsize: 838416
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 117741 70 0 0 24 0 11 0 540172288 858537984 30672 4294967295 134512640 134569956 3221224400 3221214704 1131228673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30672 13073 16 0 209588 0
vsize: 838416
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 118721 70 0 0 25 0 11 0 540172288 858537984 30750 4294967295 134512640 134569956 3221224400 3221214704 1131228527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30750 13073 16 0 209588 0
vsize: 838416
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 119692 71 0 0 25 0 11 0 540172288 858537984 30889 4294967295 134512640 134569956 3221224400 3221214728 1131533209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 30889 13073 16 0 209588 0
vsize: 838416
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23748
Raw data (stat): 23681 (java) R 23680 28099 28098 0 -1 0 18093 0 1 0 120668 71 0 0 25 0 11 0 540172288 858537984 31028 4294967295 134512640 134569956 3221224400 3221214728 1131533204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209604 31028 13073 16 0 209588 0
vsize: 838416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 23750
Raw data (stat): 23681 (java) Z 23680 28099 28098 0 -1 1036 18093 15967 1 0 120669 77 4260 44 25 0 1 0 540172288 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): 1240.17
CPU time (s): 1250.51
CPU user time (s): 1249.29
CPU system time (s): 1.21781
CPU usage (%): 100.833
Max. virtual memory (Kb): 842392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####