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/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
MD5SUM	c4040960fadc5a0c2fe39dd858a66385
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	89
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	11
Trace number 29221

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 05:38:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20598 boxname=wulflinc26 idbench=188 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c4040960fadc5a0c2fe39dd858a66385  /oldhome/oroussel/tmp/wulflinc26/normalized-jnh217.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-jnh217.opb
IDLAUNCH: 20598
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        413100 kB
Buffers:         35256 kB
Cached:         563236 kB
SwapCached:        656 kB
Active:         134456 kB
Inactive:       466588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        412848 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            14896 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:58:56 (client local time) WITH STATUS 143 IN 1238.17 SECONDS
stats: 20598 0 1238.17 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-jnh217.opb
c reading problem ... done. Time 1.661 ms.
c #vars     200
c #constraints  900
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 100 		Current CPU time: 6.14 ms
c CURRENT OPTIMUM=                  99 		Current CPU time: 6.49 ms
c CURRENT OPTIMUM=                  98 		Current CPU time: 6.86 ms
c CURRENT OPTIMUM=                  97 		Current CPU time: 7.75 ms
c CURRENT OPTIMUM=                  92 		Current CPU time: 7.88 ms
c CURRENT OPTIMUM=                  91 		Current CPU time: 12.89 ms
c CURRENT OPTIMUM=                  90 		Current CPU time: 26.86 ms
c CURRENT OPTIMUM=                  89 		Current CPU time: 265.40 ms
c starts	: 22
c conflicts	: 4508
c decisions	: 8094
c propagations	: 192351
c inspects	: 9485862
c learned literals	: 1
c learned binary clauses	: 4
c learned ternary clauses	: 25
c learned clauses	: 4507
c root simplifications	: 29
s SATISFIABLE
v -x1 x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 
c objectif function=89
c Total CPU time (ms) : 1239.11
#### 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): 1.04 1.02 0.97 2/54 832
Raw data (stat): 832 (runsolver) R 831 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836425442 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.26 1.06 0.98 2/64 847
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18120 6 1 0 735 38 0 0 25 0 11 0 836425442 857993216 19934 4294967295 134512640 134569956 3221224384 3221214528 1131212205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 19934 13086 16 0 209455 0
vsize: 837884
[startup+20.0005 s]
Raw data (loadavg): 1.22 1.06 0.98 2/64 848
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18120 6 1 0 1687 38 0 0 25 0 11 0 836425442 857993216 20311 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209471 20311 13086 16 0 209455 0
vsize: 837884
[startup+30.0006 s]
Raw data (loadavg): 1.19 1.06 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18120 6 1 0 2643 39 0 0 25 0 11 0 836425442 857993216 20395 4294967295 134512640 134569956 3221224384 3221214228 1131489099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 20395 13086 16 0 209455 0
vsize: 837884
[startup+40.0003 s]
Raw data (loadavg): 1.16 1.06 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 3586 39 0 0 25 0 11 0 836425442 857993216 20868 4294967295 134512640 134569956 3221224384 3221214608 1131185785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 20868 13086 16 0 209455 0
vsize: 837884
[startup+50.0015 s]
Raw data (loadavg): 1.13 1.05 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 4525 39 0 0 25 0 11 0 836425442 857993216 20934 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 20934 13086 16 0 209455 0
vsize: 837884
[startup+60.0038 s]
Raw data (loadavg): 1.11 1.05 0.98 2/64 849
Raw data (stat): 832 (java) S 831 20687 20686 0 -1 0 18121 6 1 0 5474 39 0 0 25 0 11 0 836425442 857993216 21331 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21331 13086 16 0 209455 0
vsize: 837884
[startup+70.0075 s]
Raw data (loadavg): 1.10 1.05 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 6438 39 0 0 25 0 11 0 836425442 857993216 21441 4294967295 134512640 134569956 3221224384 3221214720 1131315187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21441 13086 16 0 209455 0
vsize: 837884
[startup+80.0087 s]
Raw data (loadavg): 1.08 1.05 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 7398 39 0 0 25 0 11 0 836425442 857993216 21633 4294967295 134512640 134569956 3221224384 3221214616 1131240818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21633 13086 16 0 209455 0
vsize: 837884
[startup+90.0088 s]
Raw data (loadavg): 1.07 1.05 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 8355 39 0 0 25 0 11 0 836425442 857993216 21727 4294967295 134512640 134569956 3221224384 3221214720 1131314656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21727 13086 16 0 209455 0
vsize: 837884
[startup+100.009 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 9319 39 0 0 25 0 11 0 836425442 857993216 21767 4294967295 134512640 134569956 3221224384 3221214232 1131487438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21767 13086 16 0 209455 0
vsize: 837884
[startup+110.011 s]
Raw data (loadavg): 1.05 1.04 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 10283 39 0 0 25 0 11 0 836425442 857993216 21898 4294967295 134512640 134569956 3221224384 3221214616 1131241068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 21898 13086 16 0 209455 0
vsize: 837884
[startup+120.01 s]
Raw data (loadavg): 1.04 1.04 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 11258 39 0 0 25 0 11 0 836425442 857993216 22091 4294967295 134512640 134569956 3221224384 3221214608 1131185789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22091 13086 16 0 209455 0
vsize: 837884
[startup+130.011 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 12238 39 0 0 25 0 11 0 836425442 857993216 22160 4294967295 134512640 134569956 3221224384 3221214716 1131186376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22160 13086 16 0 209455 0
vsize: 837884
[startup+140.012 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 13219 40 0 0 25 0 11 0 836425442 857993216 22191 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22191 13086 16 0 209455 0
vsize: 837884
[startup+150.012 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 14200 40 0 0 25 0 11 0 836425442 857993216 22247 4294967295 134512640 134569956 3221224384 3221214448 1131391914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22247 13086 16 0 209455 0
vsize: 837884
[startup+160.012 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 15182 40 0 0 25 0 11 0 836425442 857993216 22270 4294967295 134512640 134569956 3221224384 3221214616 1131240710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22270 13086 16 0 209455 0
vsize: 837884
[startup+170.011 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 16163 40 0 0 25 0 11 0 836425442 857993216 22343 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22343 13086 16 0 209455 0
vsize: 837884
[startup+180.012 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 17143 40 0 0 25 0 11 0 836425442 857993216 22372 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22372 13086 16 0 209455 0
vsize: 837884
[startup+190.012 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 18122 40 0 0 25 0 11 0 836425442 857993216 22396 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22396 13086 16 0 209455 0
vsize: 837884
[startup+200.013 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 19100 40 0 0 25 0 11 0 836425442 857993216 22440 4294967295 134512640 134569956 3221224384 3221214616 1131240190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22440 13086 16 0 209455 0
vsize: 837884
[startup+210.014 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 20077 40 0 0 25 0 11 0 836425442 857993216 22483 4294967295 134512640 134569956 3221224384 3221214616 1131240371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22483 13086 16 0 209455 0
vsize: 837884
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 21054 40 0 0 25 0 11 0 836425442 857993216 22561 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22561 13086 16 0 209455 0
vsize: 837884
[startup+230.014 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 22034 40 0 0 25 0 11 0 836425442 857993216 22590 4294967295 134512640 134569956 3221224384 3221214720 1131314839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22590 13086 16 0 209455 0
vsize: 837884
[startup+240.014 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 23010 40 0 0 25 0 11 0 836425442 857993216 22636 4294967295 134512640 134569956 3221224384 3221214616 1131240334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22636 13086 16 0 209455 0
vsize: 837884
[startup+250.015 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 23982 40 0 0 24 0 11 0 836425442 857993216 22680 4294967295 134512640 134569956 3221224384 3221214720 1131314773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22680 13086 16 0 209455 0
vsize: 837884
[startup+260.015 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 849
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 24954 40 0 0 25 0 11 0 836425442 857993216 22732 4294967295 134512640 134569956 3221224384 3221214720 1131315321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22732 13086 16 0 209455 0
vsize: 837884
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 25924 40 0 0 25 0 11 0 836425442 857993216 22798 4294967295 134512640 134569956 3221224384 3221214616 1131240669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22798 13086 16 0 209455 0
vsize: 837884
[startup+280.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 26896 40 0 0 25 0 11 0 836425442 857993216 22839 4294967295 134512640 134569956 3221224384 3221214616 1131240828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22839 13086 16 0 209455 0
vsize: 837884
[startup+290.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 27860 40 0 0 25 0 11 0 836425442 857993216 22866 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22866 13086 16 0 209455 0
vsize: 837884
[startup+300.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 28812 41 0 0 25 0 11 0 836425442 857993216 22967 4294967295 134512640 134569956 3221224384 3221214616 1131240259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 22967 13086 16 0 209455 0
vsize: 837884
[startup+310.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 29775 41 0 0 25 0 11 0 836425442 857993216 23077 4294967295 134512640 134569956 3221224384 3221214716 1131186376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23077 13086 16 0 209455 0
vsize: 837884
[startup+320.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 30740 41 0 0 25 0 11 0 836425442 857993216 23152 4294967295 134512640 134569956 3221224384 3221214616 1131240786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23152 13086 16 0 209455 0
vsize: 837884
[startup+330.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 31709 41 0 0 25 0 11 0 836425442 857993216 23324 4294967295 134512640 134569956 3221224384 3221214608 1131185645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23324 13086 16 0 209455 0
vsize: 837884
[startup+340.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 32683 41 0 0 25 0 11 0 836425442 857993216 23478 4294967295 134512640 134569956 3221224384 3221214612 1131212192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23478 13086 16 0 209455 0
vsize: 837884
[startup+350.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 33658 41 0 0 24 0 11 0 836425442 857993216 23527 4294967295 134512640 134569956 3221224384 3221214608 1131185657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23527 13086 16 0 209455 0
vsize: 837884
[startup+360.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 34638 41 0 0 25 0 11 0 836425442 857993216 23544 4294967295 134512640 134569956 3221224384 3221214616 1131240236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23544 13086 16 0 209455 0
vsize: 837884
[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 35611 41 0 0 25 0 11 0 836425442 857993216 23589 4294967295 134512640 134569956 3221224384 3221214616 1131240648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23589 13086 16 0 209455 0
vsize: 837884
[startup+380.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 36582 41 0 0 25 0 11 0 836425442 857993216 23635 4294967295 134512640 134569956 3221224384 3221214720 1131314653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23635 13086 16 0 209455 0
vsize: 837884
[startup+390.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 37548 41 0 0 25 0 11 0 836425442 857993216 23680 4294967295 134512640 134569956 3221224384 3221214616 1131241083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23680 13086 16 0 209455 0
vsize: 837884
[startup+400.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 38518 41 0 0 25 0 11 0 836425442 857993216 23768 4294967295 134512640 134569956 3221224384 3221214616 1131240202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23768 13086 16 0 209455 0
vsize: 837884
[startup+410.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 39483 41 0 0 25 0 11 0 836425442 857993216 23860 4294967295 134512640 134569956 3221224384 3221214008 1131487471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23860 13086 16 0 209455 0
vsize: 837884
[startup+420.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 40460 41 0 0 25 0 11 0 836425442 857993216 23956 4294967295 134512640 134569956 3221224384 3221214560 1131487504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 23956 13086 16 0 209455 0
vsize: 837884
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 41433 41 0 0 17 0 11 0 836425442 857993216 24024 4294967295 134512640 134569956 3221224384 3221214664 1131287742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24024 13086 16 0 209455 0
vsize: 837884
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 42409 41 0 0 25 0 11 0 836425442 857993216 24069 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24069 13086 16 0 209455 0
vsize: 837884
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 43384 41 0 0 25 0 11 0 836425442 857993216 24131 4294967295 134512640 134569956 3221224384 3221214668 1131358624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24131 13086 16 0 209455 0
vsize: 837884
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 44355 41 0 0 25 0 11 0 836425442 857993216 24148 4294967295 134512640 134569956 3221224384 3221214616 1131240307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209471 24148 13086 16 0 209455 0
vsize: 837884
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 45319 41 0 0 25 0 11 0 836425442 857993216 24218 4294967295 134512640 134569956 3221224384 3221214120 1131489143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24218 13086 16 0 209455 0
vsize: 837884
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 46290 41 0 0 25 0 11 0 836425442 857993216 24289 4294967295 134512640 134569956 3221224384 3221214720 1131314625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24289 13086 16 0 209455 0
vsize: 837884
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 47258 42 0 0 25 0 11 0 836425442 857993216 24364 4294967295 134512640 134569956 3221224384 3221214720 1131315221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24364 13086 16 0 209455 0
vsize: 837884
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 48228 42 0 0 25 0 11 0 836425442 857993216 24503 4294967295 134512640 134569956 3221224384 3221214616 1131240803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24503 13086 16 0 209455 0
vsize: 837884
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 49202 42 0 0 25 0 11 0 836425442 857993216 24549 4294967295 134512640 134569956 3221224384 3221214616 1131240319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24549 13086 16 0 209455 0
vsize: 837884
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 50180 42 0 0 25 0 11 0 836425442 857993216 24608 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24608 13086 16 0 209455 0
vsize: 837884
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 51158 42 0 0 25 0 11 0 836425442 857993216 24674 4294967295 134512640 134569956 3221224384 3221214616 1131240751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24674 13086 16 0 209455 0
vsize: 837884
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 52143 42 0 0 25 0 11 0 836425442 857993216 24702 4294967295 134512640 134569956 3221224384 3221214608 1131185769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24702 13086 16 0 209455 0
vsize: 837884
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 53125 42 0 0 25 0 11 0 836425442 857993216 24742 4294967295 134512640 134569956 3221224384 3221214608 1131185789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24742 13086 16 0 209455 0
vsize: 837884
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 54109 42 0 0 25 0 11 0 836425442 857993216 24761 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24761 13086 16 0 209455 0
vsize: 837884
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 55092 42 0 0 24 0 11 0 836425442 857993216 24786 4294967295 134512640 134569956 3221224384 3221214616 1131240579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24786 13086 16 0 209455 0
vsize: 837884
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 56079 43 0 0 25 0 11 0 836425442 857993216 24797 4294967295 134512640 134569956 3221224384 3221214312 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24797 13086 16 0 209455 0
vsize: 837884
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 57056 43 0 0 25 0 11 0 836425442 857993216 24812 4294967295 134512640 134569956 3221224384 3221214768 1131275291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24812 13086 16 0 209455 0
vsize: 837884
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 58035 43 0 0 25 0 11 0 836425442 857993216 24844 4294967295 134512640 134569956 3221224384 3221214608 1131185645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24844 13086 16 0 209455 0
vsize: 837884
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 59015 43 0 0 25 0 11 0 836425442 857993216 24885 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24885 13086 16 0 209455 0
vsize: 837884
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 59994 43 0 0 25 0 11 0 836425442 857993216 24897 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24897 13086 16 0 209455 0
vsize: 837884
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) S 831 20687 20686 0 -1 0 18121 6 1 0 60974 43 0 0 25 0 11 0 836425442 857993216 24947 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24947 13086 16 0 209455 0
vsize: 837884
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 61953 43 0 0 17 0 11 0 836425442 857993216 24973 4294967295 134512640 134569956 3221224384 3221214608 1131185652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24973 13086 16 0 209455 0
vsize: 837884
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 62932 43 0 0 25 0 11 0 836425442 857993216 24995 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 24995 13086 16 0 209455 0
vsize: 837884
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 63904 44 0 0 25 0 11 0 836425442 857993216 25041 4294967295 134512640 134569956 3221224384 3221214616 1131241077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25041 13086 16 0 209455 0
vsize: 837884
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 64877 44 0 0 25 0 11 0 836425442 857993216 25078 4294967295 134512640 134569956 3221224384 3221214608 1131185645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25078 13086 16 0 209455 0
vsize: 837884
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 65856 44 0 0 25 0 11 0 836425442 857993216 25108 4294967295 134512640 134569956 3221224384 3221214608 1131185771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25108 13086 16 0 209455 0
vsize: 837884
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 66825 44 0 0 25 0 11 0 836425442 857993216 25179 4294967295 134512640 134569956 3221224384 3221214228 1131489104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25179 13086 16 0 209455 0
vsize: 837884
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 67797 44 0 0 25 0 11 0 836425442 857993216 25248 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25248 13086 16 0 209455 0
vsize: 837884
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 68766 44 0 0 25 0 11 0 836425442 857993216 25305 4294967295 134512640 134569956 3221224384 3221214616 1131240579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25305 13086 16 0 209455 0
vsize: 837884
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 69738 44 0 0 25 0 11 0 836425442 857993216 25329 4294967295 134512640 134569956 3221224384 3221214720 1131314748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209471 25329 13086 16 0 209455 0
vsize: 837884
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 70706 44 0 0 25 0 11 0 836425442 857993216 25446 4294967295 134512640 134569956 3221224384 3221214584 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25446 13086 16 0 209455 0
vsize: 837884
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 71679 44 0 0 25 0 11 0 836425442 857993216 25513 4294967295 134512640 134569956 3221224384 3221214616 1131410735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25513 13086 16 0 209455 0
vsize: 837884
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 72657 44 0 0 25 0 11 0 836425442 857993216 25557 4294967295 134512640 134569956 3221224384 3221214616 1131240236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25557 13086 16 0 209455 0
vsize: 837884
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 73635 44 0 0 25 0 11 0 836425442 857993216 25621 4294967295 134512640 134569956 3221224384 3221214376 1131491725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25621 13086 16 0 209455 0
vsize: 837884
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 74613 45 0 0 25 0 11 0 836425442 857993216 25653 4294967295 134512640 134569956 3221224384 3221214616 1131240165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25653 13086 16 0 209455 0
vsize: 837884
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 75585 45 0 0 25 0 11 0 836425442 857993216 25691 4294967295 134512640 134569956 3221224384 3221214616 1131240236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25691 13086 16 0 209455 0
vsize: 837884
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 76558 45 0 0 25 0 11 0 836425442 857993216 25730 4294967295 134512640 134569956 3221224384 3221214720 1131314546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25730 13086 16 0 209455 0
vsize: 837884
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 77533 45 0 0 25 0 11 0 836425442 857993216 25797 4294967295 134512640 134569956 3221224384 3221214616 1131240513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25797 13086 16 0 209455 0
vsize: 837884
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 78511 45 0 0 25 0 11 0 836425442 857993216 25850 4294967295 134512640 134569956 3221224384 3221214616 1131240425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25850 13086 16 0 209455 0
vsize: 837884
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 79496 45 0 0 25 0 11 0 836425442 857993216 25911 4294967295 134512640 134569956 3221224384 3221214224 1131487442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25911 13086 16 0 209455 0
vsize: 837884
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 80478 45 0 0 25 0 11 0 836425442 857993216 25943 4294967295 134512640 134569956 3221224384 3221214616 1131240818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25943 13086 16 0 209455 0
vsize: 837884
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 81463 45 0 0 25 0 11 0 836425442 857993216 25953 4294967295 134512640 134569956 3221224384 3221214616 1131240472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25953 13086 16 0 209455 0
vsize: 837884
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 82449 45 0 0 25 0 11 0 836425442 857993216 25968 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25968 13086 16 0 209455 0
vsize: 837884
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 83432 45 0 0 25 0 11 0 836425442 857993216 25977 4294967295 134512640 134569956 3221224384 3221214608 1131185657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25977 13086 16 0 209455 0
vsize: 837884
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 84415 45 0 0 25 0 11 0 836425442 857993216 25989 4294967295 134512640 134569956 3221224384 3221214720 1131319780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 25989 13086 16 0 209455 0
vsize: 837884
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 85396 45 0 0 25 0 11 0 836425442 857993216 26005 4294967295 134512640 134569956 3221224384 3221214720 1131314669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26005 13086 16 0 209455 0
vsize: 837884
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 86376 45 0 0 25 0 11 0 836425442 857993216 26024 4294967295 134512640 134569956 3221224384 3221214616 1131240157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26024 13086 16 0 209455 0
vsize: 837884
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 87358 45 0 0 25 0 11 0 836425442 857993216 26054 4294967295 134512640 134569956 3221224384 3221214288 1131489132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26054 13086 16 0 209455 0
vsize: 837884
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 88338 45 0 0 25 0 11 0 836425442 857993216 26090 4294967295 134512640 134569956 3221224384 3221214616 1131240562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26090 13086 16 0 209455 0
vsize: 837884
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) S 831 20687 20686 0 -1 0 18121 6 1 0 89317 45 0 0 25 0 11 0 836425442 857993216 26100 4294967295 134512640 134569956 3221224384 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26100 13086 16 0 209455 0
vsize: 837884
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 90296 46 0 0 25 0 11 0 836425442 857993216 26110 4294967295 134512640 134569956 3221224384 3221214608 1131185715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209471 26110 13086 16 0 209455 0
vsize: 837884
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 91271 46 0 0 25 0 11 0 836425442 857993216 26131 4294967295 134512640 134569956 3221224384 3221214612 1131212192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26131 13086 16 0 209455 0
vsize: 837884
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 92243 46 0 0 25 0 11 0 836425442 857993216 26197 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26197 13086 16 0 209455 0
vsize: 837884
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 93218 46 0 0 25 0 11 0 836425442 857993216 26233 4294967295 134512640 134569956 3221224384 3221214616 1131240864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26233 13086 16 0 209455 0
vsize: 837884
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 94196 46 0 0 25 0 11 0 836425442 857993216 26259 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26259 13086 16 0 209455 0
vsize: 837884
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 95173 46 0 0 25 0 11 0 836425442 857993216 26288 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26288 13086 16 0 209455 0
vsize: 837884
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 96146 46 0 0 25 0 11 0 836425442 857993216 26366 4294967295 134512640 134569956 3221224384 3221214616 1131240889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26366 13086 16 0 209455 0
vsize: 837884
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 97121 46 0 0 25 0 11 0 836425442 857993216 26406 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26406 13086 16 0 209455 0
vsize: 837884
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 98099 46 0 0 25 0 11 0 836425442 857993216 26434 4294967295 134512640 134569956 3221224384 3221214016 1131489105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26434 13086 16 0 209455 0
vsize: 837884
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 99075 46 0 0 25 0 11 0 836425442 857993216 26490 4294967295 134512640 134569956 3221224384 3221214720 1131314773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26490 13086 16 0 209455 0
vsize: 837884
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 100052 46 0 0 25 0 11 0 836425442 857993216 26529 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26529 13086 16 0 209455 0
vsize: 837884
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 101032 46 0 0 25 0 11 0 836425442 857993216 26559 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26559 13086 16 0 209455 0
vsize: 837884
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 102011 46 0 0 25 0 11 0 836425442 857993216 26590 4294967295 134512640 134569956 3221224384 3221214720 1131314653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26590 13086 16 0 209455 0
vsize: 837884
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 102988 46 0 0 25 0 11 0 836425442 857993216 26629 4294967295 134512640 134569956 3221224384 3221214720 1131315098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26629 13086 16 0 209455 0
vsize: 837884
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 103964 47 0 0 25 0 11 0 836425442 857993216 26666 4294967295 134512640 134569956 3221224384 3221214716 1131241369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26666 13086 16 0 209455 0
vsize: 837884
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 104940 47 0 0 25 0 11 0 836425442 857993216 26696 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26696 13086 16 0 209455 0
vsize: 837884
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 105917 47 0 0 25 0 11 0 836425442 857993216 26751 4294967295 134512640 134569956 3221224384 3221214608 1131185752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26751 13086 16 0 209455 0
vsize: 837884
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 106897 47 0 0 25 0 11 0 836425442 857993216 26770 4294967295 134512640 134569956 3221224384 3221213728 1131487432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26770 13086 16 0 209455 0
vsize: 837884
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 107876 47 0 0 25 0 11 0 836425442 857993216 26804 4294967295 134512640 134569956 3221224384 3221214616 1131240513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26804 13086 16 0 209455 0
vsize: 837884
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 108854 47 0 0 25 0 11 0 836425442 857993216 26837 4294967295 134512640 134569956 3221224384 3221214616 1131241360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26837 13086 16 0 209455 0
vsize: 837884
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 109830 47 0 0 25 0 11 0 836425442 857993216 26863 4294967295 134512640 134569956 3221224384 3221214616 1131240621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26863 13086 16 0 209455 0
vsize: 837884
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 110807 47 0 0 25 0 11 0 836425442 857993216 26873 4294967295 134512640 134569956 3221224384 3221214608 1131185683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26873 13086 16 0 209455 0
vsize: 837884
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 111785 47 0 0 25 0 11 0 836425442 857993216 26893 4294967295 134512640 134569956 3221224384 3221214200 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26893 13086 16 0 209455 0
vsize: 837884
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 112758 47 0 0 25 0 11 0 836425442 857993216 26921 4294967295 134512640 134569956 3221224384 3221213888 1131487424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26921 13086 16 0 209455 0
vsize: 837884
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 113721 47 0 0 25 0 11 0 836425442 857993216 26974 4294967295 134512640 134569956 3221224384 3221214872 1131292375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 26974 13086 16 0 209455 0
vsize: 837884
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 114688 47 0 0 25 0 11 0 836425442 857993216 27021 4294967295 134512640 134569956 3221224384 3221213720 1131487496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27021 13086 16 0 209455 0
vsize: 837884
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 115645 48 0 0 25 0 11 0 836425442 857993216 27057 4294967295 134512640 134569956 3221224384 3221213568 1131489154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27057 13086 16 0 209455 0
vsize: 837884
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 116598 48 0 0 25 0 11 0 836425442 857993216 27149 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27149 13086 16 0 209455 0
vsize: 837884
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 117562 48 0 0 25 0 11 0 836425442 857993216 27315 4294967295 134512640 134569956 3221224384 3221214768 1131276451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27315 13086 16 0 209455 0
vsize: 837884
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 118529 48 0 0 25 0 11 0 836425442 857993216 27438 4294967295 134512640 134569956 3221224384 3221214720 1131314776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27438 13086 16 0 209455 0
vsize: 837884
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 119503 48 0 0 25 0 11 0 836425442 857993216 27568 4294967295 134512640 134569956 3221224384 3221214672 1131462847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27568 13086 16 0 209455 0
vsize: 837884
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 850
Raw data (stat): 832 (java) R 831 20687 20686 0 -1 0 18121 6 1 0 120479 48 0 0 25 0 11 0 836425442 857993216 27612 4294967295 134512640 134569956 3221224384 3221214616 1131240365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209471 27612 13086 16 0 209455 0
vsize: 837884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 852
Raw data (stat): 832 (java) Z 831 20687 20686 0 -1 1036 18121 8346 1 0 120482 48 3250 34 25 0 1 0 836425442 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.15
CPU time (s): 1238.17
CPU user time (s): 1237.33
CPU system time (s): 0.835872
CPU usage (%): 99.8402
Max. virtual memory (Kb): 837884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	89
#### END VERIFIER DATA ####