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-ran4x64.opb
MD5SUM6a6f7751d9c11fcafeb386712eac2f08
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2330435
Optimality of the best value was proved NO
Number of terms in the objective function 5376
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 1473474440
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 1473474440
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 benchmark1222.6
Number of variables5376
Total number of constraints324
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 constraints324
Minimum length of a constraint21
Maximum length of a constraint1280

Trace number 8922

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 09:49:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6946 boxname=wulflinc2 idbench=1086 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a6f7751d9c11fcafeb386712eac2f08  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran4x64.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran4x64.opb
IDLAUNCH: 6946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        972696 kB
Buffers:          9252 kB
Cached:          36376 kB
SwapCached:          0 kB
Active:          31564 kB
Inactive:        16952 kB
HighTotal:      131008 kB
HighFree:        90188 kB
LowTotal:       903652 kB
LowFree:        882508 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:             7956 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 10:09:50 (client local time) WITH STATUS 143 IN 1222.6 SECONDS
stats: 6946 0 1222.6 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/wulflinc2/normalized-mps-v2-13-7-ran4x64.opb
c reading problem ... done. Time 4.208 ms.
c #vars     5376
c #constraints  392
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             3151622 		Current CPU time: 209.33 ms
c CURRENT OPTIMUM=             2330435 		Current CPU time: 418.90 ms
c starts		: 3
c conflicts		: 158
c decisions		: 9639
c propagations		: 41137
c inspects		: 389457
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 158
c root simplifications	: 9
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 11.96649530291161
c non guided choices	4860
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 -X252_bit_7 -X252_bit_6 -X252_bit_5 -X252_bit_4 -X252_bit_3 -X252_bit_2 -X252_bit_1 -X252_bit0 -X252_bit1 -X252_bit2 -X252_bit3 -X252_bit4 -X252_bit5 -X252_bit6 -X252_bit7 -X252_bit8 -X252_bit9 -X252_bit10 -X252_bit11 -X252_bit12 X253_bit_7 X253_bit_6 X253_bit_5 X253_bit_4 -X253_bit_3 -X253_bit_2 X253_bit_1 -X253_bit0 -X253_bit1 -X253_bit2 -X253_bit3 -X253_bit4 -X253_bit5 -X253_bit6 -X253_bit7 -X253_bit8 -X253_bit9 -X253_bit10 -X253_bit11 -X253_bit12 -X254_bit_7 -X254_bit_6 -X254_bit_5 -X254_bit_4 -X254_bit_3 -X254_bit_2 -X254_bit_1 -X254_bit0 -X254_bit1 -X254_bit2 -X254_bit3 -X254_bit4 -X254_bit5 -X254_bit6 -X254_bit7 -X254_bit8 -X254_bit9 -X254_bit10 -X254_bit11 -X254_bit12 -X255_bit_7 -X255_bit_6 X255_bit_5 X255_bit_4 -X255_bit_3 -X255_bit_2 X255_bit_1 -X255_bit0 -X255_bit1 -X255_bit2 -X255_bit3 -X255_bit4 -X255_bit5 -X255_bit6 -X255_bit7 -X255_bit8 -X255_bit9 -X255_bit10 -X255_bit11 -X255_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 -Y252_bit0 Y253_bit0 -Y254_bit0 Y255_bit0 
c objective function=2330435
c Total CPU time (ms) : 1225.333

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/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 19253752 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 39 3 38 16 0 23 0
[pid=4118] 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/4118
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=4119
New thread pid=4120
New thread pid=4121
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=4122
New thread pid=4123
New thread pid=4124
New thread pid=4125
New thread pid=4126
New thread pid=4127
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/wulflinc2/normalized-mps-v2-13-7-ran4x64.opb
New thread pid=4128

[startup+10.0101 s]
Raw data (loadavg): 0.39 0.09 0.03 3/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 8043 0 92 0 345 37 0 0 21 0 11 0 19253752 858882048 9268 4294967295 134512640 134569956 3221224336 3221210896 1077735787 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209688 9268 13129 16 0 209672 0
[pid=4118] vsize: 838752
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (Kb) 838752

[startup+20.0098 s]
Raw data (loadavg): 0.48 0.12 0.04 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18058 0 92 0 1234 59 0 0 17 0 11 0 19253752 858488832 21970 4294967295 134512640 134569956 3221224336 3221214672 1131545293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 21970 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 12.93
Current children cumulated vsize (Kb) 838368

[startup+30.0105 s]
Raw data (loadavg): 0.56 0.15 0.05 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18069 0 92 0 2163 60 0 0 19 0 11 0 19253752 858488832 22022 4294967295 134512640 134569956 3221224336 3221214568 1131531161 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22022 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 22.23
Current children cumulated vsize (Kb) 838368

[startup+40.0112 s]
Raw data (loadavg): 0.63 0.18 0.06 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18080 0 92 0 3085 60 0 0 18 0 11 0 19253752 858488832 22027 4294967295 134512640 134569956 3221224336 3221214568 1131530815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 22027 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 31.45
Current children cumulated vsize (Kb) 838368

[startup+50.0119 s]
Raw data (loadavg): 0.69 0.20 0.06 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18090 0 92 0 4016 60 0 0 25 0 11 0 19253752 858488832 22608 4294967295 134512640 134569956 3221224336 3221214672 1131545572 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 22608 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 40.76
Current children cumulated vsize (Kb) 838368

[startup+60.0126 s]
Raw data (loadavg): 0.73 0.23 0.07 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18102 0 92 0 5009 61 0 0 20 0 11 0 19253752 858488832 22662 4294967295 134512640 134569956 3221224336 3221214672 1131545602 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22662 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (Kb) 838368

[startup+70.0123 s]
Raw data (loadavg): 0.77 0.25 0.08 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18114 0 92 0 6003 61 0 0 19 0 11 0 19253752 858488832 22669 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22669 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 60.64
Current children cumulated vsize (Kb) 838368

[startup+80.014 s]
Raw data (loadavg): 0.81 0.28 0.09 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18126 0 92 0 6995 61 0 0 18 0 11 0 19253752 858488832 22677 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22677 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 70.56
Current children cumulated vsize (Kb) 838368

[startup+90.0146 s]
Raw data (loadavg): 0.84 0.30 0.10 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18137 0 92 0 7986 62 0 0 21 0 11 0 19253752 858488832 22683 4294967295 134512640 134569956 3221224336 3221214568 1131532064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22683 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 80.48
Current children cumulated vsize (Kb) 838368

[startup+100.014 s]
Raw data (loadavg): 0.94 0.34 0.12 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18149 0 92 0 8977 62 0 0 17 0 11 0 19253752 858488832 22691 4294967295 134512640 134569956 3221224336 3221214672 1131545606 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22691 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 90.39
Current children cumulated vsize (Kb) 838368

[startup+110.015 s]
Raw data (loadavg): 0.95 0.36 0.13 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18160 0 92 0 9970 62 0 0 21 0 11 0 19253752 858488832 22718 4294967295 134512640 134569956 3221224336 3221214568 1131531401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22718 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 100.32
Current children cumulated vsize (Kb) 838368

[startup+120.016 s]
Raw data (loadavg): 0.96 0.38 0.13 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18172 0 92 0 10966 62 0 0 25 0 11 0 19253752 858488832 22718 4294967295 134512640 134569956 3221224336 3221214520 1131393901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 22718 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 110.28
Current children cumulated vsize (Kb) 838368

[startup+130.016 s]
Raw data (loadavg): 0.96 0.40 0.14 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18184 0 92 0 11960 62 0 0 24 0 11 0 19253752 858488832 22718 4294967295 134512640 134569956 3221224336 3221214584 1131530781 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 22718 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 120.22
Current children cumulated vsize (Kb) 838368

[startup+140.017 s]
Raw data (loadavg): 0.97 0.42 0.15 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18191 0 92 0 12942 62 0 0 17 0 11 0 19253752 859279360 22884 4294967295 134512640 134569956 3221224336 3221214784 1131630652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209785 22884 13129 16 0 209769 0
[pid=4118] vsize: 839140
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 839140

[startup+150.017 s]
Raw data (loadavg): 1.05 0.46 0.17 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) S 4117 4118 4070 0 -1 0 18201 0 92 0 13905 62 0 0 25 0 11 0 19253752 858488832 22726 4294967295 134512640 134569956 3221224336 3221213208 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22726 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 139.67
Current children cumulated vsize (Kb) 838368

[startup+160.018 s]
Raw data (loadavg): 1.04 0.47 0.18 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18211 0 92 0 14864 63 0 0 23 0 11 0 19253752 858488832 22726 4294967295 134512640 134569956 3221224336 3221214672 1131546469 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 22726 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 149.27
Current children cumulated vsize (Kb) 838368

[startup+170.017 s]
Raw data (loadavg): 1.04 0.49 0.18 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18223 0 92 0 15830 63 0 0 18 0 11 0 19253752 858488832 23029 4294967295 134512640 134569956 3221224336 3221214520 1131393901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23029 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 158.93
Current children cumulated vsize (Kb) 838368

[startup+180.018 s]
Raw data (loadavg): 1.03 0.51 0.19 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18234 0 92 0 16824 63 0 0 25 0 11 0 19253752 858488832 23035 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23035 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 168.87
Current children cumulated vsize (Kb) 838368

[startup+190.019 s]
Raw data (loadavg): 1.03 0.52 0.20 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18246 0 92 0 17817 64 0 0 18 0 11 0 19253752 858488832 23040 4294967295 134512640 134569956 3221224336 3221214568 1131531345 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23040 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 178.81
Current children cumulated vsize (Kb) 838368

[startup+200.019 s]
Raw data (loadavg): 1.02 0.54 0.21 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18258 0 92 0 18812 64 0 0 16 0 11 0 19253752 858488832 23045 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23045 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 188.76
Current children cumulated vsize (Kb) 838368

[startup+210.02 s]
Raw data (loadavg): 1.02 0.55 0.22 2/65 4128
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18270 0 92 0 19808 64 0 0 25 0 11 0 19253752 858488832 23047 4294967295 134512640 134569956 3221224336 3221214568 1131531761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23047 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 198.72
Current children cumulated vsize (Kb) 838368
One traced child (pid=4128) exited with status: 0
New thread pid=4129

[startup+220.021 s]
Raw data (loadavg): 1.01 0.57 0.22 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18323 3 95 0 20788 64 0 0 25 0 11 0 19253752 858488832 23093 4294967295 134512640 134569956 3221224336 3221214624 1131392875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23093 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 208.52
Current children cumulated vsize (Kb) 838368

[startup+230.021 s]
Raw data (loadavg): 1.01 0.58 0.23 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18334 3 95 0 21759 65 0 0 20 0 11 0 19253752 858488832 23093 4294967295 134512640 134569956 3221224336 3221214568 1131530796 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23093 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 218.24
Current children cumulated vsize (Kb) 838368

[startup+240.022 s]
Raw data (loadavg): 1.01 0.59 0.24 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18345 3 95 0 22729 65 0 0 25 0 11 0 19253752 858488832 23093 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23093 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 227.94
Current children cumulated vsize (Kb) 838368

[startup+250.023 s]
Raw data (loadavg): 1.01 0.61 0.25 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18357 3 95 0 23711 65 0 0 25 0 11 0 19253752 858488832 23296 4294967295 134512640 134569956 3221224336 3221214672 1131547405 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23296 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 237.76
Current children cumulated vsize (Kb) 838368

[startup+260.024 s]
Raw data (loadavg): 1.01 0.62 0.25 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18369 3 95 0 24706 65 0 0 25 0 11 0 19253752 858488832 23297 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23297 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 247.71
Current children cumulated vsize (Kb) 838368

[startup+270.023 s]
Raw data (loadavg): 1.00 0.63 0.26 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18381 3 95 0 25701 66 0 0 25 0 11 0 19253752 858488832 23298 4294967295 134512640 134569956 3221224336 3221214568 1131531704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23298 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 257.67
Current children cumulated vsize (Kb) 838368

[startup+280.024 s]
Raw data (loadavg): 1.00 0.64 0.27 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18391 3 95 0 26693 66 0 0 25 0 11 0 19253752 858488832 23298 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23298 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 267.59
Current children cumulated vsize (Kb) 838368

[startup+290.025 s]
Raw data (loadavg): 1.00 0.65 0.28 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18402 3 95 0 27668 66 0 0 16 0 11 0 19253752 858488832 23298 4294967295 134512640 134569956 3221224336 3221214568 1131530871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23298 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 277.34
Current children cumulated vsize (Kb) 838368

[startup+300.024 s]
Raw data (loadavg): 1.00 0.67 0.28 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18412 3 95 0 28640 67 0 0 25 0 11 0 19253752 858488832 23298 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23298 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 287.07
Current children cumulated vsize (Kb) 838368

[startup+310.025 s]
Raw data (loadavg): 1.00 0.68 0.29 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18423 3 95 0 29605 67 0 0 25 0 11 0 19253752 858488832 23412 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23412 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 296.72
Current children cumulated vsize (Kb) 838368

[startup+320.026 s]
Raw data (loadavg): 1.00 0.69 0.30 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18433 3 95 0 30581 67 0 0 25 0 11 0 19253752 858488832 23482 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23482 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 306.48
Current children cumulated vsize (Kb) 838368

[startup+330.026 s]
Raw data (loadavg): 1.00 0.70 0.30 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18444 3 95 0 31559 67 0 0 25 0 11 0 19253752 858488832 23527 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23527 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 316.26
Current children cumulated vsize (Kb) 838368

[startup+340.027 s]
Raw data (loadavg): 1.00 0.71 0.31 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18455 3 95 0 32546 68 0 0 21 0 11 0 19253752 858488832 23596 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23596 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 326.14
Current children cumulated vsize (Kb) 838368

[startup+350.027 s]
Raw data (loadavg): 1.00 0.71 0.32 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18467 3 95 0 33540 68 0 0 25 0 11 0 19253752 858488832 23624 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23624 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 336.08
Current children cumulated vsize (Kb) 838368

[startup+360.028 s]
Raw data (loadavg): 1.00 0.72 0.33 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18478 3 95 0 34535 68 0 0 23 0 11 0 19253752 858488832 23625 4294967295 134512640 134569956 3221224336 3221214672 1131547211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23625 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 346.03
Current children cumulated vsize (Kb) 838368

[startup+370.027 s]
Raw data (loadavg): 1.00 0.73 0.33 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18490 3 95 0 35530 69 0 0 25 0 11 0 19253752 858488832 23625 4294967295 134512640 134569956 3221224336 3221214624 1131392875 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23625 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 355.99
Current children cumulated vsize (Kb) 838368

[startup+380.029 s]
Raw data (loadavg): 1.00 0.74 0.34 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18502 3 95 0 36526 69 0 0 25 0 11 0 19253752 858488832 23625 4294967295 134512640 134569956 3221224336 3221214568 1131530860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23625 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 365.95
Current children cumulated vsize (Kb) 838368

[startup+390.03 s]
Raw data (loadavg): 1.00 0.75 0.35 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18514 3 95 0 37521 69 0 0 25 0 11 0 19253752 858488832 23625 4294967295 134512640 134569956 3221224336 3221214568 1131531152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23625 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 375.9
Current children cumulated vsize (Kb) 838368

[startup+400.029 s]
Raw data (loadavg): 1.00 0.76 0.35 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18525 3 95 0 38516 70 0 0 25 0 11 0 19253752 858488832 23625 4294967295 134512640 134569956 3221224336 3221214672 1131545602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23625 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 385.86
Current children cumulated vsize (Kb) 838368

[startup+410.03 s]
Raw data (loadavg): 1.00 0.76 0.36 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18537 3 95 0 39510 70 0 0 17 0 11 0 19253752 858488832 23626 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23626 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 395.8
Current children cumulated vsize (Kb) 838368

[startup+420.03 s]
Raw data (loadavg): 1.00 0.77 0.37 2/65 4129
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18548 3 95 0 40504 70 0 0 25 0 11 0 19253752 858488832 23626 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23626 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 405.74
Current children cumulated vsize (Kb) 838368
One traced child (pid=4129) exited with status: 0
New thread pid=4130

[startup+430.031 s]
Raw data (loadavg): 1.07 0.79 0.38 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18558 3 95 0 41488 71 0 0 18 0 11 0 19253752 858488832 23628 4294967295 134512640 134569956 3221224336 3221214624 1131392978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23628 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 415.59
Current children cumulated vsize (Kb) 838368

[startup+440.032 s]
Raw data (loadavg): 1.06 0.80 0.38 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18568 3 95 0 42459 71 0 0 25 0 11 0 19253752 858488832 23629 4294967295 134512640 134569956 3221224336 3221214568 1131531778 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23629 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 425.3
Current children cumulated vsize (Kb) 838368

[startup+450.032 s]
Raw data (loadavg): 1.05 0.81 0.39 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18579 3 95 0 43426 71 0 0 25 0 11 0 19253752 858488832 23630 4294967295 134512640 134569956 3221224336 3221214568 1131531817 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23630 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 434.97
Current children cumulated vsize (Kb) 838368

[startup+460.033 s]
Raw data (loadavg): 1.04 0.81 0.39 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18590 3 95 0 44405 72 0 0 25 0 11 0 19253752 858488832 23798 4294967295 134512640 134569956 3221224336 3221214672 1131545562 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23798 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 444.77
Current children cumulated vsize (Kb) 838368

[startup+470.032 s]
Raw data (loadavg): 1.04 0.82 0.40 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18602 3 95 0 45399 72 0 0 18 0 11 0 19253752 858488832 23844 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23844 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 454.71
Current children cumulated vsize (Kb) 838368

[startup+480.033 s]
Raw data (loadavg): 1.03 0.82 0.41 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18613 3 95 0 46394 72 0 0 25 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214672 1131547124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 464.66
Current children cumulated vsize (Kb) 838368

[startup+490.034 s]
Raw data (loadavg): 1.02 0.83 0.41 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18625 3 95 0 47389 73 0 0 25 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214568 1131530781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 474.62
Current children cumulated vsize (Kb) 838368

[startup+500.034 s]
Raw data (loadavg): 1.02 0.83 0.42 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18637 3 95 0 48385 73 0 0 16 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214568 1131530864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 484.58
Current children cumulated vsize (Kb) 838368

[startup+510.035 s]
Raw data (loadavg): 1.02 0.84 0.42 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18648 3 95 0 49381 73 0 0 25 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214568 1131531497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 494.54
Current children cumulated vsize (Kb) 838368

[startup+520.035 s]
Raw data (loadavg): 1.01 0.84 0.43 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18659 3 95 0 50370 73 0 0 17 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214568 1131530995 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 504.43
Current children cumulated vsize (Kb) 838368

[startup+530.036 s]
Raw data (loadavg): 1.01 0.85 0.44 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18669 3 95 0 51353 74 0 0 25 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214672 1131546469 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 514.27
Current children cumulated vsize (Kb) 838368

[startup+540.037 s]
Raw data (loadavg): 1.01 0.85 0.44 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18680 3 95 0 52328 74 0 0 25 0 11 0 19253752 858488832 23845 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 23845 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 524.02
Current children cumulated vsize (Kb) 838368

[startup+550.037 s]
Raw data (loadavg): 1.01 0.86 0.45 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18691 3 95 0 53300 74 0 0 24 0 11 0 19253752 858488832 23913 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23913 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 533.74
Current children cumulated vsize (Kb) 838368

[startup+560.038 s]
Raw data (loadavg): 1.01 0.86 0.45 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18701 3 95 0 54276 75 0 0 25 0 11 0 19253752 858488832 23983 4294967295 134512640 134569956 3221224336 3221214564 1131393888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 23983 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 543.51
Current children cumulated vsize (Kb) 838368

[startup+570.039 s]
Raw data (loadavg): 1.00 0.87 0.46 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18711 3 95 0 55248 75 0 0 18 0 11 0 19253752 858488832 24027 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24027 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 553.23
Current children cumulated vsize (Kb) 838368

[startup+580.04 s]
Raw data (loadavg): 1.00 0.87 0.46 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) S 4117 4118 4070 0 -1 0 18721 3 95 0 56213 75 0 0 16 0 11 0 19253752 858488832 24098 4294967295 134512640 134569956 3221224336 3221213312 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24098 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 562.88
Current children cumulated vsize (Kb) 838368

[startup+590.041 s]
Raw data (loadavg): 1.00 0.87 0.47 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18733 3 95 0 57184 75 0 0 23 0 11 0 19253752 858488832 24209 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24209 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 572.59
Current children cumulated vsize (Kb) 838368

[startup+600.04 s]
Raw data (loadavg): 1.00 0.88 0.47 3/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18744 3 95 0 58167 75 0 0 19 0 11 0 19253752 858488832 24299 4294967295 134512640 134569956 3221224336 3221214624 1131392875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24299 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (Kb) 838368

[startup+610.041 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18755 3 95 0 59161 76 0 0 25 0 11 0 19253752 858488832 24304 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24304 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 592.37
Current children cumulated vsize (Kb) 838368

[startup+620.042 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18767 3 95 0 60155 76 0 0 19 0 11 0 19253752 858488832 24309 4294967295 134512640 134569956 3221224336 3221214568 1131531555 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24309 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 602.31
Current children cumulated vsize (Kb) 838368

[startup+630.042 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18779 3 95 0 61148 76 0 0 25 0 11 0 19253752 858488832 24314 4294967295 134512640 134569956 3221224336 3221214520 1131394916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24314 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 612.24
Current children cumulated vsize (Kb) 838368

[startup+640.043 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 4130
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18790 3 95 0 62142 76 0 0 22 0 11 0 19253752 858488832 24319 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24319 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 622.18
Current children cumulated vsize (Kb) 838368

[startup+650.044 s]
Raw data (loadavg): 1.00 0.89 0.50 2/67 4166
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18802 3 95 0 63132 79 0 0 25 0 11 0 19253752 858488832 24325 4294967295 134512640 134569956 3221224336 3221214624 1131392875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24325 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 838368

[startup+660.044 s]
Raw data (loadavg): 1.08 0.91 0.51 2/68 4178
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18814 3 95 0 64123 79 0 0 25 0 11 0 19253752 858488832 24331 4294967295 134512640 134569956 3221224336 3221214672 1131545125 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24331 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (Kb) 838368

[startup+670.044 s]
Raw data (loadavg): 1.14 0.93 0.52 2/65 4185
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18826 3 95 0 65116 81 0 0 18 0 11 0 19253752 858488832 24337 4294967295 134512640 134569956 3221224336 3221214568 1131530849 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24337 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 651.97
Current children cumulated vsize (Kb) 838368

[startup+680.068 s]
Raw data (loadavg): 1.12 0.93 0.52 2/65 4185
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18837 3 95 0 66110 81 0 0 23 0 11 0 19253752 858488832 24342 4294967295 134512640 134569956 3221224336 3221214624 1131392875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24342 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 661.91
Current children cumulated vsize (Kb) 838368

[startup+690.069 s]
Raw data (loadavg): 1.10 0.93 0.53 2/65 4185
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18849 3 95 0 67102 81 0 0 19 0 11 0 19253752 858488832 24349 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24349 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 671.83
Current children cumulated vsize (Kb) 838368

[startup+700.068 s]
Raw data (loadavg): 1.08 0.94 0.53 2/65 4185
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18860 3 95 0 68095 81 0 0 25 0 11 0 19253752 858488832 24355 4294967295 134512640 134569956 3221224336 3221214568 1131530849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24355 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 681.76
Current children cumulated vsize (Kb) 838368

[startup+710.069 s]
Raw data (loadavg): 1.07 0.94 0.54 2/65 4187
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18870 3 95 0 69089 82 0 0 25 0 11 0 19253752 858488832 24360 4294967295 134512640 134569956 3221224336 3221214776 1131449015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24360 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 691.71
Current children cumulated vsize (Kb) 838368

[startup+720.069 s]
Raw data (loadavg): 1.06 0.94 0.54 2/65 4187
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18881 3 95 0 70079 82 0 0 18 0 11 0 19253752 858488832 24365 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24365 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 701.61
Current children cumulated vsize (Kb) 838368

[startup+730.07 s]
Raw data (loadavg): 1.05 0.94 0.55 2/65 4189
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18892 3 95 0 71069 82 0 0 25 0 11 0 19253752 858488832 24366 4294967295 134512640 134569956 3221224336 3221214568 1131531105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24366 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 711.51
Current children cumulated vsize (Kb) 838368

[startup+740.07 s]
Raw data (loadavg): 1.04 0.94 0.55 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18904 3 95 0 72061 83 0 0 17 0 11 0 19253752 858488832 24395 4294967295 134512640 134569956 3221224336 3221214564 1131394919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24395 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 721.44
Current children cumulated vsize (Kb) 838368

[startup+750.07 s]
Raw data (loadavg): 1.04 0.94 0.56 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18915 3 95 0 73056 83 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214672 1131547197 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 731.39
Current children cumulated vsize (Kb) 838368

[startup+760.071 s]
Raw data (loadavg): 1.03 0.95 0.56 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18927 3 95 0 74052 83 0 0 18 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214624 1131392838 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 741.35
Current children cumulated vsize (Kb) 838368

[startup+770.072 s]
Raw data (loadavg): 1.02 0.95 0.56 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18938 3 95 0 75047 83 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 751.3
Current children cumulated vsize (Kb) 838368

[startup+780.072 s]
Raw data (loadavg): 1.02 0.95 0.57 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18950 3 95 0 76042 84 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214568 1131531161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 761.26
Current children cumulated vsize (Kb) 838368

[startup+790.073 s]
Raw data (loadavg): 1.02 0.95 0.57 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18962 3 95 0 77037 84 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214672 1131545629 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 771.21
Current children cumulated vsize (Kb) 838368

[startup+800.074 s]
Raw data (loadavg): 1.01 0.95 0.58 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18974 3 95 0 78033 84 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214672 1131545738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 781.17
Current children cumulated vsize (Kb) 838368

[startup+810.074 s]
Raw data (loadavg): 1.01 0.95 0.58 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18986 3 95 0 79028 84 0 0 18 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214672 1131545542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 791.12
Current children cumulated vsize (Kb) 838368

[startup+820.075 s]
Raw data (loadavg): 1.01 0.95 0.58 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 18998 3 95 0 80022 85 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214568 1131531139 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 801.07
Current children cumulated vsize (Kb) 838368

[startup+830.076 s]
Raw data (loadavg): 1.01 0.95 0.59 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19008 3 95 0 81003 85 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214568 1131530781 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 810.88
Current children cumulated vsize (Kb) 838368

[startup+840.076 s]
Raw data (loadavg): 1.01 0.95 0.59 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19018 3 95 0 81980 85 0 0 25 0 11 0 19253752 858488832 24396 4294967295 134512640 134569956 3221224336 3221214704 1131586754 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24396 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 820.65
Current children cumulated vsize (Kb) 838368

[startup+850.076 s]
Raw data (loadavg): 1.00 0.95 0.59 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19028 3 95 0 82950 86 0 0 25 0 11 0 19253752 858488832 24398 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24398 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 830.36
Current children cumulated vsize (Kb) 838368

[startup+860.077 s]
Raw data (loadavg): 1.00 0.95 0.60 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19038 3 95 0 83931 86 0 0 25 0 11 0 19253752 858488832 24545 4294967295 134512640 134569956 3221224336 3221214568 1131531704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24545 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 840.17
Current children cumulated vsize (Kb) 838368

[startup+870.077 s]
Raw data (loadavg): 1.00 0.96 0.60 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19048 3 95 0 84910 86 0 0 25 0 11 0 19253752 858488832 24545 4294967295 134512640 134569956 3221224336 3221214568 1131530958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24545 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 849.96
Current children cumulated vsize (Kb) 838368

[startup+880.078 s]
Raw data (loadavg): 1.00 0.96 0.61 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19059 3 95 0 85882 86 0 0 24 0 11 0 19253752 858488832 24617 4294967295 134512640 134569956 3221224336 3221214672 1131545648 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 24617 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 859.68
Current children cumulated vsize (Kb) 838368

[startup+890.079 s]
Raw data (loadavg): 1.00 0.96 0.61 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19069 3 95 0 86854 86 0 0 25 0 11 0 19253752 858488832 24617 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24617 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 869.4
Current children cumulated vsize (Kb) 838368

[startup+900.079 s]
Raw data (loadavg): 1.00 0.96 0.61 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19079 3 95 0 87824 87 0 0 25 0 11 0 19253752 858488832 24726 4294967295 134512640 134569956 3221224336 3221214672 1131545270 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24726 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 879.11
Current children cumulated vsize (Kb) 838368

[startup+910.08 s]
Raw data (loadavg): 1.00 0.96 0.62 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19089 3 95 0 88795 87 0 0 25 0 11 0 19253752 858488832 24793 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24793 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 888.82
Current children cumulated vsize (Kb) 838368

[startup+920.081 s]
Raw data (loadavg): 1.00 0.96 0.62 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19099 3 95 0 89765 87 0 0 25 0 11 0 19253752 858488832 24866 4294967295 134512640 134569956 3221224336 3221214568 1131531257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24866 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 898.52
Current children cumulated vsize (Kb) 838368

[startup+930.082 s]
Raw data (loadavg): 1.00 0.96 0.63 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19109 3 95 0 90733 88 0 0 25 0 11 0 19253752 858488832 24956 4294967295 134512640 134569956 3221224336 3221214672 1131547113 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 24956 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 908.21
Current children cumulated vsize (Kb) 838368

[startup+940.082 s]
Raw data (loadavg): 1.00 0.96 0.63 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19119 3 95 0 91704 88 0 0 25 0 11 0 19253752 858488832 25003 4294967295 134512640 134569956 3221224336 3221214672 1131546469 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25003 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 917.92
Current children cumulated vsize (Kb) 838368

[startup+950.082 s]
Raw data (loadavg): 1.00 0.96 0.63 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19129 3 95 0 92670 88 0 0 25 0 11 0 19253752 858488832 25075 4294967295 134512640 134569956 3221224336 3221214568 1131530919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25075 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 927.58
Current children cumulated vsize (Kb) 838368

[startup+960.083 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19139 3 95 0 93639 88 0 0 25 0 11 0 19253752 858488832 25123 4294967295 134512640 134569956 3221224336 3221214568 1131530818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25123 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 937.27
Current children cumulated vsize (Kb) 838368

[startup+970.082 s]
Raw data (loadavg): 1.00 0.97 0.64 2/65 4191
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19149 3 95 0 94608 88 0 0 25 0 11 0 19253752 858488832 25218 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25218 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 946.96
Current children cumulated vsize (Kb) 838368

[startup+980.084 s]
Raw data (loadavg): 1.00 0.97 0.64 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19159 3 95 0 95582 88 0 0 25 0 11 0 19253752 858488832 25322 4294967295 134512640 134569956 3221224336 3221214500 1131543904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25322 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 956.7
Current children cumulated vsize (Kb) 838368

[startup+990.085 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19168 3 95 0 96558 88 0 0 25 0 11 0 19253752 858488832 25345 4294967295 134512640 134569956 3221224336 3221214568 1131531131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25345 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 966.46
Current children cumulated vsize (Kb) 838368

[startup+1000.08 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19179 3 95 0 97536 89 0 0 25 0 11 0 19253752 858488832 25414 4294967295 134512640 134569956 3221224336 3221214568 1131531555 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25414 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 976.25
Current children cumulated vsize (Kb) 838368

[startup+1010.09 s]
Raw data (loadavg): 1.00 0.97 0.65 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19189 3 95 0 98520 89 0 0 25 0 11 0 19253752 858488832 25461 4294967295 134512640 134569956 3221224336 3221214568 1131531417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25461 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 986.09
Current children cumulated vsize (Kb) 838368

[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19199 3 95 0 99510 89 0 0 25 0 11 0 19253752 858488832 25511 4294967295 134512640 134569956 3221224336 3221214568 1131531143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25511 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 995.99
Current children cumulated vsize (Kb) 838368

[startup+1030.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19210 3 95 0 100495 89 0 0 19 0 11 0 19253752 858488832 25511 4294967295 134512640 134569956 3221224336 3221214624 1131392829 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25511 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1005.84
Current children cumulated vsize (Kb) 838368

[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19220 3 95 0 101479 89 0 0 25 0 11 0 19253752 858488832 25512 4294967295 134512640 134569956 3221224336 3221214672 1131545285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25512 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1015.68
Current children cumulated vsize (Kb) 838368

[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19230 3 95 0 102460 90 0 0 25 0 11 0 19253752 858488832 25579 4294967295 134512640 134569956 3221224336 3221214568 1131531198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25579 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1025.5
Current children cumulated vsize (Kb) 838368

[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19241 3 95 0 103442 90 0 0 24 0 11 0 19253752 858488832 25579 4294967295 134512640 134569956 3221224336 3221214672 1131545602 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25579 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1035.32
Current children cumulated vsize (Kb) 838368

[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19251 3 95 0 104426 90 0 0 25 0 11 0 19253752 858488832 25638 4294967295 134512640 134569956 3221224336 3221214672 1131546469 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25638 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1045.16
Current children cumulated vsize (Kb) 838368

[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19261 3 95 0 105409 91 0 0 25 0 11 0 19253752 858488832 25638 4294967295 134512640 134569956 3221224336 3221214568 1131531198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25638 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1055
Current children cumulated vsize (Kb) 838368

[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19271 3 95 0 106388 91 0 0 25 0 11 0 19253752 858488832 25705 4294967295 134512640 134569956 3221224336 3221214624 1131392849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25705 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1064.79
Current children cumulated vsize (Kb) 838368

[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19282 3 95 0 107371 91 0 0 25 0 11 0 19253752 858488832 25705 4294967295 134512640 134569956 3221224336 3221214668 1131532085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25705 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1074.62
Current children cumulated vsize (Kb) 838368

[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19292 3 95 0 108351 91 0 0 25 0 11 0 19253752 858488832 25770 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25770 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1084.42
Current children cumulated vsize (Kb) 838368

[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19302 3 95 0 109337 91 0 0 24 0 11 0 19253752 858488832 25793 4294967295 134512640 134569956 3221224336 3221214568 1131531360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25793 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1094.28
Current children cumulated vsize (Kb) 838368

[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19313 3 95 0 110317 91 0 0 24 0 11 0 19253752 858488832 25793 4294967295 134512640 134569956 3221224336 3221214568 1131531217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25793 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1104.08
Current children cumulated vsize (Kb) 838368

[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19323 3 95 0 111303 92 0 0 25 0 11 0 19253752 858488832 25862 4294967295 134512640 134569956 3221224336 3221214568 1131531824 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25862 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1113.95
Current children cumulated vsize (Kb) 838368

[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19333 3 95 0 112285 92 0 0 25 0 11 0 19253752 858488832 25862 4294967295 134512640 134569956 3221224336 3221214568 1131531286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 25862 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1123.77
Current children cumulated vsize (Kb) 838368

[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19344 3 95 0 113268 92 0 0 16 0 11 0 19253752 858488832 25908 4294967295 134512640 134569956 3221224336 3221214568 1131531401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25908 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1133.6
Current children cumulated vsize (Kb) 838368

[startup+1170.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19354 3 95 0 114246 92 0 0 17 0 11 0 19253752 858488832 25930 4294967295 134512640 134569956 3221224336 3221214520 1131393901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25930 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1143.38
Current children cumulated vsize (Kb) 838368

[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19364 3 95 0 115228 92 0 0 25 0 11 0 19253752 858488832 25975 4294967295 134512640 134569956 3221224336 3221214568 1131531866 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25975 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1153.2
Current children cumulated vsize (Kb) 838368

[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19374 3 95 0 116210 93 0 0 21 0 11 0 19253752 858488832 25975 4294967295 134512640 134569956 3221224336 3221214568 1131531748 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 25975 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1163.03
Current children cumulated vsize (Kb) 838368

[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19385 3 95 0 117191 93 0 0 25 0 11 0 19253752 858488832 26069 4294967295 134512640 134569956 3221224336 3221214568 1131530993 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4118/statm): 209592 26069 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1172.84
Current children cumulated vsize (Kb) 838368

[startup+1210.1 s]
Raw data (loadavg): 1.08 0.99 0.72 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19395 3 95 0 118175 93 0 0 25 0 11 0 19253752 858488832 26069 4294967295 134512640 134569956 3221224336 3221214624 1131392832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 26069 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1182.68
Current children cumulated vsize (Kb) 838368

[startup+1220.1 s]
Raw data (loadavg): 1.07 0.99 0.72 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19405 3 95 0 119158 94 0 0 25 0 11 0 19253752 858488832 26138 4294967295 134512640 134569956 3221224336 3221214568 1131531445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 26138 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1192.52
Current children cumulated vsize (Kb) 838368

[startup+1230.1 s]
Raw data (loadavg): 1.06 0.99 0.72 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19416 3 95 0 120142 94 0 0 24 0 11 0 19253752 858488832 26138 4294967295 134512640 134569956 3221224336 3221214568 1131531713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 26138 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1202.36
Current children cumulated vsize (Kb) 838368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.1 s]
Raw data (loadavg): 1.06 0.99 0.72 2/65 4193
Raw data (/proc/4118/stat): 4118 (java) R 4117 4118 4070 0 -1 0 19416 3 95 0 120142 94 0 0 24 0 11 0 19253752 858488832 26138 4294967295 134512640 134569956 3221224336 3221214568 1131531713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4118/statm): 209592 26138 13129 16 0 209576 0
[pid=4118] vsize: 838368
Current children cumulated CPU time (s) 1202.36
Current children cumulated vsize (Kb) 838368

Sending SIGTERM to -4118
Sleeping 2 seconds
New thread pid=4195
New thread pid=4196
One traced child (pid=4196) exited with status: 0
One traced child (pid=4127) exited with status: 0
One traced child (pid=4122) exited with status: 0
One traced child (pid=4119) exited with status: 143
One traced child (pid=4120) exited with status: 143
One traced child (pid=4121) exited with status: 143
One traced child (pid=4123) exited with status: 143
One traced child (pid=4126) exited with status: 143
One traced child (pid=4124) exited with status: 143
One traced child (pid=4125) exited with status: 143
One traced child (pid=4195) exited with status: 143
One traced child (pid=4130) exited with status: 143
One traced child (pid=4118) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.84
CPU time (s): 1222.6
CPU user time (s): 1220.78
CPU system time (s): 1.82672
CPU usage (%): 99.3309
Max. virtual memory (cumulated for all children) (Kb): 839140

Verifier Data

Verifier:	OK	2330435