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-net12.opb
MD5SUM	8fd050825d75dbe16d9da083f4b2fd63
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	1230.09
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 29783

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 11:31:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21177 boxname=wulflinc23 idbench=1165 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8fd050825d75dbe16d9da083f4b2fd63  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-net12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-net12.opb
IDLAUNCH: 21177
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        649440 kB
Buffers:         33796 kB
Cached:         329976 kB
SwapCached:        640 kB
Active:          85364 kB
Inactive:       280852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        649188 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13404 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:51:44 (client local time) WITH STATUS 143 IN 1230.09 SECONDS
stats: 21177 0 1230.09 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/wulflinc23/normalized-mps-v2-20-10-net12.opb
c reading problem ... done. Time 4.389 ms.
c #vars     780
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     536871022450926 		Current CPU time: 25.42 ms
c CURRENT OPTIMUM=     469769509035905 		Current CPU time: 30.33 ms
c CURRENT OPTIMUM=     268437821345075 		Current CPU time: 35.26 ms
c CURRENT OPTIMUM=     268437741236464 		Current CPU time: 40.60 ms
c CURRENT OPTIMUM=     268435553415221 		Current CPU time: 46.75 ms
c CURRENT OPTIMUM=     201329176600749 		Current CPU time: 53.36 ms
c CURRENT OPTIMUM=     167774798868145 		Current CPU time: 59.75 ms
c CURRENT OPTIMUM=     167774402388662 		Current CPU time: 65.73 ms
c CURRENT OPTIMUM=     150997186388662 		Current CPU time: 72.02 ms
c CURRENT OPTIMUM=     142608578388662 		Current CPU time: 78.64 ms
c CURRENT OPTIMUM=     138414274388662 		Current CPU time: 85.56 ms
c CURRENT OPTIMUM=     136317122388662 		Current CPU time: 92.83 ms
c CURRENT OPTIMUM=     135268546388662 		Current CPU time: 100.40 ms
c CURRENT OPTIMUM=     135137474388662 		Current CPU time: 108.33 ms
c CURRENT OPTIMUM=     135071938388662 		Current CPU time: 116.59 ms
c CURRENT OPTIMUM=     135055554388662 		Current CPU time: 125.23 ms
c CURRENT OPTIMUM=     135055554387638 		Current CPU time: 134.18 ms
c CURRENT OPTIMUM=     135055554386614 		Current CPU time: 143.49 ms
c CURRENT OPTIMUM=     135055554385590 		Current CPU time: 153.11 ms
c CURRENT OPTIMUM=     135055554384566 		Current CPU time: 163.11 ms
c CURRENT OPTIMUM=     135055554383542 		Current CPU time: 173.41 ms
c CURRENT OPTIMUM=     135055554382518 		Current CPU time: 184.07 ms
c CURRENT OPTIMUM=     135055554381494 		Current CPU time: 195.04 ms
c CURRENT OPTIMUM=     135055554380470 		Current CPU time: 206.46 ms
c CURRENT OPTIMUM=     135055554379446 		Current CPU time: 218.17 ms
c CURRENT OPTIMUM=     135055554378422 		Current CPU time: 230.25 ms
c CURRENT OPTIMUM=     135055554377398 		Current CPU time: 242.62 ms
c CURRENT OPTIMUM=     135055554376374 		Current CPU time: 255.37 ms
c CURRENT OPTIMUM=     135055554375350 		Current CPU time: 268.44 ms
c CURRENT OPTIMUM=     135055554374326 		Current CPU time: 281.83 ms
c CURRENT OPTIMUM=     135055554373302 		Current CPU time: 295.52 ms
c CURRENT OPTIMUM=     135055554372278 		Current CPU time: 309.66 ms
c CURRENT OPTIMUM=     135055554371254 		Current CPU time: 324.10 ms
c CURRENT OPTIMUM=     135055554370230 		Current CPU time: 338.86 ms
c CURRENT OPTIMUM=     135055554369206 		Current CPU time: 353.94 ms
c CURRENT OPTIMUM=     135055554368182 		Current CPU time: 369.38 ms
c CURRENT OPTIMUM=     135055554367158 		Current CPU time: 385.11 ms
c CURRENT OPTIMUM=     135055554366134 		Current CPU time: 401.18 ms
c CURRENT OPTIMUM=     135055554365110 		Current CPU time: 417.53 ms
c CURRENT OPTIMUM=     135055554364086 		Current CPU time: 434.53 ms
c CURRENT OPTIMUM=     135055554363062 		Current CPU time: 451.79 ms
c CURRENT OPTIMUM=     135055554362038 		Current CPU time: 469.41 ms
c CURRENT OPTIMUM=     135055554361014 		Current CPU time: 487.31 ms
c CURRENT OPTIMUM=     135055554359990 		Current CPU time: 505.62 ms
c CURRENT OPTIMUM=     135055554358966 		Current CPU time: 524.20 ms
c CURRENT OPTIMUM=     135055554357942 		Current CPU time: 543.14 ms
c CURRENT OPTIMUM=     135055554356918 		Current CPU time: 562.35 ms
c CURRENT OPTIMUM=     135055554355894 		Current CPU time: 582.03 ms
c CURRENT OPTIMUM=     135055554354870 		Current CPU time: 602.22 ms
c CURRENT OPTIMUM=     135055554353846 		Current CPU time: 622.79 ms
c CURRENT OPTIMUM=     135055554352822 		Current CPU time: 643.61 ms
c CURRENT OPTIMUM=     135055554351798 		Current CPU time: 664.84 ms
c CURRENT OPTIMUM=     135055554350774 		Current CPU time: 686.36 ms
c CURRENT OPTIMUM=     135055554349750 		Current CPU time: 708.21 ms
c CURRENT OPTIMUM=     135055554348726 		Current CPU time: 730.14 ms
c CURRENT OPTIMUM=     135055554347702 		Current CPU time: 752.60 ms
c CURRENT OPTIMUM=     135055554346678 		Current CPU time: 775.33 ms
c CURRENT OPTIMUM=     135055554345654 		Current CPU time: 798.40 ms
c CURRENT OPTIMUM=     135055554344630 		Current CPU time: 821.76 ms
c CURRENT OPTIMUM=     135055554343606 		Current CPU time: 845.53 ms
c CURRENT OPTIMUM=     135055554342582 		Current CPU time: 869.58 ms
c CURRENT OPTIMUM=     135055554341558 		Current CPU time: 893.95 ms
c CURRENT OPTIMUM=     135055554340534 		Current CPU time: 918.55 ms
c CURRENT OPTIMUM=     135055554339510 		Current CPU time: 943.71 ms
c CURRENT OPTIMUM=     135055554338486 		Current CPU time: 969.07 ms
c CURRENT OPTIMUM=     135055554337462 		Current CPU time: 994.82 ms
c CURRENT OPTIMUM=     135055554336438 		Current CPU time: 1020.82 ms
c CURRENT OPTIMUM=     135055554335414 		Current CPU time: 1047.27 ms
c CURRENT OPTIMUM=     135055554334390 		Current CPU time: 1073.96 ms
c CURRENT OPTIMUM=     135055554333366 		Current CPU time: 1101.00 ms
c CURRENT OPTIMUM=     135055554332342 		Current CPU time: 1128.28 ms
c CURRENT OPTIMUM=     135055554331318 		Current CPU time: 1156.30 ms
c CURRENT OPTIMUM=     135055554330294 		Current CPU time: 1184.58 ms
c CURRENT OPTIMUM=     135055554329270 		Current CPU time: 1213.26 ms
c starts	: 75
c conflicts	: 74
c decisions	: 32251
c propagations	: 58666
c inspects	: 1627018
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.201
#### 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.85 0.97 0.99 2/54 15835
Raw data (stat): 15835 (runsolver) R 15834 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838540155 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.02 1.00 1.00 3/64 15845
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18063 0 1 0 707 38 0 0 25 0 11 0 838540155 860258304 21412 4294967295 134512640 134569956 3221224368 3221214544 1131346509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 21412 13086 16 0 210008 0
vsize: 840096
[startup+20.0007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15845
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18068 0 1 0 1606 38 0 0 25 0 11 0 838540155 859041792 21307 4294967295 134512640 134569956 3221224368 3221214712 1131202009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 21307 13086 16 0 209711 0
vsize: 838908
[startup+30.0012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15846
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18114 4 1 0 2513 39 0 0 25 0 11 0 838540155 858652672 21332 4294967295 134512640 134569956 3221224368 3221214656 1131362576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 21332 13086 16 0 209616 0
vsize: 838528
[startup+40.0014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15848
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18114 4 1 0 3433 39 0 0 25 0 11 0 838540155 858652672 22069 4294967295 134512640 134569956 3221224368 3221214656 1131366020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22069 13086 16 0 209616 0
vsize: 838528
[startup+50.0016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15850
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18114 4 1 0 4406 39 0 0 25 0 11 0 838540155 858652672 22154 4294967295 134512640 134569956 3221224368 3221214656 1131369895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22154 13086 16 0 209616 0
vsize: 838528
[startup+60.0011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15851
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 5388 39 0 0 25 0 11 0 838540155 858652672 22260 4294967295 134512640 134569956 3221224368 3221214656 1131366058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22260 13086 16 0 209616 0
vsize: 838528
[startup+70.0019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15853
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 6370 40 0 0 25 0 11 0 838540155 858652672 22299 4294967295 134512640 134569956 3221224368 3221214648 1131368440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22299 13086 16 0 209616 0
vsize: 838528
[startup+80.0025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15855
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 7357 40 0 0 25 0 11 0 838540155 858652672 22360 4294967295 134512640 134569956 3221224368 3221214560 1131346775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22360 13086 16 0 209616 0
vsize: 838528
[startup+90.0026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15856
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 8346 41 0 0 25 0 11 0 838540155 858652672 22379 4294967295 134512640 134569956 3221224368 3221214640 1131260978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22379 13086 16 0 209616 0
vsize: 838528
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15857
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 9335 41 0 0 25 0 11 0 838540155 858652672 22401 4294967295 134512640 134569956 3221224368 3221214560 1131346612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22401 13086 16 0 209616 0
vsize: 838528
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15859
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 10325 41 0 0 25 0 11 0 838540155 858652672 22422 4294967295 134512640 134569956 3221224368 3221214648 1131368668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22422 13086 16 0 209616 0
vsize: 838528
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15860
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 11318 41 0 0 25 0 11 0 838540155 858652672 22441 4294967295 134512640 134569956 3221224368 3221214648 1131364901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22441 13086 16 0 209616 0
vsize: 838528
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15861
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 12308 42 0 0 25 0 11 0 838540155 858652672 22449 4294967295 134512640 134569956 3221224368 3221214640 1131260970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22449 13086 16 0 209616 0
vsize: 838528
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15862
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 13300 42 0 0 25 0 11 0 838540155 858652672 22467 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22467 13086 16 0 209616 0
vsize: 838528
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15863
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 14291 42 0 0 25 0 11 0 838540155 858652672 22488 4294967295 134512640 134569956 3221224368 3221214648 1131364349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22488 13086 16 0 209616 0
vsize: 838528
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15864
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 15282 42 0 0 25 0 11 0 838540155 858652672 22499 4294967295 134512640 134569956 3221224368 3221214648 1131362930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22499 13086 16 0 209616 0
vsize: 838528
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15865
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 16274 43 0 0 25 0 11 0 838540155 858652672 22508 4294967295 134512640 134569956 3221224368 3221214536 1131179831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22508 13086 16 0 209616 0
vsize: 838528
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15866
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 17265 43 0 0 25 0 11 0 838540155 858652672 22521 4294967295 134512640 134569956 3221224368 3221214560 1131208452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22521 13086 16 0 209616 0
vsize: 838528
[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15867
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 18257 43 0 0 25 0 11 0 838540155 858652672 22534 4294967295 134512640 134569956 3221224368 3221214648 1131364368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22534 13086 16 0 209616 0
vsize: 838528
[startup+200.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15868
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 19250 43 0 0 25 0 11 0 838540155 858652672 22546 4294967295 134512640 134569956 3221224368 3221214648 1131368248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22546 13086 16 0 209616 0
vsize: 838528
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15869
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 20241 43 0 0 25 0 11 0 838540155 858652672 22555 4294967295 134512640 134569956 3221224368 3221214560 1131347271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22555 13086 16 0 209616 0
vsize: 838528
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15870
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 21233 44 0 0 25 0 11 0 838540155 858652672 22568 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22568 13086 16 0 209616 0
vsize: 838528
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15870
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 22225 44 0 0 25 0 11 0 838540155 858652672 22603 4294967295 134512640 134569956 3221224368 3221214560 1131346697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22603 13086 16 0 209616 0
vsize: 838528
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15871
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 23218 44 0 0 25 0 11 0 838540155 858652672 22611 4294967295 134512640 134569956 3221224368 3221214648 1131364836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22611 13086 16 0 209616 0
vsize: 838528
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15872
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 24210 44 0 0 25 0 11 0 838540155 858652672 22619 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22619 13086 16 0 209616 0
vsize: 838528
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15873
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 25203 44 1 0 25 0 11 0 838540155 858652672 22619 4294967295 134512640 134569956 3221224368 3221214648 1131364908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22619 13086 16 0 209616 0
vsize: 838528
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15874
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 26195 45 1 0 25 0 11 0 838540155 858652672 22631 4294967295 134512640 134569956 3221224368 3221214560 1131347951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22631 13086 16 0 209616 0
vsize: 838528
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15874
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 27188 45 1 0 25 0 11 0 838540155 858652672 22641 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22641 13086 16 0 209616 0
vsize: 838528
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15875
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 28180 45 1 0 25 0 11 0 838540155 858652672 22655 4294967295 134512640 134569956 3221224368 3221214648 1131364871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22655 13086 16 0 209616 0
vsize: 838528
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15876
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 29172 45 1 0 25 0 11 0 838540155 858652672 22665 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22665 13086 16 0 209616 0
vsize: 838528
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15876
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 30166 45 1 0 25 0 11 0 838540155 858652672 22667 4294967295 134512640 134569956 3221224368 3221214648 1131362975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22667 13086 16 0 209616 0
vsize: 838528
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15877
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 31159 45 1 0 25 0 11 0 838540155 858652672 22677 4294967295 134512640 134569956 3221224368 3221214560 1131346897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22677 13086 16 0 209616 0
vsize: 838528
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15878
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 32152 45 1 0 25 0 11 0 838540155 858652672 22686 4294967295 134512640 134569956 3221224368 3221214560 1131347848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22686 13086 16 0 209616 0
vsize: 838528
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15879
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 33145 45 1 0 25 0 11 0 838540155 858652672 22695 4294967295 134512640 134569956 3221224368 3221214648 1131368248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22695 13086 16 0 209616 0
vsize: 838528
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15879
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 34139 46 1 0 25 0 11 0 838540155 858652672 22696 4294967295 134512640 134569956 3221224368 3221214560 1131208442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22696 13086 16 0 209616 0
vsize: 838528
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15880
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 35131 46 1 0 25 0 11 0 838540155 858652672 22704 4294967295 134512640 134569956 3221224368 3221214648 1131365152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22704 13086 16 0 209616 0
vsize: 838528
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15880
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 36125 46 1 0 25 0 11 0 838540155 858652672 22712 4294967295 134512640 134569956 3221224368 3221214648 1131368248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22712 13086 16 0 209616 0
vsize: 838528
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15881
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 37119 46 1 0 25 0 11 0 838540155 858652672 22712 4294967295 134512640 134569956 3221224368 3221214648 1131364218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22712 13086 16 0 209616 0
vsize: 838528
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15882
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 38112 46 1 0 25 0 11 0 838540155 858652672 22721 4294967295 134512640 134569956 3221224368 3221214648 1131367714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22721 13086 16 0 209616 0
vsize: 838528
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15882
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 39105 46 1 0 25 0 11 0 838540155 858652672 22729 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22729 13086 16 0 209616 0
vsize: 838528
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15883
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 40099 46 1 0 25 0 11 0 838540155 858652672 22729 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22729 13086 16 0 209616 0
vsize: 838528
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15884
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 41092 47 1 0 25 0 11 0 838540155 858652672 22737 4294967295 134512640 134569956 3221224368 3221214560 1131346775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22737 13086 16 0 209616 0
vsize: 838528
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15884
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 42085 47 1 0 25 0 11 0 838540155 858652672 22737 4294967295 134512640 134569956 3221224368 3221214648 1131366043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22737 13086 16 0 209616 0
vsize: 838528
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15885
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 43077 47 1 0 25 0 11 0 838540155 858652672 22746 4294967295 134512640 134569956 3221224368 3221214648 1131364730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22746 13086 16 0 209616 0
vsize: 838528
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15885
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 44069 47 1 0 25 0 11 0 838540155 858652672 22756 4294967295 134512640 134569956 3221224368 3221214648 1131365980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22756 13086 16 0 209616 0
vsize: 838528
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15886
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 45060 48 1 0 25 0 11 0 838540155 858652672 22756 4294967295 134512640 134569956 3221224368 3221214560 1131346897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22756 13086 16 0 209616 0
vsize: 838528
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15886
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 46053 48 1 0 25 0 11 0 838540155 858652672 22813 4294967295 134512640 134569956 3221224368 3221214648 1131364908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22813 13086 16 0 209616 0
vsize: 838528
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15887
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 47047 48 1 0 25 0 11 0 838540155 858652672 22813 4294967295 134512640 134569956 3221224368 3221214648 1131364352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22813 13086 16 0 209616 0
vsize: 838528
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15888
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 48040 48 1 0 25 0 11 0 838540155 858652672 22821 4294967295 134512640 134569956 3221224368 3221214560 1131347444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22821 13086 16 0 209616 0
vsize: 838528
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15888
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 49033 48 1 0 25 0 11 0 838540155 858652672 22829 4294967295 134512640 134569956 3221224368 3221214648 1131362994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22829 13086 16 0 209616 0
vsize: 838528
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15889
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 50027 48 1 0 25 0 11 0 838540155 858652672 22830 4294967295 134512640 134569956 3221224368 3221214560 1131346775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22830 13086 16 0 209616 0
vsize: 838528
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15889
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 51020 49 1 0 25 0 11 0 838540155 858652672 22838 4294967295 134512640 134569956 3221224368 3221214536 1131179909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22838 13086 16 0 209616 0
vsize: 838528
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15890
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 52014 49 1 0 25 0 11 0 838540155 858652672 22838 4294967295 134512640 134569956 3221224368 3221214648 1131364557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22838 13086 16 0 209616 0
vsize: 838528
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15890
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 53007 49 1 0 25 0 11 0 838540155 858652672 22846 4294967295 134512640 134569956 3221224368 3221214560 1131346849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22846 13086 16 0 209616 0
vsize: 838528
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15891
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 54000 50 1 0 25 0 11 0 838540155 858652672 22846 4294967295 134512640 134569956 3221224368 3221214640 1131260978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22846 13086 16 0 209616 0
vsize: 838528
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15891
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 54993 50 1 0 25 0 11 0 838540155 858652672 22856 4294967295 134512640 134569956 3221224368 3221214560 1131346813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22856 13086 16 0 209616 0
vsize: 838528
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15892
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 55985 50 2 0 25 0 11 0 838540155 858652672 22856 4294967295 134512640 134569956 3221224368 3221214560 1131347315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22856 13086 16 0 209616 0
vsize: 838528
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15892
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 56980 50 2 0 25 0 11 0 838540155 858652672 22864 4294967295 134512640 134569956 3221224368 3221214536 1131179828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22864 13086 16 0 209616 0
vsize: 838528
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15893
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 57973 50 2 0 25 0 11 0 838540155 858652672 22864 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22864 13086 16 0 209616 0
vsize: 838528
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15893
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 58966 51 2 0 25 0 11 0 838540155 858652672 22872 4294967295 134512640 134569956 3221224368 3221214648 1131366128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22872 13086 16 0 209616 0
vsize: 838528
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15894
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 59958 51 2 0 25 0 11 0 838540155 858652672 22872 4294967295 134512640 134569956 3221224368 3221214640 1131260985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22872 13086 16 0 209616 0
vsize: 838528
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15894
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 60950 51 2 0 25 0 11 0 838540155 858652672 22881 4294967295 134512640 134569956 3221224368 3221214648 1131362933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22881 13086 16 0 209616 0
vsize: 838528
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15895
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 61943 51 2 0 25 0 11 0 838540155 858652672 22881 4294967295 134512640 134569956 3221224368 3221214560 1131346735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22881 13086 16 0 209616 0
vsize: 838528
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15895
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 62935 52 2 0 25 0 11 0 838540155 858652672 22897 4294967295 134512640 134569956 3221224368 3221214560 1131347788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22897 13086 16 0 209616 0
vsize: 838528
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15896
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 63928 52 2 0 25 0 11 0 838540155 858652672 22900 4294967295 134512640 134569956 3221224368 3221214536 1131179943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22900 13086 16 0 209616 0
vsize: 838528
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15896
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 64922 52 2 0 25 0 11 0 838540155 858652672 22909 4294967295 134512640 134569956 3221224368 3221214560 1131346853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22909 13086 16 0 209616 0
vsize: 838528
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15897
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 65915 53 2 0 25 0 11 0 838540155 858652672 22909 4294967295 134512640 134569956 3221224368 3221214648 1131366113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22909 13086 16 0 209616 0
vsize: 838528
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15897
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 66908 53 2 0 25 0 11 0 838540155 858652672 22917 4294967295 134512640 134569956 3221224368 3221214648 1131362737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22917 13086 16 0 209616 0
vsize: 838528
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15898
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 67901 54 2 0 25 0 11 0 838540155 858652672 22917 4294967295 134512640 134569956 3221224368 3221214648 1131366090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22917 13086 16 0 209616 0
vsize: 838528
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15898
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 68895 54 2 0 25 0 11 0 838540155 858652672 22929 4294967295 134512640 134569956 3221224368 3221214648 1131368248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22929 13086 16 0 209616 0
vsize: 838528
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15899
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 69888 55 2 0 25 0 11 0 838540155 858652672 22929 4294967295 134512640 134569956 3221224368 3221214648 1131362725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 22929 13086 16 0 209616 0
vsize: 838528
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15899
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 70881 55 2 0 25 0 11 0 838540155 858652672 22938 4294967295 134512640 134569956 3221224368 3221214648 1131367865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22938 13086 16 0 209616 0
vsize: 838528
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15899
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 71875 55 2 0 25 0 11 0 838540155 858652672 22938 4294967295 134512640 134569956 3221224368 3221214560 1131208429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22938 13086 16 0 209616 0
vsize: 838528
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15900
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 72867 55 2 0 25 0 11 0 838540155 858652672 22950 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22950 13086 16 0 209616 0
vsize: 838528
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15900
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 73861 56 2 0 25 0 11 0 838540155 858652672 22950 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22950 13086 16 0 209616 0
vsize: 838528
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15901
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 74854 56 2 0 25 0 11 0 838540155 858652672 22950 4294967295 134512640 134569956 3221224368 3221214560 1131346897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22950 13086 16 0 209616 0
vsize: 838528
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15901
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 75847 56 2 0 23 0 11 0 838540155 858652672 22960 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22960 13086 16 0 209616 0
vsize: 838528
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15902
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 76840 56 2 0 25 0 11 0 838540155 858652672 22960 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22960 13086 16 0 209616 0
vsize: 838528
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15902
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 77833 56 2 0 25 0 11 0 838540155 858652672 22971 4294967295 134512640 134569956 3221224368 3221214648 1131369791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22971 13086 16 0 209616 0
vsize: 838528
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15903
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 78828 57 2 0 25 0 11 0 838540155 858652672 22971 4294967295 134512640 134569956 3221224368 3221214560 1131346547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22971 13086 16 0 209616 0
vsize: 838528
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15903
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 79820 57 2 0 25 0 11 0 838540155 858652672 22982 4294967295 134512640 134569956 3221224368 3221214648 1131364908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22982 13086 16 0 209616 0
vsize: 838528
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15903
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 80813 57 2 0 25 0 11 0 838540155 858652672 22982 4294967295 134512640 134569956 3221224368 3221214648 1131362725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22982 13086 16 0 209616 0
vsize: 838528
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15904
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 81805 57 2 0 25 0 11 0 838540155 858652672 22995 4294967295 134512640 134569956 3221224368 3221214560 1131346645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22995 13086 16 0 209616 0
vsize: 838528
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15904
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 82799 58 2 0 25 0 11 0 838540155 858652672 22995 4294967295 134512640 134569956 3221224368 3221214560 1131347838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22995 13086 16 0 209616 0
vsize: 838528
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15905
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 83792 58 2 0 25 0 11 0 838540155 858652672 22999 4294967295 134512640 134569956 3221224368 3221214648 1131364730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 22999 13086 16 0 209616 0
vsize: 838528
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15905
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 84786 58 2 0 25 0 11 0 838540155 858652672 23009 4294967295 134512640 134569956 3221224368 3221214560 1131347941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23009 13086 16 0 209616 0
vsize: 838528
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15905
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 85780 58 2 0 25 0 11 0 838540155 858652672 23009 4294967295 134512640 134569956 3221224368 3221214648 1131362933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 23009 13086 16 0 209616 0
vsize: 838528
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15906
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 86773 58 2 1 25 0 11 0 838540155 858652672 23018 4294967295 134512640 134569956 3221224368 3221214640 1131260967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23018 13086 16 0 209616 0
vsize: 838528
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15906
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 87766 58 2 1 25 0 11 0 838540155 858652672 23018 4294967295 134512640 134569956 3221224368 3221214648 1131368668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23018 13086 16 0 209616 0
vsize: 838528
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15907
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 88760 58 2 1 25 0 11 0 838540155 858652672 23018 4294967295 134512640 134569956 3221224368 3221214560 1131346568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23018 13086 16 0 209616 0
vsize: 838528
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15907
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 89754 58 2 1 25 0 11 0 838540155 858652672 23026 4294967295 134512640 134569956 3221224368 3221214644 1131260994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23026 13086 16 0 209616 0
vsize: 838528
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15908
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 90747 59 2 1 25 0 11 0 838540155 858652672 23026 4294967295 134512640 134569956 3221224368 3221214648 1131368816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23026 13086 16 0 209616 0
vsize: 838528
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15908
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 91739 59 2 1 25 0 11 0 838540155 858652672 23037 4294967295 134512640 134569956 3221224368 3221214648 1131364831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23037 13086 16 0 209616 0
vsize: 838528
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15908
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 92733 59 2 1 25 0 11 0 838540155 858652672 23037 4294967295 134512640 134569956 3221224368 3221214648 1131364796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23037 13086 16 0 209616 0
vsize: 838528
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15909
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 93725 59 2 1 25 0 11 0 838540155 858652672 23046 4294967295 134512640 134569956 3221224368 3221214644 1131208416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23046 13086 16 0 209616 0
vsize: 838528
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15909
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 94719 59 2 1 25 0 11 0 838540155 858652672 23048 4294967295 134512640 134569956 3221224368 3221214640 1131260978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23048 13086 16 0 209616 0
vsize: 838528
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15909
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 95713 59 2 1 25 0 11 0 838540155 858652672 23048 4294967295 134512640 134569956 3221224368 3221214512 1131317391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23048 13086 16 0 209616 0
vsize: 838528
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15910
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 96706 60 2 1 25 0 11 0 838540155 858652672 23056 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23056 13086 16 0 209616 0
vsize: 838528
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15910
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 97699 60 2 1 25 0 11 0 838540155 858652672 23056 4294967295 134512640 134569956 3221224368 3221214644 1131346496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23056 13086 16 0 209616 0
vsize: 838528
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15911
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 98692 60 2 1 25 0 11 0 838540155 858652672 23067 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23067 13086 16 0 209616 0
vsize: 838528
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15911
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 99685 60 2 1 25 0 11 0 838540155 858652672 23067 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23067 13086 16 0 209616 0
vsize: 838528
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15911
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 100678 60 2 1 25 0 11 0 838540155 858652672 23067 4294967295 134512640 134569956 3221224368 3221214560 1131346683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23067 13086 16 0 209616 0
vsize: 838528
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15912
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 101670 60 2 1 25 0 11 0 838540155 858652672 23083 4294967295 134512640 134569956 3221224368 3221214560 1131346661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23083 13086 16 0 209616 0
vsize: 838528
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15912
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 102663 61 2 1 25 0 11 0 838540155 858652672 23084 4294967295 134512640 134569956 3221224368 3221214648 1131369276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23084 13086 16 0 209616 0
vsize: 838528
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15913
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 103655 61 2 1 25 0 11 0 838540155 858652672 23084 4294967295 134512640 134569956 3221224368 3221214648 1131364889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23084 13086 16 0 209616 0
vsize: 838528
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15913
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 104648 61 2 1 25 0 11 0 838540155 858652672 23102 4294967295 134512640 134569956 3221224368 3221214560 1131347923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23102 13086 16 0 209616 0
vsize: 838528
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15913
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 105641 61 2 1 25 0 11 0 838540155 858652672 23104 4294967295 134512640 134569956 3221224368 3221214648 1131366156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23104 13086 16 0 209616 0
vsize: 838528
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15914
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 106634 61 2 1 25 0 11 0 838540155 858652672 23116 4294967295 134512640 134569956 3221224368 3221214536 1131179909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23116 13086 16 0 209616 0
vsize: 838528
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15914
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 107627 61 2 1 25 0 11 0 838540155 858652672 23117 4294967295 134512640 134569956 3221224368 3221214560 1131346827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23117 13086 16 0 209616 0
vsize: 838528
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15914
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 108620 62 2 1 25 0 11 0 838540155 858652672 23117 4294967295 134512640 134569956 3221224368 3221214560 1131208454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23117 13086 16 0 209616 0
vsize: 838528
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15915
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 109612 62 2 1 25 0 11 0 838540155 858652672 23128 4294967295 134512640 134569956 3221224368 3221214600 1131312340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23128 13086 16 0 209616 0
vsize: 838528
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15915
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 110606 62 2 1 25 0 11 0 838540155 858652672 23128 4294967295 134512640 134569956 3221224368 3221214648 1131368080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23128 13086 16 0 209616 0
vsize: 838528
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15916
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 111598 62 2 1 25 0 11 0 838540155 858652672 23128 4294967295 134512640 134569956 3221224368 3221214648 1131364012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23128 13086 16 0 209616 0
vsize: 838528
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15916
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 112590 62 2 1 25 0 11 0 838540155 858652672 23144 4294967295 134512640 134569956 3221224368 3221214560 1131347888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23144 13086 16 0 209616 0
vsize: 838528
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15916
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 113584 62 2 1 25 0 11 0 838540155 858652672 23145 4294967295 134512640 134569956 3221224368 3221214560 1131346760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23145 13086 16 0 209616 0
vsize: 838528
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15917
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 114576 63 2 1 25 0 11 0 838540155 858652672 23157 4294967295 134512640 134569956 3221224368 3221214648 1131368248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23157 13086 16 0 209616 0
vsize: 838528
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15917
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 115570 63 2 1 25 0 11 0 838540155 858652672 23157 4294967295 134512640 134569956 3221224368 3221214536 1131179854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23157 13086 16 0 209616 0
vsize: 838528
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15917
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 116562 63 2 1 25 0 11 0 838540155 858652672 23157 4294967295 134512640 134569956 3221224368 3221214560 1131347375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23157 13086 16 0 209616 0
vsize: 838528
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15918
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 117553 63 2 1 25 0 11 0 838540155 858652672 23166 4294967295 134512640 134569956 3221224368 3221214536 1131179874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23166 13086 16 0 209616 0
vsize: 838528
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15918
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 118543 63 2 1 25 0 11 0 838540155 858652672 23166 4294967295 134512640 134569956 3221224368 3221214648 1131368813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23166 13086 16 0 209616 0
vsize: 838528
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15918
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 119534 63 2 1 25 0 11 0 838540155 858652672 23263 4294967295 134512640 134569956 3221224368 3221214560 1131347800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23263 13086 16 0 209616 0
vsize: 838528
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15919
Raw data (stat): 15835 (java) R 15834 5562 5561 0 -1 0 18115 4 1 0 120527 64 2 1 25 0 11 0 838540155 858652672 23271 4294967295 134512640 134569956 3221224368 3221214648 1131362994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209632 23271 13086 16 0 209616 0
vsize: 838528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 15921
Raw data (stat): 15835 (java) Z 15834 5562 5561 0 -1 1036 18115 10423 1 0 120543 68 2359 37 25 0 1 0 838540155 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.28
CPU time (s): 1230.09
CPU user time (s): 1229.03
CPU system time (s): 1.06184
CPU usage (%): 100.804
Max. virtual memory (Kb): 840096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	135055554329270
#### END VERIFIER DATA ####