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-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
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	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
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 30083

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        180000 kB
Buffers:         37984 kB
Cached:         786548 kB
SwapCached:        716 kB
Active:          78572 kB
Inactive:       752740 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        179748 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17468 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:58:33 (client local time) WITH STATUS 143 IN 1225.59 SECONDS
stats: 21489 0 1225.59 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/wulflinc20/normalized-mps-v2-13-7-ran10x10a.opb
c reading problem ... done. Time 4.469 ms.
c #vars     2100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              613282 		Current CPU time: 19.24 ms
c CURRENT OPTIMUM=              540824 		Current CPU time: 22.29 ms
c CURRENT OPTIMUM=              488622 		Current CPU time: 116.11 ms
c CURRENT OPTIMUM=              463276 		Current CPU time: 126.87 ms
c starts	: 7
c conflicts	: 469
c decisions	: 23704
c propagations	: 61534
c inspects	: 589466
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 159
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=463276
c Total CPU time (ms) : 1219.352
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 5781
Raw data (stat): 5781 (runsolver) R 5780 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839658759 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.0004 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 5791
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18072 0 1 0 737 41 0 0 25 0 11 0 839658759 857948160 20179 4294967295 134512640 134569956 3221224368 3221214632 1131179330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209460 20179 13086 16 0 209444 0
vsize: 837840
[startup+20.0006 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 5791
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18074 0 1 0 1656 41 0 0 25 0 11 0 839658759 857370624 20171 4294967295 134512640 134569956 3221224368 3221214680 1131360155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 20171 13086 16 0 209303 0
vsize: 837276
[startup+30.0014 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18121 3 1 0 2591 42 0 0 25 0 11 0 839658759 857370624 20494 4294967295 134512640 134569956 3221224368 3221214576 1131317793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 20494 13086 16 0 209303 0
vsize: 837276
[startup+40.0015 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 3510 42 0 0 25 0 11 0 839658759 857370624 20956 4294967295 134512640 134569956 3221224368 3221214680 1131360907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209319 20956 13086 16 0 209303 0
vsize: 837276
[startup+50.0018 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 5793
Raw data (stat): 5781 (java) S 5780 25399 25398 0 -1 0 18122 3 1 0 4480 43 0 0 25 0 11 0 839658759 857370624 21023 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21023 13086 16 0 209303 0
vsize: 837276
[startup+60.0025 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 5451 43 0 0 25 0 11 0 839658759 857370624 21179 4294967295 134512640 134569956 3221224368 3221214576 1131318724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21179 13086 16 0 209303 0
vsize: 837276
[startup+70.0027 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 6436 44 0 0 25 0 11 0 839658759 857370624 21205 4294967295 134512640 134569956 3221224368 3221214576 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209319 21205 13086 16 0 209303 0
vsize: 837276
[startup+80.0039 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 7424 44 0 0 25 0 11 0 839658759 857370624 21213 4294967295 134512640 134569956 3221224368 3221214516 1131200624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21213 13086 16 0 209303 0
vsize: 837276
[startup+90.0046 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 8409 45 0 0 24 0 11 0 839658759 857370624 21271 4294967295 134512640 134569956 3221224368 3221214576 1131319067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21271 13086 16 0 209303 0
vsize: 837276
[startup+100.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 9394 45 0 0 25 0 11 0 839658759 857370624 21279 4294967295 134512640 134569956 3221224368 3221214680 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209319 21279 13086 16 0 209303 0
vsize: 837276
[startup+110.005 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5793
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 10380 45 0 0 25 0 11 0 839658759 857370624 21280 4294967295 134512640 134569956 3221224368 3221214576 1131318189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21280 13086 16 0 209303 0
vsize: 837276
[startup+120.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5794
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 11368 46 0 0 25 0 11 0 839658759 857370624 21348 4294967295 134512640 134569956 3221224368 3221214568 1131318733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21348 13086 16 0 209303 0
vsize: 837276
[startup+130.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 12352 47 0 0 24 0 11 0 839658759 857370624 21362 4294967295 134512640 134569956 3221224368 3221214672 1131358167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21362 13086 16 0 209303 0
vsize: 837276
[startup+140.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 13330 47 0 0 25 0 11 0 839658759 857370624 21369 4294967295 134512640 134569956 3221224368 3221214568 1131318335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21369 13086 16 0 209303 0
vsize: 837276
[startup+150.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 14308 48 0 0 25 0 11 0 839658759 857370624 21409 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21409 13086 16 0 209303 0
vsize: 837276
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 15292 48 0 0 25 0 11 0 839658759 857370624 21504 4294967295 134512640 134569956 3221224368 3221214568 1131318169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21504 13086 16 0 209303 0
vsize: 837276
[startup+170.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 16284 48 0 0 25 0 11 0 839658759 857370624 21518 4294967295 134512640 134569956 3221224368 3221214672 1131359327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21518 13086 16 0 209303 0
vsize: 837276
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 17276 49 0 0 25 0 11 0 839658759 857370624 21533 4294967295 134512640 134569956 3221224368 3221214360 1131247219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21533 13086 16 0 209303 0
vsize: 837276
[startup+190.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 18266 49 0 0 25 0 11 0 839658759 857370624 21534 4294967295 134512640 134569956 3221224368 3221214568 1131318225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21534 13086 16 0 209303 0
vsize: 837276
[startup+200.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 19253 50 0 0 25 0 11 0 839658759 857370624 21547 4294967295 134512640 134569956 3221224368 3221214672 1131360828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21547 13086 16 0 209303 0
vsize: 837276
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 20239 50 0 0 24 0 11 0 839658759 857370624 21548 4294967295 134512640 134569956 3221224368 3221214568 1131318854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21548 13086 16 0 209303 0
vsize: 837276
[startup+220.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 21227 50 0 0 25 0 11 0 839658759 857370624 21598 4294967295 134512640 134569956 3221224368 3221214672 1131359309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21598 13086 16 0 209303 0
vsize: 837276
[startup+230.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 22219 51 0 0 25 0 11 0 839658759 857370624 21613 4294967295 134512640 134569956 3221224368 3221214568 1131317881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21613 13086 16 0 209303 0
vsize: 837276
[startup+240.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18122 3 1 0 23211 51 0 0 25 0 11 0 839658759 857370624 21620 4294967295 134512640 134569956 3221224368 3221214352 1131393586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21620 13086 16 0 209303 0
vsize: 837276
[startup+250.012 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 24197 52 0 0 25 0 11 0 839658759 857370624 21655 4294967295 134512640 134569956 3221224368 3221214472 1131247035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21655 13086 16 0 209303 0
vsize: 837276
[startup+260.012 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 25187 52 0 0 25 0 11 0 839658759 857370624 21657 4294967295 134512640 134569956 3221224368 3221214520 1131383076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209319 21657 13086 16 0 209303 0
vsize: 837276
[startup+270.012 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 26172 52 0 0 25 0 11 0 839658759 857370624 21662 4294967295 134512640 134569956 3221224368 3221214568 1131318500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21662 13086 16 0 209303 0
vsize: 837276
[startup+280.013 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 27159 53 0 0 25 0 11 0 839658759 857370624 21705 4294967295 134512640 134569956 3221224368 3221214568 1131318225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21705 13086 16 0 209303 0
vsize: 837276
[startup+290.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 28150 53 0 0 25 0 11 0 839658759 857370624 21736 4294967295 134512640 134569956 3221224368 3221214568 1131318500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21736 13086 16 0 209303 0
vsize: 837276
[startup+300.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 29141 53 0 0 25 0 11 0 839658759 857370624 21737 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21737 13086 16 0 209303 0
vsize: 837276
[startup+310.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 30130 54 0 0 25 0 11 0 839658759 857370624 21746 4294967295 134512640 134569956 3221224368 3221214568 1131317881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209319 21746 13086 16 0 209303 0
vsize: 837276
[startup+320.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 31119 54 0 0 25 0 11 0 839658759 857370624 21784 4294967295 134512640 134569956 3221224368 3221214568 1131317797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 21784 13086 16 0 209303 0
vsize: 837276
[startup+330.014 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 32096 54 0 0 25 0 11 0 839658759 865759232 23836 4294967295 134512640 134569956 3221224368 3221214568 1131318724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211367 23836 13086 16 0 211351 0
vsize: 845468
[startup+340.014 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 33084 54 0 0 25 0 11 0 839658759 863662080 23456 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210855 23456 13086 16 0 210839 0
vsize: 843420
[startup+350.015 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 34071 54 0 0 25 0 11 0 839658759 859467776 22349 4294967295 134512640 134569956 3221224368 3221214672 1131358229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22349 13086 16 0 209815 0
vsize: 839324
[startup+360.015 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 35058 54 0 0 25 0 11 0 839658759 859467776 22397 4294967295 134512640 134569956 3221224368 3221214568 1131318432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22397 13086 16 0 209815 0
vsize: 839324
[startup+370.015 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 36049 54 0 0 25 0 11 0 839658759 859467776 22434 4294967295 134512640 134569956 3221224368 3221214552 1131200665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22434 13086 16 0 209815 0
vsize: 839324
[startup+380.017 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 37036 54 0 0 25 0 11 0 839658759 859467776 22464 4294967295 134512640 134569956 3221224368 3221214472 1131247818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22464 13086 16 0 209815 0
vsize: 839324
[startup+390.017 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 38018 55 0 0 25 0 11 0 839658759 859467776 22473 4294967295 134512640 134569956 3221224368 3221214440 1131393157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22473 13086 16 0 209815 0
vsize: 839324
[startup+400.017 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 38995 55 0 0 25 0 11 0 839658759 859467776 22422 4294967295 134512640 134569956 3221224368 3221214736 1131544329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22422 13086 16 0 209815 0
vsize: 839324
[startup+410.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 39971 55 0 0 25 0 11 0 839658759 859467776 22506 4294967295 134512640 134569956 3221224368 3221214568 1131318724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22506 13086 16 0 209815 0
vsize: 839324
[startup+420.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 40943 55 0 0 25 0 11 0 839658759 859467776 22542 4294967295 134512640 134569956 3221224368 3221214672 1131360907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22542 13086 16 0 209815 0
vsize: 839324
[startup+430.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 41904 55 0 0 25 0 11 0 839658759 859467776 22614 4294967295 134512640 134569956 3221224368 3221214568 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22614 13086 16 0 209815 0
vsize: 839324
[startup+440.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 42866 55 0 0 25 0 11 0 839658759 859467776 22714 4294967295 134512640 134569956 3221224368 3221214568 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 22714 13086 16 0 209815 0
vsize: 839324
[startup+450.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 43841 55 0 0 25 0 11 0 839658759 859467776 22856 4294967295 134512640 134569956 3221224368 3221214480 1131284450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 22856 13086 16 0 209815 0
vsize: 839324
[startup+460.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 44828 55 0 0 25 0 11 0 839658759 859467776 22958 4294967295 134512640 134569956 3221224368 3221214668 1131374944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 22958 13086 16 0 209815 0
vsize: 839324
[startup+470.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 45818 55 0 0 25 0 11 0 839658759 859467776 23010 4294967295 134512640 134569956 3221224368 3221214672 1131359309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 23010 13086 16 0 209815 0
vsize: 839324
[startup+480.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 46810 56 0 0 25 0 11 0 839658759 859467776 23011 4294967295 134512640 134569956 3221224368 3221214512 1131500580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 23011 13086 16 0 209815 0
vsize: 839324
[startup+490.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 47795 56 0 0 25 0 11 0 839658759 859467776 23012 4294967295 134512640 134569956 3221224368 3221214668 1131317772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 23012 13086 16 0 209815 0
vsize: 839324
[startup+500.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 48776 56 0 0 24 0 11 0 839658759 859467776 23039 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 23039 13086 16 0 209815 0
vsize: 839324
[startup+510.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 49760 57 0 0 25 0 11 0 839658759 859467776 23086 4294967295 134512640 134569956 3221224368 3221214448 1131582388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23086 13086 16 0 209815 0
vsize: 839324
[startup+520.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18123 3 1 0 50751 57 0 0 25 0 11 0 839658759 859467776 23150 4294967295 134512640 134569956 3221224368 3221214568 1131319063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23150 13086 16 0 209815 0
vsize: 839324
[startup+530.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 51742 57 0 0 25 0 11 0 839658759 859467776 23161 4294967295 134512640 134569956 3221224368 3221214672 1131358229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23161 13086 16 0 209815 0
vsize: 839324
[startup+540.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 52735 57 0 0 25 0 11 0 839658759 859467776 23179 4294967295 134512640 134569956 3221224368 3221214480 1131201874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23179 13086 16 0 209815 0
vsize: 839324
[startup+550.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 53724 57 0 0 25 0 11 0 839658759 859467776 23192 4294967295 134512640 134569956 3221224368 3221214568 1131317797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23192 13086 16 0 209815 0
vsize: 839324
[startup+560.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 54712 57 0 0 25 0 11 0 839658759 859467776 23199 4294967295 134512640 134569956 3221224368 3221214568 1131318195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23199 13086 16 0 209815 0
vsize: 839324
[startup+570.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 55699 57 0 0 25 0 11 0 839658759 859467776 23203 4294967295 134512640 134569956 3221224368 3221214568 1131317793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23203 13086 16 0 209815 0
vsize: 839324
[startup+580.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 56692 57 0 0 25 0 11 0 839658759 859467776 23243 4294967295 134512640 134569956 3221224368 3221214668 1131317772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23243 13086 16 0 209815 0
vsize: 839324
[startup+590.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 57685 57 0 0 25 0 11 0 839658759 859467776 23251 4294967295 134512640 134569956 3221224368 3221214568 1131317923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23251 13086 16 0 209815 0
vsize: 839324
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 58677 57 0 0 25 0 11 0 839658759 859467776 23252 4294967295 134512640 134569956 3221224368 3221214568 1131318757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23252 13086 16 0 209815 0
vsize: 839324
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 59669 57 0 0 25 0 11 0 839658759 859467776 23263 4294967295 134512640 134569956 3221224368 3221214672 1131360170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23263 13086 16 0 209815 0
vsize: 839324
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 60662 57 0 0 25 0 11 0 839658759 859467776 23275 4294967295 134512640 134569956 3221224368 3221214312 1131581179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23275 13086 16 0 209815 0
vsize: 839324
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 61658 58 0 0 25 0 11 0 839658759 859467776 23281 4294967295 134512640 134569956 3221224368 3221214560 1131247594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23281 13086 16 0 209815 0
vsize: 839324
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 62655 58 0 0 25 0 11 0 839658759 859467776 23281 4294967295 134512640 134569956 3221224368 3221214560 1131247254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23281 13086 16 0 209815 0
vsize: 839324
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 63650 58 0 0 25 0 11 0 839658759 859467776 23281 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23281 13086 16 0 209815 0
vsize: 839324
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 64644 58 0 0 25 0 11 0 839658759 859467776 23285 4294967295 134512640 134569956 3221224368 3221214672 1131360828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23285 13086 16 0 209815 0
vsize: 839324
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 65636 58 0 0 25 0 11 0 839658759 859467776 23285 4294967295 134512640 134569956 3221224368 3221214672 1131361660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23285 13086 16 0 209815 0
vsize: 839324
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 66629 58 0 0 25 0 11 0 839658759 859467776 23297 4294967295 134512640 134569956 3221224368 3221214568 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23297 13086 16 0 209815 0
vsize: 839324
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 67624 58 0 0 25 0 11 0 839658759 859467776 23307 4294967295 134512640 134569956 3221224368 3221214528 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23307 13086 16 0 209815 0
vsize: 839324
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 68619 58 0 0 25 0 11 0 839658759 859467776 23310 4294967295 134512640 134569956 3221224368 3221214568 1131317789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23310 13086 16 0 209815 0
vsize: 839324
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 69615 58 0 0 25 0 11 0 839658759 859467776 23314 4294967295 134512640 134569956 3221224368 3221214668 1131317772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23314 13086 16 0 209815 0
vsize: 839324
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 70610 58 0 0 25 0 11 0 839658759 859467776 23318 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23318 13086 16 0 209815 0
vsize: 839324
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 71605 58 0 0 25 0 11 0 839658759 859467776 23321 4294967295 134512640 134569956 3221224368 3221214568 1131317874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23321 13086 16 0 209815 0
vsize: 839324
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 72600 58 0 0 25 0 11 0 839658759 859467776 23325 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23325 13086 16 0 209815 0
vsize: 839324
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 73595 58 0 0 25 0 11 0 839658759 859467776 23329 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23329 13086 16 0 209815 0
vsize: 839324
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 74589 58 0 0 25 0 11 0 839658759 859467776 23334 4294967295 134512640 134569956 3221224368 3221214568 1131318225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23334 13086 16 0 209815 0
vsize: 839324
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 75583 58 0 0 25 0 11 0 839658759 859467776 23340 4294967295 134512640 134569956 3221224368 3221214396 1131539856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23340 13086 16 0 209815 0
vsize: 839324
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 76575 58 0 0 25 0 11 0 839658759 859467776 23348 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23348 13086 16 0 209815 0
vsize: 839324
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 77571 58 0 0 25 0 11 0 839658759 859467776 23366 4294967295 134512640 134569956 3221224368 3221214568 1131318367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23366 13086 16 0 209815 0
vsize: 839324
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 78566 59 0 0 25 0 11 0 839658759 859467776 23375 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23375 13086 16 0 209815 0
vsize: 839324
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 79560 59 0 0 25 0 11 0 839658759 859467776 23378 4294967295 134512640 134569956 3221224368 3221214672 1131360903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23378 13086 16 0 209815 0
vsize: 839324
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 80555 59 0 0 25 0 11 0 839658759 859467776 23386 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23386 13086 16 0 209815 0
vsize: 839324
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 81549 59 0 0 25 0 11 0 839658759 859467776 23391 4294967295 134512640 134569956 3221224368 3221214568 1131318225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23391 13086 16 0 209815 0
vsize: 839324
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 82544 59 0 0 25 0 11 0 839658759 859467776 23399 4294967295 134512640 134569956 3221224368 3221214568 1131317797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23399 13086 16 0 209815 0
vsize: 839324
[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 83539 59 0 0 25 0 11 0 839658759 859467776 23403 4294967295 134512640 134569956 3221224368 3221214672 1131359309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23403 13086 16 0 209815 0
vsize: 839324
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 84534 59 0 0 25 0 11 0 839658759 859467776 23408 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209831 23408 13086 16 0 209815 0
vsize: 839324
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 85528 59 0 0 25 0 11 0 839658759 859467776 23415 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23415 13086 16 0 209815 0
vsize: 839324
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 86524 59 0 0 25 0 11 0 839658759 859467776 23423 4294967295 134512640 134569956 3221224368 3221214528 1131395175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23423 13086 16 0 209815 0
vsize: 839324
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 87517 60 0 0 25 0 11 0 839658759 859467776 23426 4294967295 134512640 134569956 3221224368 3221214608 1131382756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23426 13086 16 0 209815 0
vsize: 839324
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 88512 60 0 0 25 0 11 0 839658759 859467776 23433 4294967295 134512640 134569956 3221224368 3221214504 1131247121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23433 13086 16 0 209815 0
vsize: 839324
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 89502 60 0 0 25 0 11 0 839658759 859467776 23438 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23438 13086 16 0 209815 0
vsize: 839324
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 90493 60 0 0 25 0 11 0 839658759 859467776 23458 4294967295 134512640 134569956 3221224368 3221214568 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23458 13086 16 0 209815 0
vsize: 839324
[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 91484 60 0 0 25 0 11 0 839658759 859467776 23468 4294967295 134512640 134569956 3221224368 3221214568 1131318169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23468 13086 16 0 209815 0
vsize: 839324
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 92477 60 0 0 25 0 11 0 839658759 859467776 23505 4294967295 134512640 134569956 3221224368 3221214672 1131358229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23505 13086 16 0 209815 0
vsize: 839324
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 93471 60 0 0 25 0 11 0 839658759 859467776 23527 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23527 13086 16 0 209815 0
vsize: 839324
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 94465 60 0 0 25 0 11 0 839658759 859467776 23531 4294967295 134512640 134569956 3221224368 3221214568 1131317797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23531 13086 16 0 209815 0
vsize: 839324
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 95459 60 0 0 25 0 11 0 839658759 859467776 23538 4294967295 134512640 134569956 3221224368 3221214568 1131317793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23538 13086 16 0 209815 0
vsize: 839324
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 96453 60 0 0 25 0 11 0 839658759 859467776 23545 4294967295 134512640 134569956 3221224368 3221214568 1131318775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23545 13086 16 0 209815 0
vsize: 839324
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 97448 60 0 0 25 0 11 0 839658759 859467776 23552 4294967295 134512640 134569956 3221224368 3221214672 1131357935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23552 13086 16 0 209815 0
vsize: 839324
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 98443 60 0 0 25 0 11 0 839658759 859467776 23560 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23560 13086 16 0 209815 0
vsize: 839324
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 99437 60 0 0 25 0 11 0 839658759 859467776 23563 4294967295 134512640 134569956 3221224368 3221214568 1131318367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23563 13086 16 0 209815 0
vsize: 839324
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 100431 60 0 0 25 0 11 0 839658759 859467776 23567 4294967295 134512640 134569956 3221224368 3221214480 1131201837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23567 13086 16 0 209815 0
vsize: 839324
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 101423 61 0 0 25 0 11 0 839658759 859467776 23574 4294967295 134512640 134569956 3221224368 3221214672 1131360926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23574 13086 16 0 209815 0
vsize: 839324
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 102416 61 0 0 25 0 11 0 839658759 859467776 23589 4294967295 134512640 134569956 3221224368 3221214664 1131508268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23589 13086 16 0 209815 0
vsize: 839324
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 103409 61 0 0 25 0 11 0 839658759 859467776 23599 4294967295 134512640 134569956 3221224368 3221214568 1131318335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23599 13086 16 0 209815 0
vsize: 839324
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) S 5780 25399 25398 0 -1 0 18124 3 1 0 104403 61 0 0 25 0 11 0 839658759 859467776 23611 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23611 13086 16 0 209815 0
vsize: 839324
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 105397 61 0 0 25 0 11 0 839658759 859467776 23614 4294967295 134512640 134569956 3221224368 3221214672 1131359151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23614 13086 16 0 209815 0
vsize: 839324
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 106392 61 0 0 25 0 11 0 839658759 859467776 23626 4294967295 134512640 134569956 3221224368 3221214560 1131247121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23626 13086 16 0 209815 0
vsize: 839324
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 107385 61 0 0 25 0 11 0 839658759 859467776 23632 4294967295 134512640 134569956 3221224368 3221214568 1131318246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23632 13086 16 0 209815 0
vsize: 839324
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 108376 61 0 0 25 0 11 0 839658759 859467776 23639 4294967295 134512640 134569956 3221224368 3221214568 1131318367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23639 13086 16 0 209815 0
vsize: 839324
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 109368 61 0 0 25 0 11 0 839658759 859467776 23643 4294967295 134512640 134569956 3221224368 3221214568 1131318553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23643 13086 16 0 209815 0
vsize: 839324
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 110360 61 0 0 25 0 11 0 839658759 859467776 23680 4294967295 134512640 134569956 3221224368 3221214672 1131359298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23680 13086 16 0 209815 0
vsize: 839324
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 111353 61 0 0 25 0 11 0 839658759 859467776 23694 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23694 13086 16 0 209815 0
vsize: 839324
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 112347 61 0 0 25 0 11 0 839658759 859467776 23699 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23699 13086 16 0 209815 0
vsize: 839324
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 113341 61 0 0 25 0 11 0 839658759 859467776 23703 4294967295 134512640 134569956 3221224368 3221214568 1131318845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23703 13086 16 0 209815 0
vsize: 839324
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 114335 61 0 0 25 0 11 0 839658759 859467776 23712 4294967295 134512640 134569956 3221224368 3221214568 1131318267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23712 13086 16 0 209815 0
vsize: 839324
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 115328 61 0 0 25 0 11 0 839658759 859467776 23720 4294967295 134512640 134569956 3221224368 3221214568 1131318290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23720 13086 16 0 209815 0
vsize: 839324
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 116322 61 0 0 25 0 11 0 839658759 859467776 23730 4294967295 134512640 134569956 3221224368 3221214480 1131201872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23730 13086 16 0 209815 0
vsize: 839324
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 117317 61 0 0 25 0 11 0 839658759 859467776 23738 4294967295 134512640 134569956 3221224368 3221214568 1131318001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23738 13086 16 0 209815 0
vsize: 839324
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 118311 61 0 0 25 0 11 0 839658759 859467776 23742 4294967295 134512640 134569956 3221224368 3221214568 1131318492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23742 13086 16 0 209815 0
vsize: 839324
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 119306 61 0 0 25 0 11 0 839658759 859467776 23749 4294967295 134512640 134569956 3221224368 3221214568 1131318772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23749 13086 16 0 209815 0
vsize: 839324
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5795
Raw data (stat): 5781 (java) R 5780 25399 25398 0 -1 0 18124 3 1 0 120299 61 0 0 25 0 11 0 839658759 859467776 23752 4294967295 134512640 134569956 3221224368 3221214672 1131358174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209831 23752 13086 16 0 209815 0
vsize: 839324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.41 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5797
Raw data (stat): 5781 (java) Z 5780 25399 25398 0 -1 1036 18124 9105 1 0 120327 61 2134 35 25 0 1 0 839658759 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): 1220.41
CPU time (s): 1225.59
CPU user time (s): 1224.61
CPU system time (s): 0.975851
CPU usage (%): 100.424
Max. virtual memory (Kb): 845468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	463276
#### END VERIFIER DATA ####