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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM0d744fe957d41a18692933adc6be4af7
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1410122
Optimality of the best value was proved NO
Number of terms in the objective function 5292
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1511880035
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1511880035
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.72
Number of variables5292
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint21
Maximum length of a constraint420

Trace number 8905

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-20 19:59:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6941 boxname=wulflinc31 idbench=1081 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0d744fe957d41a18692933adc6be4af7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
IDLAUNCH: 6941
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        815324 kB
Buffers:         33584 kB
Cached:         157628 kB
SwapCached:       1160 kB
Active:          84088 kB
Inactive:       109976 kB
HighTotal:      131008 kB
HighFree:          448 kB
LowTotal:       903652 kB
LowFree:        814876 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19772 kB
Committed_AS:    64380 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 20:19:22 (client local time) WITH STATUS 143 IN 1228.72 SECONDS
stats: 6941 0 1228.72 143

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 JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
c reading problem ... done. Time 4.294 ms.
c #vars     5292
c #constraints  318
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1493203 		Current CPU time: 25.73 ms
c CURRENT OPTIMUM=             1410122 		Current CPU time: 617.05 ms
c starts		: 3
c conflicts		: 82
c decisions		: 19623
c propagations		: 74663
c inspects		: 287165
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 81
c root simplifications	: 34
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 32.624038012332726
c non guided choices	5534
c random choices	0
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 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 X103_bit_2 -X103_bit_1 X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 -X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 X112_bit_7 X112_bit_6 -X112_bit_5 -X112_bit_4 X112_bit_3 X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 X113_bit_7 -X113_bit_6 X113_bit_5 X113_bit_4 -X113_bit_3 -X113_bit_2 X113_bit_1 -X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 X119_bit0 -X119_bit1 X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 -X122_bit_2 -X122_bit_1 -X122_bit0 -X122_bit1 -X122_bit2 -X122_bit3 -X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 -X123_bit0 -X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X124_bit_7 -X124_bit_6 -X124_bit_5 -X124_bit_4 -X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 -X126_bit0 -X126_bit1 -X126_bit2 -X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 -X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 -X128_bit1 -X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 -X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 -X132_bit0 -X132_bit1 -X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 -X133_bit1 -X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 -X135_bit_3 -X135_bit_2 -X135_bit_1 -X135_bit0 -X135_bit1 -X135_bit2 -X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X137_bit_7 -X137_bit_6 -X137_bit_5 -X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 -X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 -X138_bit0 -X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X139_bit_7 X139_bit_6 X139_bit_5 -X139_bit_4 -X139_bit_3 X139_bit_2 X139_bit_1 X139_bit0 X139_bit1 X139_bit2 X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 -X140_bit1 -X140_bit2 -X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 -X143_bit0 -X143_bit1 -X143_bit2 -X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -X144_bit_7 -X144_bit_6 -X144_bit_5 -X144_bit_4 -X144_bit_3 -X144_bit_2 -X144_bit_1 -X144_bit0 -X144_bit1 -X144_bit2 -X144_bit3 -X144_bit4 -X144_bit5 -X144_bit6 -X144_bit7 -X144_bit8 -X144_bit9 -X144_bit10 -X144_bit11 -X144_bit12 -X145_bit_7 -X145_bit_6 -X145_bit_5 -X145_bit_4 -X145_bit_3 -X145_bit_2 -X145_bit_1 -X145_bit0 -X145_bit1 -X145_bit2 -X145_bit3 -X145_bit4 -X145_bit5 -X145_bit6 -X145_bit7 -X145_bit8 -X145_bit9 -X145_bit10 -X145_bit11 -X145_bit12 -X146_bit_7 X146_bit_6 -X146_bit_5 X146_bit_4 X146_bit_3 -X146_bit_2 -X146_bit_1 X146_bit0 X146_bit1 X146_bit2 -X146_bit3 -X146_bit4 -X146_bit5 -X146_bit6 -X146_bit7 -X146_bit8 -X146_bit9 -X146_bit10 -X146_bit11 -X146_bit12 -X147_bit_7 -X147_bit_6 -X147_bit_5 -X147_bit_4 -X147_bit_3 -X147_bit_2 -X147_bit_1 -X147_bit0 -X147_bit1 -X147_bit2 -X147_bit3 -X147_bit4 -X147_bit5 -X147_bit6 -X147_bit7 -X147_bit8 -X147_bit9 -X147_bit10 -X147_bit11 -X147_bit12 -X148_bit_7 -X148_bit_6 -X148_bit_5 -X148_bit_4 -X148_bit_3 -X148_bit_2 -X148_bit_1 -X148_bit0 -X148_bit1 -X148_bit2 -X148_bit3 -X148_bit4 -X148_bit5 -X148_bit6 -X148_bit7 -X148_bit8 -X148_bit9 -X148_bit10 -X148_bit11 -X148_bit12 -X149_bit_7 -X149_bit_6 -X149_bit_5 -X149_bit_4 -X149_bit_3 -X149_bit_2 -X149_bit_1 -X149_bit0 -X149_bit1 -X149_bit2 -X149_bit3 -X149_bit4 -X149_bit5 -X149_bit6 -X149_bit7 -X149_bit8 -X149_bit9 -X149_bit10 -X149_bit11 -X149_bit12 -X150_bit_7 -X150_bit_6 -X150_bit_5 -X150_bit_4 -X150_bit_3 -X150_bit_2 -X150_bit_1 -X150_bit0 -X150_bit1 -X150_bit2 -X150_bit3 -X150_bit4 -X150_bit5 -X150_bit6 -X150_bit7 -X150_bit8 -X150_bit9 -X150_bit10 -X150_bit11 -X150_bit12 -X151_bit_7 -X151_bit_6 -X151_bit_5 -X151_bit_4 -X151_bit_3 -X151_bit_2 -X151_bit_1 -X151_bit0 -X151_bit1 -X151_bit2 -X151_bit3 -X151_bit4 -X151_bit5 -X151_bit6 -X151_bit7 -X151_bit8 -X151_bit9 -X151_bit10 -X151_bit11 -X151_bit12 -X152_bit_7 -X152_bit_6 -X152_bit_5 -X152_bit_4 -X152_bit_3 -X152_bit_2 -X152_bit_1 -X152_bit0 -X152_bit1 -X152_bit2 -X152_bit3 -X152_bit4 -X152_bit5 -X152_bit6 -X152_bit7 -X152_bit8 -X152_bit9 -X152_bit10 -X152_bit11 -X152_bit12 -X153_bit_7 -X153_bit_6 -X153_bit_5 -X153_bit_4 -X153_bit_3 -X153_bit_2 -X153_bit_1 -X153_bit0 -X153_bit1 -X153_bit2 -X153_bit3 -X153_bit4 -X153_bit5 -X153_bit6 -X153_bit7 -X153_bit8 -X153_bit9 -X153_bit10 -X153_bit11 -X153_bit12 -X154_bit_7 -X154_bit_6 -X154_bit_5 -X154_bit_4 -X154_bit_3 -X154_bit_2 -X154_bit_1 -X154_bit0 -X154_bit1 -X154_bit2 -X154_bit3 -X154_bit4 -X154_bit5 -X154_bit6 -X154_bit7 -X154_bit8 -X154_bit9 -X154_bit10 -X154_bit11 -X154_bit12 -X155_bit_7 -X155_bit_6 -X155_bit_5 -X155_bit_4 -X155_bit_3 -X155_bit_2 -X155_bit_1 -X155_bit0 -X155_bit1 -X155_bit2 -X155_bit3 -X155_bit4 -X155_bit5 -X155_bit6 -X155_bit7 -X155_bit8 -X155_bit9 -X155_bit10 -X155_bit11 -X155_bit12 -X156_bit_7 -X156_bit_6 -X156_bit_5 -X156_bit_4 -X156_bit_3 -X156_bit_2 -X156_bit_1 -X156_bit0 -X156_bit1 -X156_bit2 -X156_bit3 -X156_bit4 -X156_bit5 -X156_bit6 -X156_bit7 -X156_bit8 -X156_bit9 -X156_bit10 -X156_bit11 -X156_bit12 -X157_bit_7 -X157_bit_6 -X157_bit_5 -X157_bit_4 -X157_bit_3 -X157_bit_2 -X157_bit_1 -X157_bit0 -X157_bit1 -X157_bit2 -X157_bit3 -X157_bit4 -X157_bit5 -X157_bit6 -X157_bit7 -X157_bit8 -X157_bit9 -X157_bit10 -X157_bit11 -X157_bit12 -X158_bit_7 -X158_bit_6 -X158_bit_5 -X158_bit_4 -X158_bit_3 -X158_bit_2 -X158_bit_1 -X158_bit0 -X158_bit1 -X158_bit2 -X158_bit3 -X158_bit4 -X158_bit5 -X158_bit6 -X158_bit7 -X158_bit8 -X158_bit9 -X158_bit10 -X158_bit11 -X158_bit12 -X159_bit_7 -X159_bit_6 -X159_bit_5 -X159_bit_4 -X159_bit_3 -X159_bit_2 -X159_bit_1 -X159_bit0 -X159_bit1 -X159_bit2 -X159_bit3 -X159_bit4 -X159_bit5 -X159_bit6 -X159_bit7 -X159_bit8 -X159_bit9 -X159_bit10 -X159_bit11 -X159_bit12 X160_bit_7 -X160_bit_6 -X160_bit_5 -X160_bit_4 X160_bit_3 -X160_bit_2 X160_bit_1 -X160_bit0 -X160_bit1 X160_bit2 X160_bit3 -X160_bit4 -X160_bit5 -X160_bit6 -X160_bit7 -X160_bit8 -X160_bit9 -X160_bit10 -X160_bit11 -X160_bit12 -X161_bit_7 -X161_bit_6 -X161_bit_5 -X161_bit_4 -X161_bit_3 -X161_bit_2 -X161_bit_1 -X161_bit0 -X161_bit1 -X161_bit2 -X161_bit3 -X161_bit4 -X161_bit5 -X161_bit6 -X161_bit7 -X161_bit8 -X161_bit9 -X161_bit10 -X161_bit11 -X161_bit12 -X162_bit_7 -X162_bit_6 -X162_bit_5 -X162_bit_4 -X162_bit_3 -X162_bit_2 -X162_bit_1 -X162_bit0 -X162_bit1 -X162_bit2 -X162_bit3 -X162_bit4 -X162_bit5 -X162_bit6 -X162_bit7 -X162_bit8 -X162_bit9 -X162_bit10 -X162_bit11 -X162_bit12 -X163_bit_7 -X163_bit_6 -X163_bit_5 -X163_bit_4 -X163_bit_3 -X163_bit_2 -X163_bit_1 -X163_bit0 -X163_bit1 -X163_bit2 -X163_bit3 -X163_bit4 -X163_bit5 -X163_bit6 -X163_bit7 -X163_bit8 -X163_bit9 -X163_bit10 -X163_bit11 -X163_bit12 -X164_bit_7 -X164_bit_6 -X164_bit_5 -X164_bit_4 -X164_bit_3 -X164_bit_2 -X164_bit_1 -X164_bit0 -X164_bit1 -X164_bit2 -X164_bit3 -X164_bit4 -X164_bit5 -X164_bit6 -X164_bit7 -X164_bit8 -X164_bit9 -X164_bit10 -X164_bit11 -X164_bit12 -X165_bit_7 -X165_bit_6 -X165_bit_5 -X165_bit_4 -X165_bit_3 -X165_bit_2 -X165_bit_1 -X165_bit0 -X165_bit1 -X165_bit2 -X165_bit3 -X165_bit4 -X165_bit5 -X165_bit6 -X165_bit7 -X165_bit8 -X165_bit9 -X165_bit10 -X165_bit11 -X165_bit12 -X166_bit_7 -X166_bit_6 -X166_bit_5 -X166_bit_4 -X166_bit_3 -X166_bit_2 -X166_bit_1 -X166_bit0 -X166_bit1 -X166_bit2 -X166_bit3 -X166_bit4 -X166_bit5 -X166_bit6 -X166_bit7 -X166_bit8 -X166_bit9 -X166_bit10 -X166_bit11 -X166_bit12 X167_bit_7 X167_bit_6 X167_bit_5 X167_bit_4 -X167_bit_3 X167_bit_2 -X167_bit_1 X167_bit0 X167_bit1 X167_bit2 -X167_bit3 -X167_bit4 -X167_bit5 -X167_bit6 -X167_bit7 -X167_bit8 -X167_bit9 -X167_bit10 -X167_bit11 -X167_bit12 -X168_bit_7 -X168_bit_6 -X168_bit_5 -X168_bit_4 -X168_bit_3 -X168_bit_2 -X168_bit_1 -X168_bit0 X168_bit1 -X168_bit2 -X168_bit3 -X168_bit4 -X168_bit5 -X168_bit6 -X168_bit7 -X168_bit8 -X168_bit9 -X168_bit10 -X168_bit11 -X168_bit12 -X169_bit_7 -X169_bit_6 -X169_bit_5 -X169_bit_4 -X169_bit_3 -X169_bit_2 -X169_bit_1 -X169_bit0 -X169_bit1 -X169_bit2 -X169_bit3 -X169_bit4 -X169_bit5 -X169_bit6 -X169_bit7 -X169_bit8 -X169_bit9 -X169_bit10 -X169_bit11 -X169_bit12 X170_bit_7 -X170_bit_6 -X170_bit_5 X170_bit_4 X170_bit_3 X170_bit_2 X170_bit_1 X170_bit0 -X170_bit1 -X170_bit2 -X170_bit3 -X170_bit4 -X170_bit5 -X170_bit6 -X170_bit7 -X170_bit8 -X170_bit9 -X170_bit10 -X170_bit11 -X170_bit12 X171_bit_7 -X171_bit_6 X171_bit_5 -X171_bit_4 -X171_bit_3 -X171_bit_2 X171_bit_1 -X171_bit0 X171_bit1 -X171_bit2 -X171_bit3 -X171_bit4 -X171_bit5 -X171_bit6 -X171_bit7 -X171_bit8 -X171_bit9 -X171_bit10 -X171_bit11 -X171_bit12 -X172_bit_7 -X172_bit_6 -X172_bit_5 -X172_bit_4 -X172_bit_3 -X172_bit_2 -X172_bit_1 X172_bit0 X172_bit1 -X172_bit2 -X172_bit3 X172_bit4 -X172_bit5 -X172_bit6 -X172_bit7 -X172_bit8 -X172_bit9 -X172_bit10 -X172_bit11 -X172_bit12 -X173_bit_7 X173_bit_6 X173_bit_5 -X173_bit_4 -X173_bit_3 X173_bit_2 X173_bit_1 -X173_bit0 -X173_bit1 X173_bit2 -X173_bit3 -X173_bit4 -X173_bit5 -X173_bit6 -X173_bit7 -X173_bit8 -X173_bit9 -X173_bit10 -X173_bit11 -X173_bit12 -X174_bit_7 -X174_bit_6 -X174_bit_5 -X174_bit_4 -X174_bit_3 -X174_bit_2 -X174_bit_1 -X174_bit0 -X174_bit1 -X174_bit2 -X174_bit3 -X174_bit4 -X174_bit5 -X174_bit6 -X174_bit7 -X174_bit8 -X174_bit9 -X174_bit10 -X174_bit11 -X174_bit12 -X175_bit_7 -X175_bit_6 -X175_bit_5 -X175_bit_4 -X175_bit_3 -X175_bit_2 -X175_bit_1 -X175_bit0 -X175_bit1 -X175_bit2 -X175_bit3 -X175_bit4 -X175_bit5 -X175_bit6 -X175_bit7 -X175_bit8 -X175_bit9 -X175_bit10 -X175_bit11 -X175_bit12 X176_bit_7 -X176_bit_6 X176_bit_5 -X176_bit_4 X176_bit_3 X176_bit_2 X176_bit_1 -X176_bit0 X176_bit1 X176_bit2 -X176_bit3 -X176_bit4 -X176_bit5 -X176_bit6 -X176_bit7 -X176_bit8 -X176_bit9 -X176_bit10 -X176_bit11 -X176_bit12 -X177_bit_7 -X177_bit_6 -X177_bit_5 -X177_bit_4 -X177_bit_3 -X177_bit_2 -X177_bit_1 -X177_bit0 -X177_bit1 -X177_bit2 -X177_bit3 -X177_bit4 -X177_bit5 -X177_bit6 -X177_bit7 -X177_bit8 -X177_bit9 -X177_bit10 -X177_bit11 -X177_bit12 -X178_bit_7 -X178_bit_6 -X178_bit_5 -X178_bit_4 -X178_bit_3 -X178_bit_2 -X178_bit_1 -X178_bit0 -X178_bit1 -X178_bit2 -X178_bit3 -X178_bit4 -X178_bit5 -X178_bit6 -X178_bit7 -X178_bit8 -X178_bit9 -X178_bit10 -X178_bit11 -X178_bit12 X179_bit_7 -X179_bit_6 X179_bit_5 X179_bit_4 X179_bit_3 X179_bit_2 X179_bit_1 X179_bit0 X179_bit1 X179_bit2 -X179_bit3 -X179_bit4 -X179_bit5 -X179_bit6 -X179_bit7 -X179_bit8 -X179_bit9 -X179_bit10 -X179_bit11 -X179_bit12 X180_bit_7 -X180_bit_6 X180_bit_5 -X180_bit_4 -X180_bit_3 X180_bit_2 X180_bit_1 X180_bit0 -X180_bit1 -X180_bit2 -X180_bit3 -X180_bit4 -X180_bit5 -X180_bit6 -X180_bit7 -X180_bit8 -X180_bit9 -X180_bit10 -X180_bit11 -X180_bit12 -X181_bit_7 -X181_bit_6 -X181_bit_5 -X181_bit_4 -X181_bit_3 -X181_bit_2 -X181_bit_1 -X181_bit0 -X181_bit1 -X181_bit2 -X181_bit3 -X181_bit4 -X181_bit5 -X181_bit6 -X181_bit7 -X181_bit8 -X181_bit9 -X181_bit10 -X181_bit11 -X181_bit12 -X182_bit_7 -X182_bit_6 -X182_bit_5 -X182_bit_4 -X182_bit_3 -X182_bit_2 -X182_bit_1 -X182_bit0 -X182_bit1 -X182_bit2 -X182_bit3 -X182_bit4 -X182_bit5 -X182_bit6 -X182_bit7 -X182_bit8 -X182_bit9 -X182_bit10 -X182_bit11 -X182_bit12 X183_bit_7 X183_bit_6 -X183_bit_5 -X183_bit_4 -X183_bit_3 -X183_bit_2 -X183_bit_1 -X183_bit0 -X183_bit1 -X183_bit2 -X183_bit3 -X183_bit4 -X183_bit5 -X183_bit6 -X183_bit7 -X183_bit8 -X183_bit9 -X183_bit10 -X183_bit11 -X183_bit12 -X184_bit_7 -X184_bit_6 -X184_bit_5 -X184_bit_4 -X184_bit_3 -X184_bit_2 -X184_bit_1 X184_bit0 -X184_bit1 -X184_bit2 X184_bit3 -X184_bit4 -X184_bit5 -X184_bit6 -X184_bit7 -X184_bit8 -X184_bit9 -X184_bit10 -X184_bit11 -X184_bit12 -X185_bit_7 -X185_bit_6 -X185_bit_5 -X185_bit_4 -X185_bit_3 -X185_bit_2 -X185_bit_1 X185_bit0 X185_bit1 X185_bit2 -X185_bit3 -X185_bit4 -X185_bit5 -X185_bit6 -X185_bit7 -X185_bit8 -X185_bit9 -X185_bit10 -X185_bit11 -X185_bit12 -X186_bit_7 -X186_bit_6 -X186_bit_5 -X186_bit_4 -X186_bit_3 -X186_bit_2 -X186_bit_1 -X186_bit0 -X186_bit1 -X186_bit2 -X186_bit3 -X186_bit4 -X186_bit5 -X186_bit6 -X186_bit7 -X186_bit8 -X186_bit9 -X186_bit10 -X186_bit11 -X186_bit12 X187_bit_7 -X187_bit_6 -X187_bit_5 -X187_bit_4 -X187_bit_3 -X187_bit_2 -X187_bit_1 -X187_bit0 -X187_bit1 -X187_bit2 -X187_bit3 -X187_bit4 -X187_bit5 -X187_bit6 -X187_bit7 -X187_bit8 -X187_bit9 -X187_bit10 -X187_bit11 -X187_bit12 X188_bit_7 -X188_bit_6 -X188_bit_5 -X188_bit_4 -X188_bit_3 -X188_bit_2 -X188_bit_1 -X188_bit0 -X188_bit1 -X188_bit2 -X188_bit3 -X188_bit4 -X188_bit5 -X188_bit6 -X188_bit7 -X188_bit8 -X188_bit9 -X188_bit10 -X188_bit11 -X188_bit12 -X189_bit_7 -X189_bit_6 -X189_bit_5 -X189_bit_4 -X189_bit_3 -X189_bit_2 -X189_bit_1 -X189_bit0 -X189_bit1 -X189_bit2 -X189_bit3 -X189_bit4 -X189_bit5 -X189_bit6 -X189_bit7 -X189_bit8 -X189_bit9 -X189_bit10 -X189_bit11 -X189_bit12 -X190_bit_7 -X190_bit_6 -X190_bit_5 -X190_bit_4 -X190_bit_3 -X190_bit_2 -X190_bit_1 -X190_bit0 -X190_bit1 -X190_bit2 -X190_bit3 -X190_bit4 -X190_bit5 -X190_bit6 -X190_bit7 -X190_bit8 -X190_bit9 -X190_bit10 -X190_bit11 -X190_bit12 -X191_bit_7 -X191_bit_6 -X191_bit_5 -X191_bit_4 -X191_bit_3 -X191_bit_2 -X191_bit_1 -X191_bit0 -X191_bit1 -X191_bit2 -X191_bit3 -X191_bit4 -X191_bit5 -X191_bit6 -X191_bit7 -X191_bit8 -X191_bit9 -X191_bit10 -X191_bit11 -X191_bit12 -X192_bit_7 -X192_bit_6 -X192_bit_5 -X192_bit_4 -X192_bit_3 -X192_bit_2 -X192_bit_1 -X192_bit0 -X192_bit1 -X192_bit2 -X192_bit3 -X192_bit4 -X192_bit5 -X192_bit6 -X192_bit7 -X192_bit8 -X192_bit9 -X192_bit10 -X192_bit11 -X192_bit12 -X193_bit_7 -X193_bit_6 -X193_bit_5 -X193_bit_4 -X193_bit_3 -X193_bit_2 -X193_bit_1 -X193_bit0 -X193_bit1 -X193_bit2 -X193_bit3 -X193_bit4 -X193_bit5 -X193_bit6 -X193_bit7 -X193_bit8 -X193_bit9 -X193_bit10 -X193_bit11 -X193_bit12 -X194_bit_7 -X194_bit_6 -X194_bit_5 -X194_bit_4 -X194_bit_3 -X194_bit_2 -X194_bit_1 -X194_bit0 -X194_bit1 -X194_bit2 -X194_bit3 -X194_bit4 -X194_bit5 -X194_bit6 -X194_bit7 -X194_bit8 -X194_bit9 -X194_bit10 -X194_bit11 -X194_bit12 -X195_bit_7 -X195_bit_6 -X195_bit_5 -X195_bit_4 -X195_bit_3 -X195_bit_2 -X195_bit_1 -X195_bit0 -X195_bit1 -X195_bit2 -X195_bit3 -X195_bit4 -X195_bit5 -X195_bit6 -X195_bit7 -X195_bit8 -X195_bit9 -X195_bit10 -X195_bit11 -X195_bit12 -X196_bit_7 -X196_bit_6 -X196_bit_5 -X196_bit_4 -X196_bit_3 -X196_bit_2 -X196_bit_1 -X196_bit0 -X196_bit1 -X196_bit2 -X196_bit3 -X196_bit4 -X196_bit5 -X196_bit6 -X196_bit7 -X196_bit8 -X196_bit9 -X196_bit10 -X196_bit11 -X196_bit12 -X197_bit_7 -X197_bit_6 -X197_bit_5 -X197_bit_4 -X197_bit_3 -X197_bit_2 -X197_bit_1 -X197_bit0 -X197_bit1 -X197_bit2 -X197_bit3 -X197_bit4 -X197_bit5 -X197_bit6 -X197_bit7 -X197_bit8 -X197_bit9 -X197_bit10 -X197_bit11 -X197_bit12 X198_bit_7 -X198_bit_6 X198_bit_5 X198_bit_4 -X198_bit_3 X198_bit_2 X198_bit_1 -X198_bit0 -X198_bit1 -X198_bit2 -X198_bit3 -X198_bit4 -X198_bit5 -X198_bit6 -X198_bit7 -X198_bit8 -X198_bit9 -X198_bit10 -X198_bit11 -X198_bit12 -X199_bit_7 -X199_bit_6 -X199_bit_5 -X199_bit_4 -X199_bit_3 -X199_bit_2 -X199_bit_1 -X199_bit0 -X199_bit1 -X199_bit2 -X199_bit3 -X199_bit4 -X199_bit5 -X199_bit6 -X199_bit7 -X199_bit8 -X199_bit9 -X199_bit10 -X199_bit11 -X199_bit12 -X200_bit_7 -X200_bit_6 -X200_bit_5 -X200_bit_4 -X200_bit_3 -X200_bit_2 -X200_bit_1 -X200_bit0 -X200_bit1 -X200_bit2 -X200_bit3 -X200_bit4 -X200_bit5 -X200_bit6 -X200_bit7 -X200_bit8 -X200_bit9 -X200_bit10 -X200_bit11 -X200_bit12 -X201_bit_7 -X201_bit_6 -X201_bit_5 -X201_bit_4 -X201_bit_3 -X201_bit_2 -X201_bit_1 -X201_bit0 -X201_bit1 -X201_bit2 -X201_bit3 -X201_bit4 -X201_bit5 -X201_bit6 -X201_bit7 -X201_bit8 -X201_bit9 -X201_bit10 -X201_bit11 -X201_bit12 -X202_bit_7 -X202_bit_6 -X202_bit_5 -X202_bit_4 -X202_bit_3 -X202_bit_2 -X202_bit_1 -X202_bit0 -X202_bit1 -X202_bit2 -X202_bit3 -X202_bit4 -X202_bit5 -X202_bit6 -X202_bit7 -X202_bit8 -X202_bit9 -X202_bit10 -X202_bit11 -X202_bit12 -X203_bit_7 -X203_bit_6 -X203_bit_5 -X203_bit_4 -X203_bit_3 -X203_bit_2 -X203_bit_1 -X203_bit0 -X203_bit1 -X203_bit2 -X203_bit3 -X203_bit4 -X203_bit5 -X203_bit6 -X203_bit7 -X203_bit8 -X203_bit9 -X203_bit10 -X203_bit11 -X203_bit12 -X204_bit_7 -X204_bit_6 -X204_bit_5 -X204_bit_4 -X204_bit_3 -X204_bit_2 -X204_bit_1 -X204_bit0 -X204_bit1 -X204_bit2 -X204_bit3 -X204_bit4 -X204_bit5 -X204_bit6 -X204_bit7 -X204_bit8 -X204_bit9 -X204_bit10 -X204_bit11 -X204_bit12 -X205_bit_7 -X205_bit_6 -X205_bit_5 -X205_bit_4 -X205_bit_3 -X205_bit_2 -X205_bit_1 -X205_bit0 -X205_bit1 -X205_bit2 -X205_bit3 -X205_bit4 -X205_bit5 -X205_bit6 -X205_bit7 -X205_bit8 -X205_bit9 -X205_bit10 -X205_bit11 -X205_bit12 -X206_bit_7 -X206_bit_6 -X206_bit_5 -X206_bit_4 -X206_bit_3 -X206_bit_2 -X206_bit_1 -X206_bit0 -X206_bit1 -X206_bit2 -X206_bit3 -X206_bit4 -X206_bit5 -X206_bit6 -X206_bit7 -X206_bit8 -X206_bit9 -X206_bit10 -X206_bit11 -X206_bit12 X207_bit_7 X207_bit_6 -X207_bit_5 -X207_bit_4 X207_bit_3 -X207_bit_2 -X207_bit_1 -X207_bit0 -X207_bit1 X207_bit2 X207_bit3 -X207_bit4 -X207_bit5 -X207_bit6 -X207_bit7 -X207_bit8 -X207_bit9 -X207_bit10 -X207_bit11 -X207_bit12 -X208_bit_7 -X208_bit_6 -X208_bit_5 -X208_bit_4 -X208_bit_3 -X208_bit_2 -X208_bit_1 -X208_bit0 -X208_bit1 -X208_bit2 -X208_bit3 -X208_bit4 -X208_bit5 -X208_bit6 -X208_bit7 -X208_bit8 -X208_bit9 -X208_bit10 -X208_bit11 -X208_bit12 -X209_bit_7 -X209_bit_6 -X209_bit_5 -X209_bit_4 -X209_bit_3 -X209_bit_2 -X209_bit_1 -X209_bit0 -X209_bit1 -X209_bit2 -X209_bit3 -X209_bit4 -X209_bit5 -X209_bit6 -X209_bit7 -X209_bit8 -X209_bit9 -X209_bit10 -X209_bit11 -X209_bit12 -X210_bit_7 -X210_bit_6 -X210_bit_5 -X210_bit_4 -X210_bit_3 -X210_bit_2 -X210_bit_1 -X210_bit0 -X210_bit1 -X210_bit2 -X210_bit3 -X210_bit4 -X210_bit5 -X210_bit6 -X210_bit7 -X210_bit8 -X210_bit9 -X210_bit10 -X210_bit11 -X210_bit12 -X211_bit_7 -X211_bit_6 -X211_bit_5 -X211_bit_4 -X211_bit_3 -X211_bit_2 -X211_bit_1 -X211_bit0 -X211_bit1 -X211_bit2 -X211_bit3 -X211_bit4 -X211_bit5 -X211_bit6 -X211_bit7 -X211_bit8 -X211_bit9 -X211_bit10 -X211_bit11 -X211_bit12 -X212_bit_7 -X212_bit_6 -X212_bit_5 -X212_bit_4 -X212_bit_3 -X212_bit_2 -X212_bit_1 -X212_bit0 -X212_bit1 -X212_bit2 -X212_bit3 -X212_bit4 -X212_bit5 -X212_bit6 -X212_bit7 -X212_bit8 -X212_bit9 -X212_bit10 -X212_bit11 -X212_bit12 X213_bit_7 X213_bit_6 X213_bit_5 -X213_bit_4 X213_bit_3 X213_bit_2 -X213_bit_1 -X213_bit0 -X213_bit1 -X213_bit2 -X213_bit3 -X213_bit4 -X213_bit5 -X213_bit6 -X213_bit7 -X213_bit8 -X213_bit9 -X213_bit10 -X213_bit11 -X213_bit12 -X214_bit_7 -X214_bit_6 -X214_bit_5 -X214_bit_4 -X214_bit_3 -X214_bit_2 -X214_bit_1 -X214_bit0 -X214_bit1 -X214_bit2 -X214_bit3 -X214_bit4 -X214_bit5 -X214_bit6 -X214_bit7 -X214_bit8 -X214_bit9 -X214_bit10 -X214_bit11 -X214_bit12 -X215_bit_7 -X215_bit_6 -X215_bit_5 -X215_bit_4 -X215_bit_3 -X215_bit_2 -X215_bit_1 -X215_bit0 -X215_bit1 -X215_bit2 -X215_bit3 -X215_bit4 -X215_bit5 -X215_bit6 -X215_bit7 -X215_bit8 -X215_bit9 -X215_bit10 -X215_bit11 -X215_bit12 -X216_bit_7 -X216_bit_6 -X216_bit_5 -X216_bit_4 -X216_bit_3 -X216_bit_2 -X216_bit_1 -X216_bit0 -X216_bit1 -X216_bit2 -X216_bit3 -X216_bit4 -X216_bit5 -X216_bit6 -X216_bit7 -X216_bit8 -X216_bit9 -X216_bit10 -X216_bit11 -X216_bit12 -X217_bit_7 -X217_bit_6 -X217_bit_5 -X217_bit_4 -X217_bit_3 -X217_bit_2 -X217_bit_1 -X217_bit0 -X217_bit1 -X217_bit2 -X217_bit3 -X217_bit4 -X217_bit5 -X217_bit6 -X217_bit7 -X217_bit8 -X217_bit9 -X217_bit10 -X217_bit11 -X217_bit12 X218_bit_7 X218_bit_6 X218_bit_5 X218_bit_4 -X218_bit_3 X218_bit_2 -X218_bit_1 -X218_bit0 -X218_bit1 -X218_bit2 X218_bit3 X218_bit4 -X218_bit5 -X218_bit6 -X218_bit7 -X218_bit8 -X218_bit9 -X218_bit10 -X218_bit11 -X218_bit12 -X219_bit_7 -X219_bit_6 -X219_bit_5 -X219_bit_4 -X219_bit_3 -X219_bit_2 -X219_bit_1 -X219_bit0 -X219_bit1 -X219_bit2 -X219_bit3 -X219_bit4 -X219_bit5 -X219_bit6 -X219_bit7 -X219_bit8 -X219_bit9 -X219_bit10 -X219_bit11 -X219_bit12 -X220_bit_7 -X220_bit_6 -X220_bit_5 -X220_bit_4 -X220_bit_3 -X220_bit_2 -X220_bit_1 X220_bit0 X220_bit1 -X220_bit2 -X220_bit3 -X220_bit4 -X220_bit5 -X220_bit6 -X220_bit7 -X220_bit8 -X220_bit9 -X220_bit10 -X220_bit11 -X220_bit12 -X221_bit_7 -X221_bit_6 -X221_bit_5 -X221_bit_4 -X221_bit_3 -X221_bit_2 -X221_bit_1 -X221_bit0 -X221_bit1 -X221_bit2 -X221_bit3 -X221_bit4 -X221_bit5 -X221_bit6 -X221_bit7 -X221_bit8 -X221_bit9 -X221_bit10 -X221_bit11 -X221_bit12 X222_bit_7 X222_bit_6 -X222_bit_5 X222_bit_4 X222_bit_3 -X222_bit_2 -X222_bit_1 -X222_bit0 -X222_bit1 -X222_bit2 -X222_bit3 -X222_bit4 -X222_bit5 -X222_bit6 -X222_bit7 -X222_bit8 -X222_bit9 -X222_bit10 -X222_bit11 -X222_bit12 -X223_bit_7 -X223_bit_6 -X223_bit_5 -X223_bit_4 -X223_bit_3 -X223_bit_2 -X223_bit_1 -X223_bit0 -X223_bit1 -X223_bit2 -X223_bit3 -X223_bit4 -X223_bit5 -X223_bit6 -X223_bit7 -X223_bit8 -X223_bit9 -X223_bit10 -X223_bit11 -X223_bit12 -X224_bit_7 -X224_bit_6 -X224_bit_5 -X224_bit_4 -X224_bit_3 -X224_bit_2 -X224_bit_1 -X224_bit0 -X224_bit1 -X224_bit2 -X224_bit3 -X224_bit4 -X224_bit5 -X224_bit6 -X224_bit7 -X224_bit8 -X224_bit9 -X224_bit10 -X224_bit11 -X224_bit12 -X225_bit_7 -X225_bit_6 -X225_bit_5 -X225_bit_4 -X225_bit_3 -X225_bit_2 -X225_bit_1 -X225_bit0 -X225_bit1 -X225_bit2 -X225_bit3 -X225_bit4 -X225_bit5 -X225_bit6 -X225_bit7 -X225_bit8 -X225_bit9 -X225_bit10 -X225_bit11 -X225_bit12 -X226_bit_7 -X226_bit_6 -X226_bit_5 -X226_bit_4 -X226_bit_3 -X226_bit_2 -X226_bit_1 -X226_bit0 -X226_bit1 -X226_bit2 -X226_bit3 -X226_bit4 -X226_bit5 -X226_bit6 -X226_bit7 -X226_bit8 -X226_bit9 -X226_bit10 -X226_bit11 -X226_bit12 -X227_bit_7 -X227_bit_6 -X227_bit_5 -X227_bit_4 -X227_bit_3 -X227_bit_2 -X227_bit_1 -X227_bit0 -X227_bit1 -X227_bit2 -X227_bit3 -X227_bit4 -X227_bit5 -X227_bit6 -X227_bit7 -X227_bit8 -X227_bit9 -X227_bit10 -X227_bit11 -X227_bit12 -X228_bit_7 -X228_bit_6 -X228_bit_5 -X228_bit_4 -X228_bit_3 -X228_bit_2 -X228_bit_1 -X228_bit0 -X228_bit1 -X228_bit2 -X228_bit3 -X228_bit4 -X228_bit5 -X228_bit6 -X228_bit7 -X228_bit8 -X228_bit9 -X228_bit10 -X228_bit11 -X228_bit12 X229_bit_7 X229_bit_6 X229_bit_5 X229_bit_4 X229_bit_3 X229_bit_2 X229_bit_1 X229_bit0 X229_bit1 -X229_bit2 -X229_bit3 -X229_bit4 -X229_bit5 -X229_bit6 -X229_bit7 -X229_bit8 -X229_bit9 -X229_bit10 -X229_bit11 -X229_bit12 -X230_bit_7 -X230_bit_6 -X230_bit_5 -X230_bit_4 -X230_bit_3 -X230_bit_2 -X230_bit_1 -X230_bit0 -X230_bit1 -X230_bit2 -X230_bit3 -X230_bit4 -X230_bit5 -X230_bit6 -X230_bit7 -X230_bit8 -X230_bit9 -X230_bit10 -X230_bit11 -X230_bit12 -X231_bit_7 -X231_bit_6 -X231_bit_5 -X231_bit_4 -X231_bit_3 -X231_bit_2 -X231_bit_1 -X231_bit0 -X231_bit1 -X231_bit2 -X231_bit3 -X231_bit4 -X231_bit5 -X231_bit6 -X231_bit7 -X231_bit8 -X231_bit9 -X231_bit10 -X231_bit11 -X231_bit12 -X232_bit_7 -X232_bit_6 -X232_bit_5 -X232_bit_4 -X232_bit_3 -X232_bit_2 -X232_bit_1 -X232_bit0 -X232_bit1 -X232_bit2 -X232_bit3 -X232_bit4 -X232_bit5 -X232_bit6 -X232_bit7 -X232_bit8 -X232_bit9 -X232_bit10 -X232_bit11 -X232_bit12 -X233_bit_7 -X233_bit_6 -X233_bit_5 -X233_bit_4 -X233_bit_3 -X233_bit_2 -X233_bit_1 -X233_bit0 -X233_bit1 -X233_bit2 -X233_bit3 -X233_bit4 -X233_bit5 -X233_bit6 -X233_bit7 -X233_bit8 -X233_bit9 -X233_bit10 -X233_bit11 -X233_bit12 -X234_bit_7 -X234_bit_6 -X234_bit_5 -X234_bit_4 -X234_bit_3 -X234_bit_2 -X234_bit_1 -X234_bit0 -X234_bit1 -X234_bit2 -X234_bit3 -X234_bit4 -X234_bit5 -X234_bit6 -X234_bit7 -X234_bit8 -X234_bit9 -X234_bit10 -X234_bit11 -X234_bit12 -X235_bit_7 -X235_bit_6 -X235_bit_5 -X235_bit_4 -X235_bit_3 -X235_bit_2 -X235_bit_1 -X235_bit0 -X235_bit1 -X235_bit2 -X235_bit3 -X235_bit4 -X235_bit5 -X235_bit6 -X235_bit7 -X235_bit8 -X235_bit9 -X235_bit10 -X235_bit11 -X235_bit12 -X236_bit_7 -X236_bit_6 -X236_bit_5 -X236_bit_4 -X236_bit_3 -X236_bit_2 -X236_bit_1 -X236_bit0 -X236_bit1 -X236_bit2 -X236_bit3 -X236_bit4 -X236_bit5 -X236_bit6 -X236_bit7 -X236_bit8 -X236_bit9 -X236_bit10 -X236_bit11 -X236_bit12 -X237_bit_7 -X237_bit_6 -X237_bit_5 -X237_bit_4 -X237_bit_3 -X237_bit_2 -X237_bit_1 -X237_bit0 -X237_bit1 -X237_bit2 -X237_bit3 -X237_bit4 -X237_bit5 -X237_bit6 -X237_bit7 -X237_bit8 -X237_bit9 -X237_bit10 -X237_bit11 -X237_bit12 -X238_bit_7 -X238_bit_6 -X238_bit_5 -X238_bit_4 -X238_bit_3 -X238_bit_2 -X238_bit_1 -X238_bit0 -X238_bit1 -X238_bit2 -X238_bit3 -X238_bit4 -X238_bit5 -X238_bit6 -X238_bit7 -X238_bit8 -X238_bit9 -X238_bit10 -X238_bit11 -X238_bit12 -X239_bit_7 -X239_bit_6 -X239_bit_5 -X239_bit_4 -X239_bit_3 -X239_bit_2 -X239_bit_1 -X239_bit0 -X239_bit1 -X239_bit2 -X239_bit3 -X239_bit4 -X239_bit5 -X239_bit6 -X239_bit7 -X239_bit8 -X239_bit9 -X239_bit10 -X239_bit11 -X239_bit12 -X240_bit_7 -X240_bit_6 -X240_bit_5 -X240_bit_4 -X240_bit_3 -X240_bit_2 -X240_bit_1 -X240_bit0 -X240_bit1 -X240_bit2 -X240_bit3 -X240_bit4 -X240_bit5 -X240_bit6 -X240_bit7 -X240_bit8 -X240_bit9 -X240_bit10 -X240_bit11 -X240_bit12 -X241_bit_7 -X241_bit_6 -X241_bit_5 -X241_bit_4 -X241_bit_3 -X241_bit_2 -X241_bit_1 -X241_bit0 -X241_bit1 -X241_bit2 -X241_bit3 -X241_bit4 -X241_bit5 -X241_bit6 -X241_bit7 -X241_bit8 -X241_bit9 -X241_bit10 -X241_bit11 -X241_bit12 -X242_bit_7 -X242_bit_6 -X242_bit_5 -X242_bit_4 -X242_bit_3 -X242_bit_2 -X242_bit_1 -X242_bit0 -X242_bit1 -X242_bit2 -X242_bit3 -X242_bit4 -X242_bit5 -X242_bit6 -X242_bit7 -X242_bit8 -X242_bit9 -X242_bit10 -X242_bit11 -X242_bit12 -X243_bit_7 -X243_bit_6 -X243_bit_5 -X243_bit_4 -X243_bit_3 -X243_bit_2 -X243_bit_1 -X243_bit0 -X243_bit1 -X243_bit2 -X243_bit3 -X243_bit4 -X243_bit5 -X243_bit6 -X243_bit7 -X243_bit8 -X243_bit9 -X243_bit10 -X243_bit11 -X243_bit12 -X244_bit_7 -X244_bit_6 -X244_bit_5 -X244_bit_4 -X244_bit_3 -X244_bit_2 -X244_bit_1 -X244_bit0 -X244_bit1 -X244_bit2 -X244_bit3 -X244_bit4 -X244_bit5 -X244_bit6 -X244_bit7 -X244_bit8 -X244_bit9 -X244_bit10 -X244_bit11 -X244_bit12 -X245_bit_7 -X245_bit_6 -X245_bit_5 -X245_bit_4 -X245_bit_3 -X245_bit_2 -X245_bit_1 -X245_bit0 -X245_bit1 -X245_bit2 -X245_bit3 -X245_bit4 -X245_bit5 -X245_bit6 -X245_bit7 -X245_bit8 -X245_bit9 -X245_bit10 -X245_bit11 -X245_bit12 -X246_bit_7 -X246_bit_6 -X246_bit_5 -X246_bit_4 -X246_bit_3 -X246_bit_2 -X246_bit_1 X246_bit0 -X246_bit1 -X246_bit2 X246_bit3 X246_bit4 -X246_bit5 -X246_bit6 -X246_bit7 -X246_bit8 -X246_bit9 -X246_bit10 -X246_bit11 -X246_bit12 -X247_bit_7 -X247_bit_6 -X247_bit_5 -X247_bit_4 -X247_bit_3 -X247_bit_2 -X247_bit_1 -X247_bit0 -X247_bit1 -X247_bit2 -X247_bit3 -X247_bit4 -X247_bit5 -X247_bit6 -X247_bit7 -X247_bit8 -X247_bit9 -X247_bit10 -X247_bit11 -X247_bit12 -X248_bit_7 -X248_bit_6 -X248_bit_5 -X248_bit_4 -X248_bit_3 -X248_bit_2 -X248_bit_1 -X248_bit0 -X248_bit1 -X248_bit2 -X248_bit3 -X248_bit4 -X248_bit5 -X248_bit6 -X248_bit7 -X248_bit8 -X248_bit9 -X248_bit10 -X248_bit11 -X248_bit12 -X249_bit_7 -X249_bit_6 -X249_bit_5 -X249_bit_4 -X249_bit_3 -X249_bit_2 -X249_bit_1 -X249_bit0 -X249_bit1 -X249_bit2 -X249_bit3 -X249_bit4 -X249_bit5 -X249_bit6 -X249_bit7 -X249_bit8 -X249_bit9 -X249_bit10 -X249_bit11 -X249_bit12 -X250_bit_7 -X250_bit_6 -X250_bit_5 -X250_bit_4 -X250_bit_3 -X250_bit_2 -X250_bit_1 -X250_bit0 -X250_bit1 -X250_bit2 -X250_bit3 -X250_bit4 -X250_bit5 -X250_bit6 -X250_bit7 -X250_bit8 -X250_bit9 -X250_bit10 -X250_bit11 -X250_bit12 -X251_bit_7 -X251_bit_6 -X251_bit_5 -X251_bit_4 -X251_bit_3 -X251_bit_2 -X251_bit_1 -X251_bit0 -X251_bit1 -X251_bit2 -X251_bit3 -X251_bit4 -X251_bit5 -X251_bit6 -X251_bit7 -X251_bit8 -X251_bit9 -X251_bit10 -X251_bit11 -X251_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 -Y100_bit0 -Y101_bit0 Y102_bit0 Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 -Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 Y112_bit0 Y113_bit0 -Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 Y119_bit0 -Y120_bit0 -Y121_bit0 -Y122_bit0 -Y123_bit0 -Y124_bit0 -Y125_bit0 -Y126_bit0 -Y127_bit0 -Y128_bit0 -Y129_bit0 -Y130_bit0 -Y131_bit0 -Y132_bit0 -Y133_bit0 -Y134_bit0 -Y135_bit0 -Y136_bit0 -Y137_bit0 -Y138_bit0 Y139_bit0 -Y140_bit0 -Y141_bit0 -Y142_bit0 -Y143_bit0 Y144_bit0 -Y145_bit0 Y146_bit0 -Y147_bit0 -Y148_bit0 -Y149_bit0 -Y150_bit0 -Y151_bit0 -Y152_bit0 -Y153_bit0 -Y154_bit0 -Y155_bit0 -Y156_bit0 -Y157_bit0 -Y158_bit0 -Y159_bit0 Y160_bit0 -Y161_bit0 -Y162_bit0 -Y163_bit0 -Y164_bit0 -Y165_bit0 -Y166_bit0 Y167_bit0 Y168_bit0 -Y169_bit0 Y170_bit0 Y171_bit0 Y172_bit0 Y173_bit0 -Y174_bit0 -Y175_bit0 Y176_bit0 -Y177_bit0 -Y178_bit0 Y179_bit0 Y180_bit0 -Y181_bit0 -Y182_bit0 Y183_bit0 Y184_bit0 Y185_bit0 -Y186_bit0 Y187_bit0 Y188_bit0 -Y189_bit0 -Y190_bit0 -Y191_bit0 -Y192_bit0 -Y193_bit0 -Y194_bit0 -Y195_bit0 -Y196_bit0 -Y197_bit0 Y198_bit0 -Y199_bit0 -Y200_bit0 -Y201_bit0 -Y202_bit0 -Y203_bit0 -Y204_bit0 -Y205_bit0 -Y206_bit0 Y207_bit0 -Y208_bit0 -Y209_bit0 -Y210_bit0 -Y211_bit0 -Y212_bit0 Y213_bit0 -Y214_bit0 -Y215_bit0 -Y216_bit0 -Y217_bit0 Y218_bit0 -Y219_bit0 Y220_bit0 -Y221_bit0 Y222_bit0 -Y223_bit0 -Y224_bit0 -Y225_bit0 -Y226_bit0 -Y227_bit0 -Y228_bit0 Y229_bit0 -Y230_bit0 -Y231_bit0 -Y232_bit0 -Y233_bit0 -Y234_bit0 -Y235_bit0 -Y236_bit0 -Y237_bit0 -Y238_bit0 -Y239_bit0 -Y240_bit0 -Y241_bit0 -Y242_bit0 -Y243_bit0 -Y244_bit0 -Y245_bit0 Y246_bit0 -Y247_bit0 -Y248_bit0 -Y249_bit0 -Y250_bit0 -Y251_bit0 
c objective function=1410122
c Total CPU time (ms) : 1219.514

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1861202085 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 39 3 38 16 0 23 0
[pid=17019] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/17019
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=17020
New thread pid=17021
New thread pid=17022
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=17023
New thread pid=17024
New thread pid=17025
New thread pid=17026
New thread pid=17027
New thread pid=17028
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x21.opb
New thread pid=17029

[startup+10.0024 s]
Raw data (loadavg): 1.24 1.05 1.02 4/67 17029
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18135 0 1 0 642 44 0 0 20 0 11 0 1861202085 861188096 21006 4294967295 134512640 134569956 3221224336 3221213776 1073952732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 210251 21006 13129 16 0 210235 0
[pid=17019] vsize: 841004
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (Kb) 841004

[startup+20.0024 s]
Raw data (loadavg): 1.21 1.05 1.01 2/67 17031
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18143 0 1 0 1575 45 0 0 25 0 11 0 1861202085 860844032 22022 4294967295 134512640 134569956 3221224336 3221214480 1131579232 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 210167 22022 13129 16 0 210151 0
[pid=17019] vsize: 840668
Current children cumulated CPU time (s) 16.2
Current children cumulated vsize (Kb) 840668
One traced child (pid=17029) exited with status: 0
New thread pid=17032

[startup+30.0033 s]
Raw data (loadavg): 1.17 1.05 1.01 2/67 17032
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18198 3 1 0 2542 45 0 0 17 0 11 0 1861202085 859217920 21922 4294967295 134512640 134569956 3221224336 3221214640 1131555205 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 21922 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 25.87
Current children cumulated vsize (Kb) 839080

[startup+40.0042 s]
Raw data (loadavg): 1.15 1.04 1.01 2/67 17032
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18211 3 1 0 3491 46 0 0 25 0 11 0 1861202085 859217920 21992 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 21992 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 35.37
Current children cumulated vsize (Kb) 839080

[startup+50.0062 s]
Raw data (loadavg): 1.12 1.04 1.01 2/67 17032
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18221 3 1 0 4448 46 0 0 25 0 11 0 1861202085 859217920 22061 4294967295 134512640 134569956 3221224336 3221214640 1131552395 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22061 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 44.94
Current children cumulated vsize (Kb) 839080

[startup+60.0071 s]
Raw data (loadavg): 1.10 1.04 1.01 2/67 17032
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18230 3 1 0 5413 46 0 0 25 0 11 0 1861202085 859217920 22140 4294967295 134512640 134569956 3221224336 3221214704 1131714828 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22140 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 54.59
Current children cumulated vsize (Kb) 839080

[startup+70.008 s]
Raw data (loadavg): 1.09 1.04 1.01 2/67 17087
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18241 3 1 0 6364 51 0 0 17 0 11 0 1861202085 859217920 22344 4294967295 134512640 134569956 3221224336 3221214640 1131552395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22344 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 64.15
Current children cumulated vsize (Kb) 839080

[startup+80.0099 s]
Raw data (loadavg): 1.07 1.04 1.01 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18250 3 1 0 7330 51 0 0 25 0 11 0 1861202085 859217920 22348 4294967295 134512640 134569956 3221224336 3221214552 1131513917 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22348 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 73.81
Current children cumulated vsize (Kb) 839080

[startup+90.0109 s]
Raw data (loadavg): 1.06 1.03 1.01 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18261 3 1 0 8287 52 0 0 25 0 11 0 1861202085 859217920 22360 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22360 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 83.39
Current children cumulated vsize (Kb) 839080

[startup+100.013 s]
Raw data (loadavg): 1.05 1.03 1.01 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18271 3 1 0 9267 52 0 0 25 0 11 0 1861202085 859217920 22613 4294967295 134512640 134569956 3221224336 3221214552 1131513704 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22613 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 93.19
Current children cumulated vsize (Kb) 839080

[startup+110.014 s]
Raw data (loadavg): 1.04 1.03 1.01 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18281 3 1 0 10257 52 0 0 25 0 11 0 1861202085 859217920 22616 4294967295 134512640 134569956 3221224336 3221214552 1131513585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22616 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 103.09
Current children cumulated vsize (Kb) 839080

[startup+120.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18291 3 1 0 11241 53 0 0 25 0 11 0 1861202085 859217920 22630 4294967295 134512640 134569956 3221224336 3221214552 1131513759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22630 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 112.94
Current children cumulated vsize (Kb) 839080

[startup+130.016 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 17089
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18302 3 1 0 12224 53 0 0 24 0 11 0 1861202085 859217920 22643 4294967295 134512640 134569956 3221224336 3221214552 1131513759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22643 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 122.77
Current children cumulated vsize (Kb) 839080

[startup+140.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 17093
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18312 3 1 0 13209 54 0 0 25 0 11 0 1861202085 859217920 22656 4294967295 134512640 134569956 3221224336 3221214552 1131513946 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22656 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 132.63
Current children cumulated vsize (Kb) 839080

[startup+150.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 17095
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18322 3 1 0 14199 55 0 0 24 0 11 0 1861202085 859217920 22705 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22705 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 142.54
Current children cumulated vsize (Kb) 839080

[startup+160.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 17095
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18333 3 1 0 15190 55 0 0 25 0 11 0 1861202085 859217920 22707 4294967295 134512640 134569956 3221224336 3221214552 1131513452 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22707 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 152.45
Current children cumulated vsize (Kb) 839080

[startup+170.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 17095
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18341 3 1 0 16182 56 0 0 25 0 11 0 1861202085 859217920 22728 4294967295 134512640 134569956 3221224336 3221214600 1131545184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22728 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (Kb) 839080

[startup+180.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 17095
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18347 3 1 0 17177 56 0 0 25 0 11 0 1861202085 859217920 22729 4294967295 134512640 134569956 3221224336 3221214480 1131482131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22729 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 172.33
Current children cumulated vsize (Kb) 839080

[startup+190.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 17095
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18353 3 1 0 18171 57 0 0 25 0 11 0 1861202085 859217920 22729 4294967295 134512640 134569956 3221224336 3221214496 1131578181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22729 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 182.28
Current children cumulated vsize (Kb) 839080

[startup+200.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18359 3 1 0 19165 57 0 0 24 0 11 0 1861202085 859217920 22730 4294967295 134512640 134569956 3221224336 3221214496 1131577775 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22730 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 192.22
Current children cumulated vsize (Kb) 839080

[startup+210.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18365 3 1 0 20159 57 0 0 19 0 11 0 1861202085 859217920 22731 4294967295 134512640 134569956 3221224336 3221214496 1131577740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22731 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 202.16
Current children cumulated vsize (Kb) 839080

[startup+220.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18370 3 1 0 21155 57 0 0 25 0 11 0 1861202085 859217920 22750 4294967295 134512640 134569956 3221224336 3221214496 1131482208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 212.12
Current children cumulated vsize (Kb) 839080

[startup+230.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18376 3 1 0 22151 57 0 0 25 0 11 0 1861202085 859217920 22750 4294967295 134512640 134569956 3221224336 3221214552 1131521007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (Kb) 839080

[startup+240.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18381 3 1 0 23147 58 0 0 25 0 11 0 1861202085 859217920 22750 4294967295 134512640 134569956 3221224336 3221214584 1131569005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 232.05
Current children cumulated vsize (Kb) 839080

[startup+250.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 17097
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18387 3 1 0 24142 58 0 0 25 0 11 0 1861202085 859217920 22755 4294967295 134512640 134569956 3221224336 3221214496 1131482287 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22755 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 242
Current children cumulated vsize (Kb) 839080

[startup+260.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18392 3 1 0 25137 58 0 0 25 0 11 0 1861202085 859217920 22757 4294967295 134512640 134569956 3221224336 3221214552 1131520895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22757 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 251.95
Current children cumulated vsize (Kb) 839080

[startup+270.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18400 3 1 0 26125 59 0 0 25 0 11 0 1861202085 859217920 22758 4294967295 134512640 134569956 3221224336 3221214552 1131513390 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22758 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 261.84
Current children cumulated vsize (Kb) 839080

[startup+280.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18411 3 1 0 27107 59 0 0 18 0 11 0 1861202085 859217920 22763 4294967295 134512640 134569956 3221224336 3221214640 1131553522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22763 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 271.66
Current children cumulated vsize (Kb) 839080

[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18421 3 1 0 28090 60 0 0 20 0 11 0 1861202085 859217920 22763 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22763 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 281.5
Current children cumulated vsize (Kb) 839080

[startup+300.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18432 3 1 0 29078 60 0 0 25 0 11 0 1861202085 859217920 22834 4294967295 134512640 134569956 3221224336 3221214552 1131513914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22834 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 291.38
Current children cumulated vsize (Kb) 839080

[startup+310.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17099
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18442 3 1 0 30071 61 0 0 23 0 11 0 1861202085 859217920 22835 4294967295 134512640 134569956 3221224336 3221214552 1131513753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22835 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 301.32
Current children cumulated vsize (Kb) 839080

[startup+320.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18453 3 1 0 31063 61 0 0 18 0 11 0 1861202085 859217920 22841 4294967295 134512640 134569956 3221224336 3221214552 1131514341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22841 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 311.24
Current children cumulated vsize (Kb) 839080

[startup+330.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18463 3 1 0 32057 62 0 0 23 0 11 0 1861202085 859217920 22841 4294967295 134512640 134569956 3221224336 3221214552 1131513377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22841 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 321.19
Current children cumulated vsize (Kb) 839080

[startup+340.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18474 3 1 0 33049 62 0 0 25 0 11 0 1861202085 859217920 22841 4294967295 134512640 134569956 3221224336 3221214552 1131513526 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 22841 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 331.11
Current children cumulated vsize (Kb) 839080

[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18484 3 1 0 34027 63 0 0 24 0 11 0 1861202085 859217920 22851 4294967295 134512640 134569956 3221224336 3221214640 1131552435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22851 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (Kb) 839080

[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18494 3 1 0 35001 64 0 0 25 0 11 0 1861202085 859217920 22851 4294967295 134512640 134569956 3221224336 3221214552 1131513388 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22851 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 350.65
Current children cumulated vsize (Kb) 839080

[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17101
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18505 3 1 0 35971 64 0 0 24 0 11 0 1861202085 859217920 22852 4294967295 134512640 134569956 3221224336 3221214552 1131513459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22852 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 360.35
Current children cumulated vsize (Kb) 839080

[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18515 3 1 0 36955 65 0 0 25 0 11 0 1861202085 859217920 22989 4294967295 134512640 134569956 3221224336 3221214552 1131513381 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22989 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 370.2
Current children cumulated vsize (Kb) 839080

[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18526 3 1 0 37942 65 0 0 17 0 11 0 1861202085 859217920 22997 4294967295 134512640 134569956 3221224336 3221214552 1131513735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 22997 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 380.07
Current children cumulated vsize (Kb) 839080

[startup+400.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18536 3 1 0 38931 65 0 0 25 0 11 0 1861202085 859217920 23009 4294967295 134512640 134569956 3221224336 3221214640 1131552191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23009 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 389.96
Current children cumulated vsize (Kb) 839080

[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18547 3 1 0 39918 66 0 0 25 0 11 0 1861202085 859217920 23033 4294967295 134512640 134569956 3221224336 3221214640 1131553596 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23033 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 399.84
Current children cumulated vsize (Kb) 839080

[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18558 3 1 0 40907 66 0 0 17 0 11 0 1861202085 859217920 23034 4294967295 134512640 134569956 3221224336 3221214640 1131552460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23034 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 839080

[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17105
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18568 3 1 0 41897 67 0 0 25 0 11 0 1861202085 859217920 23049 4294967295 134512640 134569956 3221224336 3221214552 1131513749 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23049 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 419.64
Current children cumulated vsize (Kb) 839080

[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18579 3 1 0 42887 68 0 0 25 0 11 0 1861202085 859217920 23064 4294967295 134512640 134569956 3221224336 3221214640 1131552159 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23064 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 429.55
Current children cumulated vsize (Kb) 839080

[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18589 3 1 0 43878 68 0 0 25 0 11 0 1861202085 859217920 23067 4294967295 134512640 134569956 3221224336 3221214800 1131376793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23067 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 439.46
Current children cumulated vsize (Kb) 839080

[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18600 3 1 0 44867 69 0 0 21 0 11 0 1861202085 859217920 23068 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23068 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 449.36
Current children cumulated vsize (Kb) 839080

[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18611 3 1 0 45856 69 0 0 17 0 11 0 1861202085 859217920 23081 4294967295 134512640 134569956 3221224336 3221214640 1131555195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23081 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 459.25
Current children cumulated vsize (Kb) 839080

[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18621 3 1 0 46847 69 0 0 25 0 11 0 1861202085 859217920 23094 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23094 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 469.16
Current children cumulated vsize (Kb) 839080

[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17107
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18631 3 1 0 47833 70 0 0 25 0 11 0 1861202085 859217920 23095 4294967295 134512640 134569956 3221224336 3221214640 1131553533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23095 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 479.03
Current children cumulated vsize (Kb) 839080

[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18642 3 1 0 48819 71 0 0 25 0 11 0 1861202085 859217920 23107 4294967295 134512640 134569956 3221224336 3221214552 1131513459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23107 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 488.9
Current children cumulated vsize (Kb) 839080

[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18653 3 1 0 49809 71 0 0 25 0 11 0 1861202085 859217920 23137 4294967295 134512640 134569956 3221224336 3221214552 1131513388 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23137 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 498.8
Current children cumulated vsize (Kb) 839080

[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18663 3 1 0 50802 72 0 0 25 0 11 0 1861202085 859217920 23138 4294967295 134512640 134569956 3221224336 3221214552 1131513388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23138 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 508.74
Current children cumulated vsize (Kb) 839080

[startup+530.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18674 3 1 0 51794 72 0 0 25 0 11 0 1861202085 859217920 23139 4294967295 134512640 134569956 3221224336 3221214552 1131513388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23139 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 518.66
Current children cumulated vsize (Kb) 839080

[startup+540.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18685 3 1 0 52786 72 0 0 25 0 11 0 1861202085 859217920 23140 4294967295 134512640 134569956 3221224336 3221214552 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23140 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 528.58
Current children cumulated vsize (Kb) 839080

[startup+550.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17109
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18696 3 1 0 53778 73 0 0 16 0 11 0 1861202085 859217920 23153 4294967295 134512640 134569956 3221224336 3221214552 1131513739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23153 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 538.51
Current children cumulated vsize (Kb) 839080

[startup+560.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18706 3 1 0 54771 74 0 0 25 0 11 0 1861202085 859217920 23153 4294967295 134512640 134569956 3221224336 3221214640 1131555132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23153 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 548.45
Current children cumulated vsize (Kb) 839080

[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18717 3 1 0 55765 74 0 0 25 0 11 0 1861202085 859217920 23154 4294967295 134512640 134569956 3221224336 3221214640 1131553536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23154 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 558.39
Current children cumulated vsize (Kb) 839080

[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18728 3 1 0 56759 74 0 0 19 0 11 0 1861202085 859217920 23159 4294967295 134512640 134569956 3221224336 3221214464 1131394929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23159 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 568.33
Current children cumulated vsize (Kb) 839080

[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18738 3 1 0 57752 74 0 0 25 0 11 0 1861202085 859217920 23159 4294967295 134512640 134569956 3221224336 3221214640 1131555117 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23159 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 578.26
Current children cumulated vsize (Kb) 839080

[startup+600.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18749 3 1 0 58743 75 0 0 25 0 11 0 1861202085 859217920 23159 4294967295 134512640 134569956 3221224336 3221214640 1131552388 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23159 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 588.18
Current children cumulated vsize (Kb) 839080

[startup+610.065 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 17111
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18760 3 1 0 59735 76 0 0 22 0 11 0 1861202085 859217920 23160 4294967295 134512640 134569956 3221224336 3221214552 1131513950 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23160 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 598.11
Current children cumulated vsize (Kb) 839080
One traced child (pid=17032) exited with status: 0
New thread pid=17114

[startup+620.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18771 3 1 0 60725 76 0 0 25 0 11 0 1861202085 859217920 23173 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23173 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 608.01
Current children cumulated vsize (Kb) 839080

[startup+630.067 s]
Raw data (loadavg): 1.06 1.01 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18783 3 1 0 61701 77 0 0 24 0 11 0 1861202085 859217920 23173 4294967295 134512640 134569956 3221224336 3221214624 1131554464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23173 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 617.78
Current children cumulated vsize (Kb) 839080

[startup+640.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18793 3 1 0 62676 78 0 0 25 0 11 0 1861202085 859217920 23173 4294967295 134512640 134569956 3221224336 3221214448 1131394933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23173 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 627.54
Current children cumulated vsize (Kb) 839080

[startup+650.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18803 3 1 0 63646 78 0 0 25 0 11 0 1861202085 859217920 23308 4294967295 134512640 134569956 3221224336 3221214536 1131513786 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23308 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 637.24
Current children cumulated vsize (Kb) 839080

[startup+660.071 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18813 3 1 0 64630 79 0 0 25 0 11 0 1861202085 859217920 23321 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23321 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 647.09
Current children cumulated vsize (Kb) 839080

[startup+670.072 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 17114
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18824 3 1 0 65612 79 0 0 25 0 11 0 1861202085 859217920 23334 4294967295 134512640 134569956 3221224336 3221214536 1131513388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23334 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 656.91
Current children cumulated vsize (Kb) 839080

[startup+680.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18834 3 1 0 66599 80 0 0 25 0 11 0 1861202085 859217920 23385 4294967295 134512640 134569956 3221224336 3221214536 1131514252 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23385 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 666.79
Current children cumulated vsize (Kb) 839080

[startup+690.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18845 3 1 0 67592 81 0 0 25 0 11 0 1861202085 859217920 23400 4294967295 134512640 134569956 3221224336 3221214536 1131513940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23400 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 676.73
Current children cumulated vsize (Kb) 839080

[startup+700.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18856 3 1 0 68583 81 0 0 18 0 11 0 1861202085 859217920 23402 4294967295 134512640 134569956 3221224336 3221214532 1131394912 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23402 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 686.64
Current children cumulated vsize (Kb) 839080

[startup+710.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18867 3 1 0 69575 82 0 0 17 0 11 0 1861202085 859217920 23403 4294967295 134512640 134569956 3221224336 3221214624 1131552460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23403 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 696.57
Current children cumulated vsize (Kb) 839080

[startup+720.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18877 3 1 0 70567 82 0 0 25 0 11 0 1861202085 859217920 23404 4294967295 134512640 134569956 3221224336 3221214504 1131216239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23404 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 706.49
Current children cumulated vsize (Kb) 839080

[startup+730.077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 17116
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18887 3 1 0 71561 82 0 0 25 0 11 0 1861202085 859217920 23417 4294967295 134512640 134569956 3221224336 3221214536 1131514229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23417 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 716.43
Current children cumulated vsize (Kb) 839080

[startup+740.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18896 3 1 0 72553 82 0 0 20 0 11 0 1861202085 859217920 23417 4294967295 134512640 134569956 3221224336 3221214624 1131555069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23417 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 726.35
Current children cumulated vsize (Kb) 839080

[startup+750.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18906 3 1 0 73543 83 0 0 25 0 11 0 1861202085 859217920 23418 4294967295 134512640 134569956 3221224336 3221214624 1131552395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23418 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 736.26
Current children cumulated vsize (Kb) 839080

[startup+760.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18917 3 1 0 74531 83 0 0 22 0 11 0 1861202085 859217920 23418 4294967295 134512640 134569956 3221224336 3221214536 1131513623 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23418 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 746.14
Current children cumulated vsize (Kb) 839080

[startup+770.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18928 3 1 0 75523 83 0 0 19 0 11 0 1861202085 859217920 23463 4294967295 134512640 134569956 3221224336 3221214624 1131552399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23463 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 756.06
Current children cumulated vsize (Kb) 839080

[startup+780.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18939 3 1 0 76518 84 0 0 25 0 11 0 1861202085 859217920 23465 4294967295 134512640 134569956 3221224336 3221214624 1131553536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23465 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 766.02
Current children cumulated vsize (Kb) 839080

[startup+790.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17118
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18948 3 1 0 77500 84 0 0 25 0 11 0 1861202085 859217920 23466 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23466 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 775.84
Current children cumulated vsize (Kb) 839080

[startup+800.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18958 3 1 0 78477 85 0 0 25 0 11 0 1861202085 859217920 23466 4294967295 134512640 134569956 3221224336 3221214624 1131555203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23466 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 785.62
Current children cumulated vsize (Kb) 839080

[startup+810.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18969 3 1 0 79450 85 0 0 25 0 11 0 1861202085 859217920 23466 4294967295 134512640 134569956 3221224336 3221214536 1131514335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23466 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 795.35
Current children cumulated vsize (Kb) 839080

[startup+820.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18980 3 1 0 80434 86 0 0 17 0 11 0 1861202085 859217920 23582 4294967295 134512640 134569956 3221224336 3221214536 1131513459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23582 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 805.2
Current children cumulated vsize (Kb) 839080

[startup+830.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 18990 3 1 0 81424 87 0 0 25 0 11 0 1861202085 859217920 23584 4294967295 134512640 134569956 3221224336 3221214536 1131513950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23584 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 815.11
Current children cumulated vsize (Kb) 839080

[startup+840.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19001 3 1 0 82412 87 0 0 25 0 11 0 1861202085 859217920 23598 4294967295 134512640 134569956 3221224336 3221214624 1131552460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23598 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 824.99
Current children cumulated vsize (Kb) 839080

[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17120
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19011 3 1 0 83403 88 0 0 22 0 11 0 1861202085 859217920 23600 4294967295 134512640 134569956 3221224336 3221214448 1131394981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23600 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 834.91
Current children cumulated vsize (Kb) 839080

[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19022 3 1 0 84392 88 0 0 25 0 11 0 1861202085 859217920 23613 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23613 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 844.8
Current children cumulated vsize (Kb) 839080

[startup+870.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19033 3 1 0 85383 89 0 0 25 0 11 0 1861202085 859217920 23622 4294967295 134512640 134569956 3221224336 3221214536 1131513406 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23622 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 854.72
Current children cumulated vsize (Kb) 839080

[startup+880.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19044 3 1 0 86374 89 0 0 17 0 11 0 1861202085 859217920 23636 4294967295 134512640 134569956 3221224336 3221214536 1131513459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23636 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 864.63
Current children cumulated vsize (Kb) 839080

[startup+890.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19054 3 1 0 87368 90 0 0 22 0 11 0 1861202085 859217920 23637 4294967295 134512640 134569956 3221224336 3221214536 1131513924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23637 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 874.58
Current children cumulated vsize (Kb) 839080

[startup+900.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19065 3 1 0 88359 90 0 0 25 0 11 0 1861202085 859217920 23640 4294967295 134512640 134569956 3221224336 3221214624 1131554464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23640 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (Kb) 839080

[startup+910.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17122
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19075 3 1 0 89351 91 0 0 25 0 11 0 1861202085 859217920 23640 4294967295 134512640 134569956 3221224336 3221214532 1131394912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23640 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 894.42
Current children cumulated vsize (Kb) 839080

[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19086 3 1 0 90340 91 0 0 25 0 11 0 1861202085 859217920 23644 4294967295 134512640 134569956 3221224336 3221214624 1131553522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23644 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 904.31
Current children cumulated vsize (Kb) 839080

[startup+930.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19097 3 1 0 91332 91 0 0 25 0 11 0 1861202085 859217920 23659 4294967295 134512640 134569956 3221224336 3221214624 1131554363 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23659 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 914.23
Current children cumulated vsize (Kb) 839080

[startup+940.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19108 3 1 0 92325 92 0 0 17 0 11 0 1861202085 859217920 23666 4294967295 134512640 134569956 3221224336 3221214624 1131552395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23666 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 924.17
Current children cumulated vsize (Kb) 839080

[startup+950.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19118 3 1 0 93316 92 0 0 25 0 11 0 1861202085 859217920 23667 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23667 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 934.08
Current children cumulated vsize (Kb) 839080

[startup+960.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19129 3 1 0 94305 92 0 0 25 0 11 0 1861202085 859217920 23668 4294967295 134512640 134569956 3221224336 3221214536 1131513481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23668 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 943.97
Current children cumulated vsize (Kb) 839080

[startup+970.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17124
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19140 3 1 0 95295 92 0 0 25 0 11 0 1861202085 859217920 23669 4294967295 134512640 134569956 3221224336 3221214624 1131553522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23669 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 953.87
Current children cumulated vsize (Kb) 839080

[startup+980.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19150 3 1 0 96288 93 0 0 19 0 11 0 1861202085 859217920 23695 4294967295 134512640 134569956 3221224336 3221214624 1131552388 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23695 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 963.81
Current children cumulated vsize (Kb) 839080

[startup+990.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19161 3 1 0 97282 93 0 0 25 0 11 0 1861202085 859217920 23696 4294967295 134512640 134569956 3221224336 3221214536 1131513377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23696 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 973.75
Current children cumulated vsize (Kb) 839080

[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19171 3 1 0 98276 94 0 0 25 0 11 0 1861202085 859217920 23696 4294967295 134512640 134569956 3221224336 3221214536 1131513459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23696 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 983.7
Current children cumulated vsize (Kb) 839080

[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19182 3 1 0 99270 94 0 0 25 0 11 0 1861202085 859217920 23697 4294967295 134512640 134569956 3221224336 3221214536 1131513966 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23697 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 993.64
Current children cumulated vsize (Kb) 839080

[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19193 3 1 0 100263 94 0 0 25 0 11 0 1861202085 859217920 23697 4294967295 134512640 134569956 3221224336 3221214624 1131554356 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23697 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1003.57
Current children cumulated vsize (Kb) 839080

[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17126
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19204 3 1 0 101255 95 0 0 17 0 11 0 1861202085 859217920 23704 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23704 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1013.5
Current children cumulated vsize (Kb) 839080

[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19214 3 1 0 102251 95 0 0 25 0 11 0 1861202085 859217920 23704 4294967295 134512640 134569956 3221224336 3221214624 1131552460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23704 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1023.46
Current children cumulated vsize (Kb) 839080

[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19225 3 1 0 103243 95 0 0 25 0 11 0 1861202085 859217920 23704 4294967295 134512640 134569956 3221224336 3221214536 1131513924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23704 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1033.38
Current children cumulated vsize (Kb) 839080

[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19236 3 1 0 104234 96 0 0 25 0 11 0 1861202085 859217920 23704 4294967295 134512640 134569956 3221224336 3221214536 1131513793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23704 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1043.3
Current children cumulated vsize (Kb) 839080

[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19247 3 1 0 105225 97 0 0 25 0 11 0 1861202085 859217920 23705 4294967295 134512640 134569956 3221224336 3221214624 1131552395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23705 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1053.22
Current children cumulated vsize (Kb) 839080

[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19257 3 1 0 106218 97 0 0 25 0 11 0 1861202085 859217920 23719 4294967295 134512640 134569956 3221224336 3221214536 1131514044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23719 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1063.15
Current children cumulated vsize (Kb) 839080

[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17128
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19267 3 1 0 107211 98 0 0 25 0 11 0 1861202085 859217920 23719 4294967295 134512640 134569956 3221224336 3221214536 1131514245 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23719 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1073.09
Current children cumulated vsize (Kb) 839080

[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19277 3 1 0 108203 98 0 0 22 0 11 0 1861202085 859217920 23720 4294967295 134512640 134569956 3221224336 3221214600 1131545191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23720 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1083.01
Current children cumulated vsize (Kb) 839080

[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19284 3 1 0 109198 99 0 0 25 0 11 0 1861202085 859217920 23720 4294967295 134512640 134569956 3221224336 3221214496 1131577768 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23720 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1092.97
Current children cumulated vsize (Kb) 839080

[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19289 3 1 0 110194 99 0 0 25 0 11 0 1861202085 859217920 23734 4294967295 134512640 134569956 3221224336 3221214496 1131577775 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23734 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1102.93
Current children cumulated vsize (Kb) 839080

[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19296 3 1 0 111189 100 0 0 25 0 11 0 1861202085 859217920 23735 4294967295 134512640 134569956 3221224336 3221214496 1131578181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23735 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1112.89
Current children cumulated vsize (Kb) 839080

[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19301 3 1 0 112185 100 0 0 25 0 11 0 1861202085 859217920 23736 4294967295 134512640 134569956 3221224336 3221214600 1131545184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23736 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1122.85
Current children cumulated vsize (Kb) 839080

[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17130
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19307 3 1 0 113181 100 0 0 25 0 11 0 1861202085 859217920 23740 4294967295 134512640 134569956 3221224336 3221214600 1131545191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23740 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1132.81
Current children cumulated vsize (Kb) 839080

[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19313 3 1 0 114177 101 0 0 25 0 11 0 1861202085 859217920 23740 4294967295 134512640 134569956 3221224336 3221214584 1131568929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23740 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1142.78
Current children cumulated vsize (Kb) 839080

[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19319 3 1 0 115173 101 0 0 25 0 11 0 1861202085 859217920 23747 4294967295 134512640 134569956 3221224336 3221214496 1131483776 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23747 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1152.74
Current children cumulated vsize (Kb) 839080

[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19325 3 1 0 116168 101 0 0 25 0 11 0 1861202085 859217920 23749 4294967295 134512640 134569956 3221224336 3221214600 1131545293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23749 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1162.69
Current children cumulated vsize (Kb) 839080

[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19330 3 1 0 117165 102 0 0 25 0 11 0 1861202085 859217920 23749 4294967295 134512640 134569956 3221224336 3221214496 1131578371 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17019/statm): 209770 23749 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1172.67
Current children cumulated vsize (Kb) 839080

[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19336 3 1 0 118161 102 0 0 25 0 11 0 1861202085 859217920 23750 4294967295 134512640 134569956 3221224336 3221214584 1131568707 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1182.63
Current children cumulated vsize (Kb) 839080

[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17132
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19341 3 1 0 119157 103 0 0 25 0 11 0 1861202085 859217920 23750 4294967295 134512640 134569956 3221224336 3221214640 1131630850 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1192.6
Current children cumulated vsize (Kb) 839080

[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17134
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19348 3 1 0 120152 103 0 0 25 0 11 0 1861202085 859217920 23750 4294967295 134512640 134569956 3221224336 3221214560 1131376793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1202.55
Current children cumulated vsize (Kb) 839080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 17134
Raw data (/proc/17019/stat): 17019 (java) R 17018 17019 9102 0 -1 0 19348 3 1 0 120153 103 0 0 25 0 11 0 1861202085 859217920 23750 4294967295 134512640 134569956 3221224336 3221214584 1131568959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17019/statm): 209770 23750 13129 16 0 209754 0
[pid=17019] vsize: 839080
Current children cumulated CPU time (s) 1202.56
Current children cumulated vsize (Kb) 839080

Sending SIGTERM to -17019
Sleeping 2 seconds
New thread pid=17136
New thread pid=17137
One traced child (pid=17137) exited with status: 0
One traced child (pid=17028) exited with status: 0
One traced child (pid=17023) exited with status: 0
One traced child (pid=17020) exited with status: 143
One traced child (pid=17025) exited with status: 143
One traced child (pid=17021) exited with status: 143
One traced child (pid=17022) exited with status: 143
One traced child (pid=17027) exited with status: 143
One traced child (pid=17024) exited with status: 143
One traced child (pid=17114) exited with status: 143
One traced child (pid=17026) exited with status: 143
One traced child (pid=17136) exited with status: 143
One traced child (pid=17019) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.92
CPU time (s): 1228.72
CPU user time (s): 1226.69
CPU system time (s): 2.02869
CPU usage (%): 100.639
Max. virtual memory (cumulated for all children) (Kb): 841004

Verifier Data

Verifier:	OK	1410122