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-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
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	515723936
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	515723936
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	1175.05
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 30087

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 14:43:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21491 boxname=wulflinc12 idbench=1479 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 21491
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        362060 kB
Buffers:         34568 kB
Cached:         616852 kB
SwapCached:        564 kB
Active:          52228 kB
Inactive:       601564 kB
HighTotal:      131008 kB
HighFree:         8512 kB
LowTotal:       903652 kB
LowFree:        353548 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:03:31 (client local time) WITH STATUS 143 IN 1224.4 SECONDS
stats: 21491 0 1224.4 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/wulflinc12/normalized-mps-v2-13-7-ran10x10c.opb
c reading problem ... done. Time 3.928 ms.
c #vars     2100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             3644767 		Current CPU time: 16.21 ms
c CURRENT OPTIMUM=             2966912 		Current CPU time: 48.61 ms
c starts	: 5
c conflicts	: 298
c decisions	: 20194
c propagations	: 53290
c inspects	: 1194668
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 298
c root simplifications	: 231
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=2966912
c Total CPU time (ms) : 1219.332
#### 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 12509
Raw data (stat): 12509 (runsolver) R 12508 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781460685 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.0007 s]
Raw data (loadavg): 1.17 1.03 1.01 3/64 12519
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18076 0 1 0 634 40 0 0 25 0 11 0 781460685 870064128 22645 4294967295 134512640 134569956 3221224368 3221214680 1131382260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 22645 13086 16 0 212402 0
vsize: 849672
[startup+20.002 s]
Raw data (loadavg): 1.22 1.05 1.02 3/64 12520
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18125 3 1 0 1546 41 0 0 25 0 11 0 781460685 869474304 23210 4294967295 134512640 134569956 3221224368 3221214744 1131360101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212274 23210 13086 16 0 212258 0
vsize: 849096
[startup+30.0033 s]
Raw data (loadavg): 1.33 1.08 1.02 2/64 12520
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 2485 41 0 0 25 0 11 0 781460685 868950016 23200 4294967295 134512640 134569956 3221224368 3221214576 1131313882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 23200 13086 16 0 212130 0
vsize: 848584
[startup+40.0042 s]
Raw data (loadavg): 1.28 1.08 1.02 2/64 12520
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 3417 41 0 0 25 0 11 0 781460685 868950016 23319 4294967295 134512640 134569956 3221224368 3221214576 1131313790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 23319 13086 16 0 212130 0
vsize: 848584
[startup+50.0045 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 4377 41 0 0 24 0 11 0 781460685 868950016 23817 4294967295 134512640 134569956 3221224368 3221214576 1131313825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 23817 13086 16 0 212130 0
vsize: 848584
[startup+60.0048 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 5348 42 0 0 25 0 11 0 781460685 868950016 23882 4294967295 134512640 134569956 3221224368 3221214600 1131225928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 23882 13086 16 0 212130 0
vsize: 848584
[startup+70.0058 s]
Raw data (loadavg): 1.17 1.07 1.02 3/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 6332 42 0 0 25 0 11 0 781460685 868950016 23956 4294967295 134512640 134569956 3221224368 3221214624 1131449855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 23956 13086 16 0 212130 0
vsize: 848584
[startup+80.0061 s]
Raw data (loadavg): 1.22 1.08 1.03 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 7318 42 0 0 25 0 11 0 781460685 868950016 23971 4294967295 134512640 134569956 3221224368 3221214576 1131313292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 23971 13086 16 0 212130 0
vsize: 848584
[startup+90.0075 s]
Raw data (loadavg): 1.18 1.08 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 8304 43 0 0 25 0 11 0 781460685 868950016 24023 4294967295 134512640 134569956 3221224368 3221214680 1131384709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24023 13086 16 0 212130 0
vsize: 848584
[startup+100.008 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 9292 43 0 0 25 0 11 0 781460685 868950016 24038 4294967295 134512640 134569956 3221224368 3221214616 1131226055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24038 13086 16 0 212130 0
vsize: 848584
[startup+110.009 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 10271 43 0 0 25 0 11 0 781460685 868950016 24047 4294967295 134512640 134569956 3221224368 3221214576 1131313829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24047 13086 16 0 212130 0
vsize: 848584
[startup+120.01 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 11246 43 0 0 24 0 11 0 781460685 868950016 24106 4294967295 134512640 134569956 3221224368 3221214576 1131313371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24106 13086 16 0 212130 0
vsize: 848584
[startup+130.011 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 12225 43 0 0 25 0 11 0 781460685 868950016 24150 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24150 13086 16 0 212130 0
vsize: 848584
[startup+140.011 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 13210 43 0 0 25 0 11 0 781460685 868950016 24224 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24224 13086 16 0 212130 0
vsize: 848584
[startup+150.012 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 14200 43 0 0 25 0 11 0 781460685 868950016 24303 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24303 13086 16 0 212130 0
vsize: 848584
[startup+160.012 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 15193 43 0 0 25 0 11 0 781460685 868950016 24315 4294967295 134512640 134569956 3221224368 3221214680 1131381416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24315 13086 16 0 212130 0
vsize: 848584
[startup+170.013 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 16186 43 0 0 25 0 11 0 781460685 868950016 24325 4294967295 134512640 134569956 3221224368 3221214280 1131668792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24325 13086 16 0 212130 0
vsize: 848584
[startup+180.013 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 17179 44 0 0 25 0 11 0 781460685 868950016 24340 4294967295 134512640 134569956 3221224368 3221214576 1131313274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24340 13086 16 0 212130 0
vsize: 848584
[startup+190.015 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 18172 44 0 0 25 0 11 0 781460685 868950016 24356 4294967295 134512640 134569956 3221224368 3221214680 1131381500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24356 13086 16 0 212130 0
vsize: 848584
[startup+200.015 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 19165 44 0 0 25 0 11 0 781460685 868950016 24368 4294967295 134512640 134569956 3221224368 3221214680 1131381489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24368 13086 16 0 212130 0
vsize: 848584
[startup+210.016 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 20157 44 0 0 25 0 11 0 781460685 868950016 24381 4294967295 134512640 134569956 3221224368 3221214576 1131313944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24381 13086 16 0 212130 0
vsize: 848584
[startup+220.017 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 21149 44 0 0 25 0 11 0 781460685 868950016 24402 4294967295 134512640 134569956 3221224368 3221214488 1131198005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24402 13086 16 0 212130 0
vsize: 848584
[startup+230.017 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 22143 44 0 0 25 0 11 0 781460685 868950016 24417 4294967295 134512640 134569956 3221224368 3221214576 1131313882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24417 13086 16 0 212130 0
vsize: 848584
[startup+240.018 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 23138 44 0 0 25 0 11 0 781460685 868950016 24425 4294967295 134512640 134569956 3221224368 3221214576 1131313260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24425 13086 16 0 212130 0
vsize: 848584
[startup+250.019 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 24133 45 0 0 25 0 11 0 781460685 868950016 24435 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24435 13086 16 0 212130 0
vsize: 848584
[startup+260.019 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 25126 45 0 0 25 0 11 0 781460685 868950016 24442 4294967295 134512640 134569956 3221224368 3221214576 1131313685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24442 13086 16 0 212130 0
vsize: 848584
[startup+270.021 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 26120 45 0 0 25 0 11 0 781460685 868950016 24449 4294967295 134512640 134569956 3221224368 3221214576 1131313666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24449 13086 16 0 212130 0
vsize: 848584
[startup+280.022 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 27114 45 0 0 25 0 11 0 781460685 868950016 24469 4294967295 134512640 134569956 3221224368 3221214576 1131313253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24469 13086 16 0 212130 0
vsize: 848584
[startup+290.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 28108 45 0 0 25 0 11 0 781460685 868950016 24480 4294967295 134512640 134569956 3221224368 3221214632 1131226903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24480 13086 16 0 212130 0
vsize: 848584
[startup+300.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 29102 45 0 0 17 0 11 0 781460685 868950016 24487 4294967295 134512640 134569956 3221224368 3221214680 1131380287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24487 13086 16 0 212130 0
vsize: 848584
[startup+310.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 30096 45 0 0 25 0 11 0 781460685 868950016 24498 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24498 13086 16 0 212130 0
vsize: 848584
[startup+320.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 31091 45 0 0 25 0 11 0 781460685 868950016 24506 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24506 13086 16 0 212130 0
vsize: 848584
[startup+330.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 32085 45 0 0 25 0 11 0 781460685 868950016 24512 4294967295 134512640 134569956 3221224368 3221214576 1131313620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24512 13086 16 0 212130 0
vsize: 848584
[startup+340.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 33077 46 0 0 25 0 11 0 781460685 868950016 24519 4294967295 134512640 134569956 3221224368 3221214680 1131383733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24519 13086 16 0 212130 0
vsize: 848584
[startup+350.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 34069 46 0 0 25 0 11 0 781460685 868950016 24533 4294967295 134512640 134569956 3221224368 3221214576 1131313260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24533 13086 16 0 212130 0
vsize: 848584
[startup+360.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 35063 46 0 0 25 0 11 0 781460685 868950016 24554 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24554 13086 16 0 212130 0
vsize: 848584
[startup+370.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 36057 46 0 0 25 0 11 0 781460685 868950016 24561 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24561 13086 16 0 212130 0
vsize: 848584
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 37052 46 0 0 25 0 11 0 781460685 868950016 24567 4294967295 134512640 134569956 3221224368 3221214676 1131313228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24567 13086 16 0 212130 0
vsize: 848584
[startup+390.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 38045 46 0 0 25 0 11 0 781460685 868950016 24577 4294967295 134512640 134569956 3221224368 3221214576 1131313317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24577 13086 16 0 212130 0
vsize: 848584
[startup+400.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 39040 46 0 0 25 0 11 0 781460685 868950016 24584 4294967295 134512640 134569956 3221224368 3221214680 1131381493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24584 13086 16 0 212130 0
vsize: 848584
[startup+410.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 40034 46 0 0 25 0 11 0 781460685 868950016 24591 4294967295 134512640 134569956 3221224368 3221214680 1131383824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24591 13086 16 0 212130 0
vsize: 848584
[startup+420.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 41028 46 0 0 25 0 11 0 781460685 868950016 24597 4294967295 134512640 134569956 3221224368 3221214488 1131198008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24597 13086 16 0 212130 0
vsize: 848584
[startup+430.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 42023 47 0 0 25 0 11 0 781460685 868950016 24604 4294967295 134512640 134569956 3221224368 3221214576 1131313906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24604 13086 16 0 212130 0
vsize: 848584
[startup+440.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 43016 47 0 0 25 0 11 0 781460685 868950016 24611 4294967295 134512640 134569956 3221224368 3221214680 1131380287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24611 13086 16 0 212130 0
vsize: 848584
[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 44010 47 0 0 25 0 11 0 781460685 868950016 24618 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24618 13086 16 0 212130 0
vsize: 848584
[startup+460.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 45006 47 0 0 25 0 11 0 781460685 868950016 24622 4294967295 134512640 134569956 3221224368 3221214680 1131383824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24622 13086 16 0 212130 0
vsize: 848584
[startup+470.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 46002 47 0 0 25 0 11 0 781460685 868950016 24629 4294967295 134512640 134569956 3221224368 3221214680 1131384000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24629 13086 16 0 212130 0
vsize: 848584
[startup+480.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 46996 47 0 0 25 0 11 0 781460685 868950016 24636 4294967295 134512640 134569956 3221224368 3221214624 1131449870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24636 13086 16 0 212130 0
vsize: 848584
[startup+490.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 47989 47 0 0 25 0 11 0 781460685 868950016 24642 4294967295 134512640 134569956 3221224368 3221214576 1131313802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24642 13086 16 0 212130 0
vsize: 848584
[startup+500.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 48981 47 0 0 25 0 11 0 781460685 868950016 24650 4294967295 134512640 134569956 3221224368 3221214680 1131381493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24650 13086 16 0 212130 0
vsize: 848584
[startup+510.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 49973 47 0 0 25 0 11 0 781460685 868950016 24663 4294967295 134512640 134569956 3221224368 3221214576 1131313419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24663 13086 16 0 212130 0
vsize: 848584
[startup+520.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 50967 47 0 0 25 0 11 0 781460685 868950016 24678 4294967295 134512640 134569956 3221224368 3221214576 1131313956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24678 13086 16 0 212130 0
vsize: 848584
[startup+530.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 51960 47 0 0 25 0 11 0 781460685 868950016 24691 4294967295 134512640 134569956 3221224368 3221214576 1131313253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24691 13086 16 0 212130 0
vsize: 848584
[startup+540.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 52954 47 0 0 25 0 11 0 781460685 868950016 24700 4294967295 134512640 134569956 3221224368 3221214576 1131313241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24700 13086 16 0 212130 0
vsize: 848584
[startup+550.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 53948 47 0 0 25 0 11 0 781460685 868950016 24707 4294967295 134512640 134569956 3221224368 3221214680 1131380326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24707 13086 16 0 212130 0
vsize: 848584
[startup+560.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 54942 48 0 0 25 0 11 0 781460685 868950016 24714 4294967295 134512640 134569956 3221224368 3221214680 1131380256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24714 13086 16 0 212130 0
vsize: 848584
[startup+570.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 55936 48 0 0 25 0 11 0 781460685 868950016 24720 4294967295 134512640 134569956 3221224368 3221214680 1131384000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24720 13086 16 0 212130 0
vsize: 848584
[startup+580.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 56930 48 0 0 25 0 11 0 781460685 868950016 24724 4294967295 134512640 134569956 3221224368 3221214576 1131313317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24724 13086 16 0 212130 0
vsize: 848584
[startup+590.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 57925 48 0 0 25 0 11 0 781460685 868950016 24731 4294967295 134512640 134569956 3221224368 3221214576 1131313639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24731 13086 16 0 212130 0
vsize: 848584
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 58919 48 0 0 25 0 11 0 781460685 868950016 24737 4294967295 134512640 134569956 3221224368 3221214576 1131314292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24737 13086 16 0 212130 0
vsize: 848584
[startup+610.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 59913 48 0 0 25 0 11 0 781460685 868950016 24741 4294967295 134512640 134569956 3221224368 3221214576 1131313253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24741 13086 16 0 212130 0
vsize: 848584
[startup+620.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 60906 48 0 0 25 0 11 0 781460685 868950016 24748 4294967295 134512640 134569956 3221224368 3221214680 1131380326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24748 13086 16 0 212130 0
vsize: 848584
[startup+630.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 61900 48 0 0 25 0 11 0 781460685 868950016 24754 4294967295 134512640 134569956 3221224368 3221214680 1131380287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24754 13086 16 0 212130 0
vsize: 848584
[startup+640.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 62895 48 0 0 25 0 11 0 781460685 868950016 24758 4294967295 134512640 134569956 3221224368 3221214576 1131313345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24758 13086 16 0 212130 0
vsize: 848584
[startup+650.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 63888 49 0 0 25 0 11 0 781460685 868950016 24765 4294967295 134512640 134569956 3221224368 3221214576 1131313399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24765 13086 16 0 212130 0
vsize: 848584
[startup+660.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 64882 49 0 0 25 0 11 0 781460685 868950016 24772 4294967295 134512640 134569956 3221224368 3221214680 1131384581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24772 13086 16 0 212130 0
vsize: 848584
[startup+670.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 65876 49 0 0 25 0 11 0 781460685 868950016 24775 4294967295 134512640 134569956 3221224368 3221214576 1131313459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24775 13086 16 0 212130 0
vsize: 848584
[startup+680.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 66870 49 0 0 25 0 11 0 781460685 868950016 24782 4294967295 134512640 134569956 3221224368 3221214576 1131313332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24782 13086 16 0 212130 0
vsize: 848584
[startup+690.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 67864 49 0 0 25 0 11 0 781460685 868950016 24788 4294967295 134512640 134569956 3221224368 3221214576 1131314523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24788 13086 16 0 212130 0
vsize: 848584
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 68858 49 0 0 25 0 11 0 781460685 868950016 24792 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24792 13086 16 0 212130 0
vsize: 848584
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 69852 49 0 0 25 0 11 0 781460685 868950016 24798 4294967295 134512640 134569956 3221224368 3221214680 1131380326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24798 13086 16 0 212130 0
vsize: 848584
[startup+720.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 70846 49 0 0 25 0 11 0 781460685 868950016 24806 4294967295 134512640 134569956 3221224368 3221214576 1131313343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24806 13086 16 0 212130 0
vsize: 848584
[startup+730.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 71839 49 0 0 25 0 11 0 781460685 868950016 24810 4294967295 134512640 134569956 3221224368 3221214576 1131314273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24810 13086 16 0 212130 0
vsize: 848584
[startup+740.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 72832 49 0 0 25 0 11 0 781460685 868950016 24817 4294967295 134512640 134569956 3221224368 3221214576 1131313713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24817 13086 16 0 212130 0
vsize: 848584
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 73827 49 0 0 25 0 11 0 781460685 868950016 24821 4294967295 134512640 134569956 3221224368 3221214680 1131380287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24821 13086 16 0 212130 0
vsize: 848584
[startup+760.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 74820 49 0 0 25 0 11 0 781460685 868950016 24829 4294967295 134512640 134569956 3221224368 3221214576 1131314176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24829 13086 16 0 212130 0
vsize: 848584
[startup+770.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 75812 49 0 0 25 0 11 0 781460685 868950016 24833 4294967295 134512640 134569956 3221224368 3221214488 1131198460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24833 13086 16 0 212130 0
vsize: 848584
[startup+780.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 76804 49 0 0 25 0 11 0 781460685 868950016 24840 4294967295 134512640 134569956 3221224368 3221214680 1131383763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24840 13086 16 0 212130 0
vsize: 848584
[startup+790.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 77797 49 0 0 25 0 11 0 781460685 868950016 24858 4294967295 134512640 134569956 3221224368 3221214576 1131426748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24858 13086 16 0 212130 0
vsize: 848584
[startup+800.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 78789 49 0 0 25 0 11 0 781460685 868950016 24863 4294967295 134512640 134569956 3221224368 3221214680 1131383736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24863 13086 16 0 212130 0
vsize: 848584
[startup+810.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 79781 49 0 0 25 0 11 0 781460685 868950016 24870 4294967295 134512640 134569956 3221224368 3221214488 1131198032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24870 13086 16 0 212130 0
vsize: 848584
[startup+820.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 80773 49 0 0 25 0 11 0 781460685 868950016 24896 4294967295 134512640 134569956 3221224368 3221214520 1131313755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24896 13086 16 0 212130 0
vsize: 848584
[startup+830.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 81766 49 0 0 25 0 11 0 781460685 868950016 24899 4294967295 134512640 134569956 3221224368 3221214520 1131314273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24899 13086 16 0 212130 0
vsize: 848584
[startup+840.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 82760 49 0 0 22 0 11 0 781460685 868950016 24906 4294967295 134512640 134569956 3221224368 3221214520 1131313260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24906 13086 16 0 212130 0
vsize: 848584
[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 83751 50 0 0 25 0 11 0 781460685 868950016 24913 4294967295 134512640 134569956 3221224368 3221214224 1131668721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24913 13086 16 0 212130 0
vsize: 848584
[startup+860.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 84743 50 0 0 25 0 11 0 781460685 868950016 24917 4294967295 134512640 134569956 3221224368 3221214624 1131384696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24917 13086 16 0 212130 0
vsize: 848584
[startup+870.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 85736 51 0 0 25 0 11 0 781460685 868950016 24925 4294967295 134512640 134569956 3221224368 3221214520 1131313376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24925 13086 16 0 212130 0
vsize: 848584
[startup+880.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 86727 51 0 0 25 0 11 0 781460685 868950016 24934 4294967295 134512640 134569956 3221224368 3221214520 1131313343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24934 13086 16 0 212130 0
vsize: 848584
[startup+890.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 87720 51 0 0 25 0 11 0 781460685 868950016 24937 4294967295 134512640 134569956 3221224368 3221214520 1131314266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24937 13086 16 0 212130 0
vsize: 848584
[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 88713 51 0 0 25 0 11 0 781460685 868950016 24944 4294967295 134512640 134569956 3221224368 3221214136 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24944 13086 16 0 212130 0
vsize: 848584
[startup+910.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 89705 52 0 0 25 0 11 0 781460685 868950016 24947 4294967295 134512640 134569956 3221224368 3221214520 1131313575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24947 13086 16 0 212130 0
vsize: 848584
[startup+920.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 90697 52 0 0 25 0 11 0 781460685 868950016 24954 4294967295 134512640 134569956 3221224368 3221214432 1131198041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24954 13086 16 0 212130 0
vsize: 848584
[startup+930.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 91690 52 0 0 25 0 11 0 781460685 868950016 24960 4294967295 134512640 134569956 3221224368 3221214520 1131313419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24960 13086 16 0 212130 0
vsize: 848584
[startup+940.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 92682 52 0 0 25 0 11 0 781460685 868950016 24964 4294967295 134512640 134569956 3221224368 3221214432 1131198045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24964 13086 16 0 212130 0
vsize: 848584
[startup+950.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 93674 53 0 0 25 0 11 0 781460685 868950016 24970 4294967295 134512640 134569956 3221224368 3221214520 1131313843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24970 13086 16 0 212130 0
vsize: 848584
[startup+960.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 94667 53 0 0 25 0 11 0 781460685 868950016 24974 4294967295 134512640 134569956 3221224368 3221214432 1131198010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24974 13086 16 0 212130 0
vsize: 848584
[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 95660 53 0 0 25 0 11 0 781460685 868950016 24980 4294967295 134512640 134569956 3221224368 3221214624 1131380287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 24980 13086 16 0 212130 0
vsize: 848584
[startup+980.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 96652 54 0 0 25 0 11 0 781460685 868950016 24987 4294967295 134512640 134569956 3221224368 3221214520 1131313713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24987 13086 16 0 212130 0
vsize: 848584
[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) S 12508 32284 32283 0 -1 0 18126 3 1 0 97645 54 0 0 25 0 11 0 781460685 868950016 24990 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24990 13086 16 0 212130 0
vsize: 848584
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 98638 55 0 0 25 0 11 0 781460685 868950016 24997 4294967295 134512640 134569956 3221224368 3221214520 1131313713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 24997 13086 16 0 212130 0
vsize: 848584
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12521
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 99630 55 0 0 25 0 11 0 781460685 868950016 25000 4294967295 134512640 134569956 3221224368 3221214520 1131313681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25000 13086 16 0 212130 0
vsize: 848584
[startup+1020.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 100616 60 0 0 25 0 11 0 781460685 868950016 25007 4294967295 134512640 134569956 3221224368 3221214776 1131193945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25007 13086 16 0 212130 0
vsize: 848584
[startup+1030.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 101609 60 0 0 25 0 11 0 781460685 868950016 25010 4294967295 134512640 134569956 3221224368 3221214624 1131380256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25010 13086 16 0 212130 0
vsize: 848584
[startup+1040.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 102601 60 0 0 25 0 11 0 781460685 868950016 25024 4294967295 134512640 134569956 3221224368 3221214664 1131382175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25024 13086 16 0 212130 0
vsize: 848584
[startup+1050.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 103596 60 0 0 25 0 11 0 781460685 868950016 25027 4294967295 134512640 134569956 3221224368 3221214664 1131381351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25027 13086 16 0 212130 0
vsize: 848584
[startup+1060.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 104589 60 0 0 25 0 11 0 781460685 868950016 25030 4294967295 134512640 134569956 3221224368 3221214664 1131380287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25030 13086 16 0 212130 0
vsize: 848584
[startup+1070.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 105582 60 0 0 25 0 11 0 781460685 868950016 25037 4294967295 134512640 134569956 3221224368 3221214560 1131313438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25037 13086 16 0 212130 0
vsize: 848584
[startup+1080.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12574
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 106574 60 0 0 25 0 11 0 781460685 868950016 25040 4294967295 134512640 134569956 3221224368 3221214560 1131313274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25040 13086 16 0 212130 0
vsize: 848584
[startup+1090.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 107564 60 0 0 25 0 11 0 781460685 868950016 25053 4294967295 134512640 134569956 3221224368 3221214560 1131313843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25053 13086 16 0 212130 0
vsize: 848584
[startup+1100.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 108555 60 0 0 25 0 11 0 781460685 868950016 25060 4294967295 134512640 134569956 3221224368 3221214560 1131314292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25060 13086 16 0 212130 0
vsize: 848584
[startup+1110.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 109545 60 0 0 25 0 11 0 781460685 868950016 25070 4294967295 134512640 134569956 3221224368 3221214664 1131381478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25070 13086 16 0 212130 0
vsize: 848584
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 110537 60 0 0 25 0 11 0 781460685 868950016 25099 4294967295 134512640 134569956 3221224368 3221214472 1131198008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25099 13086 16 0 212130 0
vsize: 848584
[startup+1130.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 111529 60 0 0 25 0 11 0 781460685 868950016 25113 4294967295 134512640 134569956 3221224368 3221214560 1131313825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212146 25113 13086 16 0 212130 0
vsize: 848584
[startup+1140.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 112522 61 0 0 25 0 11 0 781460685 868950016 25120 4294967295 134512640 134569956 3221224368 3221214664 1131380294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25120 13086 16 0 212130 0
vsize: 848584
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 113515 61 0 0 25 0 11 0 781460685 868950016 25132 4294967295 134512640 134569956 3221224368 3221214664 1131381489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25132 13086 16 0 212130 0
vsize: 848584
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 114508 61 0 0 25 0 11 0 781460685 868950016 25136 4294967295 134512640 134569956 3221224368 3221214560 1131314531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25136 13086 16 0 212130 0
vsize: 848584
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 115502 61 0 0 25 0 11 0 781460685 868950016 25139 4294967295 134512640 134569956 3221224368 3221214560 1131313685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25139 13086 16 0 212130 0
vsize: 848584
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 116494 61 0 0 25 0 11 0 781460685 868950016 25146 4294967295 134512640 134569956 3221224368 3221214560 1131313646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25146 13086 16 0 212130 0
vsize: 848584
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 117487 61 0 0 25 0 11 0 781460685 868950016 25149 4294967295 134512640 134569956 3221224368 3221214560 1131313740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25149 13086 16 0 212130 0
vsize: 848584
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 118480 61 0 0 25 0 11 0 781460685 868950016 25156 4294967295 134512640 134569956 3221224368 3221214560 1131313685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25156 13086 16 0 212130 0
vsize: 848584
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 119473 61 0 0 25 0 11 0 781460685 868950016 25162 4294967295 134512640 134569956 3221224368 3221214560 1131313673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25162 13086 16 0 212130 0
vsize: 848584
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12576
Raw data (stat): 12509 (java) R 12508 32284 32283 0 -1 0 18126 3 1 0 120466 61 0 0 25 0 11 0 781460685 868950016 25165 4294967295 134512640 134569956 3221224368 3221214080 1085679267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 25165 13086 16 0 212130 0
vsize: 848584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.38 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12578
Raw data (stat): 12509 (java) Z 12508 32284 32283 0 -1 1036 18126 5258 1 0 120488 61 1866 24 25 0 1 0 781460685 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.38
CPU time (s): 1224.4
CPU user time (s): 1223.54
CPU system time (s): 0.85487
CPU usage (%): 100.329
Max. virtual memory (Kb): 849672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2966912
#### END VERIFIER DATA ####