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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM	5c79ed79e417ba1b9a49f75d042f5e94
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	478
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	1073761158741413
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	71583145981965762560
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	303620978593259257856
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.49
Number of variables	780
Total number of constraints	707
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	338
Number of constraints which are nor clauses,nor cardinality constraints	369
Minimum length of a constraint	1
Maximum length of a constraint	101
Trace number 29776

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 11:26:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21176 boxname=wulflinc1 idbench=1164 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5c79ed79e417ba1b9a49f75d042f5e94  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-glass4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-glass4.opb
IDLAUNCH: 21176
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        683304 kB
Buffers:         31084 kB
Cached:         290528 kB
SwapCached:       3972 kB
Active:          69040 kB
Inactive:       259460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        683052 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16940 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:46:57 (client local time) WITH STATUS 143 IN 1224.49 SECONDS
stats: 21176 0 1224.49 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/wulflinc1/normalized-mps-v2-20-10-glass4.opb
c reading problem ... done. Time 4.661 ms.
c #vars     780
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     536871022450926 		Current CPU time: 25.72 ms
c CURRENT OPTIMUM=     469769509035905 		Current CPU time: 30.58 ms
c CURRENT OPTIMUM=     268437821345075 		Current CPU time: 35.58 ms
c CURRENT OPTIMUM=     268437741236464 		Current CPU time: 40.98 ms
c CURRENT OPTIMUM=     268435553415221 		Current CPU time: 47.17 ms
c CURRENT OPTIMUM=     201329176600749 		Current CPU time: 53.83 ms
c CURRENT OPTIMUM=     167774798868145 		Current CPU time: 60.25 ms
c CURRENT OPTIMUM=     167774402388662 		Current CPU time: 66.25 ms
c CURRENT OPTIMUM=     150997186388662 		Current CPU time: 72.59 ms
c CURRENT OPTIMUM=     142608578388662 		Current CPU time: 79.22 ms
c CURRENT OPTIMUM=     138414274388662 		Current CPU time: 86.19 ms
c CURRENT OPTIMUM=     136317122388662 		Current CPU time: 93.51 ms
c CURRENT OPTIMUM=     135268546388662 		Current CPU time: 101.12 ms
c CURRENT OPTIMUM=     135137474388662 		Current CPU time: 109.11 ms
c CURRENT OPTIMUM=     135071938388662 		Current CPU time: 117.42 ms
c CURRENT OPTIMUM=     135055554388662 		Current CPU time: 126.09 ms
c CURRENT OPTIMUM=     135055554387638 		Current CPU time: 135.08 ms
c CURRENT OPTIMUM=     135055554386614 		Current CPU time: 144.44 ms
c CURRENT OPTIMUM=     135055554385590 		Current CPU time: 154.10 ms
c CURRENT OPTIMUM=     135055554384566 		Current CPU time: 164.11 ms
c CURRENT OPTIMUM=     135055554383542 		Current CPU time: 174.44 ms
c CURRENT OPTIMUM=     135055554382518 		Current CPU time: 185.12 ms
c CURRENT OPTIMUM=     135055554381494 		Current CPU time: 196.12 ms
c CURRENT OPTIMUM=     135055554380470 		Current CPU time: 207.57 ms
c CURRENT OPTIMUM=     135055554379446 		Current CPU time: 219.29 ms
c CURRENT OPTIMUM=     135055554378422 		Current CPU time: 231.35 ms
c CURRENT OPTIMUM=     135055554377398 		Current CPU time: 243.70 ms
c CURRENT OPTIMUM=     135055554376374 		Current CPU time: 256.43 ms
c CURRENT OPTIMUM=     135055554375350 		Current CPU time: 269.48 ms
c CURRENT OPTIMUM=     135055554374326 		Current CPU time: 282.84 ms
c CURRENT OPTIMUM=     135055554373302 		Current CPU time: 296.50 ms
c CURRENT OPTIMUM=     135055554372278 		Current CPU time: 310.60 ms
c CURRENT OPTIMUM=     135055554371254 		Current CPU time: 324.99 ms
c CURRENT OPTIMUM=     135055554370230 		Current CPU time: 339.71 ms
c CURRENT OPTIMUM=     135055554369206 		Current CPU time: 354.74 ms
c CURRENT OPTIMUM=     135055554368182 		Current CPU time: 370.13 ms
c CURRENT OPTIMUM=     135055554367158 		Current CPU time: 385.80 ms
c CURRENT OPTIMUM=     135055554366134 		Current CPU time: 401.81 ms
c CURRENT OPTIMUM=     135055554365110 		Current CPU time: 418.10 ms
c CURRENT OPTIMUM=     135055554364086 		Current CPU time: 435.01 ms
c CURRENT OPTIMUM=     135055554363062 		Current CPU time: 452.23 ms
c CURRENT OPTIMUM=     135055554362038 		Current CPU time: 469.75 ms
c CURRENT OPTIMUM=     135055554361014 		Current CPU time: 487.58 ms
c CURRENT OPTIMUM=     135055554359990 		Current CPU time: 505.80 ms
c CURRENT OPTIMUM=     135055554358966 		Current CPU time: 524.30 ms
c CURRENT OPTIMUM=     135055554357942 		Current CPU time: 543.14 ms
c CURRENT OPTIMUM=     135055554356918 		Current CPU time: 562.24 ms
c CURRENT OPTIMUM=     135055554355894 		Current CPU time: 581.84 ms
c CURRENT OPTIMUM=     135055554354870 		Current CPU time: 601.71 ms
c CURRENT OPTIMUM=     135055554353846 		Current CPU time: 621.95 ms
c CURRENT OPTIMUM=     135055554352822 		Current CPU time: 642.45 ms
c CURRENT OPTIMUM=     135055554351798 		Current CPU time: 663.32 ms
c CURRENT OPTIMUM=     135055554350774 		Current CPU time: 684.49 ms
c CURRENT OPTIMUM=     135055554349750 		Current CPU time: 705.96 ms
c CURRENT OPTIMUM=     135055554348726 		Current CPU time: 727.72 ms
c CURRENT OPTIMUM=     135055554347702 		Current CPU time: 750.04 ms
c CURRENT OPTIMUM=     135055554346678 		Current CPU time: 772.63 ms
c CURRENT OPTIMUM=     135055554345654 		Current CPU time: 795.56 ms
c CURRENT OPTIMUM=     135055554344630 		Current CPU time: 818.76 ms
c CURRENT OPTIMUM=     135055554343606 		Current CPU time: 842.37 ms
c CURRENT OPTIMUM=     135055554342582 		Current CPU time: 866.25 ms
c CURRENT OPTIMUM=     135055554341558 		Current CPU time: 890.44 ms
c CURRENT OPTIMUM=     135055554340534 		Current CPU time: 914.90 ms
c CURRENT OPTIMUM=     135055554339510 		Current CPU time: 939.89 ms
c CURRENT OPTIMUM=     135055554338486 		Current CPU time: 965.12 ms
c CURRENT OPTIMUM=     135055554337462 		Current CPU time: 990.67 ms
c CURRENT OPTIMUM=     135055554336438 		Current CPU time: 1016.52 ms
c CURRENT OPTIMUM=     135055554335414 		Current CPU time: 1042.81 ms
c CURRENT OPTIMUM=     135055554334390 		Current CPU time: 1069.32 ms
c CURRENT OPTIMUM=     135055554333366 		Current CPU time: 1096.14 ms
c CURRENT OPTIMUM=     135055554332342 		Current CPU time: 1123.24 ms
c CURRENT OPTIMUM=     135055554331318 		Current CPU time: 1151.14 ms
c CURRENT OPTIMUM=     135055554330294 		Current CPU time: 1179.31 ms
c CURRENT OPTIMUM=     135055554329270 		Current CPU time: 1207.85 ms
c starts	: 75
c conflicts	: 74
c decisions	: 32349
c propagations	: 58826
c inspects	: 1633325
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 74
c root simplifications	: 76
s SATISFIABLE
v -x1_bit_10 -x1_bit_9 -x1_bit_8 -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 x1_bit7 -x1_bit8 -x1_bit9 x1_bit10 x1_bit11 -x1_bit12 -x1_bit13 x1_bit14 x1_bit15 x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 -x2_bit_10 -x2_bit_9 -x2_bit_8 -x2_bit_7 -x2_bit_6 -x2_bit_5 -x2_bit_4 -x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 -x2_bit1 x2_bit2 x2_bit3 x2_bit4 x2_bit5 -x2_bit6 -x2_bit7 x2_bit8 -x2_bit9 -x2_bit10 -x2_bit11 -x2_bit12 -x2_bit13 -x2_bit14 -x2_bit15 -x2_bit16 x2_bit17 -x2_bit18 -x2_bit19 x3_bit_10 x3_bit_9 x3_bit_8 x3_bit_7 x3_bit_6 x3_bit_5 x3_bit_4 x3_bit_3 x3_bit_2 x3_bit_1 x3_bit0 x3_bit1 x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 x3_bit6 x3_bit7 x3_bit8 x3_bit9 -x3_bit10 x3_bit11 x3_bit12 -x3_bit13 -x3_bit14 x3_bit15 x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 x4_bit_10 x4_bit_9 x4_bit_8 x4_bit_7 x4_bit_6 x4_bit_5 x4_bit_4 x4_bit_3 x4_bit_2 x4_bit_1 x4_bit0 x4_bit1 x4_bit2 x4_bit3 x4_bit4 x4_bit5 -x4_bit6 -x4_bit7 -x4_bit8 -x4_bit9 x4_bit10 x4_bit11 -x4_bit12 x4_bit13 x4_bit14 x4_bit15 x4_bit16 -x4_bit17 -x4_bit18 -x4_bit19 -x5_bit_10 -x5_bit_9 -x5_bit_8 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 x5_bit_3 x5_bit_2 x5_bit_1 x5_bit0 x5_bit1 x5_bit2 x5_bit3 x5_bit4 x5_bit5 x5_bit6 x5_bit7 x5_bit8 -x5_bit9 -x5_bit10 x5_bit11 -x5_bit12 -x5_bit13 x5_bit14 x5_bit15 x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 -x6_bit_10 -x6_bit_9 -x6_bit_8 -x6_bit_7 -x6_bit_6 x6_bit_5 x6_bit_4 x6_bit_3 x6_bit_2 x6_bit_1 x6_bit0 x6_bit1 x6_bit2 x6_bit3 x6_bit4 x6_bit5 x6_bit6 x6_bit7 x6_bit8 x6_bit9 x6_bit10 x6_bit11 x6_bit12 -x6_bit13 x6_bit14 x6_bit15 x6_bit16 -x6_bit17 -x6_bit18 -x6_bit19 -x7_bit_10 -x7_bit_9 -x7_bit_8 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 x7_bit6 -x7_bit7 x7_bit8 -x7_bit9 x7_bit10 -x7_bit11 x7_bit12 -x7_bit13 x7_bit14 x7_bit15 x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 x8_bit_10 x8_bit_9 x8_bit_8 x8_bit_7 x8_bit_6 x8_bit_5 x8_bit_4 x8_bit_3 x8_bit_2 x8_bit_1 x8_bit0 x8_bit1 x8_bit2 x8_bit3 x8_bit4 x8_bit5 x8_bit6 x8_bit7 -x8_bit8 x8_bit9 x8_bit10 x8_bit11 x8_bit12 x8_bit13 x8_bit14 x8_bit15 x8_bit16 -x8_bit17 -x8_bit18 -x8_bit19 -x9_bit_10 -x9_bit_9 -x9_bit_8 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 x9_bit2 x9_bit3 -x9_bit4 x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 x9_bit9 -x9_bit10 x9_bit11 x9_bit12 -x9_bit13 x9_bit14 x9_bit15 x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -lung_bit_10 -lung_bit_9 -lung_bit_8 -lung_bit_7 -lung_bit_6 -lung_bit_5 -lung_bit_4 -lung_bit_3 -lung_bit_2 -lung_bit_1 -lung_bit0 -lung_bit1 -lung_bit2 -lung_bit3 lung_bit4 lung_bit5 -lung_bit6 -lung_bit7 lung_bit8 lung_bit9 -lung_bit10 -lung_bit11 -lung_bit12 -lung_bit13 -lung_bit14 -lung_bit15 -lung_bit16 lung_bit17 -lung_bit18 -lung_bit19 -y1_bit_10 -y1_bit_9 -y1_bit_8 -y1_bit_7 -y1_bit_6 -y1_bit_5 -y1_bit_4 -y1_bit_3 -y1_bit_2 -y1_bit_1 -y1_bit0 y1_bit1 y1_bit2 y1_bit3 y1_bit4 y1_bit5 y1_bit6 -y1_bit7 -y1_bit8 y1_bit9 -y2_bit_10 -y2_bit_9 -y2_bit_8 -y2_bit_7 -y2_bit_6 -y2_bit_5 -y2_bit_4 -y2_bit_3 -y2_bit_2 -y2_bit_1 -y2_bit0 -y2_bit1 -y2_bit2 -y2_bit3 -y2_bit4 -y2_bit5 -y2_bit6 -y2_bit7 -y2_bit8 -y2_bit9 -y3_bit_10 -y3_bit_9 -y3_bit_8 -y3_bit_7 -y3_bit_6 -y3_bit_5 -y3_bit_4 -y3_bit_3 -y3_bit_2 -y3_bit_1 -y3_bit0 -y3_bit1 -y3_bit2 -y3_bit3 -y3_bit4 -y3_bit5 -y3_bit6 -y3_bit7 -y3_bit8 -y4_bit_10 y4_bit_9 y4_bit_8 y4_bit_7 y4_bit_6 y4_bit_5 y4_bit_4 y4_bit_3 y4_bit_2 y4_bit_1 y4_bit0 y4_bit1 y4_bit2 y4_bit3 y4_bit4 y4_bit5 y4_bit6 y4_bit7 -y4_bit8 y4_bit9 -y5_bit_10 -y5_bit_9 -y5_bit_8 -y5_bit_7 -y5_bit_6 -y5_bit_5 -y5_bit_4 -y5_bit_3 -y5_bit_2 -y5_bit_1 -y5_bit0 -y5_bit1 -y5_bit2 -y5_bit3 -y5_bit4 -y5_bit5 -y5_bit6 -y5_bit7 -y5_bit8 y5_bit9 y6_bit_10 y6_bit_9 y6_bit_8 y6_bit_7 y6_bit_6 y6_bit_5 y6_bit_4 y6_bit_3 y6_bit_2 y6_bit_1 y6_bit0 y6_bit1 y6_bit2 y6_bit3 y6_bit4 y6_bit5 y6_bit6 y6_bit7 y6_bit8 -y6_bit9 -y7_bit_10 -y7_bit_9 -y7_bit_8 -y7_bit_7 -y7_bit_6 -y7_bit_5 -y7_bit_4 -y7_bit_3 -y7_bit_2 -y7_bit_1 -y7_bit0 -y7_bit1 -y7_bit2 y7_bit3 -y7_bit4 -y7_bit5 y7_bit6 y7_bit7 y7_bit8 -y7_bit9 -y8_bit_10 -y8_bit_9 -y8_bit_8 -y8_bit_7 -y8_bit_6 -y8_bit_5 -y8_bit_4 -y8_bit_3 -y8_bit_2 -y8_bit_1 y8_bit0 y8_bit1 -y8_bit2 y8_bit3 -y8_bit4 -y8_bit5 -y8_bit6 -y8_bit7 -y8_bit8 y9_bit_10 y9_bit_9 y9_bit_8 y9_bit_7 y9_bit_6 y9_bit_5 y9_bit_4 y9_bit_3 y9_bit_2 y9_bit_1 y9_bit0 -y9_bit1 y9_bit2 y9_bit3 y9_bit4 -y9_bit5 -y9_bit6 -y9_bit7 -y9_bit8 y9_bit9 -z1_0x26_2_0x2e_0_bit0 -z1_0x26_2_0x2e_1_bit0 -z1_0x26_2_0x2e_2_bit0 z1_0x26_2_0x2e_3_bit0 -z1_0x26_2_0x2e_4_bit0 -z1_0x26_2_0x2e_5_bit0 -z1_0x26_2_0x2e_6_bit0 -z1_0x26_2_0x2e_7_bit0 -z1_0x26_3_0x2e_0_bit0 -z1_0x26_3_0x2e_1_bit0 -z1_0x26_3_0x2e_2_bit0 -z1_0x26_3_0x2e_3_bit0 -z1_0x26_3_0x2e_4_bit0 -z1_0x26_3_0x2e_5_bit0 -z1_0x26_3_0x2e_6_bit0 -z1_0x26_3_0x2e_7_bit0 -z1_0x26_3_0x2e_8_bit0 z1_0x26_3_0x2e_9_bit0 -z1_0x26_4_0x2e_0_bit0 -z1_0x26_4_0x2e_1_bit0 -z1_0x26_4_0x2e_2_bit0 z1_0x26_4_0x2e_3_bit0 -z1_0x26_4_0x2e_4_bit0 -z1_0x26_4_0x2e_5_bit0 -z1_0x26_4_0x2e_6_bit0 -z1_0x26_4_0x2e_7_bit0 -z1_0x26_4_0x2e_8_bit0 -z1_0x26_5_0x2e_0_bit0 -z1_0x26_5_0x2e_1_bit0 -z1_0x26_5_0x2e_2_bit0 -z1_0x26_5_0x2e_3_bit0 -z1_0x26_5_0x2e_4_bit0 -z1_0x26_5_0x2e_5_bit0 -z1_0x26_5_0x2e_6_bit0 -z1_0x26_5_0x2e_7_bit0 z1_0x26_5_0x2e_8_bit0 -z1_0x26_6_0x2e_0_bit0 -z1_0x26_6_0x2e_1_bit0 z1_0x26_6_0x2e_2_bit0 -z1_0x26_6_0x2e_3_bit0 -z1_0x26_6_0x2e_4_bit0 -z1_0x26_6_0x2e_5_bit0 -z1_0x26_6_0x2e_6_bit0 -z1_0x26_6_0x2e_7_bit0 -z1_0x26_7_0x2e_0_bit0 -z1_0x26_7_0x2e_1_bit0 z1_0x26_7_0x2e_2_bit0 -z1_0x26_7_0x2e_3_bit0 -z1_0x26_7_0x2e_4_bit0 -z1_0x26_7_0x2e_5_bit0 -z1_0x26_7_0x2e_6_bit0 -z1_0x26_7_0x2e_7_bit0 -z1_0x26_7_0x2e_8_bit0 -z1_0x26_8_0x2e_0_bit0 -z1_0x26_8_0x2e_1_bit0 z1_0x26_8_0x2e_2_bit0 -z1_0x26_8_0x2e_3_bit0 -z1_0x26_8_0x2e_4_bit0 -z1_0x26_8_0x2e_5_bit0 -z1_0x26_8_0x2e_6_bit0 -z1_0x26_8_0x2e_7_bit0 -z1_0x26_8_0x2e_8_bit0 -z1_0x26_8_0x2e_9_bit0 -z1_0x26_8_0x2e_10_bit0 -z1_0x26_8_0x2e_11_bit0 -z1_0x26_8_0x2e_12_bit0 -z1_0x26_9_0x2e_0_bit0 -z1_0x26_9_0x2e_1_bit0 z1_0x26_9_0x2e_2_bit0 -z1_0x26_9_0x2e_3_bit0 -z1_0x26_9_0x2e_4_bit0 -z1_0x26_9_0x2e_5_bit0 -z1_0x26_9_0x2e_6_bit0 -z2_0x26_3_0x2e_0_bit0 -z2_0x26_3_0x2e_1_bit0 -z2_0x26_3_0x2e_2_bit0 -z2_0x26_3_0x2e_3_bit0 -z2_0x26_3_0x2e_4_bit0 -z2_0x26_3_0x2e_5_bit0 -z2_0x26_3_0x2e_6_bit0 z2_0x26_3_0x2e_7_bit0 -z2_0x26_4_0x2e_0_bit0 -z2_0x26_4_0x2e_1_bit0 -z2_0x26_4_0x2e_2_bit0 -z2_0x26_4_0x2e_3_bit0 -z2_0x26_4_0x2e_4_bit0 -z2_0x26_4_0x2e_5_bit0 -z2_0x26_4_0x2e_6_bit0 z2_0x26_4_0x2e_7_bit0 -z2_0x26_5_0x2e_0_bit0 -z2_0x26_5_0x2e_1_bit0 -z2_0x26_5_0x2e_2_bit0 -z2_0x26_5_0x2e_3_bit0 -z2_0x26_5_0x2e_4_bit0 -z2_0x26_5_0x2e_5_bit0 -z2_0x26_5_0x2e_6_bit0 -z2_0x26_5_0x2e_7_bit0 z2_0x26_5_0x2e_8_bit0 -z2_0x26_5_0x2e_9_bit0 -z2_0x26_6_0x2e_0_bit0 -z2_0x26_6_0x2e_1_bit0 -z2_0x26_6_0x2e_2_bit0 -z2_0x26_6_0x2e_3_bit0 -z2_0x26_6_0x2e_4_bit0 -z2_0x26_6_0x2e_5_bit0 -z2_0x26_6_0x2e_6_bit0 z2_0x26_6_0x2e_7_bit0 -z2_0x26_7_0x2e_0_bit0 -z2_0x26_7_0x2e_1_bit0 -z2_0x26_7_0x2e_2_bit0 -z2_0x26_7_0x2e_3_bit0 -z2_0x26_7_0x2e_4_bit0 z2_0x26_7_0x2e_5_bit0 -z2_0x26_7_0x2e_6_bit0 -z2_0x26_7_0x2e_7_bit0 -z2_0x26_8_0x2e_0_bit0 -z2_0x26_8_0x2e_1_bit0 -z2_0x26_8_0x2e_2_bit0 -z2_0x26_8_0x2e_3_bit0 -z2_0x26_8_0x2e_4_bit0 -z2_0x26_8_0x2e_5_bit0 -z2_0x26_8_0x2e_6_bit0 -z2_0x26_8_0x2e_7_bit0 -z2_0x26_8_0x2e_8_bit0 z2_0x26_8_0x2e_9_bit0 -z2_0x26_8_0x2e_10_bit0 -z2_0x26_9_0x2e_0_bit0 -z2_0x26_9_0x2e_1_bit0 -z2_0x26_9_0x2e_2_bit0 -z2_0x26_9_0x2e_3_bit0 -z2_0x26_9_0x2e_4_bit0 z2_0x26_9_0x2e_5_bit0 -z3_0x26_4_0x2e_0_bit0 -z3_0x26_4_0x2e_1_bit0 -z3_0x26_4_0x2e_2_bit0 -z3_0x26_4_0x2e_3_bit0 z3_0x26_4_0x2e_4_bit0 -z3_0x26_4_0x2e_5_bit0 -z3_0x26_4_0x2e_6_bit0 -z3_0x26_5_0x2e_0_bit0 -z3_0x26_5_0x2e_1_bit0 z3_0x26_5_0x2e_2_bit0 -z3_0x26_5_0x2e_3_bit0 -z3_0x26_5_0x2e_4_bit0 -z3_0x26_5_0x2e_5_bit0 -z3_0x26_5_0x2e_6_bit0 -z3_0x26_6_0x2e_0_bit0 -z3_0x26_6_0x2e_1_bit0 -z3_0x26_6_0x2e_2_bit0 z3_0x26_6_0x2e_3_bit0 -z3_0x26_6_0x2e_4_bit0 -z3_0x26_6_0x2e_5_bit0 -z3_0x26_6_0x2e_6_bit0 -z3_0x26_7_0x2e_0_bit0 -z3_0x26_7_0x2e_1_bit0 -z3_0x26_7_0x2e_2_bit0 -z3_0x26_7_0x2e_3_bit0 z3_0x26_7_0x2e_4_bit0 -z3_0x26_7_0x2e_5_bit0 -z3_0x26_7_0x2e_6_bit0 -z3_0x26_8_0x2e_0_bit0 -z3_0x26_8_0x2e_1_bit0 -z3_0x26_8_0x2e_2_bit0 -z3_0x26_8_0x2e_3_bit0 -z3_0x26_8_0x2e_4_bit0 -z3_0x26_8_0x2e_5_bit0 z3_0x26_8_0x2e_6_bit0 -z3_0x26_8_0x2e_7_bit0 -z3_0x26_8_0x2e_8_bit0 -z3_0x26_9_0x2e_0_bit0 -z3_0x26_9_0x2e_1_bit0 -z3_0x26_9_0x2e_2_bit0 z3_0x26_9_0x2e_3_bit0 -z3_0x26_9_0x2e_4_bit0 -z3_0x26_9_0x2e_5_bit0 -z4_0x26_5_0x2e_0_bit0 -z4_0x26_5_0x2e_1_bit0 -z4_0x26_5_0x2e_2_bit0 -z4_0x26_5_0x2e_3_bit0 -z4_0x26_5_0x2e_4_bit0 -z4_0x26_5_0x2e_5_bit0 -z4_0x26_5_0x2e_6_bit0 -z4_0x26_5_0x2e_7_bit0 z4_0x26_5_0x2e_8_bit0 -z4_0x26_6_0x2e_0_bit0 -z4_0x26_6_0x2e_1_bit0 -z4_0x26_6_0x2e_2_bit0 -z4_0x26_6_0x2e_3_bit0 -z4_0x26_6_0x2e_4_bit0 -z4_0x26_6_0x2e_5_bit0 -z4_0x26_6_0x2e_6_bit0 z4_0x26_6_0x2e_7_bit0 -z4_0x26_6_0x2e_8_bit0 -z4_0x26_6_0x2e_9_bit0 -z4_0x26_7_0x2e_0_bit0 -z4_0x26_7_0x2e_1_bit0 -z4_0x26_7_0x2e_2_bit0 -z4_0x26_7_0x2e_3_bit0 -z4_0x26_7_0x2e_4_bit0 z4_0x26_7_0x2e_5_bit0 -z4_0x26_8_0x2e_0_bit0 -z4_0x26_8_0x2e_1_bit0 -z4_0x26_8_0x2e_2_bit0 -z4_0x26_8_0x2e_3_bit0 z4_0x26_8_0x2e_4_bit0 -z4_0x26_8_0x2e_5_bit0 -z4_0x26_8_0x2e_6_bit0 -z4_0x26_8_0x2e_7_bit0 -z4_0x26_8_0x2e_8_bit0 -z4_0x26_8_0x2e_9_bit0 -z4_0x26_9_0x2e_0_bit0 -z4_0x26_9_0x2e_1_bit0 -z4_0x26_9_0x2e_2_bit0 -z4_0x26_9_0x2e_3_bit0 -z4_0x26_9_0x2e_4_bit0 z4_0x26_9_0x2e_5_bit0 -z5_0x26_6_0x2e_0_bit0 -z5_0x26_6_0x2e_1_bit0 -z5_0x26_6_0x2e_2_bit0 -z5_0x26_6_0x2e_3_bit0 z5_0x26_6_0x2e_4_bit0 -z5_0x26_6_0x2e_5_bit0 -z5_0x26_6_0x2e_6_bit0 -z5_0x26_6_0x2e_7_bit0 -z5_0x26_6_0x2e_8_bit0 -z5_0x26_7_0x2e_0_bit0 -z5_0x26_7_0x2e_1_bit0 -z5_0x26_7_0x2e_2_bit0 z5_0x26_7_0x2e_3_bit0 -z5_0x26_7_0x2e_4_bit0 -z5_0x26_7_0x2e_5_bit0 -z5_0x26_7_0x2e_6_bit0 -z5_0x26_7_0x2e_7_bit0 -z5_0x26_7_0x2e_8_bit0 -z5_0x26_8_0x2e_0_bit0 -z5_0x26_8_0x2e_1_bit0 -z5_0x26_8_0x2e_2_bit0 -z5_0x26_8_0x2e_3_bit0 -z5_0x26_8_0x2e_4_bit0 z5_0x26_8_0x2e_5_bit0 -z5_0x26_8_0x2e_6_bit0 -z5_0x26_8_0x2e_7_bit0 -z5_0x26_8_0x2e_8_bit0 -z5_0x26_8_0x2e_9_bit0 -z5_0x26_8_0x2e_10_bit0 -z5_0x26_9_0x2e_0_bit0 -z5_0x26_9_0x2e_1_bit0 z5_0x26_9_0x2e_2_bit0 -z5_0x26_9_0x2e_3_bit0 -z5_0x26_9_0x2e_4_bit0 -z5_0x26_9_0x2e_5_bit0 -z5_0x26_9_0x2e_6_bit0 -z6_0x26_7_0x2e_0_bit0 -z6_0x26_7_0x2e_1_bit0 -z6_0x26_7_0x2e_2_bit0 -z6_0x26_7_0x2e_3_bit0 -z6_0x26_7_0x2e_4_bit0 -z6_0x26_7_0x2e_5_bit0 -z6_0x26_7_0x2e_6_bit0 z6_0x26_7_0x2e_7_bit0 -z6_0x26_8_0x2e_0_bit0 -z6_0x26_8_0x2e_1_bit0 -z6_0x26_8_0x2e_2_bit0 -z6_0x26_8_0x2e_3_bit0 z6_0x26_8_0x2e_4_bit0 -z6_0x26_8_0x2e_5_bit0 -z6_0x26_8_0x2e_6_bit0 -z6_0x26_8_0x2e_7_bit0 -z6_0x26_8_0x2e_8_bit0 -z6_0x26_8_0x2e_9_bit0 -z6_0x26_9_0x2e_0_bit0 -z6_0x26_9_0x2e_1_bit0 -z6_0x26_9_0x2e_2_bit0 -z6_0x26_9_0x2e_3_bit0 -z6_0x26_9_0x2e_4_bit0 -z6_0x26_9_0x2e_5_bit0 z6_0x26_9_0x2e_6_bit0 -z7_0x26_8_0x2e_0_bit0 -z7_0x26_8_0x2e_1_bit0 -z7_0x26_8_0x2e_2_bit0 -z7_0x26_8_0x2e_3_bit0 -z7_0x26_8_0x2e_4_bit0 z7_0x26_8_0x2e_5_bit0 -z7_0x26_8_0x2e_6_bit0 -z7_0x26_8_0x2e_7_bit0 -z7_0x26_8_0x2e_8_bit0 -z7_0x26_8_0x2e_9_bit0 -z7_0x26_9_0x2e_0_bit0 -z7_0x26_9_0x2e_1_bit0 z7_0x26_9_0x2e_2_bit0 -z7_0x26_9_0x2e_3_bit0 -z7_0x26_9_0x2e_4_bit0 -z7_0x26_9_0x2e_5_bit0 -z7_0x26_9_0x2e_6_bit0 -z8_0x26_9_0x2e_0_bit0 -z8_0x26_9_0x2e_1_bit0 -z8_0x26_9_0x2e_2_bit0 -z8_0x26_9_0x2e_3_bit0 -z8_0x26_9_0x2e_4_bit0 -z8_0x26_9_0x2e_5_bit0 -z8_0x26_9_0x2e_6_bit0 z8_0x26_9_0x2e_7_bit0 
c objectif function=135055554329270
c Total CPU time (ms) : 1219.368
#### 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.92 0.98 0.99 2/55 21138
Raw data (stat): 21138 (runsolver) R 21137 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 723431457 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21148
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18097 0 1 0 698 40 0 0 25 0 11 0 723431457 860561408 21482 4294967295 134512640 134569956 3221224368 3221214560 1131357605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210098 21482 13086 16 0 210082 0
vsize: 840392
[startup+20.0009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21148
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18101 0 1 0 1595 41 0 0 25 0 11 0 723431457 860561408 21619 4294967295 134512640 134569956 3221224368 3221214672 1131373651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 21619 13086 16 0 210082 0
vsize: 840392
[startup+30.0017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21149
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18147 3 1 0 2510 41 0 0 25 0 11 0 723431457 860561408 21801 4294967295 134512640 134569956 3221224368 3221214672 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 21801 13086 16 0 210082 0
vsize: 840392
[startup+40.0025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21151
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18147 3 1 0 3431 42 0 0 25 0 11 0 723431457 860561408 22539 4294967295 134512640 134569956 3221224368 3221214584 1131218746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22539 13086 16 0 210082 0
vsize: 840392
[startup+50.0033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21153
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18147 3 1 0 4405 42 0 0 25 0 11 0 723431457 860561408 22625 4294967295 134512640 134569956 3221224368 3221214584 1131357619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22625 13086 16 0 210082 0
vsize: 840392
[startup+60.0036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21154
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 5386 42 0 0 25 0 11 0 723431457 860561408 22731 4294967295 134512640 134569956 3221224368 3221214584 1131357702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22731 13086 16 0 210082 0
vsize: 840392
[startup+70.0038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21156
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 6372 43 0 0 25 0 11 0 723431457 860561408 22768 4294967295 134512640 134569956 3221224368 3221214664 1131374856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22768 13086 16 0 210082 0
vsize: 840392
[startup+80.0047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21157
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 7359 43 0 0 25 0 11 0 723431457 860561408 22830 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22830 13086 16 0 210082 0
vsize: 840392
[startup+90.0054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21159
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 8347 43 0 0 25 0 11 0 723431457 860561408 22849 4294967295 134512640 134569956 3221224368 3221214576 1131357702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22849 13086 16 0 210082 0
vsize: 840392
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21160
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 9338 43 0 0 25 0 11 0 723431457 860561408 22871 4294967295 134512640 134569956 3221224368 3221214664 1131375748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22871 13086 16 0 210082 0
vsize: 840392
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21161
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 10329 43 0 0 25 0 11 0 723431457 860561408 22880 4294967295 134512640 134569956 3221224368 3221214448 1131344515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22880 13086 16 0 210082 0
vsize: 840392
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21163
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 11320 44 0 0 25 0 11 0 723431457 860561408 22910 4294967295 134512640 134569956 3221224368 3221214576 1131357588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22910 13086 16 0 210082 0
vsize: 840392
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21164
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 12311 44 0 0 25 0 11 0 723431457 860561408 22918 4294967295 134512640 134569956 3221224368 3221214664 1131379331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22918 13086 16 0 210082 0
vsize: 840392
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21165
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 13302 45 0 0 25 0 11 0 723431457 860561408 22936 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22936 13086 16 0 210082 0
vsize: 840392
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21166
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 14294 45 0 0 25 0 11 0 723431457 860561408 22957 4294967295 134512640 134569956 3221224368 3221214552 1131178923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22957 13086 16 0 210082 0
vsize: 840392
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21167
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 15285 46 0 0 25 0 11 0 723431457 860561408 22968 4294967295 134512640 134569956 3221224368 3221214576 1131357704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22968 13086 16 0 210082 0
vsize: 840392
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21168
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 16277 46 0 0 25 0 11 0 723431457 860561408 22977 4294967295 134512640 134569956 3221224368 3221214664 1131373381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22977 13086 16 0 210082 0
vsize: 840392
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21169
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 17269 47 0 0 25 0 11 0 723431457 860561408 22990 4294967295 134512640 134569956 3221224368 3221214576 1131358880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 22990 13086 16 0 210082 0
vsize: 840392
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21170
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 18261 47 0 0 25 0 11 0 723431457 860561408 23003 4294967295 134512640 134569956 3221224368 3221214576 1131218746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23003 13086 16 0 210082 0
vsize: 840392
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21171
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 19253 47 0 0 25 0 11 0 723431457 860561408 23015 4294967295 134512640 134569956 3221224368 3221214576 1131357453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23015 13086 16 0 210082 0
vsize: 840392
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21172
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 20245 47 0 0 25 0 11 0 723431457 860561408 23024 4294967295 134512640 134569956 3221224368 3221214664 1131378775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23024 13086 16 0 210082 0
vsize: 840392
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21172
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 21237 47 0 0 25 0 11 0 723431457 860561408 23037 4294967295 134512640 134569956 3221224368 3221214576 1131357563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23037 13086 16 0 210082 0
vsize: 840392
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21173
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 22229 48 0 0 25 0 11 0 723431457 860561408 23072 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23072 13086 16 0 210082 0
vsize: 840392
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21174
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 23222 48 0 0 25 0 11 0 723431457 860561408 23080 4294967295 134512640 134569956 3221224368 3221214576 1131358902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23080 13086 16 0 210082 0
vsize: 840392
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21175
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 24215 48 0 0 25 0 11 0 723431457 860561408 23080 4294967295 134512640 134569956 3221224368 3221214664 1131376662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23080 13086 16 0 210082 0
vsize: 840392
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21176
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 25207 49 0 0 25 0 11 0 723431457 860561408 23088 4294967295 134512640 134569956 3221224368 3221214664 1131373691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23088 13086 16 0 210082 0
vsize: 840392
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21176
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 26199 49 0 0 25 0 11 0 723431457 860561408 23100 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23100 13086 16 0 210082 0
vsize: 840392
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21177
Raw data (stat): 21138 (java) S 21137 8378 8377 0 -1 0 18148 3 1 0 27191 49 0 0 25 0 11 0 723431457 860561408 23110 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23110 13086 16 0 210082 0
vsize: 840392
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21178
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 28184 49 1 0 25 0 11 0 723431457 860561408 23124 4294967295 134512640 134569956 3221224368 3221214552 1131178985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23124 13086 16 0 210082 0
vsize: 840392
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21179
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 29177 50 1 0 25 0 11 0 723431457 860561408 23134 4294967295 134512640 134569956 3221224368 3221214576 1131358902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23134 13086 16 0 210082 0
vsize: 840392
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21179
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 30170 50 1 0 25 0 11 0 723431457 860561408 23136 4294967295 134512640 134569956 3221224368 3221214656 1131262194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23136 13086 16 0 210082 0
vsize: 840392
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21180
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 31163 50 1 0 25 0 11 0 723431457 860561408 23145 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23145 13086 16 0 210082 0
vsize: 840392
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21181
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 32156 50 1 0 25 0 11 0 723431457 860561408 23155 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23155 13086 16 0 210082 0
vsize: 840392
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21181
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 33150 51 1 0 25 0 11 0 723431457 860561408 23155 4294967295 134512640 134569956 3221224368 3221214576 1131357582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23155 13086 16 0 210082 0
vsize: 840392
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21182
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 34143 51 1 0 25 0 11 0 723431457 860561408 23165 4294967295 134512640 134569956 3221224368 3221214664 1131380575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23165 13086 16 0 210082 0
vsize: 840392
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21183
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 35136 51 1 0 25 0 11 0 723431457 860561408 23173 4294967295 134512640 134569956 3221224368 3221214664 1131378824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23173 13086 16 0 210082 0
vsize: 840392
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21183
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 36130 52 1 0 25 0 11 0 723431457 860561408 23181 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23181 13086 16 0 210082 0
vsize: 840392
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21184
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 37122 52 1 0 25 0 11 0 723431457 860561408 23181 4294967295 134512640 134569956 3221224368 3221214664 1131374988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23181 13086 16 0 210082 0
vsize: 840392
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21185
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 38116 52 1 0 25 0 11 0 723431457 860561408 23190 4294967295 134512640 134569956 3221224368 3221214576 1131358197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23190 13086 16 0 210082 0
vsize: 840392
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21185
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 39110 52 1 0 25 0 11 0 723431457 860561408 23190 4294967295 134512640 134569956 3221224368 3221214552 1131178167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23190 13086 16 0 210082 0
vsize: 840392
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21186
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 40103 53 1 0 25 0 11 0 723431457 860561408 23198 4294967295 134512640 134569956 3221224368 3221214664 1131374876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23198 13086 16 0 210082 0
vsize: 840392
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21187
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 41096 53 1 0 25 0 11 0 723431457 860561408 23206 4294967295 134512640 134569956 3221224368 3221214576 1131357563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23206 13086 16 0 210082 0
vsize: 840392
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21187
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 42090 53 1 0 25 0 11 0 723431457 860561408 23206 4294967295 134512640 134569956 3221224368 3221214552 1131178919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23206 13086 16 0 210082 0
vsize: 840392
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21188
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 43082 53 1 0 20 0 11 0 723431457 860561408 23215 4294967295 134512640 134569956 3221224368 3221214576 1131357602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23215 13086 16 0 210082 0
vsize: 840392
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21188
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 44074 54 1 0 25 0 11 0 723431457 860561408 23225 4294967295 134512640 134569956 3221224368 3221214576 1131357561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23225 13086 16 0 210082 0
vsize: 840392
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21189
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 45066 54 1 0 25 0 11 0 723431457 860561408 23225 4294967295 134512640 134569956 3221224368 3221214664 1131374988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23225 13086 16 0 210082 0
vsize: 840392
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21189
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 46059 54 1 0 25 0 11 0 723431457 860561408 23282 4294967295 134512640 134569956 3221224368 3221214664 1131379763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23282 13086 16 0 210082 0
vsize: 840392
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21190
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 47053 54 1 0 25 0 11 0 723431457 860561408 23282 4294967295 134512640 134569956 3221224368 3221214664 1131373569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23282 13086 16 0 210082 0
vsize: 840392
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21191
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 48046 54 1 0 25 0 11 0 723431457 860561408 23290 4294967295 134512640 134569956 3221224368 3221214552 1131178167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23290 13086 16 0 210082 0
vsize: 840392
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21191
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 49040 54 1 0 25 0 11 0 723431457 860561408 23298 4294967295 134512640 134569956 3221224368 3221214656 1131262177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23298 13086 16 0 210082 0
vsize: 840392
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21192
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 50034 54 1 0 25 0 11 0 723431457 860561408 23299 4294967295 134512640 134569956 3221224368 3221214664 1131376633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23299 13086 16 0 210082 0
vsize: 840392
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21192
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 51027 54 1 0 25 0 11 0 723431457 860561408 23307 4294967295 134512640 134569956 3221224368 3221214664 1131375452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23307 13086 16 0 210082 0
vsize: 840392
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21193
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 52020 55 1 0 25 0 11 0 723431457 860561408 23307 4294967295 134512640 134569956 3221224368 3221214656 1131262137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23307 13086 16 0 210082 0
vsize: 840392
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21193
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 53013 55 1 0 25 0 11 0 723431457 860561408 23315 4294967295 134512640 134569956 3221224368 3221214664 1131376707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23315 13086 16 0 210082 0
vsize: 840392
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21194
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 54008 55 1 0 25 0 11 0 723431457 860561408 23315 4294967295 134512640 134569956 3221224368 3221214576 1131357561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23315 13086 16 0 210082 0
vsize: 840392
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21194
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 55001 55 1 0 25 0 11 0 723431457 860561408 23325 4294967295 134512640 134569956 3221224368 3221214576 1131219796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23325 13086 16 0 210082 0
vsize: 840392
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21195
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 55994 56 1 0 25 0 11 0 723431457 860561408 23325 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23325 13086 16 0 210082 0
vsize: 840392
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21195
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 56988 56 1 0 25 0 11 0 723431457 860561408 23333 4294967295 134512640 134569956 3221224368 3221214664 1131378824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23333 13086 16 0 210082 0
vsize: 840392
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21196
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 57982 56 1 0 25 0 11 0 723431457 860561408 23333 4294967295 134512640 134569956 3221224368 3221214664 1131373393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23333 13086 16 0 210082 0
vsize: 840392
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21196
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 58976 56 1 0 25 0 11 0 723431457 860561408 23341 4294967295 134512640 134569956 3221224368 3221214576 1131358873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23341 13086 16 0 210082 0
vsize: 840392
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21197
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 59968 57 1 0 25 0 11 0 723431457 860561408 23341 4294967295 134512640 134569956 3221224368 3221214576 1131358840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23341 13086 16 0 210082 0
vsize: 840392
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21197
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 60961 57 1 0 25 0 11 0 723431457 860561408 23350 4294967295 134512640 134569956 3221224368 3221214664 1131375210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23350 13086 16 0 210082 0
vsize: 840392
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21198
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 61955 58 1 0 25 0 11 0 723431457 860561408 23350 4294967295 134512640 134569956 3221224368 3221214576 1131358665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23350 13086 16 0 210082 0
vsize: 840392
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21198
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 62948 58 1 0 25 0 11 0 723431457 860561408 23366 4294967295 134512640 134569956 3221224368 3221214664 1131373659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23366 13086 16 0 210082 0
vsize: 840392
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21199
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 63941 58 1 0 25 0 11 0 723431457 860561408 23369 4294967295 134512640 134569956 3221224368 3221214576 1131357757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23369 13086 16 0 210082 0
vsize: 840392
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21199
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 64936 58 1 0 25 0 11 0 723431457 860561408 23378 4294967295 134512640 134569956 3221224368 3221214656 1131262194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23378 13086 16 0 210082 0
vsize: 840392
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21200
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 65930 58 1 0 25 0 11 0 723431457 860561408 23378 4294967295 134512640 134569956 3221224368 3221214664 1131378656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23378 13086 16 0 210082 0
vsize: 840392
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21200
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 66923 59 1 0 25 0 11 0 723431457 860561408 23386 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23386 13086 16 0 210082 0
vsize: 840392
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21201
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 67917 59 1 0 25 0 11 0 723431457 860561408 23386 4294967295 134512640 134569956 3221224368 3221214576 1131357505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23386 13086 16 0 210082 0
vsize: 840392
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21201
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 68910 59 1 0 25 0 11 0 723431457 860561408 23398 4294967295 134512640 134569956 3221224368 3221214664 1131379763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23398 13086 16 0 210082 0
vsize: 840392
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21202
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 69904 59 1 0 25 0 11 0 723431457 860561408 23398 4294967295 134512640 134569956 3221224368 3221214576 1131357563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23398 13086 16 0 210082 0
vsize: 840392
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21202
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 70897 59 1 0 25 0 11 0 723431457 860561408 23407 4294967295 134512640 134569956 3221224368 3221214660 1131357447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23407 13086 16 0 210082 0
vsize: 840392
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21203
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 71891 60 1 0 25 0 11 0 723431457 860561408 23407 4294967295 134512640 134569956 3221224368 3221214576 1131357619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23407 13086 16 0 210082 0
vsize: 840392
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21203
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 72884 60 1 0 25 0 11 0 723431457 860561408 23419 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23419 13086 16 0 210082 0
vsize: 840392
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21203
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 73878 60 1 0 25 0 11 0 723431457 860561408 23419 4294967295 134512640 134569956 3221224368 3221214656 1131262177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23419 13086 16 0 210082 0
vsize: 840392
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21204
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 74871 60 1 0 25 0 11 0 723431457 860561408 23429 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23429 13086 16 0 210082 0
vsize: 840392
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21204
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 75864 60 1 0 25 0 11 0 723431457 860561408 23429 4294967295 134512640 134569956 3221224368 3221214576 1131357679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23429 13086 16 0 210082 0
vsize: 840392
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21205
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 76857 61 1 0 25 0 11 0 723431457 860561408 23429 4294967295 134512640 134569956 3221224368 3221214576 1131357619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23429 13086 16 0 210082 0
vsize: 840392
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21205
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 77851 61 1 0 25 0 11 0 723431457 860561408 23440 4294967295 134512640 134569956 3221224368 3221214664 1131379408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23440 13086 16 0 210082 0
vsize: 840392
[startup+800.042 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 21206
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 78844 61 1 0 25 0 11 0 723431457 860561408 23440 4294967295 134512640 134569956 3221224368 3221214664 1131378643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23440 13086 16 0 210082 0
vsize: 840392
[startup+810.042 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 21206
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 79838 61 1 0 25 0 11 0 723431457 860561408 23451 4294967295 134512640 134569956 3221224368 3221214664 1131379348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23451 13086 16 0 210082 0
vsize: 840392
[startup+820.043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 21207
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 80831 62 1 0 25 0 11 0 723431457 860561408 23451 4294967295 134512640 134569956 3221224368 3221214576 1131357781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23451 13086 16 0 210082 0
vsize: 840392
[startup+830.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 21207
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 81823 62 1 0 25 0 11 0 723431457 860561408 23464 4294967295 134512640 134569956 3221224368 3221214576 1131358469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23464 13086 16 0 210082 0
vsize: 840392
[startup+840.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 21207
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 82817 62 1 0 25 0 11 0 723431457 860561408 23468 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23468 13086 16 0 210082 0
vsize: 840392
[startup+850.044 s]
Raw data (loadavg): 1.10 1.03 1.01 2/65 21208
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 83811 62 1 0 25 0 11 0 723431457 860561408 23478 4294967295 134512640 134569956 3221224368 3221214664 1131373651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23478 13086 16 0 210082 0
vsize: 840392
[startup+860.044 s]
Raw data (loadavg): 1.09 1.03 1.00 2/65 21208
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 84804 62 1 0 25 0 11 0 723431457 860561408 23478 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23478 13086 16 0 210082 0
vsize: 840392
[startup+870.045 s]
Raw data (loadavg): 1.15 1.04 1.01 2/65 21209
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 85798 62 1 0 25 0 11 0 723431457 860561408 23478 4294967295 134512640 134569956 3221224368 3221214576 1131357781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23478 13086 16 0 210082 0
vsize: 840392
[startup+880.044 s]
Raw data (loadavg): 1.13 1.04 1.01 2/65 21209
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 86791 63 1 0 25 0 11 0 723431457 860561408 23487 4294967295 134512640 134569956 3221224368 3221214576 1131219188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23487 13086 16 0 210082 0
vsize: 840392
[startup+890.044 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 21209
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 87784 63 1 0 25 0 11 0 723431457 860561408 23487 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23487 13086 16 0 210082 0
vsize: 840392
[startup+900.045 s]
Raw data (loadavg): 1.09 1.04 1.01 2/65 21210
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 88777 63 1 0 25 0 11 0 723431457 860561408 23495 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23495 13086 16 0 210082 0
vsize: 840392
[startup+910.045 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 21210
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 89771 64 1 0 25 0 11 0 723431457 860561408 23495 4294967295 134512640 134569956 3221224368 3221214664 1131374926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23495 13086 16 0 210082 0
vsize: 840392
[startup+920.046 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 21211
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 90764 64 1 0 25 0 11 0 723431457 860561408 23495 4294967295 134512640 134569956 3221224368 3221214576 1131358804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23495 13086 16 0 210082 0
vsize: 840392
[startup+930.045 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 21211
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 91757 64 1 0 25 0 11 0 723431457 860561408 23506 4294967295 134512640 134569956 3221224368 3221214576 1131357602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23506 13086 16 0 210082 0
vsize: 840392
[startup+940.045 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 21211
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 92750 65 1 0 25 0 11 0 723431457 860561408 23506 4294967295 134512640 134569956 3221224368 3221214664 1131373381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23506 13086 16 0 210082 0
vsize: 840392
[startup+950.045 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 21212
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 93744 65 2 0 25 0 11 0 723431457 860561408 23517 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23517 13086 16 0 210082 0
vsize: 840392
[startup+960.046 s]
Raw data (loadavg): 1.09 1.04 1.01 2/65 21212
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 94738 66 2 0 25 0 11 0 723431457 860561408 23517 4294967295 134512640 134569956 3221224368 3221214576 1131357515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23517 13086 16 0 210082 0
vsize: 840392
[startup+970.047 s]
Raw data (loadavg): 1.08 1.04 1.00 2/65 21213
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 95730 66 2 0 25 0 11 0 723431457 860561408 23525 4294967295 134512640 134569956 3221224368 3221214576 1131358779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23525 13086 16 0 210082 0
vsize: 840392
[startup+980.046 s]
Raw data (loadavg): 1.07 1.04 1.00 2/65 21213
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 96724 66 2 0 25 0 11 0 723431457 860561408 23525 4294967295 134512640 134569956 3221224368 3221214660 1131178928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23525 13086 16 0 210082 0
vsize: 840392
[startup+990.046 s]
Raw data (loadavg): 1.06 1.04 1.00 2/65 21213
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 97718 66 2 0 25 0 11 0 723431457 860561408 23525 4294967295 134512640 134569956 3221224368 3221214664 1131379408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210098 23525 13086 16 0 210082 0
vsize: 840392
[startup+1000.05 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 21214
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 98710 67 2 0 25 0 11 0 723431457 860561408 23536 4294967295 134512640 134569956 3221224368 3221214664 1131376722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23536 13086 16 0 210082 0
vsize: 840392
[startup+1010.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 21214
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 99703 67 2 0 25 0 11 0 723431457 860561408 23536 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23536 13086 16 0 210082 0
vsize: 840392
[startup+1020.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 21215
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 100695 67 2 0 25 0 11 0 723431457 860561408 23536 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23536 13086 16 0 210082 0
vsize: 840392
[startup+1030.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 21215
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 101688 68 2 0 25 0 11 0 723431457 860561408 23553 4294967295 134512640 134569956 3221224368 3221214576 1131357757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23553 13086 16 0 210082 0
vsize: 840392
[startup+1040.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 21215
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 102681 68 2 0 25 0 11 0 723431457 860561408 23553 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23553 13086 16 0 210082 0
vsize: 840392
[startup+1050.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 21216
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 103674 68 2 0 25 0 11 0 723431457 860561408 23571 4294967295 134512640 134569956 3221224368 3221214664 1131379098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23571 13086 16 0 210082 0
vsize: 840392
[startup+1060.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 21216
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 104666 68 2 0 25 0 11 0 723431457 860561408 23571 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23571 13086 16 0 210082 0
vsize: 840392
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21216
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 105660 68 2 0 25 0 11 0 723431457 860561408 23575 4294967295 134512640 134569956 3221224368 3221214664 1131374876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23575 13086 16 0 210082 0
vsize: 840392
[startup+1080.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21217
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 106652 69 2 1 25 0 11 0 723431457 860561408 23585 4294967295 134512640 134569956 3221224368 3221214576 1131358888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23585 13086 16 0 210082 0
vsize: 840392
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21217
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 107646 69 2 1 25 0 11 0 723431457 860561408 23586 4294967295 134512640 134569956 3221224368 3221214576 1131357563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23586 13086 16 0 210082 0
vsize: 840392
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21218
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 108639 69 2 1 25 0 11 0 723431457 860561408 23597 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23597 13086 16 0 210082 0
vsize: 840392
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21218
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 109632 69 2 1 25 0 11 0 723431457 860561408 23597 4294967295 134512640 134569956 3221224368 3221214664 1131378824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23597 13086 16 0 210082 0
vsize: 840392
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21218
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 110625 70 2 1 25 0 11 0 723431457 860561408 23597 4294967295 134512640 134569956 3221224368 3221214552 1131178175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23597 13086 16 0 210082 0
vsize: 840392
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21219
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 111617 70 2 1 25 0 11 0 723431457 860561408 23613 4294967295 134512640 134569956 3221224368 3221214576 1131357588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23613 13086 16 0 210082 0
vsize: 840392
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21219
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 112610 71 2 1 25 0 11 0 723431457 860561408 23614 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23614 13086 16 0 210082 0
vsize: 840392
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21219
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 113604 71 2 1 25 0 11 0 723431457 860561408 23615 4294967295 134512640 134569956 3221224368 3221214576 1131357638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23615 13086 16 0 210082 0
vsize: 840392
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21220
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 114596 71 2 1 25 0 11 0 723431457 860561408 23626 4294967295 134512640 134569956 3221224368 3221214664 1131373565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23626 13086 16 0 210082 0
vsize: 840392
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 21220
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 115590 71 2 1 25 0 11 0 723431457 860561408 23626 4294967295 134512640 134569956 3221224368 3221214664 1131375524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23626 13086 16 0 210082 0
vsize: 840392
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21220
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 116582 71 2 1 25 0 11 0 723431457 860561408 23626 4294967295 134512640 134569956 3221224368 3221214576 1131357797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23626 13086 16 0 210082 0
vsize: 840392
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21221
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 117572 71 2 1 25 0 11 0 723431457 860561408 23635 4294967295 134512640 134569956 3221224368 3221214664 1131374868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23635 13086 16 0 210082 0
vsize: 840392
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21221
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 118563 71 2 1 25 0 11 0 723431457 860561408 23635 4294967295 134512640 134569956 3221224368 3221214576 1131357636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23635 13086 16 0 210082 0
vsize: 840392
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21222
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 119555 72 2 1 25 0 11 0 723431457 860561408 23740 4294967295 134512640 134569956 3221224368 3221214576 1131357605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23740 13086 16 0 210082 0
vsize: 840392
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21222
Raw data (stat): 21138 (java) R 21137 8378 8377 0 -1 0 18148 3 1 0 120548 72 2 1 25 0 11 0 723431457 860561408 23740 4294967295 134512640 134569956 3221224368 3221214576 1131357524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210098 23740 13086 16 0 210082 0
vsize: 840392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.4 s]
Raw data (loadavg): 1.08 1.03 1.01 1/55 21224
Raw data (stat): 21138 (java) Z 21137 8378 8377 0 -1 1036 18148 7673 1 0 120575 72 1768 32 24 0 1 0 723431457 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): 1220.4
CPU time (s): 1224.49
CPU user time (s): 1223.44
CPU system time (s): 1.04684
CPU usage (%): 100.335
Max. virtual memory (Kb): 840392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	135055554329270
#### END VERIFIER DATA ####