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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUMc5ca7819a7dcae16ff6045242cdd1f87
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -21
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables1835
Total number of constraints3947
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)1921
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint882

Trace number 4267

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        913204 kB
Buffers:         27876 kB
Cached:          68016 kB
SwapCached:        872 kB
Active:          26208 kB
Inactive:        72216 kB
HighTotal:      131008 kB
HighFree:        59724 kB
LowTotal:       903652 kB
LowFree:        853480 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            17140 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:15:52 (client local time) WITH STATUS 143 IN 1268.01 SECONDS
stats: 6453 0 1268.01 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/wulflinc4/normalized-mps-v2-20-10-protfold.opb
c reading problem ... done. Time 4.119 ms.
c #vars     1835
c #constraints  2149
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 -18 		Current CPU time: 37.14 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 202.71 ms
c starts		: 11
c conflicts		: 1898
c decisions		: 18695
c propagations		: 234286
c inspects		: 1603502
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 31
c learnt clauses	: 1898
c root simplifications	: 11
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 2519
c speed (decisions/second)	: 17.525160487161028
c non guided choices	2319
c random choices	0
s SATISFIABLE
v -N_0x23_1_0x23_2_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_3_0x23_4_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_8_0x23_9_bit0 -N_0x23_9_0x23_10_bit0 -N_0x23_10_0x23_11_bit0 -N_0x23_11_0x23_12_bit0 -N_0x23_12_0x23_13_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_15_0x23_16_bit0 -N_0x23_16_0x23_17_bit0 N_0x23_17_0x23_18_bit0 N_0x23_18_0x23_19_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_24_0x23_25_bit0 N_0x23_25_0x23_26_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_27_0x23_28_bit0 N_0x23_29_0x23_30_bit0 N_0x23_30_0x23_31_bit0 -N_0x23_31_0x23_32_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_33_0x23_34_bit0 -N_0x23_34_0x23_35_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_37_0x23_38_bit0 N_0x23_38_0x23_39_bit0 N_0x23_39_0x23_40_bit0 -N_0x23_40_0x23_41_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 -N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_2_0x23_9_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_9_0x23_16_bit0 -N_0x23_10_0x23_17_bit0 -N_0x23_11_0x23_18_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_17_0x23_24_bit0 N_0x23_18_0x23_25_bit0 N_0x23_19_0x23_26_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_28_0x23_35_bit0 N_0x23_29_0x23_36_bit0 -N_0x23_30_0x23_37_bit0 N_0x23_31_0x23_38_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_33_0x23_40_bit0 -N_0x23_34_0x23_41_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_37_0x23_44_bit0 N_0x23_38_0x23_45_bit0 -N_0x23_39_0x23_46_bit0 N_0x23_40_0x23_47_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_42_0x23_49_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_8_0x23_16_bit0 N_0x23_9_0x23_17_bit0 -N_0x23_10_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 N_0x23_17_0x23_25_bit0 N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_29_0x23_37_bit0 N_0x23_30_0x23_38_bit0 N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 -N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_36_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_46_bit0 N_0x23_39_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_18_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_16_bit0 x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_30_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_13_bit0 x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_43_0x23_34_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_18_bit0 x_0x23_42_0x23_16_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_20_bit0 x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_1_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_30_bit0 x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_27_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_32_bit0 x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_32_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_11_bit0 x_0x23_36_0x23_9_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_1_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_20_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_1_bit0 x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_26_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_30_0x23_34_bit0 x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_9_bit0 x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_29_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_23_bit0 x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_29_bit0 x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_3_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_13_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_26_bit0 x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_27_bit0 x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_9_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_3_bit0 x_0x23_17_0x23_1_bit0 -x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_23_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_15_0x23_8_bit0 x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_9_bit0 -x_0x23_11_0x23_8_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_9_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_6_bit0 x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_11_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_6_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_12_bit0 x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 x_0x23_33_0x23_19_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_10_bit0 x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_5_bit0 x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0 
c objective function=-19
c Total CPU time (ms) : 1269.668

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/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789292664 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 39 3 38 16 0 23 0
[pid=31063] 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/31063
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=31064
New thread pid=31065
New thread pid=31066
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=31067
New thread pid=31068
New thread pid=31069
New thread pid=31070
New thread pid=31071
New thread pid=31072
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/wulflinc4/normalized-mps-v2-20-10-protfold.opb
New thread pid=31073

[startup+10.0027 s]
Raw data (loadavg): 1.19 1.05 0.97 2/66 31073
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18142 0 1 0 742 46 0 0 17 0 11 0 1789292664 856936448 20222 4294967295 134512640 134569956 3221224336 3221214640 1131535096 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209213 20222 13129 16 0 209197 0
[pid=31063] vsize: 836852
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (Kb) 836852

[startup+20.0036 s]
Raw data (loadavg): 1.24 1.06 0.98 2/66 31073
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18153 0 1 0 1682 48 0 0 25 0 11 0 1789292664 857559040 21850 4294967295 134512640 134569956 3221224336 3221214428 1131055289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209365 21850 13129 16 0 209349 0
[pid=31063] vsize: 837460
Current children cumulated CPU time (s) 17.3
Current children cumulated vsize (Kb) 837460

[startup+30.0044 s]
Raw data (loadavg): 1.20 1.06 0.98 2/66 31073
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18159 0 1 0 2640 48 0 0 25 0 11 0 1789292664 858607616 22354 4294967295 134512640 134569956 3221224336 3221214600 1131519451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 22354 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 26.88
Current children cumulated vsize (Kb) 838484
One traced child (pid=31073) exited with status: 0
New thread pid=31074

[startup+40.0053 s]
Raw data (loadavg): 1.17 1.06 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18211 4 1 0 3580 49 0 0 25 0 11 0 1789292664 858607616 22746 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 22746 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 36.29
Current children cumulated vsize (Kb) 838484

[startup+50.0062 s]
Raw data (loadavg): 1.14 1.05 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18219 4 1 0 4505 49 0 0 18 0 11 0 1789292664 858738688 23035 4294967295 134512640 134569956 3221224336 3221214664 1131431298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209653 23035 13129 16 0 209637 0
[pid=31063] vsize: 838612
Current children cumulated CPU time (s) 45.54
Current children cumulated vsize (Kb) 838612

[startup+60.007 s]
Raw data (loadavg): 1.12 1.05 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18226 4 1 0 5430 50 0 0 25 0 11 0 1789292664 858738688 23308 4294967295 134512640 134569956 3221224336 3221214552 1131472728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209653 23308 13129 16 0 209637 0
[pid=31063] vsize: 838612
Current children cumulated CPU time (s) 54.8
Current children cumulated vsize (Kb) 838612

[startup+70.0079 s]
Raw data (loadavg): 1.10 1.05 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18231 4 1 0 6376 50 0 0 25 0 11 0 1789292664 858705920 23374 4294967295 134512640 134569956 3221224336 3221214552 1131472177 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209645 23374 13129 16 0 209629 0
[pid=31063] vsize: 838580
Current children cumulated CPU time (s) 64.26
Current children cumulated vsize (Kb) 838580

[startup+80.0088 s]
Raw data (loadavg): 1.08 1.05 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18238 4 1 0 7302 51 0 0 25 0 11 0 1789292664 858705920 23583 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209645 23583 13129 16 0 209629 0
[pid=31063] vsize: 838580
Current children cumulated CPU time (s) 73.53
Current children cumulated vsize (Kb) 838580

[startup+90.0096 s]
Raw data (loadavg): 1.07 1.05 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18246 4 1 0 8234 51 0 0 18 0 11 0 1789292664 858705920 23796 4294967295 134512640 134569956 3221224336 3221214472 1131472655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209645 23796 13129 16 0 209629 0
[pid=31063] vsize: 838580
Current children cumulated CPU time (s) 82.85
Current children cumulated vsize (Kb) 838580

[startup+100.01 s]
Raw data (loadavg): 1.06 1.04 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18251 4 1 0 9177 51 0 0 17 0 11 0 1789292664 858705920 23962 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209645 23962 13129 16 0 209629 0
[pid=31063] vsize: 838580
Current children cumulated CPU time (s) 92.28
Current children cumulated vsize (Kb) 838580

[startup+110.012 s]
Raw data (loadavg): 1.05 1.04 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18258 4 1 0 10101 52 0 0 18 0 11 0 1789292664 858705920 24152 4294967295 134512640 134569956 3221224336 3221214648 1131380459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209645 24152 13129 16 0 209629 0
[pid=31063] vsize: 838580
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (Kb) 838580

[startup+120.013 s]
Raw data (loadavg): 1.04 1.04 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18264 4 1 0 11034 52 0 0 22 0 11 0 1789292664 858607616 24294 4294967295 134512640 134569956 3221224336 3221214472 1131472642 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 24294 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 110.86
Current children cumulated vsize (Kb) 838484

[startup+130.013 s]
Raw data (loadavg): 1.04 1.04 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18271 4 1 0 11957 53 0 0 25 0 11 0 1789292664 858607616 24514 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 24514 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 120.1
Current children cumulated vsize (Kb) 838484

[startup+140.014 s]
Raw data (loadavg): 1.03 1.04 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18277 4 1 0 12892 53 0 0 21 0 11 0 1789292664 858607616 24653 4294967295 134512640 134569956 3221224336 3221214544 1131587892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 24653 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (Kb) 838484

[startup+150.015 s]
Raw data (loadavg): 1.02 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18284 4 1 0 13817 53 0 0 16 0 11 0 1789292664 858607616 24875 4294967295 134512640 134569956 3221224336 3221214456 1131616319 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 24875 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 138.7
Current children cumulated vsize (Kb) 838484

[startup+160.016 s]
Raw data (loadavg): 1.02 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18291 4 1 0 14759 54 0 0 16 0 11 0 1789292664 858607616 25044 4294967295 134512640 134569956 3221224336 3221214512 1131485504 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 25044 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 148.13
Current children cumulated vsize (Kb) 838484

[startup+170.017 s]
Raw data (loadavg): 1.02 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18298 4 1 0 15694 54 0 0 16 0 11 0 1789292664 858607616 25207 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 25207 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 157.48
Current children cumulated vsize (Kb) 838484

[startup+180.017 s]
Raw data (loadavg): 1.01 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18306 4 1 0 16625 54 0 0 16 0 11 0 1789292664 858607616 25502 4294967295 134512640 134569956 3221224336 3221214600 1131431013 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 25502 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 166.79
Current children cumulated vsize (Kb) 838484

[startup+190.018 s]
Raw data (loadavg): 1.01 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18313 4 1 0 17561 55 0 0 16 0 11 0 1789292664 858607616 25633 4294967295 134512640 134569956 3221224336 3221214456 1131614662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 25633 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 176.16
Current children cumulated vsize (Kb) 838484

[startup+200.019 s]
Raw data (loadavg): 1.01 1.03 0.98 2/66 31074
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18320 4 1 0 18497 55 0 0 16 0 11 0 1789292664 858607616 25735 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 25735 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 185.52
Current children cumulated vsize (Kb) 838484
One traced child (pid=31074) exited with status: 0
New thread pid=31075

[startup+210.021 s]
Raw data (loadavg): 1.01 1.03 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18327 4 1 0 19432 55 0 0 16 0 11 0 1789292664 858607616 25852 4294967295 134512640 134569956 3221224336 3221214560 1131536668 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 25852 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 194.87
Current children cumulated vsize (Kb) 838484

[startup+220.022 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18334 4 1 0 20359 55 0 0 16 0 11 0 1789292664 858607616 26026 4294967295 134512640 134569956 3221224336 3221214544 1131587990 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 26026 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (Kb) 838484

[startup+230.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18341 4 1 0 21298 56 0 0 16 0 11 0 1789292664 858607616 26253 4294967295 134512640 134569956 3221224336 3221214472 1131472642 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 26253 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 213.54
Current children cumulated vsize (Kb) 838484

[startup+240.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18347 4 1 0 22252 56 0 0 16 0 11 0 1789292664 858607616 26382 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 26382 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 223.08
Current children cumulated vsize (Kb) 838484

[startup+250.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18354 4 1 0 23202 56 0 0 17 0 11 0 1789292664 858607616 26456 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 26456 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 232.58
Current children cumulated vsize (Kb) 838484

[startup+260.025 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18360 4 1 0 24158 57 0 0 17 0 11 0 1789292664 858607616 26688 4294967295 134512640 134569956 3221224336 3221214544 1131588118 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 26688 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 242.15
Current children cumulated vsize (Kb) 838484

[startup+270.026 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18367 4 1 0 25113 57 0 0 16 0 11 0 1789292664 858607616 26799 4294967295 134512640 134569956 3221224336 3221214472 1131472728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 26799 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 251.7
Current children cumulated vsize (Kb) 838484

[startup+280.026 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18375 4 1 0 26063 58 0 0 16 0 11 0 1789292664 858607616 26867 4294967295 134512640 134569956 3221224336 3221214544 1131407530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 26867 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 261.21
Current children cumulated vsize (Kb) 838484

[startup+290.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18384 4 1 0 27002 58 0 0 16 0 11 0 1789292664 858607616 26988 4294967295 134512640 134569956 3221224336 3221214472 1131472715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 26988 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 270.6
Current children cumulated vsize (Kb) 838484

[startup+300.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18390 4 1 0 27961 59 0 0 17 0 11 0 1789292664 858607616 27122 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27122 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 280.2
Current children cumulated vsize (Kb) 838484

[startup+310.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18398 4 1 0 28908 59 0 0 16 0 11 0 1789292664 858607616 27211 4294967295 134512640 134569956 3221224336 3221214384 1131400340 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27211 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 289.67
Current children cumulated vsize (Kb) 838484

[startup+320.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18405 4 1 0 29856 59 0 0 17 0 11 0 1789292664 858607616 27285 4294967295 134512640 134569956 3221224336 3221214544 1131588221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 27285 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 299.15
Current children cumulated vsize (Kb) 838484

[startup+330.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18411 4 1 0 30811 60 0 0 18 0 11 0 1789292664 858607616 27373 4294967295 134512640 134569956 3221224336 3221214472 1131472174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 27373 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 308.71
Current children cumulated vsize (Kb) 838484

[startup+340.032 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18418 4 1 0 31754 60 0 0 16 0 11 0 1789292664 858607616 27483 4294967295 134512640 134569956 3221224336 3221214572 1131380403 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27483 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 318.14
Current children cumulated vsize (Kb) 838484

[startup+350.033 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18424 4 1 0 32710 60 0 0 16 0 11 0 1789292664 858607616 27613 4294967295 134512640 134569956 3221224336 3221214560 1131535093 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27613 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 327.7
Current children cumulated vsize (Kb) 838484

[startup+360.035 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18430 4 1 0 33663 60 0 0 17 0 11 0 1789292664 858607616 27710 4294967295 134512640 134569956 3221224336 3221214448 1131431075 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 27710 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 337.23
Current children cumulated vsize (Kb) 838484

[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18436 4 1 0 34619 60 0 0 17 0 11 0 1789292664 858607616 27808 4294967295 134512640 134569956 3221224336 3221214448 1131431218 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27808 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 346.79
Current children cumulated vsize (Kb) 838484

[startup+380.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18441 4 1 0 35580 61 0 0 17 0 11 0 1789292664 858607616 27862 4294967295 134512640 134569956 3221224336 3221214472 1131472164 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 27862 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 356.41
Current children cumulated vsize (Kb) 838484

[startup+390.038 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18448 4 1 0 36521 61 0 0 16 0 11 0 1789292664 858607616 28028 4294967295 134512640 134569956 3221224336 3221214472 1131472722 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28028 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 365.82
Current children cumulated vsize (Kb) 838484

[startup+400.038 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18454 4 1 0 37469 61 0 0 17 0 11 0 1789292664 858607616 28099 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28099 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 375.3
Current children cumulated vsize (Kb) 838484

[startup+410.04 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18460 4 1 0 38412 61 0 0 17 0 11 0 1789292664 858607616 28244 4294967295 134512640 134569956 3221224336 3221214464 1131431298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28244 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 384.73
Current children cumulated vsize (Kb) 838484

[startup+420.042 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18465 4 1 0 39361 61 0 0 17 0 11 0 1789292664 858607616 28311 4294967295 134512640 134569956 3221224336 3221214456 1131614028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 28311 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 394.22
Current children cumulated vsize (Kb) 838484

[startup+430.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18470 4 1 0 40310 62 0 0 16 0 11 0 1789292664 858607616 28369 4294967295 134512640 134569956 3221224336 3221214448 1131431496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28369 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 403.72
Current children cumulated vsize (Kb) 838484

[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18475 4 1 0 41262 62 0 0 16 0 11 0 1789292664 858607616 28538 4294967295 134512640 134569956 3221224336 3221214472 1131472228 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 28538 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 413.24
Current children cumulated vsize (Kb) 838484

[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18482 4 1 0 42206 62 0 0 17 0 11 0 1789292664 858607616 28672 4294967295 134512640 134569956 3221224336 3221214464 1131431539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28672 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 422.68
Current children cumulated vsize (Kb) 838484

[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18487 4 1 0 43168 62 0 0 17 0 11 0 1789292664 858607616 28814 4294967295 134512640 134569956 3221224336 3221214472 1131472216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 28814 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 432.3
Current children cumulated vsize (Kb) 838484

[startup+470.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18494 4 1 0 44119 63 0 0 17 0 11 0 1789292664 858607616 28998 4294967295 134512640 134569956 3221224336 3221214472 1131471777 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 28998 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 441.82
Current children cumulated vsize (Kb) 838484

[startup+480.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18501 4 1 0 45076 63 0 0 17 0 11 0 1789292664 858607616 29085 4294967295 134512640 134569956 3221224336 3221214464 1131431096 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 29085 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 451.39
Current children cumulated vsize (Kb) 838484

[startup+490.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18507 4 1 0 46031 63 0 0 17 0 11 0 1789292664 858607616 29140 4294967295 134512640 134569956 3221224336 3221214560 1131536688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29140 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 460.94
Current children cumulated vsize (Kb) 838484

[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18513 4 1 0 46982 63 0 0 17 0 11 0 1789292664 858607616 29223 4294967295 134512640 134569956 3221224336 3221214544 1131588344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29223 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 470.45
Current children cumulated vsize (Kb) 838484

[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18519 4 1 0 47928 64 0 0 16 0 11 0 1789292664 858607616 29286 4294967295 134512640 134569956 3221224336 3221214560 1131535986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29286 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 479.92
Current children cumulated vsize (Kb) 838484

[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18524 4 1 0 48878 64 0 0 17 0 11 0 1789292664 858607616 29362 4294967295 134512640 134569956 3221224336 3221214472 1131472206 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29362 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 489.42
Current children cumulated vsize (Kb) 838484

[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18532 4 1 0 49821 64 0 0 17 0 11 0 1789292664 858607616 29480 4294967295 134512640 134569956 3221224336 3221214544 1131588266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29480 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 498.85
Current children cumulated vsize (Kb) 838484

[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18538 4 1 0 50764 65 0 0 16 0 11 0 1789292664 858607616 29627 4294967295 134512640 134569956 3221224336 3221214448 1131431298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29627 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 508.29
Current children cumulated vsize (Kb) 838484

[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18543 4 1 0 51716 65 0 0 16 0 11 0 1789292664 858607616 29749 4294967295 134512640 134569956 3221224336 3221214544 1131588262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 29749 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (Kb) 838484

[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18548 4 1 0 52670 65 0 0 16 0 11 0 1789292664 858607616 29868 4294967295 134512640 134569956 3221224336 3221214472 1131471773 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 29868 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 527.35
Current children cumulated vsize (Kb) 838484

[startup+570.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18552 4 1 0 53634 65 0 0 18 0 11 0 1789292664 858607616 29979 4294967295 134512640 134569956 3221224336 3221214456 1131614060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 29979 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 536.99
Current children cumulated vsize (Kb) 838484

[startup+580.697 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18558 4 1 0 54641 65 0 0 17 0 11 0 1789292664 858607616 30093 4294967295 134512640 134569956 3221224336 3221214520 1131380441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 30093 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 547.06
Current children cumulated vsize (Kb) 838484

[startup+590.698 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18563 4 1 0 55590 66 0 0 15 0 11 0 1789292664 858607616 30153 4294967295 134512640 134569956 3221224336 3221214456 1131614465 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 30153 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 556.56
Current children cumulated vsize (Kb) 838484

[startup+600.698 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18567 4 1 0 56549 66 0 0 16 0 11 0 1789292664 858607616 30276 4294967295 134512640 134569956 3221224336 3221214560 1131535132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 30276 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 566.15
Current children cumulated vsize (Kb) 838484

[startup+610.699 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18572 4 1 0 57501 66 0 0 16 0 11 0 1789292664 858607616 30397 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 30397 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 575.67
Current children cumulated vsize (Kb) 838484

[startup+620.7 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18578 4 1 0 58443 66 0 0 16 0 11 0 1789292664 858607616 30528 4294967295 134512640 134569956 3221224336 3221214544 1131588028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 30528 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 585.09
Current children cumulated vsize (Kb) 838484

[startup+630.701 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18582 4 1 0 59401 66 0 0 18 0 11 0 1789292664 858607616 30605 4294967295 134512640 134569956 3221224336 3221214456 1131614060 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 30605 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 594.67
Current children cumulated vsize (Kb) 838484

[startup+640.702 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18588 4 1 0 60341 67 0 0 16 0 11 0 1789292664 858607616 30848 4294967295 134512640 134569956 3221224336 3221214544 1131588130 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 30848 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 604.08
Current children cumulated vsize (Kb) 838484

[startup+650.702 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18593 4 1 0 61297 67 0 0 16 0 11 0 1789292664 858607616 30998 4294967295 134512640 134569956 3221224336 3221214448 1131432225 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 30998 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 613.64
Current children cumulated vsize (Kb) 838484

[startup+660.704 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18598 4 1 0 62256 67 0 0 16 0 11 0 1789292664 858607616 31050 4294967295 134512640 134569956 3221224336 3221214544 1131587907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31050 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 623.23
Current children cumulated vsize (Kb) 838484

[startup+670.705 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18604 4 1 0 63208 68 0 0 16 0 11 0 1789292664 858607616 31176 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31176 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 632.76
Current children cumulated vsize (Kb) 838484

[startup+680.704 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18609 4 1 0 64166 68 0 0 16 0 11 0 1789292664 858607616 31329 4294967295 134512640 134569956 3221224336 3221214560 1131557245 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 31329 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (Kb) 838484

[startup+690.706 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18613 4 1 0 65135 68 0 0 17 0 11 0 1789292664 858607616 31371 4294967295 134512640 134569956 3221224336 3221214456 1131615477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 31371 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 652.03
Current children cumulated vsize (Kb) 838484

[startup+700.707 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18618 4 1 0 66097 68 0 0 17 0 11 0 1789292664 858607616 31526 4294967295 134512640 134569956 3221224336 3221214544 1131587992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31526 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 661.65
Current children cumulated vsize (Kb) 838484

[startup+710.708 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18622 4 1 0 67065 69 0 0 17 0 11 0 1789292664 858607616 31526 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 31526 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 671.34
Current children cumulated vsize (Kb) 838484

[startup+720.709 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18627 4 1 0 68019 69 0 0 16 0 11 0 1789292664 858607616 31564 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 31564 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 680.88
Current children cumulated vsize (Kb) 838484

[startup+730.71 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18632 4 1 0 68973 69 0 0 16 0 11 0 1789292664 858607616 31663 4294967295 134512640 134569956 3221224336 3221214608 1131472383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31663 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 690.42
Current children cumulated vsize (Kb) 838484

[startup+740.711 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18636 4 1 0 69940 70 0 0 17 0 11 0 1789292664 858607616 31789 4294967295 134512640 134569956 3221224336 3221214464 1131431264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31789 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 700.1
Current children cumulated vsize (Kb) 838484

[startup+750.711 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18641 4 1 0 70900 70 0 0 18 0 11 0 1789292664 858607616 31863 4294967295 134512640 134569956 3221224336 3221214448 1131431298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 31863 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 709.7
Current children cumulated vsize (Kb) 838484

[startup+760.713 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18646 4 1 0 71865 70 0 0 18 0 11 0 1789292664 858607616 32017 4294967295 134512640 134569956 3221224336 3221214448 1131431401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32017 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 719.35
Current children cumulated vsize (Kb) 838484

[startup+770.714 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18651 4 1 0 72837 70 0 0 20 0 11 0 1789292664 858607616 32155 4294967295 134512640 134569956 3221224336 3221214448 1131431296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32155 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 729.07
Current children cumulated vsize (Kb) 838484

[startup+780.715 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18656 4 1 0 73813 71 0 0 18 0 11 0 1789292664 858607616 32296 4294967295 134512640 134569956 3221224336 3221214472 1131472140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32296 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 738.84
Current children cumulated vsize (Kb) 838484

[startup+790.716 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18660 4 1 0 74793 71 0 0 24 0 11 0 1789292664 858607616 32350 4294967295 134512640 134569956 3221224336 3221214364 1131399271 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32350 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 748.64
Current children cumulated vsize (Kb) 838484

[startup+800.717 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18664 4 1 0 75774 71 0 0 25 0 11 0 1789292664 858607616 32383 4294967295 134512640 134569956 3221224336 3221214512 1131472226 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32383 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 758.45
Current children cumulated vsize (Kb) 838484

[startup+810.719 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18669 4 1 0 76746 72 0 0 17 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 768.18
Current children cumulated vsize (Kb) 838484

[startup+820.719 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18675 4 1 0 77708 72 0 0 18 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 777.8
Current children cumulated vsize (Kb) 838484

[startup+830.719 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18679 4 1 0 78680 72 0 0 17 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214272 1131727100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 787.52
Current children cumulated vsize (Kb) 838484

[startup+840.72 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18687 4 1 0 79623 73 0 0 16 0 11 0 1789292664 858607616 32598 4294967295 134512640 134569956 3221224336 3221214472 1131473061 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32598 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 796.96
Current children cumulated vsize (Kb) 838484

[startup+850.721 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18692 4 1 0 80592 73 0 0 17 0 11 0 1789292664 858607616 32680 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32680 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 806.65
Current children cumulated vsize (Kb) 838484

[startup+860.722 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18695 4 1 0 81570 73 0 0 18 0 11 0 1789292664 858607616 32731 4294967295 134512640 134569956 3221224336 3221214160 1131726944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32731 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 816.43
Current children cumulated vsize (Kb) 838484

[startup+870.723 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18702 4 1 0 82521 74 0 0 16 0 11 0 1789292664 858607616 32900 4294967295 134512640 134569956 3221224336 3221214472 1131471985 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 32900 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 825.95
Current children cumulated vsize (Kb) 838484

[startup+880.724 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18709 4 1 0 83477 75 0 0 18 0 11 0 1789292664 858607616 32963 4294967295 134512640 134569956 3221224336 3221214696 1131521251 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 32963 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 835.52
Current children cumulated vsize (Kb) 838484

[startup+890.725 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18718 4 1 0 84420 75 0 0 16 0 11 0 1789292664 858607616 33015 4294967295 134512640 134569956 3221224336 3221214464 1131431052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 33015 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 844.95
Current children cumulated vsize (Kb) 838484

[startup+900.725 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18725 4 1 0 85372 75 0 0 17 0 11 0 1789292664 858607616 33154 4294967295 134512640 134569956 3221224336 3221214664 1131477355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33154 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 854.47
Current children cumulated vsize (Kb) 838484

[startup+910.726 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18733 4 1 0 86329 76 0 0 17 0 11 0 1789292664 858607616 33282 4294967295 134512640 134569956 3221224336 3221214448 1131431024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 33282 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 864.05
Current children cumulated vsize (Kb) 838484

[startup+920.727 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18740 4 1 0 87288 76 0 0 16 0 11 0 1789292664 858607616 33340 4294967295 134512640 134569956 3221224336 3221214472 1131471802 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33340 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 873.64
Current children cumulated vsize (Kb) 838484

[startup+930.728 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18747 4 1 0 88244 77 0 0 16 0 11 0 1789292664 858607616 33412 4294967295 134512640 134569956 3221224336 3221214544 1131588338 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 33412 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 883.21
Current children cumulated vsize (Kb) 838484

[startup+940.729 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18753 4 1 0 89206 77 0 0 18 0 11 0 1789292664 858607616 33474 4294967295 134512640 134569956 3221224336 3221214456 1131615583 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 33474 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 892.83
Current children cumulated vsize (Kb) 838484

[startup+950.729 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18760 4 1 0 90160 77 0 0 17 0 11 0 1789292664 858607616 33559 4294967295 134512640 134569956 3221224336 3221214504 1131462010 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33559 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 902.37
Current children cumulated vsize (Kb) 838484

[startup+960.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18768 4 1 0 91112 77 0 0 17 0 11 0 1789292664 858607616 33675 4294967295 134512640 134569956 3221224336 3221214560 1131535075 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33675 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 911.89
Current children cumulated vsize (Kb) 838484

[startup+970.73 s]
Raw data (loadavg): 1.00 1.00 0.98 1/66 31075
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18774 4 1 0 92070 78 0 0 17 0 11 0 1789292664 858607616 33785 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33785 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 921.48
Current children cumulated vsize (Kb) 838484

[startup+980.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18783 4 1 0 93025 78 0 0 16 0 11 0 1789292664 858607616 33899 4294967295 134512640 134569956 3221224336 3221214472 1131472194 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33899 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 931.03
Current children cumulated vsize (Kb) 838484

[startup+990.731 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18790 4 1 0 93985 78 0 0 17 0 11 0 1789292664 858607616 33964 4294967295 134512640 134569956 3221224336 3221214544 1131588432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 33964 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 940.63
Current children cumulated vsize (Kb) 838484

[startup+1000.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18797 4 1 0 94935 79 0 0 15 0 11 0 1789292664 858607616 34034 4294967295 134512640 134569956 3221224336 3221214440 1131560961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 34034 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 950.14
Current children cumulated vsize (Kb) 838484

[startup+1010.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18804 4 1 0 95885 79 0 0 16 0 11 0 1789292664 858607616 34119 4294967295 134512640 134569956 3221224336 3221214448 1131431390 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34119 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 959.64
Current children cumulated vsize (Kb) 838484

[startup+1020.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18810 4 1 0 96843 79 0 0 16 0 11 0 1789292664 858607616 34218 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 34218 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 969.22
Current children cumulated vsize (Kb) 838484

[startup+1030.73 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18817 4 1 0 97794 80 0 0 17 0 11 0 1789292664 858607616 34294 4294967295 134512640 134569956 3221224336 3221214456 1131614227 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34294 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 978.74
Current children cumulated vsize (Kb) 838484

[startup+1040.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18824 4 1 0 98748 80 0 0 18 0 11 0 1789292664 858607616 34512 4294967295 134512640 134569956 3221224336 3221214472 1131471777 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 34512 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 988.28
Current children cumulated vsize (Kb) 838484

[startup+1050.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18830 4 1 0 99710 81 0 0 16 0 11 0 1789292664 858607616 34594 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34594 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 997.91
Current children cumulated vsize (Kb) 838484

[startup+1060.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18835 4 1 0 100680 81 0 0 19 0 11 0 1789292664 858607616 34673 4294967295 134512640 134569956 3221224336 3221214544 1131588423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34673 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1007.61
Current children cumulated vsize (Kb) 838484

[startup+1070.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18842 4 1 0 101637 81 0 0 17 0 11 0 1789292664 858607616 34744 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 34744 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1017.18
Current children cumulated vsize (Kb) 838484

[startup+1080.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18849 4 1 0 102592 82 0 0 17 0 11 0 1789292664 858607616 34862 4294967295 134512640 134569956 3221224336 3221214384 1131399290 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34862 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1026.74
Current children cumulated vsize (Kb) 838484

[startup+1090.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18855 4 1 0 103549 82 0 0 17 0 11 0 1789292664 858607616 34932 4294967295 134512640 134569956 3221224336 3221214560 1131536800 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 34932 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1036.31
Current children cumulated vsize (Kb) 838484

[startup+1100.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18863 4 1 0 104497 82 0 0 16 0 11 0 1789292664 858607616 35072 4294967295 134512640 134569956 3221224336 3221214456 1131614517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 35072 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1045.79
Current children cumulated vsize (Kb) 838484

[startup+1110.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18870 4 1 0 105455 83 0 0 16 0 11 0 1789292664 858607616 35186 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 35186 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1055.38
Current children cumulated vsize (Kb) 838484

[startup+1120.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18878 4 1 0 106410 83 0 0 16 0 11 0 1789292664 858607616 35274 4294967295 134512640 134569956 3221224336 3221214464 1131431341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 35274 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1064.93
Current children cumulated vsize (Kb) 838484

[startup+1130.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18885 4 1 0 107373 83 0 0 18 0 11 0 1789292664 858607616 35454 4294967295 134512640 134569956 3221224336 3221214472 1131472232 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35454 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1074.56
Current children cumulated vsize (Kb) 838484

[startup+1140.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18893 4 1 0 108330 84 0 0 17 0 11 0 1789292664 858607616 35517 4294967295 134512640 134569956 3221224336 3221214384 1131399740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35517 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1084.14
Current children cumulated vsize (Kb) 838484

[startup+1150.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18900 4 1 0 109291 84 0 0 17 0 11 0 1789292664 858607616 35583 4294967295 134512640 134569956 3221224336 3221214560 1131534850 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 35583 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1093.75
Current children cumulated vsize (Kb) 838484

[startup+1160.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18907 4 1 0 110250 85 0 0 16 0 11 0 1789292664 858607616 35609 4294967295 134512640 134569956 3221224336 3221214448 1131431328 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35609 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1103.35
Current children cumulated vsize (Kb) 838484

[startup+1170.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18913 4 1 0 111214 85 0 0 18 0 11 0 1789292664 858607616 35706 4294967295 134512640 134569956 3221224336 3221214472 1131472339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35706 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1112.99
Current children cumulated vsize (Kb) 838484

[startup+1180.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18919 4 1 0 112178 86 0 0 18 0 11 0 1789292664 858607616 35814 4294967295 134512640 134569956 3221224336 3221214668 1131299984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35814 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1122.64
Current children cumulated vsize (Kb) 838484

[startup+1190.74 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18926 4 1 0 113140 86 0 0 17 0 11 0 1789292664 858607616 35852 4294967295 134512640 134569956 3221224336 3221214448 1131431520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 35852 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1132.26
Current children cumulated vsize (Kb) 838484

[startup+1200.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18931 4 1 0 114114 86 0 0 21 0 11 0 1789292664 858607616 35937 4294967295 134512640 134569956 3221224336 3221214384 1131399288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 35937 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1142
Current children cumulated vsize (Kb) 838484

[startup+1210.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18939 4 1 0 115073 87 0 0 17 0 11 0 1789292664 858607616 36043 4294967295 134512640 134569956 3221224336 3221214544 1131588266 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36043 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1151.6
Current children cumulated vsize (Kb) 838484

[startup+1220.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18945 4 1 0 116040 87 0 0 17 0 11 0 1789292664 858607616 36140 4294967295 134512640 134569956 3221224336 3221214464 1131431186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36140 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1161.27
Current children cumulated vsize (Kb) 838484

[startup+1230.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18951 4 1 0 117006 87 0 0 16 0 11 0 1789292664 858607616 36171 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 36171 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (Kb) 838484

[startup+1240.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18959 4 1 0 117960 88 0 0 16 0 11 0 1789292664 858607616 36227 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31063/statm): 209621 36227 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1180.48
Current children cumulated vsize (Kb) 838484

[startup+1250.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18966 4 1 0 118919 88 0 0 17 0 11 0 1789292664 858607616 36304 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36304 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1190.07
Current children cumulated vsize (Kb) 838484

[startup+1260.75 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18972 4 1 0 119883 88 0 0 17 0 11 0 1789292664 858607616 36424 4294967295 134512640 134569956 3221224336 3221214560 1131536668 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36424 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1199.71
Current children cumulated vsize (Kb) 838484

[startup+1270.75 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18980 4 1 0 120839 89 0 0 17 0 11 0 1789292664 858607616 36499 4294967295 134512640 134569956 3221224336 3221214472 1131472250 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36499 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1209.28
Current children cumulated vsize (Kb) 838484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.75 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 31075
Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18980 4 1 0 120839 89 0 0 17 0 11 0 1789292664 858607616 36499 4294967295 134512640 134569956 3221224336 3221214472 1131472412 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31063/statm): 209621 36499 13129 16 0 209605 0
[pid=31063] vsize: 838484
Current children cumulated CPU time (s) 1209.28
Current children cumulated vsize (Kb) 838484

Sending SIGTERM to -31063
Sleeping 2 seconds
New thread pid=31077
New thread pid=31078
One traced child (pid=31078) exited with status: 0
One traced child (pid=31072) exited with status: 0
One traced child (pid=31067) exited with status: 0
One traced child (pid=31064) exited with status: 143
One traced child (pid=31071) exited with status: 143
One traced child (pid=31068) exited with status: 143
One traced child (pid=31070) exited with status: 143
One traced child (pid=31075) exited with status: 143
One traced child (pid=31069) exited with status: 143
One traced child (pid=31065) exited with status: 143
One traced child (pid=31066) exited with status: 143
One traced child (pid=31077) exited with status: 143
One traced child (pid=31063) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1271.09
CPU time (s): 1268.01
CPU user time (s): 1266.44
CPU system time (s): 1.57176
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (Kb): 838612

Verifier Data

Verifier:	OK	-19