PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb
MD5SUM	be61473a6f4c61e5d13e35f131b73ac6
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	14250
Biggest coefficient in the objective function	35540854374400
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	4668575759312850
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	35540854374400
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	4668575759312850
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.131979
Number of variables	15000
Total number of constraints	471
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	471
Minimum length of a constraint	30
Maximum length of a constraint	300
Trace number 22894

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-22 03:49:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11189 boxname=wulflinc11 idbench=861 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  be61473a6f4c61e5d13e35f131b73ac6  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-scagr25.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-scagr25.opb
IDLAUNCH: 11189
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        258136 kB
Buffers:         35208 kB
Cached:         719048 kB
SwapCached:          0 kB
Active:         304336 kB
Inactive:       452712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        257884 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13792 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:10:19 (client local time) WITH STATUS 143 IN 1250.77 SECONDS
stats: 11189 7 1250.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-scagr25.opb
c reading problem 
c [nbvar=15000]
c [nbconstr=471]
c time 68.242
c #vars     15000
c #clauses  772
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.39 0.77 0.85 2/54 18675
Raw data (stat): 18675 (runsolver) R 18674 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492385138 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.49 0.78 0.85 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17973 0 1 0 885 39 0 0 24 0 10 0 492385138 853340160 19124 4294967295 134512640 134569956 3221224400 3221214704 1131194730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208335 19124 13073 16 0 208319 0
vsize: 833340
[startup+20.0018 s]
Raw data (loadavg): 0.56 0.79 0.85 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17973 0 1 0 1780 40 0 0 25 0 10 0 492385138 854282240 19807 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 19807 13073 16 0 208549 0
vsize: 834260
[startup+30.0021 s]
Raw data (loadavg): 0.63 0.79 0.85 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17973 0 1 0 2677 40 0 0 25 0 10 0 492385138 854282240 20238 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 20238 13073 16 0 208549 0
vsize: 834260
[startup+40.0024 s]
Raw data (loadavg): 0.69 0.80 0.85 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17973 0 1 0 3607 41 0 0 25 0 10 0 492385138 854282240 20469 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 20469 13073 16 0 208549 0
vsize: 834260
[startup+50.0072 s]
Raw data (loadavg): 0.74 0.80 0.85 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17973 0 1 0 4536 41 0 0 25 0 10 0 492385138 854282240 20592 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 20592 13073 16 0 208549 0
vsize: 834260
[startup+60.009 s]
Raw data (loadavg): 0.78 0.81 0.85 4/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 17984 0 1 0 5424 41 0 0 25 0 10 0 492385138 860590080 22206 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210105 22206 13073 16 0 210089 0
vsize: 840420
[startup+70.0098 s]
Raw data (loadavg): 0.96 0.85 0.86 2/63 18684
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18005 0 1 0 6256 43 0 0 25 0 10 0 492385138 858509312 23762 4294967295 134512640 134569956 3221224400 3221214816 1131291097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209597 23762 13073 16 0 209581 0
vsize: 838388
[startup+80.1133 s]
Raw data (loadavg): 1.11 0.89 0.87 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18053 0 1 0 7143 44 0 0 25 0 11 0 492385138 859275264 24194 4294967295 134512640 134569956 3221224400 3221214616 1131395616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 24194 13073 16 0 209768 0
vsize: 839136
[startup+90.1137 s]
Raw data (loadavg): 1.09 0.89 0.88 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18053 0 1 0 8114 44 0 0 25 0 11 0 492385138 859275264 24151 4294967295 134512640 134569956 3221224400 3221214704 1131594599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 24151 13073 16 0 209768 0
vsize: 839136
[startup+100.113 s]
Raw data (loadavg): 1.15 0.91 0.88 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 9094 44 0 0 25 0 11 0 492385138 860762112 24523 4294967295 134512640 134569956 3221224400 3221214696 1131594602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210147 24523 13073 16 0 210131 0
vsize: 840588
[startup+110.114 s]
Raw data (loadavg): 1.13 0.91 0.88 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 10074 44 0 0 25 0 11 0 492385138 860598272 24604 4294967295 134512640 134569956 3221224400 3221214696 1131594740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210107 24604 13073 16 0 210091 0
vsize: 840428
[startup+120.114 s]
Raw data (loadavg): 1.11 0.91 0.88 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 11055 44 0 0 25 0 11 0 492385138 859627520 24376 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 24376 13073 16 0 209854 0
vsize: 839480
[startup+130.114 s]
Raw data (loadavg): 1.09 0.92 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 12028 44 0 0 25 0 11 0 492385138 859627520 24556 4294967295 134512640 134569956 3221224400 3221214696 1131594596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24556 13073 16 0 209854 0
vsize: 839480
[startup+140.114 s]
Raw data (loadavg): 1.08 0.92 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 13011 45 0 0 25 0 11 0 492385138 859627520 24556 4294967295 134512640 134569956 3221224400 3221214696 1131594602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 24556 13073 16 0 209854 0
vsize: 839480
[startup+150.114 s]
Raw data (loadavg): 1.06 0.92 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 13993 45 0 0 25 0 11 0 492385138 859627520 24677 4294967295 134512640 134569956 3221224400 3221214696 1131594588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24677 13073 16 0 209854 0
vsize: 839480
[startup+160.115 s]
Raw data (loadavg): 1.05 0.92 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 14968 45 0 0 25 0 11 0 492385138 859627520 24677 4294967295 134512640 134569956 3221224400 3221214696 1131594596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24677 13073 16 0 209854 0
vsize: 839480
[startup+170.116 s]
Raw data (loadavg): 1.04 0.92 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 15945 45 0 0 25 0 11 0 492385138 859627520 24996 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24996 13073 16 0 209854 0
vsize: 839480
[startup+180.115 s]
Raw data (loadavg): 1.04 0.93 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 16931 45 0 0 25 0 11 0 492385138 859627520 24996 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24996 13073 16 0 209854 0
vsize: 839480
[startup+190.116 s]
Raw data (loadavg): 1.03 0.93 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 17907 45 0 0 25 0 11 0 492385138 859627520 24996 4294967295 134512640 134569956 3221224400 3221214768 1131291281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 24996 13073 16 0 209854 0
vsize: 839480
[startup+200.117 s]
Raw data (loadavg): 1.03 0.93 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 18879 45 0 0 25 0 11 0 492385138 859627520 25096 4294967295 134512640 134569956 3221224400 3221214696 1131594588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25096 13073 16 0 209854 0
vsize: 839480
[startup+210.118 s]
Raw data (loadavg): 1.02 0.93 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18054 0 1 0 19849 45 0 0 25 0 11 0 492385138 859627520 25248 4294967295 134512640 134569956 3221224400 3221214648 1131428921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25248 13073 16 0 209854 0
vsize: 839480
[startup+220.118 s]
Raw data (loadavg): 1.02 0.93 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 20803 45 0 0 25 0 11 0 492385138 859627520 25393 4294967295 134512640 134569956 3221224400 3221214696 1131594719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25393 13073 16 0 209854 0
vsize: 839480
[startup+230.118 s]
Raw data (loadavg): 1.01 0.94 0.89 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 21785 45 0 0 25 0 11 0 492385138 859627520 25445 4294967295 134512640 134569956 3221224400 3221214856 1131241520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25445 13073 16 0 209854 0
vsize: 839480
[startup+240.118 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 22759 45 0 0 25 0 11 0 492385138 859627520 25533 4294967295 134512640 134569956 3221224400 3221214768 1131290928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25533 13073 16 0 209854 0
vsize: 839480
[startup+250.118 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 23732 45 0 0 25 0 11 0 492385138 859627520 25601 4294967295 134512640 134569956 3221224400 3221214744 1131414878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25601 13073 16 0 209854 0
vsize: 839480
[startup+260.119 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 24705 45 0 0 25 0 11 0 492385138 859627520 25696 4294967295 134512640 134569956 3221224400 3221214696 1131597910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25696 13073 16 0 209854 0
vsize: 839480
[startup+270.119 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 25677 45 0 0 25 0 11 0 492385138 859627520 25784 4294967295 134512640 134569956 3221224400 3221214592 1131283873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25784 13073 16 0 209854 0
vsize: 839480
[startup+280.12 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 26660 45 0 0 25 0 11 0 492385138 859627520 25840 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25840 13073 16 0 209854 0
vsize: 839480
[startup+290.12 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 27632 45 0 0 25 0 11 0 492385138 859627520 25942 4294967295 134512640 134569956 3221224400 3221214224 1131674381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25942 13073 16 0 209854 0
vsize: 839480
[startup+300.121 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 28605 45 0 0 25 0 11 0 492385138 859627520 25994 4294967295 134512640 134569956 3221224400 3221214848 1131403500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 25994 13073 16 0 209854 0
vsize: 839480
[startup+310.127 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 29578 45 0 0 25 0 11 0 492385138 859627520 26097 4294967295 134512640 134569956 3221224400 3221214432 1078033007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 26097 13073 16 0 209854 0
vsize: 839480
[startup+320.127 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 30542 45 0 0 24 0 11 0 492385138 859627520 26213 4294967295 134512640 134569956 3221224400 3221214848 1131249681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 26213 13073 16 0 209854 0
vsize: 839480
[startup+330.127 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 31500 45 0 0 25 0 11 0 492385138 859627520 26358 4294967295 134512640 134569956 3221224400 3221214592 1131283788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 26358 13073 16 0 209854 0
vsize: 839480
[startup+340.127 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 32462 46 0 0 25 0 11 0 492385138 859627520 26496 4294967295 134512640 134569956 3221224400 3221214648 1131429861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 26496 13073 16 0 209854 0
vsize: 839480
[startup+350.135 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 33427 46 0 0 25 0 11 0 492385138 859627520 26642 4294967295 134512640 134569956 3221224400 3221214696 1131594596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 26642 13073 16 0 209854 0
vsize: 839480
[startup+360.144 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 34390 46 0 0 24 0 11 0 492385138 859627520 26800 4294967295 134512640 134569956 3221224400 3221214856 1131241552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 26800 13073 16 0 209854 0
vsize: 839480
[startup+370.144 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 35361 46 0 0 25 0 11 0 492385138 859627520 26961 4294967295 134512640 134569956 3221224400 3221214696 1131594588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 26961 13073 16 0 209854 0
vsize: 839480
[startup+380.143 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 36336 46 0 0 25 0 11 0 492385138 859627520 27093 4294967295 134512640 134569956 3221224400 3221214768 1131291317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27093 13073 16 0 209854 0
vsize: 839480
[startup+390.144 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 37313 47 0 0 25 0 11 0 492385138 859627520 27153 4294967295 134512640 134569956 3221224400 3221214856 1131241604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27153 13073 16 0 209854 0
vsize: 839480
[startup+400.144 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 38290 47 0 0 25 0 11 0 492385138 859627520 27214 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 27214 13073 16 0 209854 0
vsize: 839480
[startup+410.153 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 39262 47 0 0 25 0 11 0 492385138 859627520 27293 4294967295 134512640 134569956 3221224400 3221214856 1131241628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27293 13073 16 0 209854 0
vsize: 839480
[startup+420.161 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 40238 47 0 0 25 0 11 0 492385138 859627520 27356 4294967295 134512640 134569956 3221224400 3221214264 1131673224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27356 13073 16 0 209854 0
vsize: 839480
[startup+430.161 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 41213 47 0 0 25 0 11 0 492385138 859627520 27421 4294967295 134512640 134569956 3221224400 3221214768 1131297581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27421 13073 16 0 209854 0
vsize: 839480
[startup+440.161 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 42187 48 0 0 25 0 11 0 492385138 859627520 27487 4294967295 134512640 134569956 3221224400 3221214696 1131594602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27487 13073 16 0 209854 0
vsize: 839480
[startup+450.161 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 43161 48 0 0 25 0 11 0 492385138 859627520 27562 4294967295 134512640 134569956 3221224400 3221214768 1131290904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27562 13073 16 0 209854 0
vsize: 839480
[startup+460.162 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 44136 48 0 0 25 0 11 0 492385138 859627520 27632 4294967295 134512640 134569956 3221224400 3221214168 1131694345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27632 13073 16 0 209854 0
vsize: 839480
[startup+470.163 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 45110 49 0 0 25 0 11 0 492385138 859627520 27826 4294967295 134512640 134569956 3221224400 3221214768 1131290843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27826 13073 16 0 209854 0
vsize: 839480
[startup+480.163 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 46086 49 0 0 25 0 11 0 492385138 859627520 27891 4294967295 134512640 134569956 3221224400 3221214720 1131406423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27891 13073 16 0 209854 0
vsize: 839480
[startup+490.164 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 47058 49 0 0 25 0 11 0 492385138 859627520 27974 4294967295 134512640 134569956 3221224400 3221214848 1131249664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 27974 13073 16 0 209854 0
vsize: 839480
[startup+500.164 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 48031 50 0 0 25 0 11 0 492385138 859627520 28067 4294967295 134512640 134569956 3221224400 3221214856 1131241628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28067 13073 16 0 209854 0
vsize: 839480
[startup+510.164 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 49004 51 0 0 25 0 11 0 492385138 859627520 28141 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28141 13073 16 0 209854 0
vsize: 839480
[startup+520.164 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 49972 51 0 0 25 0 11 0 492385138 859627520 28218 4294967295 134512640 134569956 3221224400 3221214696 1131594588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28218 13073 16 0 209854 0
vsize: 839480
[startup+530.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 50936 51 0 0 25 0 11 0 492385138 859627520 28338 4294967295 134512640 134569956 3221224400 3221214904 1131370460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28338 13073 16 0 209854 0
vsize: 839480
[startup+540.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 51905 51 0 0 25 0 11 0 492385138 859627520 28432 4294967295 134512640 134569956 3221224400 3221214696 1131594604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28432 13073 16 0 209854 0
vsize: 839480
[startup+550.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 52878 52 0 0 25 0 11 0 492385138 859627520 28788 4294967295 134512640 134569956 3221224400 3221214768 1131290875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28788 13073 16 0 209854 0
vsize: 839480
[startup+560.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 53861 52 0 0 25 0 11 0 492385138 859627520 28863 4294967295 134512640 134569956 3221224400 3221214768 1131291040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28863 13073 16 0 209854 0
vsize: 839480
[startup+570.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 54842 53 0 0 25 0 11 0 492385138 859627520 28910 4294967295 134512640 134569956 3221224400 3221214696 1131594740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28910 13073 16 0 209854 0
vsize: 839480
[startup+580.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 55825 53 0 0 25 0 11 0 492385138 859627520 28944 4294967295 134512640 134569956 3221224400 3221214856 1131241252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 28944 13073 16 0 209854 0
vsize: 839480
[startup+590.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 56806 53 0 0 25 0 11 0 492385138 859627520 28991 4294967295 134512640 134569956 3221224400 3221214408 1131674300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 28991 13073 16 0 209854 0
vsize: 839480
[startup+600.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 57787 53 0 0 25 0 11 0 492385138 859627520 29034 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29034 13073 16 0 209854 0
vsize: 839480
[startup+610.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 58770 54 0 0 25 0 11 0 492385138 859627520 29068 4294967295 134512640 134569956 3221224400 3221214768 1131290776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29068 13073 16 0 209854 0
vsize: 839480
[startup+620.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 18685
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 59749 54 0 0 25 0 11 0 492385138 859627520 29147 4294967295 134512640 134569956 3221224400 3221214752 1131282012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29147 13073 16 0 209854 0
vsize: 839480
[startup+630.17 s]
Raw data (loadavg): 1.23 1.02 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 60731 56 0 0 25 0 11 0 492385138 859627520 29215 4294967295 134512640 134569956 3221224400 3221214312 1131674395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 29215 13073 16 0 209854 0
vsize: 839480
[startup+640.171 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 61710 56 0 0 25 0 11 0 492385138 859627520 29256 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29256 13073 16 0 209854 0
vsize: 839480
[startup+650.171 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 62693 56 0 0 25 0 11 0 492385138 859627520 29325 4294967295 134512640 134569956 3221224400 3221214768 1131290862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 29325 13073 16 0 209854 0
vsize: 839480
[startup+660.172 s]
Raw data (loadavg): 1.22 1.03 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 63674 56 0 0 25 0 11 0 492385138 859627520 29385 4294967295 134512640 134569956 3221224400 3221214696 1131594602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29385 13073 16 0 209854 0
vsize: 839480
[startup+670.173 s]
Raw data (loadavg): 1.19 1.03 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 64657 57 0 0 25 0 11 0 492385138 859627520 29452 4294967295 134512640 134569956 3221224400 3221214696 1131594602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29452 13073 16 0 209854 0
vsize: 839480
[startup+680.172 s]
Raw data (loadavg): 1.16 1.03 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 65638 57 0 0 25 0 11 0 492385138 859627520 29541 4294967295 134512640 134569956 3221224400 3221214856 1131241515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29541 13073 16 0 209854 0
vsize: 839480
[startup+690.173 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 18738
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 66620 57 0 0 25 0 11 0 492385138 859627520 29595 4294967295 134512640 134569956 3221224400 3221214752 1131281911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29595 13073 16 0 209854 0
vsize: 839480
[startup+700.174 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 67598 58 0 0 25 0 11 0 492385138 859627520 29633 4294967295 134512640 134569956 3221224400 3221214856 1131241468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29633 13073 16 0 209854 0
vsize: 839480
[startup+710.175 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 68580 58 0 0 25 0 11 0 492385138 859627520 29672 4294967295 134512640 134569956 3221224400 3221214768 1131290772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29672 13073 16 0 209854 0
vsize: 839480
[startup+720.176 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 18740
Raw data (stat): 18675 (java) S 18674 32461 32460 0 -1 0 18055 0 1 0 69560 58 0 0 25 0 11 0 492385138 859627520 29753 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29753 13073 16 0 209854 0
vsize: 839480
[startup+730.176 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 70540 59 0 0 25 0 11 0 492385138 859627520 29838 4294967295 134512640 134569956 3221224400 3221214768 1131290921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29838 13073 16 0 209854 0
vsize: 839480
[startup+740.177 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 71522 59 0 0 25 0 11 0 492385138 859627520 29925 4294967295 134512640 134569956 3221224400 3221214360 1131695204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29925 13073 16 0 209854 0
vsize: 839480
[startup+750.176 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 72503 59 0 0 25 0 11 0 492385138 859627520 29970 4294967295 134512640 134569956 3221224400 3221214696 1131598033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 29970 13073 16 0 209854 0
vsize: 839480
[startup+760.178 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 73481 59 0 0 25 0 11 0 492385138 859627520 30020 4294967295 134512640 134569956 3221224400 3221214768 1131290990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30020 13073 16 0 209854 0
vsize: 839480
[startup+770.185 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 74462 59 0 0 25 0 11 0 492385138 859627520 30085 4294967295 134512640 134569956 3221224400 3221214696 1131594588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30085 13073 16 0 209854 0
vsize: 839480
[startup+780.196 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 75443 60 0 0 25 0 11 0 492385138 859627520 30157 4294967295 134512640 134569956 3221224400 3221214852 1131298663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30157 13073 16 0 209854 0
vsize: 839480
[startup+790.197 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) S 18674 32461 32460 0 -1 0 18055 0 1 0 76423 60 0 0 25 0 11 0 492385138 859627520 30234 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30234 13073 16 0 209854 0
vsize: 839480
[startup+800.196 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 77398 60 0 0 25 0 11 0 492385138 859627520 30324 4294967295 134512640 134569956 3221224400 3221214768 1131290812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30324 13073 16 0 209854 0
vsize: 839480
[startup+810.202 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 78370 60 0 0 25 0 11 0 492385138 859627520 30369 4294967295 134512640 134569956 3221224400 3221214768 1131291127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30369 13073 16 0 209854 0
vsize: 839480
[startup+820.202 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 79343 60 0 0 25 0 11 0 492385138 859627520 30427 4294967295 134512640 134569956 3221224400 3221214472 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30427 13073 16 0 209854 0
vsize: 839480
[startup+830.217 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 80317 61 0 0 25 0 11 0 492385138 859627520 30510 4294967295 134512640 134569956 3221224400 3221214696 1131594596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30510 13073 16 0 209854 0
vsize: 839480
[startup+840.236 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 81292 61 0 0 25 0 11 0 492385138 859627520 30580 4294967295 134512640 134569956 3221224400 3221214848 1131248370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 30580 13073 16 0 209854 0
vsize: 839480
[startup+850.237 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 82262 62 0 0 25 0 11 0 492385138 859627520 31158 4294967295 134512640 134569956 3221224400 3221214608 1131291105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31158 13073 16 0 209854 0
vsize: 839480
[startup+860.237 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 83242 62 0 0 25 0 11 0 492385138 859627520 31209 4294967295 134512640 134569956 3221224400 3221214848 1131403500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31209 13073 16 0 209854 0
vsize: 839480
[startup+870.237 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 84220 62 0 0 25 0 11 0 492385138 859627520 31254 4294967295 134512640 134569956 3221224400 3221214768 1131291135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31254 13073 16 0 209854 0
vsize: 839480
[startup+880.254 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 85201 63 0 0 25 0 11 0 492385138 859627520 31305 4294967295 134512640 134569956 3221224400 3221214768 1131290904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31305 13073 16 0 209854 0
vsize: 839480
[startup+890.267 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 86181 63 0 0 25 0 11 0 492385138 859627520 31396 4294967295 134512640 134569956 3221224400 3221214768 1131291550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 31396 13073 16 0 209854 0
vsize: 839480
[startup+900.267 s]
Raw data (loadavg): 1.00 1.01 0.93 3/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 87158 63 0 0 24 0 11 0 492385138 859627520 31541 4294967295 134512640 134569956 3221224400 3221214720 1131580564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31541 13073 16 0 209854 0
vsize: 839480
[startup+910.287 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 88140 64 0 0 25 0 11 0 492385138 859627520 31639 4294967295 134512640 134569956 3221224400 3221214360 1131695260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31639 13073 16 0 209854 0
vsize: 839480
[startup+925.213 s]
Raw data (loadavg): 1.39 1.09 0.96 3/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 89603 65 0 0 25 0 11 0 492385138 859627520 31750 4294967295 134512640 134569956 3221224400 3221214744 1131414872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31750 13073 16 0 209854 0
vsize: 839480
[startup+935.214 s]
Raw data (loadavg): 1.33 1.08 0.96 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 90584 65 0 0 25 0 11 0 492385138 859627520 31806 4294967295 134512640 134569956 3221224400 3221214544 1131697572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31806 13073 16 0 209854 0
vsize: 839480
[startup+945.222 s]
Raw data (loadavg): 1.28 1.08 0.96 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 91565 65 0 0 25 0 11 0 492385138 859627520 31870 4294967295 134512640 134569956 3221224400 3221214768 1131291227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31870 13073 16 0 209854 0
vsize: 839480
[startup+955.222 s]
Raw data (loadavg): 1.23 1.08 0.96 2/64 18740
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 92544 66 0 0 25 0 11 0 492385138 859627520 31919 4294967295 134512640 134569956 3221224400 3221214904 1131369973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 31919 13073 16 0 209854 0
vsize: 839480
[startup+967.488 s]
Raw data (loadavg): 1.28 1.09 0.96 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 93745 66 0 0 25 0 11 0 492385138 859627520 32037 4294967295 134512640 134569956 3221224400 3221214848 1131249664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209870 32037 13073 16 0 209854 0
vsize: 839480
[startup+977.491 s]
Raw data (loadavg): 1.23 1.09 0.96 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 94726 67 0 0 25 0 11 0 492385138 859627520 32092 4294967295 134512640 134569956 3221224400 3221214848 1131249681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32092 13073 16 0 209854 0
vsize: 839480
[startup+987.491 s]
Raw data (loadavg): 1.28 1.10 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 95705 67 0 0 24 0 11 0 492385138 859627520 32156 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32156 13073 16 0 209854 0
vsize: 839480
[startup+997.491 s]
Raw data (loadavg): 1.23 1.10 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 96690 67 0 0 25 0 11 0 492385138 859627520 32191 4294967295 134512640 134569956 3221224400 3221214544 1131695266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32191 13073 16 0 209854 0
vsize: 839480
[startup+1007.49 s]
Raw data (loadavg): 1.20 1.09 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 97670 67 0 0 25 0 11 0 492385138 859627520 32266 4294967295 134512640 134569956 3221224400 3221214308 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32266 13073 16 0 209854 0
vsize: 839480
[startup+1017.5 s]
Raw data (loadavg): 1.17 1.09 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 98653 67 0 0 25 0 11 0 492385138 859627520 32335 4294967295 134512640 134569956 3221224400 3221214768 1131290901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32335 13073 16 0 209854 0
vsize: 839480
[startup+1027.51 s]
Raw data (loadavg): 1.14 1.09 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 99636 68 0 0 25 0 11 0 492385138 859627520 32383 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32383 13073 16 0 209854 0
vsize: 839480
[startup+1037.51 s]
Raw data (loadavg): 1.12 1.08 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 100616 68 0 0 25 0 11 0 492385138 859627520 32446 4294967295 134512640 134569956 3221224400 3221214696 1131594596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32446 13073 16 0 209854 0
vsize: 839480
[startup+1047.61 s]
Raw data (loadavg): 1.10 1.08 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 101609 68 0 0 25 0 11 0 492385138 859627520 32497 4294967295 134512640 134569956 3221224400 3221214848 1131249657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32497 13073 16 0 209854 0
vsize: 839480
[startup+1057.61 s]
Raw data (loadavg): 1.08 1.08 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 102586 69 0 0 25 0 11 0 492385138 859627520 32544 4294967295 134512640 134569956 3221224400 3221214696 1131594719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32544 13073 16 0 209854 0
vsize: 839480
[startup+1067.61 s]
Raw data (loadavg): 1.07 1.07 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 103566 69 0 0 25 0 11 0 492385138 859627520 32576 4294967295 134512640 134569956 3221224400 3221214856 1131241252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32576 13073 16 0 209854 0
vsize: 839480
[startup+1077.61 s]
Raw data (loadavg): 1.06 1.07 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 104541 70 0 0 24 0 11 0 492385138 859627520 32625 4294967295 134512640 134569956 3221224400 3221214696 1131594599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32625 13073 16 0 209854 0
vsize: 839480
[startup+1087.62 s]
Raw data (loadavg): 1.05 1.07 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 105518 70 0 0 25 0 11 0 492385138 859627520 32671 4294967295 134512640 134569956 3221224400 3221214696 1131594719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32671 13073 16 0 209854 0
vsize: 839480
[startup+1097.62 s]
Raw data (loadavg): 1.04 1.07 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 106500 70 0 0 25 0 11 0 492385138 859627520 32764 4294967295 134512640 134569956 3221224400 3221214696 1131594719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32764 13073 16 0 209854 0
vsize: 839480
[startup+1107.62 s]
Raw data (loadavg): 1.04 1.06 0.97 2/64 18742
Raw data (stat): 18675 (java) S 18674 32461 32460 0 -1 0 18055 0 1 0 107479 71 0 0 25 0 11 0 492385138 859627520 32784 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32784 13073 16 0 209854 0
vsize: 839480
[startup+1117.62 s]
Raw data (loadavg): 1.03 1.06 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 108455 71 0 0 25 0 11 0 492385138 859627520 32807 4294967295 134512640 134569956 3221224400 3221214752 1131281911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32807 13073 16 0 209854 0
vsize: 839480
[startup+1127.62 s]
Raw data (loadavg): 1.02 1.06 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 109434 71 0 0 25 0 11 0 492385138 859627520 32930 4294967295 134512640 134569956 3221224400 3221214848 1131248377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 32930 13073 16 0 209854 0
vsize: 839480
[startup+1137.62 s]
Raw data (loadavg): 1.02 1.06 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 110416 72 0 0 25 0 11 0 492385138 859627520 33059 4294967295 134512640 134569956 3221224400 3221214768 1131291519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33059 13073 16 0 209854 0
vsize: 839480
[startup+1147.62 s]
Raw data (loadavg): 1.02 1.05 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 111398 72 0 0 25 0 11 0 492385138 859627520 33085 4294967295 134512640 134569956 3221224400 3221214768 1131291651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33085 13073 16 0 209854 0
vsize: 839480
[startup+1157.62 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 112382 72 0 0 25 0 11 0 492385138 859627520 33113 4294967295 134512640 134569956 3221224400 3221214696 1131594576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33113 13073 16 0 209854 0
vsize: 839480
[startup+1167.62 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 113364 72 0 0 25 0 11 0 492385138 859627520 33144 4294967295 134512640 134569956 3221224400 3221214696 1131594727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33144 13073 16 0 209854 0
vsize: 839480
[startup+1177.62 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 114346 73 0 0 25 0 11 0 492385138 859627520 33249 4294967295 134512640 134569956 3221224400 3221214768 1131291101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33249 13073 16 0 209854 0
vsize: 839480
[startup+1187.62 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 115330 73 0 0 25 0 11 0 492385138 859627520 33273 4294967295 134512640 134569956 3221224400 3221214848 1131248370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33273 13073 16 0 209854 0
vsize: 839480
[startup+1197.62 s]
Raw data (loadavg): 1.01 1.04 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 116311 73 0 0 25 0 11 0 492385138 859627520 33319 4294967295 134512640 134569956 3221224400 3221214852 1131297568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33319 13073 16 0 209854 0
vsize: 839480
[startup+1207.62 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 117296 74 0 0 25 0 11 0 492385138 859627520 33341 4294967295 134512640 134569956 3221224400 3221214960 1131601430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33341 13073 16 0 209854 0
vsize: 839480
[startup+1217.62 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 118279 74 0 0 25 0 11 0 492385138 859627520 33376 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33376 13073 16 0 209854 0
vsize: 839480
[startup+1227.62 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 119260 74 0 0 25 0 11 0 492385138 859627520 33409 4294967295 134512640 134569956 3221224400 3221214696 1131594592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33409 13073 16 0 209854 0
vsize: 839480
[startup+1237.62 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 18742
Raw data (stat): 18675 (java) R 18674 32461 32460 0 -1 0 18055 0 1 0 120245 74 0 0 25 0 11 0 492385138 859627520 33437 4294967295 134512640 134569956 3221224400 3221214592 1131283723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209870 33437 13073 16 0 209854 0
vsize: 839480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1237.72 s]
Raw data (loadavg): 1.00 1.04 0.97 1/54 18744
Raw data (stat): 18675 (java) Z 18674 32461 32460 0 -1 1036 18055 21043 1 0 120248 81 4692 54 25 0 1 0 492385138 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): 1237.72
CPU time (s): 1250.77
CPU user time (s): 1249.41
CPU system time (s): 1.36079
CPU usage (%): 101.055
Max. virtual memory (Kb): 840588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####