PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
MD5SUM	ce1061a060a0716eafe03a61d610732a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	425
Biggest coefficient in the objective function	65536
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	3276775
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	41943040000000
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	204183950227182
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	145.757
Number of variables	1340
Total number of constraints	282
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	75
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	425
Trace number 29595

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 09:26:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21000 boxname=wulflinc25 idbench=988 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ce1061a060a0716eafe03a61d610732a  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-noswot.opb
IDLAUNCH: 21000
/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:        434600 kB
Buffers:         29440 kB
Cached:         546748 kB
SwapCached:        588 kB
Active:          82936 kB
Inactive:       495540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        434348 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            15824 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:46:53 (client local time) WITH STATUS 143 IN 1239.08 SECONDS
stats: 21000 0 1239.08 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-20-10-noswot.opb
c reading problem ... done. Time 3.759 ms.
c #vars     1340
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.81 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.13 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 6.66 ms
c CURRENT OPTIMUM=                 -11 		Current CPU time: 9.26 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 11.84 ms
c CURRENT OPTIMUM=                 -16 		Current CPU time: 13.22 ms
c CURRENT OPTIMUM=                 -26 		Current CPU time: 16.05 ms
c CURRENT OPTIMUM=                 -29 		Current CPU time: 30.02 ms
c CURRENT OPTIMUM=                 -31 		Current CPU time: 80.36 ms
c CURRENT OPTIMUM=                 -37 		Current CPU time: 150.32 ms
c CURRENT OPTIMUM=                 -38 		Current CPU time: 216.18 ms
c starts	: 19
c conflicts	: 1660
c decisions	: 29850
c propagations	: 106426
c inspects	: 1310079
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1660
c root simplifications	: 397
s SATISFIABLE
v -x52_bit0 -x52_bit1 -x52_bit2 x52_bit3 -x52_bit4 -x52_bit5 -x52_bit6 -x52_bit7 -x52_bit8 -x52_bit9 -x52_bit10 -x52_bit11 -x52_bit12 -x52_bit13 -x52_bit14 -x52_bit15 -x52_bit16 x54_bit0 -x54_bit1 -x54_bit2 x54_bit3 -x54_bit4 -x54_bit5 -x54_bit6 -x54_bit7 -x54_bit8 -x54_bit9 -x54_bit10 -x54_bit11 -x54_bit12 -x54_bit13 -x54_bit14 -x54_bit15 -x54_bit16 -x56_bit0 x56_bit1 x56_bit2 -x56_bit3 -x56_bit4 -x56_bit5 -x56_bit6 -x56_bit7 -x56_bit8 -x56_bit9 -x56_bit10 -x56_bit11 -x56_bit12 -x56_bit13 -x56_bit14 -x56_bit15 -x56_bit16 x58_bit0 x58_bit1 x58_bit2 -x58_bit3 -x58_bit4 -x58_bit5 -x58_bit6 -x58_bit7 -x58_bit8 -x58_bit9 -x58_bit10 -x58_bit11 -x58_bit12 -x58_bit13 -x58_bit14 -x58_bit15 -x58_bit16 -x60_bit0 -x60_bit1 -x60_bit2 -x60_bit3 -x60_bit4 -x60_bit5 -x60_bit6 -x60_bit7 -x60_bit8 -x60_bit9 -x60_bit10 -x60_bit11 -x60_bit12 -x60_bit13 -x60_bit14 -x60_bit15 -x60_bit16 -x62_bit0 -x62_bit1 -x62_bit2 -x62_bit3 -x62_bit4 -x62_bit5 -x62_bit6 -x62_bit7 -x62_bit8 -x62_bit9 -x62_bit10 -x62_bit11 -x62_bit12 -x62_bit13 -x62_bit14 -x62_bit15 -x62_bit16 -x64_bit0 -x64_bit1 -x64_bit2 -x64_bit3 -x64_bit4 -x64_bit5 -x64_bit6 -x64_bit7 -x64_bit8 -x64_bit9 -x64_bit10 -x64_bit11 -x64_bit12 -x64_bit13 -x64_bit14 -x64_bit15 -x64_bit16 -x66_bit0 -x66_bit1 -x66_bit2 -x66_bit3 -x66_bit4 -x66_bit5 -x66_bit6 -x66_bit7 -x66_bit8 -x66_bit9 -x66_bit10 -x66_bit11 -x66_bit12 -x66_bit13 -x66_bit14 -x66_bit15 -x66_bit16 x68_bit0 -x68_bit1 -x68_bit2 -x68_bit3 -x68_bit4 -x68_bit5 -x68_bit6 -x68_bit7 -x68_bit8 -x68_bit9 -x68_bit10 -x68_bit11 -x68_bit12 -x68_bit13 -x68_bit14 -x68_bit15 -x68_bit16 x70_bit0 -x70_bit1 x70_bit2 -x70_bit3 -x70_bit4 -x70_bit5 -x70_bit6 -x70_bit7 -x70_bit8 -x70_bit9 -x70_bit10 -x70_bit11 -x70_bit12 -x70_bit13 -x70_bit14 -x70_bit15 -x70_bit16 -x72_bit0 -x72_bit1 -x72_bit2 -x72_bit3 -x72_bit4 -x72_bit5 -x72_bit6 -x72_bit7 -x72_bit8 -x72_bit9 -x72_bit10 -x72_bit11 -x72_bit12 -x72_bit13 -x72_bit14 -x72_bit15 -x72_bit16 -x74_bit0 -x74_bit1 -x74_bit2 -x74_bit3 -x74_bit4 -x74_bit5 -x74_bit6 -x74_bit7 -x74_bit8 -x74_bit9 -x74_bit10 -x74_bit11 -x74_bit12 -x74_bit13 -x74_bit14 -x74_bit15 -x74_bit16 -x76_bit0 -x76_bit1 -x76_bit2 -x76_bit3 -x76_bit4 -x76_bit5 -x76_bit6 -x76_bit7 -x76_bit8 -x76_bit9 -x76_bit10 -x76_bit11 -x76_bit12 -x76_bit13 -x76_bit14 -x76_bit15 -x76_bit16 -x78_bit0 -x78_bit1 -x78_bit2 -x78_bit3 -x78_bit4 -x78_bit5 -x78_bit6 -x78_bit7 -x78_bit8 -x78_bit9 -x78_bit10 -x78_bit11 -x78_bit12 -x78_bit13 -x78_bit14 -x78_bit15 -x78_bit16 -x80_bit0 -x80_bit1 -x80_bit2 -x80_bit3 -x80_bit4 -x80_bit5 -x80_bit6 -x80_bit7 -x80_bit8 -x80_bit9 -x80_bit10 -x80_bit11 -x80_bit12 -x80_bit13 -x80_bit14 -x80_bit15 -x80_bit16 -x82_bit0 -x82_bit1 -x82_bit2 -x82_bit3 -x82_bit4 -x82_bit5 -x82_bit6 -x82_bit7 -x82_bit8 -x82_bit9 -x82_bit10 -x82_bit11 -x82_bit12 -x82_bit13 -x82_bit14 -x82_bit15 -x82_bit16 -x84_bit0 -x84_bit1 -x84_bit2 -x84_bit3 -x84_bit4 -x84_bit5 -x84_bit6 -x84_bit7 -x84_bit8 -x84_bit9 -x84_bit10 -x84_bit11 -x84_bit12 -x84_bit13 -x84_bit14 -x84_bit15 -x84_bit16 x86_bit0 -x86_bit1 -x86_bit2 -x86_bit3 -x86_bit4 -x86_bit5 -x86_bit6 -x86_bit7 -x86_bit8 -x86_bit9 -x86_bit10 -x86_bit11 -x86_bit12 -x86_bit13 -x86_bit14 -x86_bit15 -x86_bit16 -x88_bit0 -x88_bit1 -x88_bit2 -x88_bit3 -x88_bit4 -x88_bit5 -x88_bit6 -x88_bit7 -x88_bit8 -x88_bit9 -x88_bit10 -x88_bit11 -x88_bit12 -x88_bit13 -x88_bit14 -x88_bit15 -x88_bit16 -x90_bit0 -x90_bit1 -x90_bit2 -x90_bit3 -x90_bit4 -x90_bit5 -x90_bit6 -x90_bit7 -x90_bit8 -x90_bit9 -x90_bit10 -x90_bit11 -x90_bit12 -x90_bit13 -x90_bit14 -x90_bit15 -x90_bit16 x92_bit0 -x92_bit1 -x92_bit2 -x92_bit3 -x92_bit4 -x92_bit5 -x92_bit6 -x92_bit7 -x92_bit8 -x92_bit9 -x92_bit10 -x92_bit11 -x92_bit12 -x92_bit13 -x92_bit14 -x92_bit15 -x92_bit16 -x94_bit0 -x94_bit1 -x94_bit2 -x94_bit3 -x94_bit4 -x94_bit5 -x94_bit6 -x94_bit7 -x94_bit8 -x94_bit9 -x94_bit10 -x94_bit11 -x94_bit12 -x94_bit13 -x94_bit14 -x94_bit15 -x94_bit16 -x96_bit0 -x96_bit1 -x96_bit2 -x96_bit3 -x96_bit4 -x96_bit5 -x96_bit6 -x96_bit7 -x96_bit8 -x96_bit9 -x96_bit10 -x96_bit11 -x96_bit12 -x96_bit13 -x96_bit14 -x96_bit15 -x96_bit16 -x98_bit0 -x98_bit1 -x98_bit2 -x98_bit3 -x98_bit4 -x98_bit5 -x98_bit6 -x98_bit7 -x98_bit8 -x98_bit9 -x98_bit10 -x98_bit11 -x98_bit12 -x98_bit13 -x98_bit14 -x98_bit15 -x98_bit16 -x100_bit0 -x100_bit1 -x100_bit2 -x100_bit3 -x100_bit4 -x100_bit5 -x100_bit6 -x100_bit7 -x100_bit8 -x100_bit9 -x100_bit10 -x100_bit11 -x100_bit12 -x100_bit13 -x100_bit14 -x100_bit15 -x100_bit16 -x1_bit0 -x2_bit0 -x3_bit0 x4_bit0 x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 -x29_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 x53_bit0 x55_bit0 x57_bit0 -x59_bit0 -x61_bit0 -x63_bit0 -x65_bit0 x67_bit0 x69_bit0 -x71_bit0 -x73_bit0 -x75_bit0 -x77_bit0 -x79_bit0 -x81_bit0 -x83_bit0 x85_bit0 -x87_bit0 -x89_bit0 x91_bit0 -x93_bit0 -x95_bit0 -x97_bit0 -x99_bit0 x109_bit_10 x109_bit_9 x109_bit_8 x109_bit_7 x109_bit_6 x109_bit_5 x109_bit_4 x109_bit_3 x109_bit_2 x109_bit_1 x109_bit0 x109_bit1 x109_bit2 x109_bit3 -x109_bit4 -x109_bit5 -x109_bit6 -x109_bit7 -x109_bit8 -x109_bit9 -x109_bit10 -x109_bit11 -x109_bit12 -x109_bit13 -x109_bit14 -x109_bit15 -x109_bit16 -x109_bit17 -x109_bit18 -x109_bit19 -x124_bit_10 -x124_bit_9 -x124_bit_8 -x124_bit_7 -x124_bit_6 -x124_bit_5 -x124_bit_4 -x124_bit_3 -x124_bit_2 -x124_bit_1 -x124_bit0 -x124_bit1 -x124_bit2 -x124_bit3 -x124_bit4 -x124_bit5 -x124_bit6 -x124_bit7 -x124_bit8 -x124_bit9 -x124_bit10 -x124_bit11 -x124_bit12 -x124_bit13 -x124_bit14 -x124_bit15 -x124_bit16 -x124_bit17 -x124_bit18 -x124_bit19 x110_bit_10 -x110_bit_9 -x110_bit_8 x110_bit_7 x110_bit_6 x110_bit_5 x110_bit_4 -x110_bit_3 -x110_bit_2 -x110_bit_1 x110_bit0 -x110_bit1 -x110_bit2 -x110_bit3 -x110_bit4 -x110_bit5 -x110_bit6 -x110_bit7 -x110_bit8 -x110_bit9 -x110_bit10 -x110_bit11 -x110_bit12 -x110_bit13 -x110_bit14 -x110_bit15 -x110_bit16 -x110_bit17 -x110_bit18 -x110_bit19 -x125_bit_10 -x125_bit_9 -x125_bit_8 -x125_bit_7 -x125_bit_6 -x125_bit_5 -x125_bit_4 -x125_bit_3 -x125_bit_2 -x125_bit_1 -x125_bit0 -x125_bit1 -x125_bit2 -x125_bit3 -x125_bit4 -x125_bit5 -x125_bit6 -x125_bit7 -x125_bit8 -x125_bit9 -x125_bit10 -x125_bit11 -x125_bit12 -x125_bit13 -x125_bit14 -x125_bit15 -x125_bit16 -x125_bit17 -x125_bit18 -x125_bit19 -x111_bit_10 -x111_bit_9 -x111_bit_8 -x111_bit_7 -x111_bit_6 -x111_bit_5 -x111_bit_4 -x111_bit_3 -x111_bit_2 -x111_bit_1 -x111_bit0 -x111_bit1 -x111_bit2 -x111_bit3 -x111_bit4 -x111_bit5 -x111_bit6 -x111_bit7 -x111_bit8 -x111_bit9 -x111_bit10 -x111_bit11 -x111_bit12 -x111_bit13 -x111_bit14 -x111_bit15 -x111_bit16 -x111_bit17 -x111_bit18 -x111_bit19 -x112_bit_10 -x112_bit_9 -x112_bit_8 -x112_bit_7 -x112_bit_6 -x112_bit_5 -x112_bit_4 -x112_bit_3 -x112_bit_2 -x112_bit_1 -x112_bit0 -x112_bit1 -x112_bit2 -x112_bit3 -x112_bit4 -x112_bit5 -x112_bit6 -x112_bit7 -x112_bit8 -x112_bit9 -x112_bit10 -x112_bit11 -x112_bit12 -x112_bit13 -x112_bit14 -x112_bit15 -x112_bit16 -x112_bit17 -x112_bit18 -x112_bit19 -x113_bit_10 -x113_bit_9 -x113_bit_8 -x113_bit_7 -x113_bit_6 -x113_bit_5 -x113_bit_4 -x113_bit_3 -x113_bit_2 -x113_bit_1 -x113_bit0 -x113_bit1 -x113_bit2 -x113_bit3 -x113_bit4 -x113_bit5 -x113_bit6 -x113_bit7 -x113_bit8 -x113_bit9 -x113_bit10 -x113_bit11 -x113_bit12 -x113_bit13 -x113_bit14 -x113_bit15 -x113_bit16 -x113_bit17 -x113_bit18 -x113_bit19 -x114_bit_10 -x114_bit_9 -x114_bit_8 -x114_bit_7 -x114_bit_6 -x114_bit_5 -x114_bit_4 -x114_bit_3 -x114_bit_2 -x114_bit_1 -x114_bit0 -x114_bit1 -x114_bit2 -x114_bit3 -x114_bit4 -x114_bit5 -x114_bit6 -x114_bit7 -x114_bit8 -x114_bit9 -x114_bit10 -x114_bit11 -x114_bit12 -x114_bit13 -x114_bit14 -x114_bit15 -x114_bit16 -x114_bit17 -x114_bit18 -x114_bit19 -x115_bit_10 -x115_bit_9 -x115_bit_8 -x115_bit_7 -x115_bit_6 -x115_bit_5 -x115_bit_4 -x115_bit_3 -x115_bit_2 -x115_bit_1 -x115_bit0 -x115_bit1 -x115_bit2 -x115_bit3 -x115_bit4 -x115_bit5 -x115_bit6 -x115_bit7 -x115_bit8 -x115_bit9 -x115_bit10 -x115_bit11 -x115_bit12 -x115_bit13 -x115_bit14 -x115_bit15 -x115_bit16 -x115_bit17 -x115_bit18 -x115_bit19 -x116_bit_10 -x116_bit_9 -x116_bit_8 -x116_bit_7 -x116_bit_6 -x116_bit_5 -x116_bit_4 -x116_bit_3 -x116_bit_2 -x116_bit_1 -x116_bit0 -x116_bit1 -x116_bit2 -x116_bit3 -x116_bit4 -x116_bit5 -x116_bit6 -x116_bit7 -x116_bit8 -x116_bit9 -x116_bit10 -x116_bit11 -x116_bit12 -x116_bit13 -x116_bit14 -x116_bit15 -x116_bit16 -x116_bit17 -x116_bit18 -x116_bit19 -x117_bit_10 -x117_bit_9 -x117_bit_8 -x117_bit_7 -x117_bit_6 -x117_bit_5 -x117_bit_4 -x117_bit_3 -x117_bit_2 -x117_bit_1 -x117_bit0 -x117_bit1 -x117_bit2 -x117_bit3 -x117_bit4 -x117_bit5 -x117_bit6 -x117_bit7 -x117_bit8 -x117_bit9 -x117_bit10 -x117_bit11 -x117_bit12 -x117_bit13 -x117_bit14 -x117_bit15 -x117_bit16 -x117_bit17 -x117_bit18 -x117_bit19 x118_bit_10 x118_bit_9 x118_bit_8 x118_bit_7 x118_bit_6 -x118_bit_5 -x118_bit_4 -x118_bit_3 x118_bit_2 x118_bit_1 x118_bit0 -x118_bit1 -x118_bit2 -x118_bit3 -x118_bit4 -x118_bit5 -x118_bit6 -x118_bit7 -x118_bit8 -x118_bit9 -x118_bit10 -x118_bit11 -x118_bit12 -x118_bit13 -x118_bit14 -x118_bit15 -x118_bit16 -x118_bit17 -x118_bit18 -x118_bit19 -x119_bit_10 -x119_bit_9 -x119_bit_8 -x119_bit_7 -x119_bit_6 -x119_bit_5 -x119_bit_4 -x119_bit_3 -x119_bit_2 -x119_bit_1 -x119_bit0 -x119_bit1 -x119_bit2 -x119_bit3 -x119_bit4 -x119_bit5 -x119_bit6 -x119_bit7 -x119_bit8 -x119_bit9 -x119_bit10 -x119_bit11 -x119_bit12 -x119_bit13 -x119_bit14 -x119_bit15 -x119_bit16 -x119_bit17 -x119_bit18 -x119_bit19 -x120_bit_10 -x120_bit_9 -x120_bit_8 -x120_bit_7 -x120_bit_6 -x120_bit_5 -x120_bit_4 -x120_bit_3 -x120_bit_2 -x120_bit_1 -x120_bit0 -x120_bit1 -x120_bit2 -x120_bit3 -x120_bit4 -x120_bit5 -x120_bit6 -x120_bit7 -x120_bit8 -x120_bit9 -x120_bit10 -x120_bit11 -x120_bit12 -x120_bit13 -x120_bit14 -x120_bit15 -x120_bit16 -x120_bit17 -x120_bit18 -x120_bit19 -x121_bit_10 x121_bit_9 -x121_bit_8 x121_bit_7 -x121_bit_6 x121_bit_5 -x121_bit_4 x121_bit_3 x121_bit_2 x121_bit_1 x121_bit0 -x121_bit1 -x121_bit2 -x121_bit3 x121_bit4 -x121_bit5 -x121_bit6 -x121_bit7 -x121_bit8 -x121_bit9 -x121_bit10 -x121_bit11 -x121_bit12 -x121_bit13 -x121_bit14 -x121_bit15 -x121_bit16 -x121_bit17 -x121_bit18 -x121_bit19 -x122_bit_10 -x122_bit_9 -x122_bit_8 -x122_bit_7 -x122_bit_6 -x122_bit_5 -x122_bit_4 -x122_bit_3 -x122_bit_2 -x122_bit_1 -x122_bit0 -x122_bit1 -x122_bit2 -x122_bit3 -x122_bit4 -x122_bit5 -x122_bit6 -x122_bit7 -x122_bit8 -x122_bit9 -x122_bit10 -x122_bit11 -x122_bit12 -x122_bit13 -x122_bit14 -x122_bit15 -x122_bit16 -x122_bit17 -x122_bit18 -x122_bit19 -x123_bit_10 -x123_bit_9 -x123_bit_8 -x123_bit_7 -x123_bit_6 -x123_bit_5 -x123_bit_4 -x123_bit_3 -x123_bit_2 -x123_bit_1 -x123_bit0 -x123_bit1 -x123_bit2 -x123_bit3 -x123_bit4 -x123_bit5 -x123_bit6 -x123_bit7 -x123_bit8 -x123_bit9 -x123_bit10 -x123_bit11 -x123_bit12 -x123_bit13 -x123_bit14 -x123_bit15 -x123_bit16 -x123_bit17 -x123_bit18 -x123_bit19 -x127_bit_10 -x127_bit_9 -x127_bit_8 -x127_bit_7 -x127_bit_6 -x127_bit_5 -x127_bit_4 -x127_bit_3 -x127_bit_2 -x127_bit_1 -x127_bit0 -x127_bit1 -x127_bit2 -x127_bit3 -x127_bit4 -x127_bit5 -x127_bit6 -x127_bit7 -x127_bit8 -x127_bit9 -x127_bit10 -x127_bit11 -x127_bit12 -x127_bit13 -x127_bit14 -x127_bit15 -x127_bit16 -x127_bit17 -x127_bit18 -x127_bit19 -x126_bit_10 -x126_bit_9 -x126_bit_8 -x126_bit_7 -x126_bit_6 -x126_bit_5 -x126_bit_4 -x126_bit_3 -x126_bit_2 -x126_bit_1 -x126_bit0 -x126_bit1 -x126_bit2 -x126_bit3 -x126_bit4 -x126_bit5 -x126_bit6 -x126_bit7 -x126_bit8 -x126_bit9 -x126_bit10 -x126_bit11 -x126_bit12 -x126_bit13 -x126_bit14 -x126_bit15 -x126_bit16 -x126_bit17 -x126_bit18 -x126_bit19 -x128_bit_10 -x128_bit_9 -x128_bit_8 -x128_bit_7 -x128_bit_6 -x128_bit_5 -x128_bit_4 -x128_bit_3 -x128_bit_2 -x128_bit_1 -x128_bit0 -x128_bit1 -x128_bit2 -x128_bit3 -x128_bit4 -x128_bit5 -x128_bit6 -x128_bit7 -x128_bit8 -x128_bit9 -x128_bit10 -x128_bit11 -x128_bit12 -x128_bit13 -x128_bit14 -x128_bit15 -x128_bit16 -x128_bit17 -x128_bit18 -x128_bit19 -x101_bit_10 -x101_bit_9 -x101_bit_8 -x101_bit_7 -x101_bit_6 -x101_bit_5 -x101_bit_4 -x101_bit_3 -x101_bit_2 -x101_bit_1 -x101_bit0 -x101_bit1 -x101_bit2 -x101_bit3 -x101_bit4 -x101_bit5 -x101_bit6 -x101_bit7 -x101_bit8 -x101_bit9 -x101_bit10 -x101_bit11 -x101_bit12 -x101_bit13 -x101_bit14 -x101_bit15 -x101_bit16 -x101_bit17 -x101_bit18 -x101_bit19 -x106_bit_10 -x106_bit_9 -x106_bit_8 -x106_bit_7 -x106_bit_6 -x106_bit_5 -x106_bit_4 -x106_bit_3 -x106_bit_2 -x106_bit_1 -x106_bit0 -x106_bit1 -x106_bit2 -x106_bit3 -x106_bit4 -x106_bit5 -x106_bit6 -x106_bit7 -x106_bit8 -x106_bit9 -x106_bit10 -x106_bit11 -x106_bit12 -x106_bit13 -x106_bit14 -x106_bit15 -x106_bit16 -x106_bit17 -x106_bit18 -x106_bit19 x102_bit_10 x102_bit_9 x102_bit_8 x102_bit_7 x102_bit_6 x102_bit_5 x102_bit_4 x102_bit_3 x102_bit_2 x102_bit_1 -x102_bit0 -x102_bit1 -x102_bit2 -x102_bit3 -x102_bit4 -x102_bit5 -x102_bit6 -x102_bit7 -x102_bit8 -x102_bit9 -x102_bit10 -x102_bit11 -x102_bit12 -x102_bit13 -x102_bit14 -x102_bit15 -x102_bit16 -x102_bit17 -x102_bit18 -x102_bit19 -x107_bit_10 -x107_bit_9 -x107_bit_8 -x107_bit_7 -x107_bit_6 -x107_bit_5 -x107_bit_4 -x107_bit_3 -x107_bit_2 -x107_bit_1 -x107_bit0 -x107_bit1 -x107_bit2 -x107_bit3 -x107_bit4 -x107_bit5 -x107_bit6 -x107_bit7 -x107_bit8 -x107_bit9 -x107_bit10 -x107_bit11 -x107_bit12 -x107_bit13 -x107_bit14 -x107_bit15 -x107_bit16 -x107_bit17 -x107_bit18 -x107_bit19 -x103_bit_10 -x103_bit_9 -x103_bit_8 -x103_bit_7 -x103_bit_6 -x103_bit_5 -x103_bit_4 -x103_bit_3 -x103_bit_2 -x103_bit_1 -x103_bit0 x103_bit1 x103_bit2 -x103_bit3 -x103_bit4 -x103_bit5 -x103_bit6 -x103_bit7 -x103_bit8 -x103_bit9 -x103_bit10 -x103_bit11 -x103_bit12 -x103_bit13 -x103_bit14 -x103_bit15 -x103_bit16 -x103_bit17 -x103_bit18 -x103_bit19 -x108_bit_10 -x108_bit_9 -x108_bit_8 -x108_bit_7 -x108_bit_6 -x108_bit_5 -x108_bit_4 -x108_bit_3 -x108_bit_2 -x108_bit_1 -x108_bit0 -x108_bit1 -x108_bit2 -x108_bit3 -x108_bit4 -x108_bit5 -x108_bit6 -x108_bit7 -x108_bit8 -x108_bit9 -x108_bit10 -x108_bit11 -x108_bit12 -x108_bit13 -x108_bit14 -x108_bit15 -x108_bit16 -x108_bit17 -x108_bit18 -x108_bit19 -x104_bit_10 -x104_bit_9 -x104_bit_8 -x104_bit_7 -x104_bit_6 -x104_bit_5 -x104_bit_4 -x104_bit_3 -x104_bit_2 -x104_bit_1 -x104_bit0 -x104_bit1 -x104_bit2 -x104_bit3 -x104_bit4 -x104_bit5 -x104_bit6 -x104_bit7 -x104_bit8 -x104_bit9 -x104_bit10 -x104_bit11 -x104_bit12 -x104_bit13 -x104_bit14 -x104_bit15 -x104_bit16 -x104_bit17 -x104_bit18 -x104_bit19 -x105_bit_10 -x105_bit_9 -x105_bit_8 -x105_bit_7 -x105_bit_6 -x105_bit_5 -x105_bit_4 -x105_bit_3 -x105_bit_2 -x105_bit_1 -x105_bit0 -x105_bit1 -x105_bit2 -x105_bit3 -x105_bit4 -x105_bit5 -x105_bit6 -x105_bit7 -x105_bit8 -x105_bit9 -x105_bit10 -x105_bit11 -x105_bit12 -x105_bit13 -x105_bit14 -x105_bit15 -x105_bit16 -x105_bit17 -x105_bit18 -x105_bit19 
c objectif function=-38
c Total CPU time (ms) : 1229.229
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 12378
Raw data (stat): 12378 (runsolver) R 12377 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837802281 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.0001 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12391
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18108 3 1 0 741 38 0 0 25 0 11 0 837802281 858324992 20210 4294967295 134512640 134569956 3221224368 3221214752 1131226076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209552 20210 13086 16 0 209536 0
vsize: 838208
[startup+20.0004 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 12395
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18110 3 1 0 1645 38 0 0 21 0 11 0 837802281 863567872 21636 4294967295 134512640 134569956 3221224368 3221214664 1131256489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210832 21636 13086 16 0 210816 0
vsize: 843328
[startup+30.0008 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12395
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18111 3 1 0 2592 38 0 0 25 0 11 0 837802281 863567872 21880 4294967295 134512640 134569956 3221224368 3221214800 1131336402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210832 21880 13086 16 0 210816 0
vsize: 843328
[startup+40.0004 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12396
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18111 3 1 0 3510 39 0 0 25 0 11 0 837802281 862519296 21962 4294967295 134512640 134569956 3221224368 3221214288 1131541583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 21962 13086 16 0 210560 0
vsize: 842304
[startup+50.0011 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12396
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18111 3 1 0 4461 39 0 0 25 0 11 0 837802281 862519296 22427 4294967295 134512640 134569956 3221224368 3221214752 1131226016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22427 13086 16 0 210560 0
vsize: 842304
[startup+60.0012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12396
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18111 3 1 0 5428 39 0 0 25 0 11 0 837802281 862519296 22511 4294967295 134512640 134569956 3221224368 3221214664 1131256617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22511 13086 16 0 210560 0
vsize: 842304
[startup+70.0018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12396
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 6395 39 0 0 25 0 11 0 837802281 862519296 22640 4294967295 134512640 134569956 3221224368 3221214708 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22640 13086 16 0 210560 0
vsize: 842304
[startup+80.0018 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12396
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 7366 39 0 0 25 0 11 0 837802281 862519296 22714 4294967295 134512640 134569956 3221224368 3221214744 1131226031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22714 13086 16 0 210560 0
vsize: 842304
[startup+90.0019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 8335 39 0 0 25 0 11 0 837802281 862519296 22824 4294967295 134512640 134569956 3221224368 3221214740 1131206183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22824 13086 16 0 210560 0
vsize: 842304
[startup+100.002 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 9303 40 0 0 24 0 11 0 837802281 862519296 22900 4294967295 134512640 134569956 3221224368 3221214744 1131226000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 22900 13086 16 0 210560 0
vsize: 842304
[startup+110.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 10275 40 0 0 25 0 11 0 837802281 862519296 23001 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23001 13086 16 0 210560 0
vsize: 842304
[startup+120.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 11251 40 0 0 25 0 11 0 837802281 862519296 23086 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23086 13086 16 0 210560 0
vsize: 842304
[startup+130.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 12230 40 0 0 25 0 11 0 837802281 862519296 23138 4294967295 134512640 134569956 3221224368 3221214480 1131328672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23138 13086 16 0 210560 0
vsize: 842304
[startup+140.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 13208 40 0 0 24 0 11 0 837802281 862519296 23239 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23239 13086 16 0 210560 0
vsize: 842304
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12397
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 14192 40 0 0 25 0 11 0 837802281 862519296 23285 4294967295 134512640 134569956 3221224368 3221214744 1131226016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23285 13086 16 0 210560 0
vsize: 842304
[startup+160.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 15175 40 0 0 25 0 11 0 837802281 862519296 23325 4294967295 134512640 134569956 3221224368 3221214392 1131545440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 23325 13086 16 0 210560 0
vsize: 842304
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 16155 40 0 0 25 0 11 0 837802281 862519296 23355 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23355 13086 16 0 210560 0
vsize: 842304
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 17129 41 0 0 25 0 11 0 837802281 862519296 23402 4294967295 134512640 134569956 3221224368 3221214744 1131225708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23402 13086 16 0 210560 0
vsize: 842304
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 18101 41 0 0 25 0 11 0 837802281 862519296 23436 4294967295 134512640 134569956 3221224368 3221214744 1131181760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23436 13086 16 0 210560 0
vsize: 842304
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 19071 41 0 0 25 0 11 0 837802281 862519296 23496 4294967295 134512640 134569956 3221224368 3221214656 1131256533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23496 13086 16 0 210560 0
vsize: 842304
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12398
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 20041 41 0 0 25 0 11 0 837802281 862519296 23628 4294967295 134512640 134569956 3221224368 3221214616 1131221416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23628 13086 16 0 210560 0
vsize: 842304
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 21008 41 0 0 24 0 11 0 837802281 862519296 23683 4294967295 134512640 134569956 3221224368 3221214148 1131517968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23683 13086 16 0 210560 0
vsize: 842304
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 21981 42 0 0 25 0 11 0 837802281 862519296 23714 4294967295 134512640 134569956 3221224368 3221214744 1131225769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23714 13086 16 0 210560 0
vsize: 842304
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 22943 42 0 0 24 0 11 0 837802281 862519296 23794 4294967295 134512640 134569956 3221224368 3221214656 1131257926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23794 13086 16 0 210560 0
vsize: 842304
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 23912 42 0 0 25 0 11 0 837802281 862519296 23899 4294967295 134512640 134569956 3221224368 3221214344 1131517873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 23899 13086 16 0 210560 0
vsize: 842304
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 24883 42 0 0 25 0 11 0 837802281 862519296 24021 4294967295 134512640 134569956 3221224368 3221214744 1131225727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24021 13086 16 0 210560 0
vsize: 842304
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 25859 43 0 0 25 0 11 0 837802281 862519296 24103 4294967295 134512640 134569956 3221224368 3221214744 1131226025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24103 13086 16 0 210560 0
vsize: 842304
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 26836 43 0 0 25 0 11 0 837802281 862519296 24184 4294967295 134512640 134569956 3221224368 3221214744 1131181896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 24184 13086 16 0 210560 0
vsize: 842304
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 27809 43 0 0 25 0 11 0 837802281 862519296 24243 4294967295 134512640 134569956 3221224368 3221214656 1131257057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24243 13086 16 0 210560 0
vsize: 842304
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 28783 43 0 0 25 0 11 0 837802281 862519296 24290 4294967295 134512640 134569956 3221224368 3221214656 1131256724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24290 13086 16 0 210560 0
vsize: 842304
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 29755 43 0 0 25 0 11 0 837802281 862519296 24335 4294967295 134512640 134569956 3221224368 3221214272 1079721474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 24335 13086 16 0 210560 0
vsize: 842304
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 30721 44 0 0 25 0 11 0 837802281 862519296 24405 4294967295 134512640 134569956 3221224368 3221214656 1131205101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24405 13086 16 0 210560 0
vsize: 842304
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 31689 44 0 0 25 0 11 0 837802281 862519296 24483 4294967295 134512640 134569956 3221224368 3221214288 1131547544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24483 13086 16 0 210560 0
vsize: 842304
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 32648 44 0 0 25 0 11 0 837802281 862519296 24542 4294967295 134512640 134569956 3221224368 3221214744 1131181760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 24542 13086 16 0 210560 0
vsize: 842304
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 33615 44 0 0 25 0 11 0 837802281 862519296 24662 4294967295 134512640 134569956 3221224368 3221214656 1131256667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24662 13086 16 0 210560 0
vsize: 842304
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 34587 45 0 0 25 0 11 0 837802281 862519296 24799 4294967295 134512640 134569956 3221224368 3221214744 1131225995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24799 13086 16 0 210560 0
vsize: 842304
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 35564 45 0 0 25 0 11 0 837802281 862519296 24927 4294967295 134512640 134569956 3221224368 3221214744 1131225988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 24927 13086 16 0 210560 0
vsize: 842304
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 36530 45 0 0 25 0 11 0 837802281 862519296 24956 4294967295 134512640 134569956 3221224368 3221214744 1131225700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 24956 13086 16 0 210560 0
vsize: 842304
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 37488 45 0 0 25 0 11 0 837802281 862519296 25008 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25008 13086 16 0 210560 0
vsize: 842304
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 38451 45 0 0 25 0 11 0 837802281 862519296 25029 4294967295 134512640 134569956 3221224368 3221214256 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25029 13086 16 0 210560 0
vsize: 842304
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 39407 45 0 0 25 0 11 0 837802281 862519296 25063 4294967295 134512640 134569956 3221224368 3221214744 1131225920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25063 13086 16 0 210560 0
vsize: 842304
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 40364 46 0 0 24 0 11 0 837802281 862519296 25483 4294967295 134512640 134569956 3221224368 3221214104 1131543928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25483 13086 16 0 210560 0
vsize: 842304
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 41343 46 0 0 25 0 11 0 837802281 862519296 25540 4294967295 134512640 134569956 3221224368 3221214712 1131345747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25540 13086 16 0 210560 0
vsize: 842304
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 42322 46 0 0 25 0 11 0 837802281 862519296 25600 4294967295 134512640 134569956 3221224368 3221214736 1131220914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25600 13086 16 0 210560 0
vsize: 842304
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 43301 47 0 0 25 0 11 0 837802281 862519296 25621 4294967295 134512640 134569956 3221224368 3221214656 1131257792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25621 13086 16 0 210560 0
vsize: 842304
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 44283 47 0 0 25 0 11 0 837802281 862519296 25668 4294967295 134512640 134569956 3221224368 3221214408 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25668 13086 16 0 210560 0
vsize: 842304
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 45266 47 0 0 25 0 11 0 837802281 862519296 25739 4294967295 134512640 134569956 3221224368 3221214744 1131181996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25739 13086 16 0 210560 0
vsize: 842304
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 46250 47 0 0 25 0 11 0 837802281 862519296 25776 4294967295 134512640 134569956 3221224368 3221214656 1131256600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25776 13086 16 0 210560 0
vsize: 842304
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 47228 47 0 0 18 0 11 0 837802281 862519296 25811 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25811 13086 16 0 210560 0
vsize: 842304
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 48207 47 0 0 25 0 11 0 837802281 862519296 25824 4294967295 134512640 134569956 3221224368 3221214656 1131205556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25824 13086 16 0 210560 0
vsize: 842304
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 49185 48 0 0 25 0 11 0 837802281 862519296 25851 4294967295 134512640 134569956 3221224368 3221214744 1131226086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25851 13086 16 0 210560 0
vsize: 842304
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 50163 48 0 0 25 0 11 0 837802281 862519296 25886 4294967295 134512640 134569956 3221224368 3221214656 1131257351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 25886 13086 16 0 210560 0
vsize: 842304
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 51142 48 0 0 25 0 11 0 837802281 862519296 26019 4294967295 134512640 134569956 3221224368 3221214060 1131517968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26019 13086 16 0 210560 0
vsize: 842304
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 52128 48 0 0 25 0 11 0 837802281 862519296 26037 4294967295 134512640 134569956 3221224368 3221214744 1131225716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26037 13086 16 0 210560 0
vsize: 842304
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 53112 48 0 0 25 0 11 0 837802281 862519296 26064 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26064 13086 16 0 210560 0
vsize: 842304
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 54097 49 0 0 25 0 11 0 837802281 862519296 26090 4294967295 134512640 134569956 3221224368 3221214656 1131257916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26090 13086 16 0 210560 0
vsize: 842304
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 55084 49 0 0 25 0 11 0 837802281 862519296 26101 4294967295 134512640 134569956 3221224368 3221214104 1131547136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26101 13086 16 0 210560 0
vsize: 842304
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 56063 49 0 0 25 0 11 0 837802281 862519296 26141 4294967295 134512640 134569956 3221224368 3221214656 1131257916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26141 13086 16 0 210560 0
vsize: 842304
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 57040 49 0 0 25 0 11 0 837802281 862519296 26157 4294967295 134512640 134569956 3221224368 3221214712 1131346696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26157 13086 16 0 210560 0
vsize: 842304
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 58012 50 0 0 25 0 11 0 837802281 862519296 26168 4294967295 134512640 134569956 3221224368 3221214656 1131256967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26168 13086 16 0 210560 0
vsize: 842304
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 58980 50 0 0 25 0 11 0 837802281 862519296 26200 4294967295 134512640 134569956 3221224368 3221214656 1131256730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 26200 13086 16 0 210560 0
vsize: 842304
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 59952 51 0 0 25 0 11 0 837802281 862519296 26356 4294967295 134512640 134569956 3221224368 3221214656 1131256594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26356 13086 16 0 210560 0
vsize: 842304
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 60927 51 0 0 24 0 11 0 837802281 862519296 26385 4294967295 134512640 134569956 3221224368 3221214656 1131256573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26385 13086 16 0 210560 0
vsize: 842304
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 61901 52 0 0 25 0 11 0 837802281 862519296 26410 4294967295 134512640 134569956 3221224368 3221214344 1131517969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26410 13086 16 0 210560 0
vsize: 842304
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 62874 52 0 0 25 0 11 0 837802281 862519296 26476 4294967295 134512640 134569956 3221224368 3221214656 1131256503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26476 13086 16 0 210560 0
vsize: 842304
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 63848 52 0 0 25 0 11 0 837802281 862519296 26585 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26585 13086 16 0 210560 0
vsize: 842304
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 64828 52 0 0 25 0 11 0 837802281 862519296 26629 4294967295 134512640 134569956 3221224368 3221214656 1131257456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26629 13086 16 0 210560 0
vsize: 842304
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 65806 52 0 0 25 0 11 0 837802281 862519296 26687 4294967295 134512640 134569956 3221224368 3221214616 1131221576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26687 13086 16 0 210560 0
vsize: 842304
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 66786 53 0 0 25 0 11 0 837802281 862519296 26728 4294967295 134512640 134569956 3221224368 3221214392 1131547699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26728 13086 16 0 210560 0
vsize: 842304
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 67767 53 0 0 25 0 11 0 837802281 862519296 26770 4294967295 134512640 134569956 3221224368 3221214656 1131256657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26770 13086 16 0 210560 0
vsize: 842304
[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 68747 53 0 0 25 0 11 0 837802281 862519296 26812 4294967295 134512640 134569956 3221224368 3221214656 1131257057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26812 13086 16 0 210560 0
vsize: 842304
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 69730 54 0 0 25 0 11 0 837802281 862519296 26828 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26828 13086 16 0 210560 0
vsize: 842304
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 70710 54 0 0 25 0 11 0 837802281 862519296 26860 4294967295 134512640 134569956 3221224368 3221214616 1131324666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26860 13086 16 0 210560 0
vsize: 842304
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 71690 54 0 0 25 0 11 0 837802281 862519296 26890 4294967295 134512640 134569956 3221224368 3221214656 1131257015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26890 13086 16 0 210560 0
vsize: 842304
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 72669 55 0 0 24 0 11 0 837802281 862519296 26937 4294967295 134512640 134569956 3221224368 3221214744 1131225923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26937 13086 16 0 210560 0
vsize: 842304
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 73650 55 0 0 25 0 11 0 837802281 862519296 26976 4294967295 134512640 134569956 3221224368 3221214736 1131220871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26976 13086 16 0 210560 0
vsize: 842304
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 74631 55 0 0 25 0 11 0 837802281 862519296 26989 4294967295 134512640 134569956 3221224368 3221214656 1131256642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 26989 13086 16 0 210560 0
vsize: 842304
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 75615 55 0 0 25 0 11 0 837802281 862519296 27051 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27051 13086 16 0 210560 0
vsize: 842304
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 76600 55 0 0 25 0 11 0 837802281 862519296 27069 4294967295 134512640 134569956 3221224368 3221214744 1131226062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27069 13086 16 0 210560 0
vsize: 842304
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 77585 56 0 0 25 0 11 0 837802281 862519296 27107 4294967295 134512640 134569956 3221224368 3221214656 1131256573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27107 13086 16 0 210560 0
vsize: 842304
[startup+810.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 78570 56 0 0 25 0 11 0 837802281 862519296 27114 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27114 13086 16 0 210560 0
vsize: 842304
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 79556 57 0 0 25 0 11 0 837802281 862519296 27142 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27142 13086 16 0 210560 0
vsize: 842304
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 80540 57 0 0 25 0 11 0 837802281 862519296 27164 4294967295 134512640 134569956 3221224368 3221214736 1131220911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27164 13086 16 0 210560 0
vsize: 842304
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 81524 57 0 0 25 0 11 0 837802281 862519296 27188 4294967295 134512640 134569956 3221224368 3221214656 1131256724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27188 13086 16 0 210560 0
vsize: 842304
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 82509 58 0 0 24 0 11 0 837802281 862519296 27207 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 27207 13086 16 0 210560 0
vsize: 842304
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 83496 58 0 0 25 0 11 0 837802281 862519296 27249 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27249 13086 16 0 210560 0
vsize: 842304
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 84481 59 0 0 25 0 11 0 837802281 862519296 27259 4294967295 134512640 134569956 3221224368 3221214056 1131517944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27259 13086 16 0 210560 0
vsize: 842304
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 85466 59 0 0 25 0 11 0 837802281 862519296 27276 4294967295 134512640 134569956 3221224368 3221214656 1131256571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 27276 13086 16 0 210560 0
vsize: 842304
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 86453 59 0 0 25 0 11 0 837802281 862519296 27293 4294967295 134512640 134569956 3221224368 3221214744 1131181760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27293 13086 16 0 210560 0
vsize: 842304
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 87439 59 0 0 25 0 11 0 837802281 862519296 27334 4294967295 134512640 134569956 3221224368 3221214640 1131361970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27334 13086 16 0 210560 0
vsize: 842304
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 88427 59 0 0 25 0 11 0 837802281 862519296 27358 4294967295 134512640 134569956 3221224368 3221214064 1131517944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27358 13086 16 0 210560 0
vsize: 842304
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 89412 60 0 0 25 0 11 0 837802281 862519296 27375 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27375 13086 16 0 210560 0
vsize: 842304
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 90398 60 0 0 25 0 11 0 837802281 862519296 27395 4294967295 134512640 134569956 3221224368 3221214744 1131225689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27395 13086 16 0 210560 0
vsize: 842304
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 91382 60 0 0 25 0 11 0 837802281 862519296 27404 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27404 13086 16 0 210560 0
vsize: 842304
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 92364 61 0 0 25 0 11 0 837802281 862519296 27453 4294967295 134512640 134569956 3221224368 3221214744 1131225908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27453 13086 16 0 210560 0
vsize: 842304
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 93346 61 0 0 25 0 11 0 837802281 862519296 27466 4294967295 134512640 134569956 3221224368 3221214488 1131552241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27466 13086 16 0 210560 0
vsize: 842304
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 94330 61 0 0 25 0 11 0 837802281 862519296 27474 4294967295 134512640 134569956 3221224368 3221214656 1131256608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27474 13086 16 0 210560 0
vsize: 842304
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 95314 61 0 0 25 0 11 0 837802281 862519296 27564 4294967295 134512640 134569956 3221224368 3221214788 1131182009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27564 13086 16 0 210560 0
vsize: 842304
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 96301 62 0 0 25 0 11 0 837802281 862519296 27573 4294967295 134512640 134569956 3221224368 3221214656 1131256817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27573 13086 16 0 210560 0
vsize: 842304
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 97286 62 0 0 25 0 11 0 837802281 862519296 27602 4294967295 134512640 134569956 3221224368 3221214112 1131512320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27602 13086 16 0 210560 0
vsize: 842304
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 98270 62 0 0 25 0 11 0 837802281 862519296 27630 4294967295 134512640 134569956 3221224368 3221214744 1131226052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27630 13086 16 0 210560 0
vsize: 842304
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 99255 62 0 0 25 0 11 0 837802281 862519296 27670 4294967295 134512640 134569956 3221224368 3221214656 1131256573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27670 13086 16 0 210560 0
vsize: 842304
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 100241 63 0 0 25 0 11 0 837802281 862519296 27693 4294967295 134512640 134569956 3221224368 3221214344 1131518018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27693 13086 16 0 210560 0
vsize: 842304
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 101229 63 0 0 25 0 11 0 837802281 862519296 27722 4294967295 134512640 134569956 3221224368 3221214744 1131225723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27722 13086 16 0 210560 0
vsize: 842304
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 102216 64 0 0 25 0 11 0 837802281 862519296 27745 4294967295 134512640 134569956 3221224368 3221214656 1131256687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27745 13086 16 0 210560 0
vsize: 842304
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 103205 64 0 0 25 0 11 0 837802281 862519296 27762 4294967295 134512640 134569956 3221224368 3221214656 1131256617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27762 13086 16 0 210560 0
vsize: 842304
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 104195 64 0 0 25 0 11 0 837802281 862519296 27783 4294967295 134512640 134569956 3221224368 3221214656 1131257136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27783 13086 16 0 210560 0
vsize: 842304
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 105185 65 0 0 25 0 11 0 837802281 862519296 27794 4294967295 134512640 134569956 3221224368 3221214744 1131225976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27794 13086 16 0 210560 0
vsize: 842304
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 106175 65 0 0 25 0 11 0 837802281 862519296 27803 4294967295 134512640 134569956 3221224368 3221214744 1131226062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27803 13086 16 0 210560 0
vsize: 842304
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 107165 65 0 0 25 0 11 0 837802281 862519296 27811 4294967295 134512640 134569956 3221224368 3221214656 1131256571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27811 13086 16 0 210560 0
vsize: 842304
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 108155 66 0 0 25 0 11 0 837802281 862519296 27829 4294967295 134512640 134569956 3221224368 3221214736 1131220899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210576 27829 13086 16 0 210560 0
vsize: 842304
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 109145 66 0 0 24 0 11 0 837802281 862519296 27839 4294967295 134512640 134569956 3221224368 3221214616 1131221916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27839 13086 16 0 210560 0
vsize: 842304
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 110135 66 0 0 25 0 11 0 837802281 862519296 27848 4294967295 134512640 134569956 3221224368 3221214744 1131225700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27848 13086 16 0 210560 0
vsize: 842304
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 111125 67 0 0 25 0 11 0 837802281 862519296 27866 4294967295 134512640 134569956 3221224368 3221214656 1131256954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27866 13086 16 0 210560 0
vsize: 842304
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 112116 67 0 0 25 0 11 0 837802281 862519296 27875 4294967295 134512640 134569956 3221224368 3221214024 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27875 13086 16 0 210560 0
vsize: 842304
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 113106 67 0 0 25 0 11 0 837802281 862519296 27890 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27890 13086 16 0 210560 0
vsize: 842304
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 114095 67 0 0 24 0 11 0 837802281 862519296 27903 4294967295 134512640 134569956 3221224368 3221214744 1131225995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27903 13086 16 0 210560 0
vsize: 842304
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 115087 68 0 0 25 0 11 0 837802281 862519296 27911 4294967295 134512640 134569956 3221224368 3221214656 1131256657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27911 13086 16 0 210560 0
vsize: 842304
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 116077 68 0 0 25 0 11 0 837802281 862519296 27928 4294967295 134512640 134569956 3221224368 3221214656 1131257039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27928 13086 16 0 210560 0
vsize: 842304
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 117068 68 0 0 25 0 11 0 837802281 862519296 27936 4294967295 134512640 134569956 3221224368 3221214744 1131181796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27936 13086 16 0 210560 0
vsize: 842304
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 118058 69 0 0 25 0 11 0 837802281 862519296 27943 4294967295 134512640 134569956 3221224368 3221214440 1131517948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27943 13086 16 0 210560 0
vsize: 842304
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 119047 70 0 0 25 0 11 0 837802281 862519296 27958 4294967295 134512640 134569956 3221224368 3221214744 1131226076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27958 13086 16 0 210560 0
vsize: 842304
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12399
Raw data (stat): 12378 (java) R 12377 1586 1585 0 -1 0 18112 3 1 0 120037 70 0 0 25 0 11 0 837802281 862519296 27966 4294967295 134512640 134569956 3221224368 3221214656 1131205556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 27966 13086 16 0 210560 0
vsize: 842304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12401
Raw data (stat): 12378 (java) Z 12377 1586 1585 0 -1 1036 18112 13581 1 0 120057 75 3728 46 25 0 1 0 837802281 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): 1230.3
CPU time (s): 1239.08
CPU user time (s): 1237.85
CPU system time (s): 1.22681
CPU usage (%): 100.714
Max. virtual memory (Kb): 843328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-38
#### END VERIFIER DATA ####