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-net12.opb
MD5SUM	1e83ed64f0fd862e44095daf089e38c2
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	1256.38
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 30164

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 15:33:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21562 boxname=wulflinc25 idbench=1550 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1e83ed64f0fd862e44095daf089e38c2  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-net12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-net12.opb
IDLAUNCH: 21562
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        570128 kB
Buffers:         32848 kB
Cached:         407956 kB
SwapCached:        584 kB
Active:          31112 kB
Inactive:       411968 kB
HighTotal:      131008 kB
HighFree:        65436 kB
LowTotal:       903652 kB
LowFree:        504692 kB
SwapTotal:     2097892 kB
SwapFree:      2096624 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5596 kB
Slab:            15764 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:54:49 (client local time) WITH STATUS 143 IN 1256.38 SECONDS
stats: 21562 0 1256.38 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/wulflinc25/normalized-mps-v2-13-7-net12.opb
c reading problem ... done. Time 4.247 ms.
c #vars     653
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=       1046540285957 		Current CPU time: 23.21 ms
c CURRENT OPTIMUM=       1046540071193 		Current CPU time: 48.34 ms
c CURRENT OPTIMUM=       1019911889974 		Current CPU time: 50.72 ms
c CURRENT OPTIMUM=       1015814084604 		Current CPU time: 53.22 ms
c CURRENT OPTIMUM=        999430582227 		Current CPU time: 55.92 ms
c CURRENT OPTIMUM=        999429149759 		Current CPU time: 76.53 ms
c CURRENT OPTIMUM=        995335588855 		Current CPU time: 89.75 ms
c CURRENT OPTIMUM=        981512255467 		Current CPU time: 94.71 ms
c CURRENT OPTIMUM=        917512359669 		Current CPU time: 109.12 ms
c CURRENT OPTIMUM=        917509112829 		Current CPU time: 127.37 ms
c CURRENT OPTIMUM=        915976001290 		Current CPU time: 139.78 ms
c CURRENT OPTIMUM=        851974666335 		Current CPU time: 161.74 ms
c CURRENT OPTIMUM=        851974524346 		Current CPU time: 196.33 ms
c CURRENT OPTIMUM=        851974192576 		Current CPU time: 204.36 ms
c CURRENT OPTIMUM=        851974192344 		Current CPU time: 215.86 ms
c CURRENT OPTIMUM=        826887172603 		Current CPU time: 240.46 ms
c CURRENT OPTIMUM=        704517547487 		Current CPU time: 252.24 ms
c CURRENT OPTIMUM=        704516188177 		Current CPU time: 262.02 ms
c CURRENT OPTIMUM=        688133825744 		Current CPU time: 285.99 ms
c CURRENT OPTIMUM=        685574406452 		Current CPU time: 299.18 ms
c CURRENT OPTIMUM=        655364528616 		Current CPU time: 309.55 ms
c CURRENT OPTIMUM=        622598489071 		Current CPU time: 431.45 ms
c CURRENT OPTIMUM=        614405190100 		Current CPU time: 464.15 ms
c CURRENT OPTIMUM=        598021564019 		Current CPU time: 499.57 ms
c CURRENT OPTIMUM=        518660162695 		Current CPU time: 637.58 ms
c CURRENT OPTIMUM=        491523773668 		Current CPU time: 649.75 ms
c CURRENT OPTIMUM=        491523406334 		Current CPU time: 681.08 ms
c CURRENT OPTIMUM=        491523106427 		Current CPU time: 703.65 ms
c CURRENT OPTIMUM=        458755444732 		Current CPU time: 714.65 ms
c CURRENT OPTIMUM=        444419499381 		Current CPU time: 812.47 ms
c CURRENT OPTIMUM=        431619635835 		Current CPU time: 831.13 ms
c CURRENT OPTIMUM=        428546535869 		Current CPU time: 884.40 ms
c CURRENT OPTIMUM=        425986239553 		Current CPU time: 1231.92 ms
c starts	: 55
c conflicts	: 3975
c decisions	: 32711
c propagations	: 93094
c inspects	: 1697644
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3975
c root simplifications	: 68
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=425986239553
c Total CPU time (ms) : 1249.425
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.99 0.99 2/54 14730
Raw data (stat): 14730 (runsolver) R 14729 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840008210 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.0005 s]
Raw data (loadavg): 1.24 1.06 1.02 4/64 14740
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18080 0 1 0 597 41 0 0 25 0 11 0 840008210 867880960 22206 4294967295 134512640 134569956 3221224368 3221214688 1131176120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211885 22206 13086 16 0 211869 0
vsize: 847540
[startup+20.0012 s]
Raw data (loadavg): 1.35 1.09 1.03 2/64 14740
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18082 0 1 0 1541 42 0 0 25 0 11 0 840008210 863903744 22641 4294967295 134512640 134569956 3221224368 3221214592 1131205145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 22641 13086 16 0 210898 0
vsize: 843656
[startup+30.002 s]
Raw data (loadavg): 1.29 1.08 1.02 2/64 14741
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18128 3 1 0 2486 42 0 0 25 0 11 0 840008210 863903744 23411 4294967295 134512640 134569956 3221224368 3221214424 1131522812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 23411 13086 16 0 210898 0
vsize: 843656
[startup+40.0022 s]
Raw data (loadavg): 1.25 1.08 1.02 2/64 14741
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18128 3 1 0 3446 42 0 0 25 0 11 0 840008210 863903744 23458 4294967295 134512640 134569956 3221224368 3221214644 1130920308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 23458 13086 16 0 210898 0
vsize: 843656
[startup+50.0029 s]
Raw data (loadavg): 1.21 1.08 1.02 2/64 14742
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 4402 42 0 0 25 0 11 0 840008210 863903744 23711 4294967295 134512640 134569956 3221224368 3221214560 1131359840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210914 23711 13086 16 0 210898 0
vsize: 843656
[startup+60.0029 s]
Raw data (loadavg): 1.18 1.08 1.02 2/64 14745
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 5374 42 0 0 25 0 11 0 840008210 863903744 23794 4294967295 134512640 134569956 3221224368 3221214436 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 23794 13086 16 0 210898 0
vsize: 843656
[startup+70.0031 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 14745
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 6336 43 0 0 25 0 11 0 840008210 863903744 24001 4294967295 134512640 134569956 3221224368 3221214264 1131631028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210914 24001 13086 16 0 210898 0
vsize: 843656
[startup+80.0035 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 14746
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 7287 43 0 0 25 0 11 0 840008210 863903744 24307 4294967295 134512640 134569956 3221224368 3221214496 1131633005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 24307 13086 16 0 210898 0
vsize: 843656
[startup+90.0038 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 14746
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 8250 43 0 0 25 0 11 0 840008210 863903744 24467 4294967295 134512640 134569956 3221224368 3221214664 1131573756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 24467 13086 16 0 210898 0
vsize: 843656
[startup+100.004 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 14748
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 9223 43 0 0 25 0 11 0 840008210 863903744 24553 4294967295 134512640 134569956 3221224368 3221214360 1131527978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 24553 13086 16 0 210898 0
vsize: 843656
[startup+110.004 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 14748
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 10194 43 0 0 25 0 11 0 840008210 863903744 24741 4294967295 134512640 134569956 3221224368 3221214504 1131635383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 24741 13086 16 0 210898 0
vsize: 843656
[startup+120.005 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 14749
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 3 1 0 11155 43 0 0 25 0 11 0 840008210 864432128 24965 4294967295 134512640 134569956 3221224368 3221214624 1131581368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 24965 13086 16 0 211027 0
vsize: 844172
[startup+130.005 s]
Raw data (loadavg): 1.05 1.06 1.01 2/64 14750
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 12127 43 0 0 25 0 11 0 840008210 864432128 25197 4294967295 134512640 134569956 3221224368 3221214620 1131286464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 25197 13086 16 0 211027 0
vsize: 844172
[startup+140.004 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 14750
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 13100 43 0 0 25 0 11 0 840008210 864432128 25329 4294967295 134512640 134569956 3221224368 3221214244 1131633163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 25329 13086 16 0 211027 0
vsize: 844172
[startup+150.005 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 14751
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 14066 43 0 0 25 0 11 0 840008210 864432128 25329 4294967295 134512640 134569956 3221224368 3221214072 1131634450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 25329 13086 16 0 211027 0
vsize: 844172
[startup+160.005 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 14751
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 15029 43 0 0 25 0 11 0 840008210 864432128 25456 4294967295 134512640 134569956 3221224368 3221214232 1131631039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 25456 13086 16 0 211027 0
vsize: 844172
[startup+170.005 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 14752
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 16009 43 0 0 25 0 11 0 840008210 864432128 25549 4294967295 134512640 134569956 3221224368 3221214592 1131482100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 25549 13086 16 0 211027 0
vsize: 844172
[startup+180.006 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 14752
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 16959 43 0 0 25 0 11 0 840008210 864432128 26014 4294967295 134512640 134569956 3221224368 3221214624 1131573462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26014 13086 16 0 211027 0
vsize: 844172
[startup+190.005 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 14752
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 17942 43 0 0 25 0 11 0 840008210 864432128 26014 4294967295 134512640 134569956 3221224368 3221214768 1131644389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26014 13086 16 0 211027 0
vsize: 844172
[startup+200.006 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 14753
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 18914 44 0 0 25 0 11 0 840008210 864432128 26130 4294967295 134512640 134569956 3221224368 3221213960 1131634455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26130 13086 16 0 211027 0
vsize: 844172
[startup+210.006 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 14754
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 19896 44 0 0 25 0 11 0 840008210 864432128 26181 4294967295 134512640 134569956 3221224368 3221214528 1131286837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26181 13086 16 0 211027 0
vsize: 844172
[startup+220.006 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 14755
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 20860 44 0 0 25 0 11 0 840008210 864432128 26181 4294967295 134512640 134569956 3221224368 3221214528 1131286719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26181 13086 16 0 211027 0
vsize: 844172
[startup+230.006 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 14755
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 21812 44 0 0 25 0 11 0 840008210 864432128 26392 4294967295 134512640 134569956 3221224368 3221214000 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26392 13086 16 0 211027 0
vsize: 844172
[startup+240.007 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 14755
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 22775 44 0 0 25 0 11 0 840008210 864432128 26515 4294967295 134512640 134569956 3221224368 3221214528 1131286610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26515 13086 16 0 211027 0
vsize: 844172
[startup+250.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 14756
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 23766 44 0 0 25 0 11 0 840008210 864432128 26515 4294967295 134512640 134569956 3221224368 3221214504 1131369590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26515 13086 16 0 211027 0
vsize: 844172
[startup+260.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 14757
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 24738 44 0 0 25 0 11 0 840008210 864432128 26707 4294967295 134512640 134569956 3221224368 3221214528 1131287207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26707 13086 16 0 211027 0
vsize: 844172
[startup+270.013 s]
Raw data (loadavg): 1.00 1.03 1.00 3/64 14758
Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 25697 44 0 0 25 0 11 0 840008210 864432128 26709 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26709 13086 16 0 211027 0
vsize: 844172
[startup+280.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 14758
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 26650 44 0 0 25 0 11 0 840008210 864432128 26997 4294967295 134512640 134569956 3221224368 3221214520 1131317812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 26997 13086 16 0 211027 0
vsize: 844172
[startup+290.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 14759
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 27619 45 0 0 25 0 11 0 840008210 864432128 27051 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27051 13086 16 0 211027 0
vsize: 844172
[startup+300.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 14759
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 28591 45 0 0 25 0 11 0 840008210 864432128 27222 4294967295 134512640 134569956 3221224368 3221214464 1131635610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27222 13086 16 0 211027 0
vsize: 844172
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14760
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 29578 45 0 0 25 0 11 0 840008210 864432128 27355 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27355 13086 16 0 211027 0
vsize: 844172
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 30560 45 0 0 25 0 11 0 840008210 864432128 27447 4294967295 134512640 134569956 3221224368 3221214528 1131287140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27447 13086 16 0 211027 0
vsize: 844172
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 31543 45 0 0 25 0 11 0 840008210 864432128 27574 4294967295 134512640 134569956 3221224368 3221214504 1131369846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27574 13086 16 0 211027 0
vsize: 844172
[startup+340.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 32522 45 0 0 18 0 11 0 840008210 864432128 27587 4294967295 134512640 134569956 3221224368 3221214528 1131287541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27587 13086 16 0 211027 0
vsize: 844172
[startup+350.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 33496 45 0 0 25 0 11 0 840008210 864432128 27603 4294967295 134512640 134569956 3221224368 3221214596 1131633163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27603 13086 16 0 211027 0
vsize: 844172
[startup+360.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 34467 45 0 0 25 0 11 0 840008210 864432128 27650 4294967295 134512640 134569956 3221224368 3221214528 1131286744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27650 13086 16 0 211027 0
vsize: 844172
[startup+370.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 35452 45 0 0 25 0 11 0 840008210 864432128 27657 4294967295 134512640 134569956 3221224368 3221214400 1131280569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27657 13086 16 0 211027 0
vsize: 844172
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 36433 45 0 0 25 0 11 0 840008210 864432128 27667 4294967295 134512640 134569956 3221224368 3221214432 1131379085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27667 13086 16 0 211027 0
vsize: 844172
[startup+390.017 s]
Raw data (loadavg): 1.00 1.02 1.00 3/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 37395 45 0 0 25 0 11 0 840008210 864432128 27763 4294967295 134512640 134569956 3221224368 3221214624 1131573756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27763 13086 16 0 211027 0
vsize: 844172
[startup+400.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 38353 45 0 0 25 0 11 0 840008210 864432128 27889 4294967295 134512640 134569956 3221224368 3221214504 1131369550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 27889 13086 16 0 211027 0
vsize: 844172
[startup+410.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 39309 45 0 0 25 0 11 0 840008210 864432128 28199 4294967295 134512640 134569956 3221224368 3221214528 1131287191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28199 13086 16 0 211027 0
vsize: 844172
[startup+420.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 40268 45 0 0 25 0 11 0 840008210 864432128 28438 4294967295 134512640 134569956 3221224368 3221214540 1131633163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28438 13086 16 0 211027 0
vsize: 844172
[startup+430.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14761
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 41253 45 0 0 25 0 11 0 840008210 864432128 28497 4294967295 134512640 134569956 3221224368 3221214100 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28497 13086 16 0 211027 0
vsize: 844172
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14762
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 42236 45 0 0 25 0 11 0 840008210 864432128 28553 4294967295 134512640 134569956 3221224368 3221214216 1131633144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28553 13086 16 0 211027 0
vsize: 844172
[startup+450.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14762
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 43194 46 0 0 25 0 11 0 840008210 864432128 28708 4294967295 134512640 134569956 3221224368 3221214168 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28708 13086 16 0 211027 0
vsize: 844172
[startup+460.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14762
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 44177 46 0 0 25 0 11 0 840008210 864432128 28807 4294967295 134512640 134569956 3221224368 3221214288 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28807 13086 16 0 211027 0
vsize: 844172
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14763
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 45160 46 1 0 25 0 11 0 840008210 864432128 28866 4294967295 134512640 134569956 3221224368 3221214768 1131644113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28866 13086 16 0 211027 0
vsize: 844172
[startup+480.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14763
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 46151 46 1 0 25 0 11 0 840008210 864432128 28866 4294967295 134512640 134569956 3221224368 3221214048 1131633137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28866 13086 16 0 211027 0
vsize: 844172
[startup+490.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14763
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 47117 46 1 0 25 0 11 0 840008210 864432128 28966 4294967295 134512640 134569956 3221224368 3221214596 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 28966 13086 16 0 211027 0
vsize: 844172
[startup+500.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14763
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 48085 46 1 0 25 0 11 0 840008210 864432128 29023 4294967295 134512640 134569956 3221224368 3221214064 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29023 13086 16 0 211027 0
vsize: 844172
[startup+510.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 49059 46 1 1 25 0 11 0 840008210 864432128 29075 4294967295 134512640 134569956 3221224368 3221214072 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29075 13086 16 0 211027 0
vsize: 844172
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 50042 46 1 1 25 0 11 0 840008210 864432128 29162 4294967295 134512640 134569956 3221224368 3221214072 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29162 13086 16 0 211027 0
vsize: 844172
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 51002 46 1 1 25 0 11 0 840008210 864432128 29401 4294967295 134512640 134569956 3221224368 3221214400 1131443009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29401 13086 16 0 211027 0
vsize: 844172
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 51980 46 1 1 25 0 11 0 840008210 864432128 29452 4294967295 134512640 134569956 3221224368 3221214488 1131633169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29452 13086 16 0 211027 0
vsize: 844172
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 52941 46 1 1 25 0 11 0 840008210 864432128 29626 4294967295 134512640 134569956 3221224368 3221213708 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29626 13086 16 0 211027 0
vsize: 844172
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 53900 47 1 1 25 0 11 0 840008210 864432128 29743 4294967295 134512640 134569956 3221224368 3221214624 1131573829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29743 13086 16 0 211027 0
vsize: 844172
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 54862 47 1 1 25 0 11 0 840008210 864432128 29893 4294967295 134512640 134569956 3221224368 3221214152 1131631023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29893 13086 16 0 211027 0
vsize: 844172
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 55809 47 1 1 25 0 11 0 840008210 864432128 29980 4294967295 134512640 134569956 3221224368 3221214624 1131580841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29980 13086 16 0 211027 0
vsize: 844172
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 56792 47 1 1 25 0 11 0 840008210 864432128 29999 4294967295 134512640 134569956 3221224368 3221214520 1131317933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 29999 13086 16 0 211027 0
vsize: 844172
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 57740 47 1 1 25 0 11 0 840008210 864432128 30083 4294967295 134512640 134569956 3221224368 3221214528 1131287041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30083 13086 16 0 211027 0
vsize: 844172
[startup+610.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 58693 47 1 1 25 0 11 0 840008210 864432128 30216 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30216 13086 16 0 211027 0
vsize: 844172
[startup+620.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 59642 47 1 1 25 0 11 0 840008210 864432128 30585 4294967295 134512640 134569956 3221224368 3221214528 1131288257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30585 13086 16 0 211027 0
vsize: 844172
[startup+630.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 14764
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 60603 47 1 1 25 0 11 0 840008210 864432128 30829 4294967295 134512640 134569956 3221224368 3221214528 1131286889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30829 13086 16 0 211027 0
vsize: 844172
[startup+640.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 14765
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 61571 47 1 1 25 0 11 0 840008210 864432128 30881 4294967295 134512640 134569956 3221224368 3221213960 1131635428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30881 13086 16 0 211027 0
vsize: 844172
[startup+650.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 14765
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 62547 47 1 1 24 0 11 0 840008210 864432128 30914 4294967295 134512640 134569956 3221224368 3221214588 1131631019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30914 13086 16 0 211027 0
vsize: 844172
[startup+660.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 14766
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 63534 47 1 1 25 0 11 0 840008210 864432128 30936 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30936 13086 16 0 211027 0
vsize: 844172
[startup+670.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14766
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 64504 47 1 1 25 0 11 0 840008210 864432128 30955 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30955 13086 16 0 211027 0
vsize: 844172
[startup+680.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14766
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 65491 47 1 1 25 0 11 0 840008210 864432128 30999 4294967295 134512640 134569956 3221224368 3221213988 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 30999 13086 16 0 211027 0
vsize: 844172
[startup+690.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14767
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 66467 47 1 1 25 0 11 0 840008210 864432128 31106 4294967295 134512640 134569956 3221224368 3221214512 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31106 13086 16 0 211027 0
vsize: 844172
[startup+700.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14767
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 67456 47 1 1 25 0 11 0 840008210 864432128 31146 4294967295 134512640 134569956 3221224368 3221214456 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31146 13086 16 0 211027 0
vsize: 844172
[startup+710.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14768
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 68444 48 1 1 25 0 11 0 840008210 864432128 31199 4294967295 134512640 134569956 3221224368 3221214528 1131555823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31199 13086 16 0 211027 0
vsize: 844172
[startup+720.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 69423 48 1 1 25 0 11 0 840008210 864432128 31314 4294967295 134512640 134569956 3221224368 3221213768 1131633148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31314 13086 16 0 211027 0
vsize: 844172
[startup+730.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 70414 48 1 1 25 0 11 0 840008210 864432128 31359 4294967295 134512640 134569956 3221224368 3221214520 1131635355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31359 13086 16 0 211027 0
vsize: 844172
[startup+740.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 71396 48 1 1 25 0 11 0 840008210 864432128 31444 4294967295 134512640 134569956 3221224368 3221214624 1131573829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31444 13086 16 0 211027 0
vsize: 844172
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 72359 48 1 1 25 0 11 0 840008210 864432128 31467 4294967295 134512640 134569956 3221224368 3221214368 1131630889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31467 13086 16 0 211027 0
vsize: 844172
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 73341 48 1 1 25 0 11 0 840008210 864432128 31522 4294967295 134512640 134569956 3221224368 3221214304 1131634453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31522 13086 16 0 211027 0
vsize: 844172
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 74301 48 1 1 25 0 11 0 840008210 864432128 31596 4294967295 134512640 134569956 3221224368 3221214688 1131384449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31596 13086 16 0 211027 0
vsize: 844172
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 75274 48 1 1 25 0 11 0 840008210 864432128 31651 4294967295 134512640 134569956 3221224368 3221214528 1131631048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31651 13086 16 0 211027 0
vsize: 844172
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 76247 48 1 1 25 0 11 0 840008210 864432128 31688 4294967295 134512640 134569956 3221224368 3221214576 1131343209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31688 13086 16 0 211027 0
vsize: 844172
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 77233 48 1 1 25 0 11 0 840008210 864432128 31689 4294967295 134512640 134569956 3221224368 3221214624 1131575148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31689 13086 16 0 211027 0
vsize: 844172
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14769
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 78199 48 1 1 25 0 11 0 840008210 864432128 31832 4294967295 134512640 134569956 3221224368 3221214528 1131286689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31832 13086 16 0 211027 0
vsize: 844172
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14770
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 79180 48 1 1 25 0 11 0 840008210 864432128 31926 4294967295 134512640 134569956 3221224368 3221213820 1131633104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 31926 13086 16 0 211027 0
vsize: 844172
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14770
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 80154 48 1 1 25 0 11 0 840008210 864432128 32004 4294967295 134512640 134569956 3221224368 3221213936 1131633079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32004 13086 16 0 211027 0
vsize: 844172
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14771
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 81138 48 1 1 25 0 11 0 840008210 864432128 32054 4294967295 134512640 134569956 3221224368 3221214528 1131286805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32054 13086 16 0 211027 0
vsize: 844172
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14771
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 82123 48 1 1 25 0 11 0 840008210 864432128 32114 4294967295 134512640 134569956 3221224368 3221214596 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32114 13086 16 0 211027 0
vsize: 844172
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14771
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 83097 48 1 1 25 0 11 0 840008210 864432128 32261 4294967295 134512640 134569956 3221224368 3221214532 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32261 13086 16 0 211027 0
vsize: 844172
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14771
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 84072 48 1 1 25 0 11 0 840008210 864432128 32307 4294967295 134512640 134569956 3221224368 3221214208 1131631004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211043 32307 13086 16 0 211027 0
vsize: 844172
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14771
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 85056 48 1 1 25 0 11 0 840008210 864432128 32375 4294967295 134512640 134569956 3221224368 3221214616 1131196359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32375 13086 16 0 211027 0
vsize: 844172
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 86032 48 1 1 25 0 11 0 840008210 864432128 32414 4294967295 134512640 134569956 3221224368 3221214536 1131630990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32414 13086 16 0 211027 0
vsize: 844172
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 87007 49 1 1 25 0 11 0 840008210 864432128 32420 4294967295 134512640 134569956 3221224368 3221214624 1131575260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32420 13086 16 0 211027 0
vsize: 844172
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 87981 49 1 1 25 0 11 0 840008210 864432128 32448 4294967295 134512640 134569956 3221224368 3221214536 1131206776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32448 13086 16 0 211027 0
vsize: 844172
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 88946 49 1 1 25 0 11 0 840008210 864432128 32556 4294967295 134512640 134569956 3221224368 3221214520 1131317889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32556 13086 16 0 211027 0
vsize: 844172
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 89923 49 1 1 25 0 11 0 840008210 864432128 32689 4294967295 134512640 134569956 3221224368 3221214624 1131573797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32689 13086 16 0 211027 0
vsize: 844172
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 90913 49 1 1 25 0 11 0 840008210 864432128 32692 4294967295 134512640 134569956 3221224368 3221213972 1131634432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32692 13086 16 0 211027 0
vsize: 844172
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 91881 49 1 1 25 0 11 0 840008210 864432128 32764 4294967295 134512640 134569956 3221224368 3221214520 1131279542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32764 13086 16 0 211027 0
vsize: 844172
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 92836 49 1 1 25 0 11 0 840008210 864432128 32791 4294967295 134512640 134569956 3221224368 3221214028 1131634432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32791 13086 16 0 211027 0
vsize: 844172
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 93798 49 1 1 25 0 11 0 840008210 864432128 32865 4294967295 134512640 134569956 3221224368 3221213984 1131631069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32865 13086 16 0 211027 0
vsize: 844172
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 94783 49 1 1 25 0 11 0 840008210 864432128 32918 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 32918 13086 16 0 211027 0
vsize: 844172
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 95743 49 1 1 25 0 11 0 840008210 864432128 33076 4294967295 134512640 134569956 3221224368 3221214540 1131633168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33076 13086 16 0 211027 0
vsize: 844172
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 96719 50 1 1 25 0 11 0 840008210 864432128 33108 4294967295 134512640 134569956 3221224368 3221214508 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33108 13086 16 0 211027 0
vsize: 844172
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 97707 50 1 1 25 0 11 0 840008210 864432128 33127 4294967295 134512640 134569956 3221224368 3221214536 1131205145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33127 13086 16 0 211027 0
vsize: 844172
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 98677 50 1 1 25 0 11 0 840008210 864432128 33229 4294967295 134512640 134569956 3221224368 3221214536 1131206800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33229 13086 16 0 211027 0
vsize: 844172
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 99664 50 1 1 25 0 11 0 840008210 864432128 33303 4294967295 134512640 134569956 3221224368 3221213928 1131631036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33303 13086 16 0 211027 0
vsize: 844172
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 100646 50 1 1 25 0 11 0 840008210 864432128 33409 4294967295 134512640 134569956 3221224368 3221214488 1131359049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33409 13086 16 0 211027 0
vsize: 844172
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 101610 50 1 1 25 0 11 0 840008210 864432128 33577 4294967295 134512640 134569956 3221224368 3221214528 1131286630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33577 13086 16 0 211027 0
vsize: 844172
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 102567 50 1 1 25 0 11 0 840008210 864432128 33648 4294967295 134512640 134569956 3221224368 3221214624 1131575784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33648 13086 16 0 211027 0
vsize: 844172
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 103525 50 1 1 25 0 11 0 840008210 864432128 33649 4294967295 134512640 134569956 3221224368 3221214208 1131633144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33649 13086 16 0 211027 0
vsize: 844172
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 104489 50 1 1 25 0 11 0 840008210 864432128 33702 4294967295 134512640 134569956 3221224368 3221214256 1131631036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33702 13086 16 0 211027 0
vsize: 844172
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 105470 50 1 1 25 0 11 0 840008210 864432128 33738 4294967295 134512640 134569956 3221224368 3221214344 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33738 13086 16 0 211027 0
vsize: 844172
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 106461 50 1 1 25 0 11 0 840008210 864432128 33768 4294967295 134512640 134569956 3221224368 3221213824 1131633108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33768 13086 16 0 211027 0
vsize: 844172
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 107422 50 1 1 25 0 11 0 840008210 864432128 33867 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 33867 13086 16 0 211027 0
vsize: 844172
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 108390 50 1 1 25 0 11 0 840008210 864432128 33956 4294967295 134512640 134569956 3221224368 3221214520 1131318609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211043 33956 13086 16 0 211027 0
vsize: 844172
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 109353 50 1 1 25 0 11 0 840008210 864432128 34107 4294967295 134512640 134569956 3221224368 3221214320 1131633233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34107 13086 16 0 211027 0
vsize: 844172
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 110302 50 1 1 25 0 11 0 840008210 864432128 34320 4294967295 134512640 134569956 3221224368 3221214480 1131377847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211043 34320 13086 16 0 211027 0
vsize: 844172
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 111247 50 1 1 25 0 11 0 840008210 864432128 34545 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34545 13086 16 0 211027 0
vsize: 844172
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 112196 50 1 1 25 0 11 0 840008210 864432128 34606 4294967295 134512640 134569956 3221224368 3221214480 1131279911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34606 13086 16 0 211027 0
vsize: 844172
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 113138 50 1 1 25 0 11 0 840008210 864432128 34787 4294967295 134512640 134569956 3221224368 3221214344 1085679502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34787 13086 16 0 211027 0
vsize: 844172
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 114099 50 1 1 25 0 11 0 840008210 864432128 34938 4294967295 134512640 134569956 3221224368 3221214208 1131633169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34938 13086 16 0 211027 0
vsize: 844172
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 115085 50 1 1 25 0 11 0 840008210 864432128 34999 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 34999 13086 16 0 211027 0
vsize: 844172
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 116051 50 1 1 25 0 11 0 840008210 864432128 35135 4294967295 134512640 134569956 3221224368 3221214480 1131280858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35135 13086 16 0 211027 0
vsize: 844172
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 117017 51 1 1 25 0 11 0 840008210 864432128 35262 4294967295 134512640 134569956 3221224368 3221214624 1131575753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35262 13086 16 0 211027 0
vsize: 844172
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 117982 51 1 1 25 0 11 0 840008210 864432128 35391 4294967295 134512640 134569956 3221224368 3221213992 1131633092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35391 13086 16 0 211027 0
vsize: 844172
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14772
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 118961 51 1 1 25 0 11 0 840008210 864432128 35457 4294967295 134512640 134569956 3221224368 3221214592 1131630889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35457 13086 16 0 211027 0
vsize: 844172
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14773
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 119938 51 1 1 25 0 11 0 840008210 864432128 35529 4294967295 134512640 134569956 3221224368 3221214248 1131634455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35529 13086 16 0 211027 0
vsize: 844172
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14773
Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 120923 51 1 1 25 0 11 0 840008210 864432128 35568 4294967295 134512640 134569956 3221224368 3221214528 1131286770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211043 35568 13086 16 0 211027 0
vsize: 844172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.48 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14775
Raw data (stat): 14730 (java) Z 14729 1586 1585 0 -1 1036 18130 19879 1 0 120959 51 4580 45 25 0 1 0 840008210 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.47
CPU time (s): 1256.38
CPU user time (s): 1255.4
CPU system time (s): 0.973851
CPU usage (%): 100.472
Max. virtual memory (Kb): 847540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	425986239553
#### END VERIFIER DATA ####