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/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 30086

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        637552 kB
Buffers:         34252 kB
Cached:         341420 kB
SwapCached:        640 kB
Active:          87948 kB
Inactive:       290140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637300 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13256 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:01:25 (client local time) WITH STATUS 143 IN 1255.7 SECONDS
stats: 21490 0 1255.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-ran10x10b.opb
c reading problem ... done. Time 3.705 ms.
c #vars     2100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1098967 		Current CPU time: 10.64 ms
c starts	: 7
c conflicts	: 1697
c decisions	: 15356
c propagations	: 47232
c inspects	: 2041290
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1697
c root simplifications	: 104
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -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 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 X16_bit1 X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 X47_bit0 X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -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 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -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 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -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 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 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 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 X59_bit0 -X59_bit1 -X59_bit2 X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -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 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -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 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -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 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -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 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -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 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 X70_bit_7 X70_bit_6 X70_bit_5 X70_bit_4 -X70_bit_3 X70_bit_2 -X70_bit_1 -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 -X71_bit_7 X71_bit_6 X71_bit_5 -X71_bit_4 X71_bit_3 X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 X72_bit_7 X72_bit_6 X72_bit_5 X72_bit_4 X72_bit_3 -X72_bit_2 -X72_bit_1 -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 X73_bit_7 X73_bit_6 X73_bit_5 X73_bit_4 X73_bit_3 X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 X74_bit_7 X74_bit_6 X74_bit_5 X74_bit_4 X74_bit_3 X74_bit_2 -X74_bit_1 -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 X75_bit_7 X75_bit_6 X75_bit_5 X75_bit_4 X75_bit_3 X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -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 X77_bit_7 X77_bit_6 X77_bit_5 X77_bit_4 X77_bit_3 X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -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 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -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 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -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 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -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 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -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 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -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 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 X90_bit_3 -X90_bit_2 X90_bit_1 -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 -X91_bit_7 X91_bit_6 -X91_bit_5 X91_bit_4 -X91_bit_3 -X91_bit_2 X91_bit_1 -X91_bit0 X91_bit1 -X91_bit2 X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 X92_bit_2 X92_bit_1 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 X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 X93_bit_1 X93_bit0 -X93_bit1 X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 X94_bit_1 -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 X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -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 X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -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 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 Y34_bit0 -Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 Y58_bit0 Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 Y63_bit0 -Y64_bit0 Y65_bit0 -Y66_bit0 Y67_bit0 -Y68_bit0 -Y69_bit0 Y70_bit0 Y71_bit0 Y72_bit0 Y73_bit0 Y74_bit0 Y75_bit0 -Y76_bit0 Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 Y90_bit0 Y91_bit0 Y92_bit0 Y93_bit0 Y94_bit0 Y95_bit0 -Y96_bit0 Y97_bit0 -Y98_bit0 -Y99_bit0 
c objectif function=1098967
c Total CPU time (ms) : 1239.29
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 17042
Raw data (stat): 17042 (runsolver) R 17041 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839676348 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.09 1.02 1.01 4/64 17052
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18192 0 1 0 865 38 0 0 25 0 11 0 839676348 865140736 21366 4294967295 134512640 134569956 3221224368 3221214520 1131241850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211216 21366 13086 16 0 211200 0
vsize: 844864
[startup+20.0016 s]
Raw data (loadavg): 1.30 1.06 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18241 3 1 0 1756 39 0 0 25 0 11 0 839676348 865103872 22277 4294967295 134512640 134569956 3221224368 3221214680 1131367726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211207 22277 13086 16 0 211191 0
vsize: 844828
[startup+30.0023 s]
Raw data (loadavg): 1.26 1.06 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18241 3 1 0 2691 39 0 0 25 0 11 0 839676348 864374784 22138 4294967295 134512640 134569956 3221224368 3221214456 1131244659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211029 22138 13086 16 0 211013 0
vsize: 844116
[startup+40.0026 s]
Raw data (loadavg): 1.22 1.06 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18243 3 1 0 3614 40 0 0 25 0 11 0 839676348 862277632 21696 4294967295 134512640 134569956 3221224368 3221214504 1131244769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 21696 13086 16 0 210501 0
vsize: 842068
[startup+50.0026 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18243 3 1 0 4575 40 0 0 25 0 11 0 839676348 862277632 21902 4294967295 134512640 134569956 3221224368 3221214576 1131276804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 21902 13086 16 0 210501 0
vsize: 842068
[startup+60.0031 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18243 3 1 0 5552 41 0 0 25 0 11 0 839676348 862277632 22241 4294967295 134512640 134569956 3221224368 3221214512 1131244769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 22241 13086 16 0 210501 0
vsize: 842068
[startup+70.0034 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18243 3 1 0 6535 41 0 0 25 0 11 0 839676348 862277632 22256 4294967295 134512640 134569956 3221224368 3221214576 1131276434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 22256 13086 16 0 210501 0
vsize: 842068
[startup+80.0046 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 7510 42 0 0 25 0 11 0 839676348 862277632 22258 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 22258 13086 16 0 210501 0
vsize: 842068
[startup+90.0051 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 8482 42 0 0 25 0 11 0 839676348 862277632 22317 4294967295 134512640 134569956 3221224368 3221214680 1131363121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22317 13086 16 0 210501 0
vsize: 842068
[startup+100.004 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 9460 42 0 0 25 0 11 0 839676348 862277632 22405 4294967295 134512640 134569956 3221224368 3221214744 1131341090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 22405 13086 16 0 210501 0
vsize: 842068
[startup+110.005 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 10435 42 0 0 25 0 11 0 839676348 862277632 22461 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22461 13086 16 0 210501 0
vsize: 842068
[startup+120.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 11404 43 0 0 25 0 11 0 839676348 862277632 22482 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22482 13086 16 0 210501 0
vsize: 842068
[startup+130.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 12376 43 0 0 25 0 11 0 839676348 862277632 22557 4294967295 134512640 134569956 3221224368 3221214584 1131351324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 22557 13086 16 0 210501 0
vsize: 842068
[startup+140.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 13339 43 0 0 25 0 11 0 839676348 862277632 22623 4294967295 134512640 134569956 3221224368 3221214616 1131407235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22623 13086 16 0 210501 0
vsize: 842068
[startup+150.007 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 14299 44 0 0 25 0 11 0 839676348 862277632 22770 4294967295 134512640 134569956 3221224368 3221214408 1131276139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22770 13086 16 0 210501 0
vsize: 842068
[startup+160.007 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 15265 44 0 0 25 0 11 0 839676348 862277632 22875 4294967295 134512640 134569956 3221224368 3221214556 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22875 13086 16 0 210501 0
vsize: 842068
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 16232 44 0 0 25 0 11 0 839676348 862277632 22982 4294967295 134512640 134569956 3221224368 3221214560 1131286816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 22982 13086 16 0 210501 0
vsize: 842068
[startup+180.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 17180 45 0 0 25 0 11 0 839676348 862277632 23178 4294967295 134512640 134569956 3221224368 3221214680 1131364171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23178 13086 16 0 210501 0
vsize: 842068
[startup+190.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18244 3 1 0 18141 45 0 0 25 0 11 0 839676348 862277632 23311 4294967295 134512640 134569956 3221224368 3221214512 1131244531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23311 13086 16 0 210501 0
vsize: 842068
[startup+200.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 19101 45 0 0 25 0 11 0 839676348 862277632 23423 4294967295 134512640 134569956 3221224368 3221214512 1131496501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23423 13086 16 0 210501 0
vsize: 842068
[startup+210.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 20060 46 0 0 25 0 11 0 839676348 862277632 23528 4294967295 134512640 134569956 3221224368 3221214584 1131351308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23528 13086 16 0 210501 0
vsize: 842068
[startup+220.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 21027 46 0 0 25 0 11 0 839676348 862277632 23638 4294967295 134512640 134569956 3221224368 3221214612 1131351200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23638 13086 16 0 210501 0
vsize: 842068
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 21993 46 0 0 25 0 11 0 839676348 862277632 23724 4294967295 134512640 134569956 3221224368 3221214488 1131207193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23724 13086 16 0 210501 0
vsize: 842068
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 22960 46 0 0 25 0 11 0 839676348 862277632 23828 4294967295 134512640 134569956 3221224368 3221214512 1131496893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23828 13086 16 0 210501 0
vsize: 842068
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 23930 47 0 0 25 0 11 0 839676348 862277632 23928 4294967295 134512640 134569956 3221224368 3221214680 1131364988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 23928 13086 16 0 210501 0
vsize: 842068
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 24893 47 0 0 25 0 11 0 839676348 862277632 24066 4294967295 134512640 134569956 3221224368 3221214544 1131276227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24066 13086 16 0 210501 0
vsize: 842068
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 25854 48 0 0 25 0 11 0 839676348 862277632 24170 4294967295 134512640 134569956 3221224368 3221214576 1131275903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24170 13086 16 0 210501 0
vsize: 842068
[startup+280.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 26814 48 0 0 25 0 11 0 839676348 862277632 24269 4294967295 134512640 134569956 3221224368 3221214608 1131398500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24269 13086 16 0 210501 0
vsize: 842068
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 27783 48 0 0 25 0 11 0 839676348 862277632 24346 4294967295 134512640 134569956 3221224368 3221214680 1131363082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24346 13086 16 0 210501 0
vsize: 842068
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 28748 49 0 0 25 0 11 0 839676348 862277632 24417 4294967295 134512640 134569956 3221224368 3221214576 1131275847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24417 13086 16 0 210501 0
vsize: 842068
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 29701 49 0 0 25 0 11 0 839676348 862277632 24519 4294967295 134512640 134569956 3221224368 3221214616 1131407235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24519 13086 16 0 210501 0
vsize: 842068
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 30647 49 0 0 25 0 11 0 839676348 862277632 24649 4294967295 134512640 134569956 3221224368 3221214680 1131367808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24649 13086 16 0 210501 0
vsize: 842068
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 31599 49 0 0 25 0 11 0 839676348 862277632 24779 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24779 13086 16 0 210501 0
vsize: 842068
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 32559 50 0 0 24 0 11 0 839676348 862277632 24988 4294967295 134512640 134569956 3221224368 3221214576 1131276040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 24988 13086 16 0 210501 0
vsize: 842068
[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 33535 50 0 0 25 0 11 0 839676348 862277632 25183 4294967295 134512640 134569956 3221224368 3221214576 1131275813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25183 13086 16 0 210501 0
vsize: 842068
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 34507 50 0 0 24 0 11 0 839676348 862277632 25209 4294967295 134512640 134569956 3221224368 3221214560 1131286384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25209 13086 16 0 210501 0
vsize: 842068
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 35478 51 0 0 25 0 11 0 839676348 862277632 25225 4294967295 134512640 134569956 3221224368 3221214584 1131351361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25225 13086 16 0 210501 0
vsize: 842068
[startup+380.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 36446 51 0 0 25 0 11 0 839676348 862277632 25284 4294967295 134512640 134569956 3221224368 3221214576 1131275820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25284 13086 16 0 210501 0
vsize: 842068
[startup+390.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 37413 51 0 0 25 0 11 0 839676348 862277632 25427 4294967295 134512640 134569956 3221224368 3221214572 1131207204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25427 13086 16 0 210501 0
vsize: 842068
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 38384 52 0 0 25 0 11 0 839676348 862277632 25513 4294967295 134512640 134569956 3221224368 3221214680 1131367745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25513 13086 16 0 210501 0
vsize: 842068
[startup+410.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 39360 52 0 0 25 0 11 0 839676348 862277632 25540 4294967295 134512640 134569956 3221224368 3221214576 1131276818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25540 13086 16 0 210501 0
vsize: 842068
[startup+420.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 40335 53 0 0 25 0 11 0 839676348 862277632 25578 4294967295 134512640 134569956 3221224368 3221214560 1131286448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25578 13086 16 0 210501 0
vsize: 842068
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 41316 53 0 0 25 0 11 0 839676348 862277632 25651 4294967295 134512640 134569956 3221224368 3221214596 1131392883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25651 13086 16 0 210501 0
vsize: 842068
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 42296 53 0 0 25 0 11 0 839676348 862277632 25735 4294967295 134512640 134569956 3221224368 3221214644 1131224787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25735 13086 16 0 210501 0
vsize: 842068
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 43279 54 0 0 25 0 11 0 839676348 862277632 25791 4294967295 134512640 134569956 3221224368 3221214560 1131286436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25791 13086 16 0 210501 0
vsize: 842068
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 44260 54 0 0 25 0 11 0 839676348 862277632 25813 4294967295 134512640 134569956 3221224368 3221214512 1131496896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25813 13086 16 0 210501 0
vsize: 842068
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 45234 55 0 0 25 0 11 0 839676348 862277632 25853 4294967295 134512640 134569956 3221224368 3221214512 1131496497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25853 13086 16 0 210501 0
vsize: 842068
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 46211 55 0 0 25 0 11 0 839676348 862277632 25868 4294967295 134512640 134569956 3221224368 3221214680 1131363121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25868 13086 16 0 210501 0
vsize: 842068
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 47180 56 0 0 25 0 11 0 839676348 862277632 25971 4294967295 134512640 134569956 3221224368 3221214504 1131244769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 25971 13086 16 0 210501 0
vsize: 842068
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 48155 56 0 0 25 0 11 0 839676348 862277632 26002 4294967295 134512640 134569956 3221224368 3221214560 1131286423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26002 13086 16 0 210501 0
vsize: 842068
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 49127 57 0 0 25 0 11 0 839676348 862277632 26092 4294967295 134512640 134569956 3221224368 3221214680 1131367640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26092 13086 16 0 210501 0
vsize: 842068
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 50098 57 0 0 25 0 11 0 839676348 862277632 26152 4294967295 134512640 134569956 3221224368 3221214504 1131244769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26152 13086 16 0 210501 0
vsize: 842068
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 51071 57 0 0 25 0 11 0 839676348 862277632 26229 4294967295 134512640 134569956 3221224368 3221214504 1131244769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26229 13086 16 0 210501 0
vsize: 842068
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 52046 58 0 0 25 0 11 0 839676348 862277632 26295 4294967295 134512640 134569956 3221224368 3221214512 1131244980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26295 13086 16 0 210501 0
vsize: 842068
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 53016 58 0 0 25 0 11 0 839676348 862277632 26379 4294967295 134512640 134569956 3221224368 3221214416 1131507682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 26379 13086 16 0 210501 0
vsize: 842068
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 53992 59 0 0 25 0 11 0 839676348 862277632 26449 4294967295 134512640 134569956 3221224368 3221214504 1131244452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26449 13086 16 0 210501 0
vsize: 842068
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 54967 59 0 0 25 0 11 0 839676348 862277632 26513 4294967295 134512640 134569956 3221224368 3221214512 1131496921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26513 13086 16 0 210501 0
vsize: 842068
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 55938 59 0 0 25 0 11 0 839676348 862277632 26599 4294967295 134512640 134569956 3221224368 3221214408 1131276853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26599 13086 16 0 210501 0
vsize: 842068
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 56905 60 0 0 25 0 11 0 839676348 862277632 26677 4294967295 134512640 134569956 3221224368 3221214576 1131275943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26677 13086 16 0 210501 0
vsize: 842068
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 57883 60 0 0 25 0 11 0 839676348 862277632 26750 4294967295 134512640 134569956 3221224368 3221214136 1131705696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26750 13086 16 0 210501 0
vsize: 842068
[startup+610.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 58856 61 0 0 25 0 11 0 839676348 862277632 26848 4294967295 134512640 134569956 3221224368 3221214680 1131364171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26848 13086 16 0 210501 0
vsize: 842068
[startup+620.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 59837 61 0 0 25 0 11 0 839676348 862277632 26934 4294967295 134512640 134569956 3221224368 3221214504 1131244579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26934 13086 16 0 210501 0
vsize: 842068
[startup+630.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 60820 62 0 0 25 0 11 0 839676348 862277632 26974 4294967295 134512640 134569956 3221224368 3221214576 1131276747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26974 13086 16 0 210501 0
vsize: 842068
[startup+640.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 61804 62 0 0 25 0 11 0 839676348 862277632 26980 4294967295 134512640 134569956 3221224368 3221214216 1131709335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 26980 13086 16 0 210501 0
vsize: 842068
[startup+650.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 62787 63 0 0 25 0 11 0 839676348 862277632 27004 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27004 13086 16 0 210501 0
vsize: 842068
[startup+660.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 63772 63 0 0 25 0 11 0 839676348 862277632 27045 4294967295 134512640 134569956 3221224368 3221214828 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27045 13086 16 0 210501 0
vsize: 842068
[startup+670.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 64748 63 0 0 24 0 11 0 839676348 862277632 27088 4294967295 134512640 134569956 3221224368 3221214576 1131275895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27088 13086 16 0 210501 0
vsize: 842068
[startup+680.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 65730 63 0 0 25 0 11 0 839676348 862277632 27101 4294967295 134512640 134569956 3221224368 3221214328 1131709380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27101 13086 16 0 210501 0
vsize: 842068
[startup+690.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 66706 63 0 0 25 0 11 0 839676348 862277632 27194 4294967295 134512640 134569956 3221224368 3221214680 1131363085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27194 13086 16 0 210501 0
vsize: 842068
[startup+700.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 67689 63 0 0 25 0 11 0 839676348 862277632 27229 4294967295 134512640 134569956 3221224368 3221214832 1131204500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27229 13086 16 0 210501 0
vsize: 842068
[startup+710.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 68676 64 0 0 25 0 11 0 839676348 862277632 27238 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27238 13086 16 0 210501 0
vsize: 842068
[startup+720.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 69655 64 0 0 25 0 11 0 839676348 862277632 27273 4294967295 134512640 134569956 3221224368 3221214488 1131206144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27273 13086 16 0 210501 0
vsize: 842068
[startup+730.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 70636 65 0 0 24 0 11 0 839676348 862277632 27308 4294967295 134512640 134569956 3221224368 3221214680 1131364175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27308 13086 16 0 210501 0
vsize: 842068
[startup+740.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 71620 65 0 0 25 0 11 0 839676348 862277632 27312 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27312 13086 16 0 210501 0
vsize: 842068
[startup+750.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 72607 65 0 0 25 0 11 0 839676348 862277632 27364 4294967295 134512640 134569956 3221224368 3221214184 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27364 13086 16 0 210501 0
vsize: 842068
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 73595 66 0 0 25 0 11 0 839676348 862277632 27390 4294967295 134512640 134569956 3221224368 3221214680 1131367880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27390 13086 16 0 210501 0
vsize: 842068
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 74586 66 0 0 25 0 11 0 839676348 862277632 27406 4294967295 134512640 134569956 3221224368 3221214424 1131510788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27406 13086 16 0 210501 0
vsize: 842068
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 75578 67 0 0 25 0 11 0 839676348 862277632 27412 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27412 13086 16 0 210501 0
vsize: 842068
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 76568 67 0 0 25 0 11 0 839676348 862277632 27413 4294967295 134512640 134569956 3221224368 3221214680 1131364945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27413 13086 16 0 210501 0
vsize: 842068
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 77553 67 0 0 25 0 11 0 839676348 862277632 27426 4294967295 134512640 134569956 3221224368 3221214680 1131364149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27426 13086 16 0 210501 0
vsize: 842068
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 78539 68 0 0 25 0 11 0 839676348 862277632 27435 4294967295 134512640 134569956 3221224368 3221214576 1131244812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27435 13086 16 0 210501 0
vsize: 842068
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 79526 69 0 0 25 0 11 0 839676348 862277632 27451 4294967295 134512640 134569956 3221224368 3221214624 1131357448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27451 13086 16 0 210501 0
vsize: 842068
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 80512 69 0 0 24 0 11 0 839676348 862277632 27463 4294967295 134512640 134569956 3221224368 3221213824 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27463 13086 16 0 210501 0
vsize: 842068
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 81499 69 0 0 25 0 11 0 839676348 862277632 27486 4294967295 134512640 134569956 3221224368 3221214680 1131367874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27486 13086 16 0 210501 0
vsize: 842068
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 82486 69 0 0 25 0 11 0 839676348 862277632 27489 4294967295 134512640 134569956 3221224368 3221214576 1131276317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27489 13086 16 0 210501 0
vsize: 842068
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 83469 70 0 0 25 0 11 0 839676348 862277632 27513 4294967295 134512640 134569956 3221224368 3221214488 1131206133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27513 13086 16 0 210501 0
vsize: 842068
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 84453 70 0 0 25 0 11 0 839676348 862277632 27533 4294967295 134512640 134569956 3221224368 3221214680 1131362891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27533 13086 16 0 210501 0
vsize: 842068
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 85437 71 0 0 25 0 11 0 839676348 862277632 27545 4294967295 134512640 134569956 3221224368 3221214576 1131276774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27545 13086 16 0 210501 0
vsize: 842068
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 86420 71 0 0 25 0 11 0 839676348 862277632 27585 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27585 13086 16 0 210501 0
vsize: 842068
[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 87405 71 0 0 24 0 11 0 839676348 862277632 27608 4294967295 134512640 134569956 3221224368 3221214576 1131276786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27608 13086 16 0 210501 0
vsize: 842068
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 88388 72 0 0 25 0 11 0 839676348 862277632 27614 4294967295 134512640 134569956 3221224368 3221214680 1131363121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27614 13086 16 0 210501 0
vsize: 842068
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 89371 72 0 0 25 0 11 0 839676348 862277632 27637 4294967295 134512640 134569956 3221224368 3221214576 1131276414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27637 13086 16 0 210501 0
vsize: 842068
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 90355 72 0 0 25 0 11 0 839676348 862277632 27665 4294967295 134512640 134569956 3221224368 3221214576 1131276430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27665 13086 16 0 210501 0
vsize: 842068
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 91339 73 0 0 25 0 11 0 839676348 862277632 27694 4294967295 134512640 134569956 3221224368 3221214680 1131364175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27694 13086 16 0 210501 0
vsize: 842068
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 92326 73 0 0 25 0 11 0 839676348 862277632 27711 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27711 13086 16 0 210501 0
vsize: 842068
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 93311 73 0 0 25 0 11 0 839676348 862277632 27735 4294967295 134512640 134569956 3221224368 3221214576 1131244769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27735 13086 16 0 210501 0
vsize: 842068
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 94296 73 0 0 25 0 11 0 839676348 862277632 27761 4294967295 134512640 134569956 3221224368 3221214680 1131365092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27761 13086 16 0 210501 0
vsize: 842068
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 95281 74 0 0 25 0 11 0 839676348 862277632 27765 4294967295 134512640 134569956 3221224368 3221214536 1131413717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27765 13086 16 0 210501 0
vsize: 842068
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 96268 74 0 0 25 0 11 0 839676348 862277632 27790 4294967295 134512640 134569956 3221224368 3221214576 1131276265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27790 13086 16 0 210501 0
vsize: 842068
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 97254 74 0 0 25 0 11 0 839676348 862277632 27817 4294967295 134512640 134569956 3221224368 3221214680 1131363078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27817 13086 16 0 210501 0
vsize: 842068
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 98239 75 0 0 25 0 11 0 839676348 862277632 27820 4294967295 134512640 134569956 3221224368 3221214576 1131276333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27820 13086 16 0 210501 0
vsize: 842068
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 99227 75 0 0 25 0 11 0 839676348 862277632 27826 4294967295 134512640 134569956 3221224368 3221214680 1131364175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27826 13086 16 0 210501 0
vsize: 842068
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 100212 75 0 0 25 0 11 0 839676348 862277632 27849 4294967295 134512640 134569956 3221224368 3221214576 1131275842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27849 13086 16 0 210501 0
vsize: 842068
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 101195 76 0 0 25 0 11 0 839676348 862277632 27858 4294967295 134512640 134569956 3221224368 3221214576 1131275820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27858 13086 16 0 210501 0
vsize: 842068
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 102179 76 0 0 25 0 11 0 839676348 862277632 27879 4294967295 134512640 134569956 3221224368 3221214576 1131276354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27879 13086 16 0 210501 0
vsize: 842068
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 103164 76 0 0 25 0 11 0 839676348 862277632 27910 4294967295 134512640 134569956 3221224368 3221214572 1131206112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27910 13086 16 0 210501 0
vsize: 842068
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 104147 77 0 0 25 0 11 0 839676348 862277632 27933 4294967295 134512640 134569956 3221224368 3221214680 1131364192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27933 13086 16 0 210501 0
vsize: 842068
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 105132 78 0 0 25 0 11 0 839676348 862277632 27953 4294967295 134512640 134569956 3221224368 3221214576 1131276804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27953 13086 16 0 210501 0
vsize: 842068
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 106117 79 0 0 25 0 11 0 839676348 862277632 27966 4294967295 134512640 134569956 3221224368 3221214576 1131275809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27966 13086 16 0 210501 0
vsize: 842068
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 107102 79 0 0 25 0 11 0 839676348 862277632 27993 4294967295 134512640 134569956 3221224368 3221214128 1131713612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 27993 13086 16 0 210501 0
vsize: 842068
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 108088 79 0 0 25 0 11 0 839676348 862277632 28014 4294967295 134512640 134569956 3221224368 3221214504 1131276818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28014 13086 16 0 210501 0
vsize: 842068
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 109073 80 0 0 25 0 11 0 839676348 862277632 28027 4294967295 134512640 134569956 3221224368 3221214112 1085679454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28027 13086 16 0 210501 0
vsize: 842068
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 110058 80 0 0 25 0 11 0 839676348 862277632 28052 4294967295 134512640 134569956 3221224368 3221214504 1131276239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28052 13086 16 0 210501 0
vsize: 842068
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 111046 81 0 0 25 0 11 0 839676348 862277632 28066 4294967295 134512640 134569956 3221224368 3221214504 1131276657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28066 13086 16 0 210501 0
vsize: 842068
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 112030 82 0 0 25 0 11 0 839676348 862277632 28086 4294967295 134512640 134569956 3221224368 3221214504 1131276169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28086 13086 16 0 210501 0
vsize: 842068
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17053
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 113017 82 0 0 25 0 11 0 839676348 862277632 28103 4294967295 134512640 134569956 3221224368 3221214504 1131276019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210517 28103 13086 16 0 210501 0
vsize: 842068
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 113995 88 0 0 25 0 11 0 839676348 862277632 28107 4294967295 134512640 134569956 3221224368 3221214568 1131407298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28107 13086 16 0 210501 0
vsize: 842068
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 114979 88 0 0 25 0 11 0 839676348 862277632 28117 4294967295 134512640 134569956 3221224368 3221214504 1131276853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28117 13086 16 0 210501 0
vsize: 842068
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 115962 89 0 0 25 0 11 0 839676348 862277632 28122 4294967295 134512640 134569956 3221224368 3221214608 1131363121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28122 13086 16 0 210501 0
vsize: 842068
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 116947 90 0 0 25 0 11 0 839676348 862277632 28128 4294967295 134512640 134569956 3221224368 3221214504 1131276504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28128 13086 16 0 210501 0
vsize: 842068
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 117928 90 0 0 24 0 11 0 839676348 862277632 28185 4294967295 134512640 134569956 3221224368 3221214504 1131276450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28185 13086 16 0 210501 0
vsize: 842068
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17106
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 118912 91 0 0 25 0 11 0 839676348 862277632 28188 4294967295 134512640 134569956 3221224368 3221214608 1131364175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28188 13086 16 0 210501 0
vsize: 842068
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17108
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 119893 92 0 0 25 0 11 0 839676348 862277632 28193 4294967295 134512640 134569956 3221224368 3221214504 1131275809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28193 13086 16 0 210501 0
vsize: 842068
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17108
Raw data (stat): 17042 (java) R 17041 5562 5561 0 -1 0 18245 3 1 0 120871 92 0 0 25 0 11 0 839676348 862277632 28230 4294967295 134512640 134569956 3221224368 3221214504 1131276239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210517 28230 13086 16 0 210501 0
vsize: 842068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.39 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 17110
Raw data (stat): 17042 (java) Z 17041 5562 5561 0 -1 1036 18245 14875 1 0 120896 97 4530 45 25 0 1 0 839676348 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): 1240.39
CPU time (s): 1255.7
CPU user time (s): 1254.27
CPU system time (s): 1.42978
CPU usage (%): 101.234
Max. virtual memory (Kb): 844864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1098967
#### END VERIFIER DATA ####