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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb
MD5SUM	7ca49051adbbebe6e2c6f68e4bc64c63
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	351
Biggest coefficient in the objective function	524288000000
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	1048594922917
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	1075200000000000000
Number of bits of the biggest number in a constraint	60
Biggest sum of numbers in a constraint	2440670651161677657
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1253.9
Number of variables	653
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	75
Trace number 30162

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 15:31:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21561 boxname=wulflinc30 idbench=1549 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7ca49051adbbebe6e2c6f68e4bc64c63  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-glass4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-glass4.opb
IDLAUNCH: 21561
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        763404 kB
Buffers:         29840 kB
Cached:         218136 kB
SwapCached:        632 kB
Active:          31132 kB
Inactive:       218880 kB
HighTotal:      131008 kB
HighFree:        44828 kB
LowTotal:       903652 kB
LowFree:        718576 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15448 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:52:18 (client local time) WITH STATUS 143 IN 1253.9 SECONDS
stats: 21561 0 1253.9 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/wulflinc30/normalized-mps-v2-13-7-glass4.opb
c reading problem ... done. Time 4.01 ms.
c #vars     653
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=       1046540285957 		Current CPU time: 22.90 ms
c CURRENT OPTIMUM=       1046540071193 		Current CPU time: 48.69 ms
c CURRENT OPTIMUM=       1019911889974 		Current CPU time: 51.10 ms
c CURRENT OPTIMUM=       1015814084604 		Current CPU time: 53.65 ms
c CURRENT OPTIMUM=        999430582227 		Current CPU time: 56.37 ms
c CURRENT OPTIMUM=        999429149759 		Current CPU time: 77.39 ms
c CURRENT OPTIMUM=        995335588855 		Current CPU time: 90.81 ms
c CURRENT OPTIMUM=        981512255467 		Current CPU time: 95.78 ms
c CURRENT OPTIMUM=        917512359669 		Current CPU time: 110.35 ms
c CURRENT OPTIMUM=        917509112829 		Current CPU time: 128.98 ms
c CURRENT OPTIMUM=        915976001290 		Current CPU time: 141.56 ms
c CURRENT OPTIMUM=        851974666335 		Current CPU time: 163.86 ms
c CURRENT OPTIMUM=        851974524346 		Current CPU time: 198.85 ms
c CURRENT OPTIMUM=        851974192576 		Current CPU time: 206.94 ms
c CURRENT OPTIMUM=        851974192344 		Current CPU time: 218.49 ms
c CURRENT OPTIMUM=        826887172603 		Current CPU time: 243.32 ms
c CURRENT OPTIMUM=        704517547487 		Current CPU time: 255.16 ms
c CURRENT OPTIMUM=        704516188177 		Current CPU time: 265.04 ms
c CURRENT OPTIMUM=        688133825744 		Current CPU time: 289.54 ms
c CURRENT OPTIMUM=        685574406452 		Current CPU time: 302.99 ms
c CURRENT OPTIMUM=        655364528616 		Current CPU time: 313.47 ms
c CURRENT OPTIMUM=        622598489071 		Current CPU time: 437.82 ms
c CURRENT OPTIMUM=        614405190100 		Current CPU time: 471.08 ms
c CURRENT OPTIMUM=        598021564019 		Current CPU time: 507.03 ms
c CURRENT OPTIMUM=        518660162695 		Current CPU time: 648.00 ms
c CURRENT OPTIMUM=        491523773668 		Current CPU time: 660.30 ms
c CURRENT OPTIMUM=        491523406334 		Current CPU time: 692.04 ms
c CURRENT OPTIMUM=        491523106427 		Current CPU time: 714.92 ms
c CURRENT OPTIMUM=        458755444732 		Current CPU time: 726.04 ms
c CURRENT OPTIMUM=        444419499381 		Current CPU time: 825.56 ms
c CURRENT OPTIMUM=        431619635835 		Current CPU time: 844.51 ms
c CURRENT OPTIMUM=        428546535869 		Current CPU time: 898.69 ms
c starts	: 54
c conflicts	: 3960
c decisions	: 32373
c propagations	: 92379
c inspects	: 1676403
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3959
c root simplifications	: 67
s SATISFIABLE
v -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 -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 -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 -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 -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 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 -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 -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 -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 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 -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_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_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_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_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_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_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_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_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=428546535869
c Total CPU time (ms) : 1249.243
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.00 1.01 1.00 2/54 8483
Raw data (stat): 8483 (runsolver) R 8482 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839973624 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.08 1.03 1.00 4/64 8493
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18079 0 1 0 572 42 0 0 25 0 11 0 839973624 868528128 22318 4294967295 134512640 134569956 3221224368 3221214480 1131286608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212043 22318 13086 16 0 212027 0
vsize: 848172
[startup+20.0012 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 8493
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18081 0 1 0 1477 43 0 0 25 0 11 0 839973624 867098624 23180 4294967295 134512640 134569956 3221224368 3221214400 1131517050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 23180 13086 16 0 211678 0
vsize: 846776
[startup+30.0026 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 8494
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18127 3 1 0 2423 43 0 0 25 0 11 0 839973624 867065856 23939 4294967295 134512640 134569956 3221224368 3221214648 1131286716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 23939 13086 16 0 211670 0
vsize: 846744
[startup+40.0029 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 8494
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18127 3 1 0 3382 43 0 0 25 0 11 0 839973624 867065856 23992 4294967295 134512640 134569956 3221224368 3221214528 1131274813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 23992 13086 16 0 211670 0
vsize: 846744
[startup+50.0037 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 8495
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 4337 43 0 0 25 0 11 0 839973624 867065856 24245 4294967295 134512640 134569956 3221224368 3221214720 1131173073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 24245 13086 16 0 211670 0
vsize: 846744
[startup+60.004 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 8498
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 5308 43 0 0 25 0 11 0 839973624 867065856 24328 4294967295 134512640 134569956 3221224368 3221214560 1131283746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 24328 13086 16 0 211670 0
vsize: 846744
[startup+70.0055 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 8498
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 6271 44 0 0 25 0 11 0 839973624 867065856 24533 4294967295 134512640 134569956 3221224368 3221214144 1131616593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 24533 13086 16 0 211670 0
vsize: 846744
[startup+80.0062 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 8499
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 7220 44 0 0 25 0 11 0 839973624 867065856 24850 4294967295 134512640 134569956 3221224368 3221214576 1131363211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 24850 13086 16 0 211670 0
vsize: 846744
[startup+90.0064 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8499
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 8181 45 0 0 25 0 11 0 839973624 867065856 25010 4294967295 134512640 134569956 3221224368 3221214328 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25010 13086 16 0 211670 0
vsize: 846744
[startup+100.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8501
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 9163 45 0 0 25 0 11 0 839973624 867065856 25089 4294967295 134512640 134569956 3221224368 3221214720 1131323590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 25089 13086 16 0 211670 0
vsize: 846744
[startup+110.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 8501
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 10124 45 0 0 25 0 11 0 839973624 867065856 25277 4294967295 134512640 134569956 3221224368 3221214624 1131288017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25277 13086 16 0 211670 0
vsize: 846744
[startup+120.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 8502
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 11095 45 0 0 25 0 11 0 839973624 867065856 25454 4294967295 134512640 134569956 3221224368 3221214576 1131283552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25454 13086 16 0 211670 0
vsize: 846744
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8503
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 12057 45 0 0 25 0 11 0 839973624 867065856 25729 4294967295 134512640 134569956 3221224368 3221214720 1131173056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25729 13086 16 0 211670 0
vsize: 846744
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8503
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 13028 46 0 0 25 0 11 0 839973624 867065856 25861 4294967295 134512640 134569956 3221224368 3221214456 1131617045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25861 13086 16 0 211670 0
vsize: 846744
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8504
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 14002 46 0 0 25 0 11 0 839973624 867065856 25861 4294967295 134512640 134569956 3221224368 3221214624 1131286898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 25861 13086 16 0 211670 0
vsize: 846744
[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8504
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 14965 46 0 0 25 0 11 0 839973624 867065856 25953 4294967295 134512640 134569956 3221224368 3221214080 1131616568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 25953 13086 16 0 211670 0
vsize: 846744
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8505
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 15945 46 0 0 25 0 11 0 839973624 867065856 26081 4294967295 134512640 134569956 3221224368 3221214296 1131227004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 26081 13086 16 0 211670 0
vsize: 846744
[startup+180.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8505
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 16906 46 0 0 25 0 11 0 839973624 867065856 26351 4294967295 134512640 134569956 3221224368 3221214572 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 26351 13086 16 0 211670 0
vsize: 846744
[startup+190.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8505
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 17868 46 0 0 25 0 11 0 839973624 867065856 26546 4294967295 134512640 134569956 3221224368 3221213944 1085679356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 26546 13086 16 0 211670 0
vsize: 846744
[startup+200.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8506
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 18849 47 0 0 25 0 11 0 839973624 867065856 26662 4294967295 134512640 134569956 3221224368 3221214356 1131616592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 26662 13086 16 0 211670 0
vsize: 846744
[startup+210.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8507
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 19830 47 0 0 25 0 11 0 839973624 867065856 26713 4294967295 134512640 134569956 3221224368 3221214524 1131616592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 26713 13086 16 0 211670 0
vsize: 846744
[startup+220.012 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 8508
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 20794 47 0 0 25 0 11 0 839973624 867065856 26713 4294967295 134512640 134569956 3221224368 3221214360 1131616593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 26713 13086 16 0 211670 0
vsize: 846744
[startup+230.012 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 8508
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 21755 47 0 0 25 0 11 0 839973624 867065856 26823 4294967295 134512640 134569956 3221224368 3221214536 1131196185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 26823 13086 16 0 211670 0
vsize: 846744
[startup+240.012 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 8508
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 22715 47 0 0 25 0 11 0 839973624 867065856 27004 4294967295 134512640 134569956 3221224368 3221214616 1131331744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27004 13086 16 0 211670 0
vsize: 846744
[startup+250.013 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8509
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 23688 48 0 0 25 0 11 0 839973624 867065856 27048 4294967295 134512640 134569956 3221224368 3221214356 1131616592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27048 13086 16 0 211670 0
vsize: 846744
[startup+260.014 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8510
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 24669 48 0 0 25 0 11 0 839973624 867065856 27146 4294967295 134512640 134569956 3221224368 3221214160 1131616593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27146 13086 16 0 211670 0
vsize: 846744
[startup+270.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 8511
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 25633 48 0 0 24 0 11 0 839973624 867065856 27240 4294967295 134512640 134569956 3221224368 3221214720 1131323604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27240 13086 16 0 211670 0
vsize: 846744
[startup+280.015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8511
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 26585 49 0 0 25 0 11 0 839973624 867065856 27449 4294967295 134512640 134569956 3221224368 3221214720 1131323516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27449 13086 16 0 211670 0
vsize: 846744
[startup+290.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8511
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 27546 49 0 0 25 0 11 0 839973624 867065856 27576 4294967295 134512640 134569956 3221224368 3221214624 1131286765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27576 13086 16 0 211670 0
vsize: 846744
[startup+300.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8512
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 28522 49 0 0 25 0 11 0 839973624 867065856 27637 4294967295 134512640 134569956 3221224368 3221214764 1131483011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27637 13086 16 0 211670 0
vsize: 846744
[startup+310.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8513
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 29504 50 0 0 25 0 11 0 839973624 867065856 27814 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27814 13086 16 0 211670 0
vsize: 846744
[startup+320.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 30490 50 0 0 25 0 11 0 839973624 867065856 27900 4294967295 134512640 134569956 3221224368 3221214720 1131323604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 27900 13086 16 0 211670 0
vsize: 846744
[startup+330.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 31470 51 0 0 25 0 11 0 839973624 867065856 28106 4294967295 134512640 134569956 3221224368 3221214768 1131486901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28106 13086 16 0 211670 0
vsize: 846744
[startup+340.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 32449 51 0 0 25 0 11 0 839973624 867065856 28114 4294967295 134512640 134569956 3221224368 3221214264 1131226794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28114 13086 16 0 211670 0
vsize: 846744
[startup+350.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 33431 51 0 0 25 0 11 0 839973624 867065856 28125 4294967295 134512640 134569956 3221224368 3221214704 1131226857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28125 13086 16 0 211670 0
vsize: 846744
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 34404 52 0 0 25 0 11 0 839973624 867065856 28151 4294967295 134512640 134569956 3221224368 3221214616 1131331817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28151 13086 16 0 211670 0
vsize: 846744
[startup+370.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 35382 52 0 0 25 0 11 0 839973624 867065856 28188 4294967295 134512640 134569956 3221224368 3221214456 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 28188 13086 16 0 211670 0
vsize: 846744
[startup+380.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 36359 52 0 0 25 0 11 0 839973624 867065856 28191 4294967295 134512640 134569956 3221224368 3221214640 1131227016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28191 13086 16 0 211670 0
vsize: 846744
[startup+390.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 37337 53 0 0 25 0 11 0 839973624 867065856 28225 4294967295 134512640 134569956 3221224368 3221214464 1131350237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28225 13086 16 0 211670 0
vsize: 846744
[startup+400.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 38297 53 0 0 25 0 11 0 839973624 867065856 28350 4294967295 134512640 134569956 3221224368 3221214456 1131274813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28350 13086 16 0 211670 0
vsize: 846744
[startup+410.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 39252 53 0 0 25 0 11 0 839973624 867065856 28551 4294967295 134512640 134569956 3221224368 3221214416 1131198018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28551 13086 16 0 211670 0
vsize: 846744
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 40209 54 0 0 25 0 11 0 839973624 867065856 28807 4294967295 134512640 134569956 3221224368 3221214624 1131286765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 28807 13086 16 0 211670 0
vsize: 846744
[startup+430.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8514
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 41177 54 0 0 25 0 11 0 839973624 867065856 29029 4294967295 134512640 134569956 3221224368 3221214320 1131226991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29029 13086 16 0 211670 0
vsize: 846744
[startup+440.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8515
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 42161 54 1 0 25 0 11 0 839973624 867065856 29085 4294967295 134512640 134569956 3221224368 3221213960 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29085 13086 16 0 211670 0
vsize: 846744
[startup+450.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8515
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 43137 54 1 0 25 0 11 0 839973624 867065856 29129 4294967295 134512640 134569956 3221224368 3221214624 1131287475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29129 13086 16 0 211670 0
vsize: 846744
[startup+460.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8515
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 44111 55 1 0 25 0 11 0 839973624 867065856 29235 4294967295 134512640 134569956 3221224368 3221214064 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29235 13086 16 0 211670 0
vsize: 846744
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8515
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 45089 55 1 0 25 0 11 0 839973624 867065856 29334 4294967295 134512640 134569956 3221224368 3221213168 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29334 13086 16 0 211670 0
vsize: 846744
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8516
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 46076 55 1 0 25 0 11 0 839973624 867065856 29393 4294967295 134512640 134569956 3221224368 3221214144 1131227004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 29393 13086 16 0 211670 0
vsize: 846744
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8516
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 47067 55 1 0 25 0 11 0 839973624 867065856 29393 4294967295 134512640 134569956 3221224368 3221214624 1131287017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29393 13086 16 0 211670 0
vsize: 846744
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8516
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 48024 56 1 0 25 0 11 0 839973624 867065856 29550 4294967295 134512640 134569956 3221224368 3221214768 1131486413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29550 13086 16 0 211670 0
vsize: 846744
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 48991 56 1 0 25 0 11 0 839973624 867065856 29550 4294967295 134512640 134569956 3221224368 3221214544 1131616586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29550 13086 16 0 211670 0
vsize: 846744
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 49973 56 1 0 25 0 11 0 839973624 867065856 29602 4294967295 134512640 134569956 3221224368 3221214312 1131226916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29602 13086 16 0 211670 0
vsize: 846744
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 50948 56 1 0 25 0 11 0 839973624 867065856 29732 4294967295 134512640 134569956 3221224368 3221214544 1131616540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29732 13086 16 0 211670 0
vsize: 846744
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 51909 56 1 0 25 0 11 0 839973624 867065856 29945 4294967295 134512640 134569956 3221224368 3221214624 1131286910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29945 13086 16 0 211670 0
vsize: 846744
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 52886 57 1 0 25 0 11 0 839973624 867065856 29987 4294967295 134512640 134569956 3221224368 3221214320 1131616642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 29987 13086 16 0 211670 0
vsize: 846744
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 53853 57 1 0 25 0 11 0 839973624 867065856 30162 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30162 13086 16 0 211670 0
vsize: 846744
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 54811 58 1 0 25 0 11 0 839973624 867065856 30275 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30275 13086 16 0 211670 0
vsize: 846744
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 55765 58 1 0 25 0 11 0 839973624 867065856 30464 4294967295 134512640 134569956 3221224368 3221214712 1131191801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30464 13086 16 0 211670 0
vsize: 846744
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 56721 58 1 0 25 0 11 0 839973624 867065856 30512 4294967295 134512640 134569956 3221224368 3221214204 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30512 13086 16 0 211670 0
vsize: 846744
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 57695 58 1 0 25 0 11 0 839973624 867065856 30531 4294967295 134512640 134569956 3221224368 3221214488 1131616516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30531 13086 16 0 211670 0
vsize: 846744
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 58652 59 1 0 25 0 11 0 839973624 867065856 30615 4294967295 134512640 134569956 3221224368 3221214624 1131288606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30615 13086 16 0 211670 0
vsize: 846744
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 59605 59 1 0 25 0 11 0 839973624 867065856 30748 4294967295 134512640 134569956 3221224368 3221214720 1131323604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 30748 13086 16 0 211670 0
vsize: 846744
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 60554 59 1 0 25 0 11 0 839973624 867065856 31117 4294967295 134512640 134569956 3221224368 3221214720 1131323604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31117 13086 16 0 211670 0
vsize: 846744
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8517
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 61514 60 1 0 25 0 11 0 839973624 867065856 31361 4294967295 134512640 134569956 3221224368 3221214624 1131286655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31361 13086 16 0 211670 0
vsize: 846744
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8518
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 62483 60 1 0 25 0 11 0 839973624 867065856 31412 4294967295 134512640 134569956 3221224368 3221214520 1131613164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 31412 13086 16 0 211670 0
vsize: 846744
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8518
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 63464 61 1 0 25 0 11 0 839973624 867065856 31431 4294967295 134512640 134569956 3221224368 3221214480 1131226794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31431 13086 16 0 211670 0
vsize: 846744
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8519
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 64445 61 1 0 25 0 11 0 839973624 867065856 31467 4294967295 134512640 134569956 3221224368 3221214720 1131323268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31467 13086 16 0 211670 0
vsize: 846744
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8519
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 65415 61 1 0 25 0 11 0 839973624 867065856 31486 4294967295 134512640 134569956 3221224368 3221214540 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31486 13086 16 0 211670 0
vsize: 846744
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8519
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 66402 61 1 0 25 0 11 0 839973624 867065856 31530 4294967295 134512640 134569956 3221224368 3221214048 1131616568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31530 13086 16 0 211670 0
vsize: 846744
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8520
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 67383 61 1 0 25 0 11 0 839973624 867065856 31614 4294967295 134512640 134569956 3221224368 3221214616 1131331715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31614 13086 16 0 211670 0
vsize: 846744
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8520
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 68366 62 1 0 25 0 11 0 839973624 867065856 31677 4294967295 134512640 134569956 3221224368 3221214272 1131616593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31677 13086 16 0 211670 0
vsize: 846744
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8521
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 69354 62 1 0 25 0 11 0 839973624 867065856 31730 4294967295 134512640 134569956 3221224368 3221214716 1131287682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31730 13086 16 0 211670 0
vsize: 846744
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 70338 62 1 0 25 0 11 0 839973624 867065856 31815 4294967295 134512640 134569956 3221224368 3221214304 1131228413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31815 13086 16 0 211670 0
vsize: 846744
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 71324 63 1 0 25 0 11 0 839973624 867065856 31890 4294967295 134512640 134569956 3221224368 3221214200 1131227018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31890 13086 16 0 211670 0
vsize: 846744
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 72310 63 1 0 25 0 11 0 839973624 867065856 31956 4294967295 134512640 134569956 3221224368 3221214316 1131616592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31956 13086 16 0 211670 0
vsize: 846744
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 73274 63 1 0 25 0 11 0 839973624 867065856 31997 4294967295 134512640 134569956 3221224368 3221214624 1131287586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 31997 13086 16 0 211670 0
vsize: 846744
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 74250 64 1 0 25 0 11 0 839973624 867065856 32053 4294967295 134512640 134569956 3221224368 3221214288 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32053 13086 16 0 211670 0
vsize: 846744
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 75221 64 1 0 25 0 11 0 839973624 867065856 32122 4294967295 134512640 134569956 3221224368 3221214624 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32122 13086 16 0 211670 0
vsize: 846744
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 76189 64 1 0 25 0 11 0 839973624 867065856 32152 4294967295 134512640 134569956 3221224368 3221214440 1131616586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32152 13086 16 0 211670 0
vsize: 846744
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 77162 65 1 0 25 0 11 0 839973624 867065856 32219 4294967295 134512640 134569956 3221224368 3221213880 1131616593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32219 13086 16 0 211670 0
vsize: 846744
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 78141 65 1 0 25 0 11 0 839973624 867065856 32220 4294967295 134512640 134569956 3221224368 3221214640 1131636887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32220 13086 16 0 211670 0
vsize: 846744
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8522
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 79119 66 1 0 25 0 11 0 839973624 867065856 32302 4294967295 134512640 134569956 3221224368 3221214768 1131486616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32302 13086 16 0 211670 0
vsize: 846744
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8523
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 80092 66 1 0 25 0 11 0 839973624 867065856 32412 4294967295 134512640 134569956 3221224368 3221214696 1131617045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32412 13086 16 0 211670 0
vsize: 846744
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8523
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 81069 66 1 0 25 0 11 0 839973624 867065856 32533 4294967295 134512640 134569956 3221224368 3221214416 1131228449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32533 13086 16 0 211670 0
vsize: 846744
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8524
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 82048 67 1 0 25 0 11 0 839973624 867065856 32561 4294967295 134512640 134569956 3221224368 3221214624 1131286765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32561 13086 16 0 211670 0
vsize: 846744
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8524
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 83033 67 1 0 25 0 11 0 839973624 867065856 32626 4294967295 134512640 134569956 3221224368 3221214824 1131630467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32626 13086 16 0 211670 0
vsize: 846744
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8524
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 84012 67 1 0 25 0 11 0 839973624 867065856 32720 4294967295 134512640 134569956 3221224368 3221214536 1131350167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32720 13086 16 0 211670 0
vsize: 846744
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8524
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 84986 67 1 0 25 0 11 0 839973624 867065856 32821 4294967295 134512640 134569956 3221224368 3221214264 1131227004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32821 13086 16 0 211670 0
vsize: 846744
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8524
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 85966 68 1 0 24 0 11 0 839973624 867065856 32890 4294967295 134512640 134569956 3221224368 3221214064 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32890 13086 16 0 211670 0
vsize: 846744
[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 86951 68 1 0 25 0 11 0 839973624 867065856 32928 4294967295 134512640 134569956 3221224368 3221214624 1131288653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32928 13086 16 0 211670 0
vsize: 846744
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 87927 68 1 0 25 0 11 0 839973624 867065856 32945 4294967295 134512640 134569956 3221224368 3221214260 1131226980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32945 13086 16 0 211670 0
vsize: 846744
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 88901 68 1 0 25 0 11 0 839973624 867065856 32958 4294967295 134512640 134569956 3221224368 3221214032 1131227016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 32958 13086 16 0 211670 0
vsize: 846744
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 89868 69 1 0 25 0 11 0 839973624 867065856 33003 4294967295 134512640 134569956 3221224368 3221214624 1131288237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33003 13086 16 0 211670 0
vsize: 846744
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 90838 69 1 0 25 0 11 0 839973624 867065856 33153 4294967295 134512640 134569956 3221224368 3221214720 1131323549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33153 13086 16 0 211670 0
vsize: 846744
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 91827 69 1 0 25 0 11 0 839973624 867065856 33220 4294967295 134512640 134569956 3221224368 3221214432 1131616653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33220 13086 16 0 211670 0
vsize: 846744
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 92801 69 1 0 25 0 11 0 839973624 867065856 33236 4294967295 134512640 134569956 3221224368 3221214608 1131347921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33236 13086 16 0 211670 0
vsize: 846744
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 93765 70 1 0 25 0 11 0 839973624 867065856 33310 4294967295 134512640 134569956 3221224368 3221214720 1131323303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33310 13086 16 0 211670 0
vsize: 846744
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 94723 70 1 0 25 0 11 0 839973624 867065856 33347 4294967295 134512640 134569956 3221224368 3221214624 1131288626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33347 13086 16 0 211670 0
vsize: 846744
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 95700 70 1 0 25 0 11 0 839973624 867065856 33396 4294967295 134512640 134569956 3221224368 3221214624 1131286758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33396 13086 16 0 211670 0
vsize: 846744
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 96671 70 1 0 25 0 11 0 839973624 867065856 33501 4294967295 134512640 134569956 3221224368 3221214764 1131173292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33501 13086 16 0 211670 0
vsize: 846744
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 97633 71 1 0 25 0 11 0 839973624 867065856 33617 4294967295 134512640 134569956 3221224368 3221214456 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33617 13086 16 0 211670 0
vsize: 846744
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 98614 71 1 0 24 0 11 0 839973624 867065856 33644 4294967295 134512640 134569956 3221224368 3221214720 1131323236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33644 13086 16 0 211670 0
vsize: 846744
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 99596 72 1 0 25 0 11 0 839973624 867065856 33689 4294967295 134512640 134569956 3221224368 3221214716 1131286592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33689 13086 16 0 211670 0
vsize: 846744
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 100577 72 1 0 25 0 11 0 839973624 867065856 33760 4294967295 134512640 134569956 3221224368 3221214016 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33760 13086 16 0 211670 0
vsize: 846744
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 101558 72 1 0 25 0 11 0 839973624 867065856 33875 4294967295 134512640 134569956 3221224368 3221214568 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 33875 13086 16 0 211670 0
vsize: 846744
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 102534 73 1 0 25 0 11 0 839973624 867065856 34013 4294967295 134512640 134569956 3221224368 3221214720 1131173073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 34013 13086 16 0 211670 0
vsize: 846744
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 103496 73 1 0 25 0 11 0 839973624 867065856 34116 4294967295 134512640 134569956 3221224368 3221214488 1131616550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 34116 13086 16 0 211670 0
vsize: 846744
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 104458 73 1 0 25 0 11 0 839973624 867065856 34180 4294967295 134512640 134569956 3221224368 3221214720 1131323266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34180 13086 16 0 211670 0
vsize: 846744
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 105414 73 1 0 25 0 11 0 839973624 867065856 34202 4294967295 134512640 134569956 3221224368 3221214720 1131173056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34202 13086 16 0 211670 0
vsize: 846744
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 106378 73 1 0 25 0 11 0 839973624 867065856 34233 4294967295 134512640 134569956 3221224368 3221214528 1131275654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34233 13086 16 0 211670 0
vsize: 846744
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 107368 74 1 0 25 0 11 0 839973624 867065856 34269 4294967295 134512640 134569956 3221224368 3221214712 1131191862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 34269 13086 16 0 211670 0
vsize: 846744
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 108359 74 1 0 25 0 11 0 839973624 867065856 34299 4294967295 134512640 134569956 3221224368 3221213932 1131616592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34299 13086 16 0 211670 0
vsize: 846744
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 109305 74 1 0 25 0 11 0 839973624 867065856 34439 4294967295 134512640 134569956 3221224368 3221214368 1131226794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34439 13086 16 0 211670 0
vsize: 846744
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 110274 74 1 0 25 0 11 0 839973624 867065856 34522 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34522 13086 16 0 211670 0
vsize: 846744
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 111241 74 1 0 25 0 11 0 839973624 867065856 34668 4294967295 134512640 134569956 3221224368 3221214768 1131486948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34668 13086 16 0 211670 0
vsize: 846744
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 112189 74 1 0 25 0 11 0 839973624 867065856 34893 4294967295 134512640 134569956 3221224368 3221214728 1131433020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 34893 13086 16 0 211670 0
vsize: 846744
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 113139 74 1 0 25 0 11 0 839973624 867065856 35103 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 35103 13086 16 0 211670 0
vsize: 846744
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 114082 74 1 0 25 0 11 0 839973624 867065856 35173 4294967295 134512640 134569956 3221224368 3221214720 1131173056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 35173 13086 16 0 211670 0
vsize: 846744
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 115024 74 1 0 25 0 11 0 839973624 867065856 35334 4294967295 134512640 134569956 3221224368 3221214624 1131286898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 35334 13086 16 0 211670 0
vsize: 846744
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 115986 74 1 0 25 0 11 0 839973624 867065856 35491 4294967295 134512640 134569956 3221224368 3221214640 1131274747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 35491 13086 16 0 211670 0
vsize: 846744
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) S 8482 22056 22055 0 -1 0 18128 3 1 0 116975 74 1 0 25 0 11 0 839973624 867065856 35532 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211686 35532 13086 16 0 211670 0
vsize: 846744
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 117937 74 1 0 25 0 11 0 839973624 867065856 35696 4294967295 134512640 134569956 3221224368 3221214400 1078032375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 35696 13086 16 0 211670 0
vsize: 846744
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 118902 74 1 0 25 0 11 0 839973624 867065856 35819 4294967295 134512640 134569956 3221224368 3221214616 1131205468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 35819 13086 16 0 211670 0
vsize: 846744
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 119872 75 1 0 25 0 11 0 839973624 867065856 35922 4294967295 134512640 134569956 3221224368 3221214288 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 35922 13086 16 0 211670 0
vsize: 846744
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8525
Raw data (stat): 8483 (java) R 8482 22056 22055 0 -1 0 18128 3 1 0 120851 75 1 0 25 0 11 0 839973624 867065856 35988 4294967295 134512640 134569956 3221224368 3221214616 1131344555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211686 35988 13086 16 0 211670 0
vsize: 846744
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8527
Raw data (stat): 8483 (java) Z 8482 22056 22055 0 -1 1036 18128 18626 1 0 120857 75 4412 44 23 0 1 0 839973624 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.31
CPU time (s): 1253.9
CPU user time (s): 1252.7
CPU system time (s): 1.19282
CPU usage (%): 100.287
Max. virtual memory (Kb): 848172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	428546535869
#### END VERIFIER DATA ####