Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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 8806

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-20 18:51:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6837 boxname=wulflinc23 idbench=977 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 6837
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        833644 kB
Buffers:         33276 kB
Cached:         139696 kB
SwapCached:        836 kB
Active:          71068 kB
Inactive:       104524 kB
HighTotal:      131008 kB
HighFree:         8288 kB
LowTotal:       903652 kB
LowFree:        825356 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19808 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 19:12:47 (client local time) WITH STATUS 143 IN 1279.14 SECONDS
stats: 6837 0 1279.14 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/wulflinc23/normalized-mps-v2-13-7-protfold.opb
c reading problem ... done. Time 4.161 ms.
c #vars     1835
c #constraints  2149
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 -18 		Current CPU time: 37.80 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 206.85 ms
c starts		: 11
c conflicts		: 1880
c decisions		: 18609
c propagations		: 233599
c inspects		: 1586450
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 31
c learnt clauses	: 1880
c root simplifications	: 11
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 2433
c speed (decisions/second)	: 17.52340738885316
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.014

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/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860848585 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 39 3 38 16 0 23 0
[pid=3696] 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/3696
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=3697
New thread pid=3698
New thread pid=3699
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=3700
New thread pid=3701
New thread pid=3702
New thread pid=3703
New thread pid=3704
New thread pid=3705
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/wulflinc23/normalized-mps-v2-13-7-protfold.opb
New thread pid=3706

[startup+10.0029 s]
Raw data (loadavg): 1.03 1.05 1.01 4/66 3706
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18129 0 1 0 709 53 0 0 16 0 11 0 1860848585 860155904 20643 4294967295 134512640 134569956 3221224336 3221214564 1131076129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 209999 20643 13129 16 0 209983 0
[pid=3696] vsize: 839996
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (Kb) 839996

[startup+20.0035 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 3706
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18140 0 1 0 1657 53 0 0 25 0 11 0 1860848585 859770880 22117 4294967295 134512640 134569956 3221224336 3221214536 1131465315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 209905 22117 13129 16 0 209889 0
[pid=3696] vsize: 839620
Current children cumulated CPU time (s) 17.1
Current children cumulated vsize (Kb) 839620

[startup+30.0042 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 3706
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18145 0 1 0 2615 53 0 0 25 0 11 0 1860848585 860295168 22530 4294967295 134512640 134569956 3221224336 3221214608 1131606466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 22530 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 26.68
Current children cumulated vsize (Kb) 840132
One traced child (pid=3706) exited with status: 0
New thread pid=3707

[startup+40.0048 s]
Raw data (loadavg): 1.02 1.04 1.01 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18196 4 1 0 3555 54 0 0 25 0 11 0 1860848585 860295168 22917 4294967295 134512640 134569956 3221224336 3221214672 1131420140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 22917 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 36.09
Current children cumulated vsize (Kb) 840132

[startup+50.0044 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18203 4 1 0 4488 55 0 0 24 0 11 0 1860848585 860295168 23087 4294967295 134512640 134569956 3221224336 3221214432 1131402420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 23087 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 45.43
Current children cumulated vsize (Kb) 840132

[startup+60.0051 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18210 4 1 0 5413 55 0 0 25 0 11 0 1860848585 860295168 23277 4294967295 134512640 134569956 3221224336 3221214616 1131543377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 23277 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 54.68
Current children cumulated vsize (Kb) 840132

[startup+70.0057 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18216 4 1 0 6346 56 0 0 20 0 11 0 1860848585 860295168 23504 4294967295 134512640 134569956 3221224336 3221214528 1131440652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 23504 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 64.02
Current children cumulated vsize (Kb) 840132

[startup+80.0063 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18222 4 1 0 7290 56 0 0 22 0 11 0 1860848585 860295168 23703 4294967295 134512640 134569956 3221224336 3221214632 1131440652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 23703 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (Kb) 840132

[startup+90.007 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18229 4 1 0 8211 56 0 0 16 0 11 0 1860848585 860295168 23914 4294967295 134512640 134569956 3221224336 3221214520 1131465605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 23914 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 82.67
Current children cumulated vsize (Kb) 840132

[startup+100.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18234 4 1 0 9153 56 0 0 25 0 11 0 1860848585 860295168 24037 4294967295 134512640 134569956 3221224336 3221214584 1131385177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 24037 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (Kb) 840132

[startup+110.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18241 4 1 0 10074 56 0 0 16 0 11 0 1860848585 860295168 24248 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 24248 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (Kb) 840132

[startup+120.009 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18247 4 1 0 11005 57 0 0 18 0 11 0 1860848585 860295168 24445 4294967295 134512640 134569956 3221224336 3221214616 1131543377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 24445 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 110.62
Current children cumulated vsize (Kb) 840132

[startup+130.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18254 4 1 0 11928 57 0 0 20 0 11 0 1860848585 860295168 24589 4294967295 134512640 134569956 3221224336 3221214616 1131544550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 24589 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 119.85
Current children cumulated vsize (Kb) 840132

[startup+140.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18260 4 1 0 12860 57 0 0 17 0 11 0 1860848585 860295168 24796 4294967295 134512640 134569956 3221224336 3221214616 1131543377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 24796 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 129.17
Current children cumulated vsize (Kb) 840132

[startup+150.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18266 4 1 0 13795 58 0 0 17 0 11 0 1860848585 860295168 24981 4294967295 134512640 134569956 3221224336 3221214516 1131401952 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 24981 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 138.53
Current children cumulated vsize (Kb) 840132

[startup+160.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18272 4 1 0 14734 58 0 0 16 0 11 0 1860848585 860295168 25151 4294967295 134512640 134569956 3221224336 3221214608 1131606246 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 25151 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 147.92
Current children cumulated vsize (Kb) 840132

[startup+170.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18279 4 1 0 15667 58 0 0 16 0 11 0 1860848585 860295168 25333 4294967295 134512640 134569956 3221224336 3221214616 1131544550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 25333 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 157.25
Current children cumulated vsize (Kb) 840132

[startup+180.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18286 4 1 0 16604 59 0 0 16 0 11 0 1860848585 860295168 25557 4294967295 134512640 134569956 3221224336 3221214624 1131597308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 25557 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 166.63
Current children cumulated vsize (Kb) 840132

[startup+190.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18294 4 1 0 17531 59 0 0 16 0 11 0 1860848585 860295168 25730 4294967295 134512640 134569956 3221224336 3221214520 1131465039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 25730 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 175.9
Current children cumulated vsize (Kb) 840132

[startup+200.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3707
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18300 4 1 0 18474 60 0 0 17 0 11 0 1860848585 860295168 25843 4294967295 134512640 134569956 3221224336 3221214520 1131465648 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 25843 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 185.34
Current children cumulated vsize (Kb) 840132
One traced child (pid=3707) exited with status: 0
New thread pid=3708

[startup+210.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18307 4 1 0 19409 61 0 0 17 0 11 0 1860848585 860295168 25960 4294967295 134512640 134569956 3221224336 3221214728 1131566848 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 25960 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 194.7
Current children cumulated vsize (Kb) 840132

[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18314 4 1 0 20346 61 0 0 16 0 11 0 1860848585 860295168 26071 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 26071 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (Kb) 840132

[startup+230.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18321 4 1 0 21276 61 0 0 17 0 11 0 1860848585 860295168 26329 4294967295 134512640 134569956 3221224336 3221214520 1131465397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 26329 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 213.37
Current children cumulated vsize (Kb) 840132

[startup+240.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) S 3695 3696 5299 0 -1 0 18327 4 1 0 22223 62 0 0 18 0 11 0 1860848585 860295168 26454 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 26454 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 222.85
Current children cumulated vsize (Kb) 840132

[startup+250.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18335 4 1 0 23166 62 0 0 16 0 11 0 1860848585 860295168 26589 4294967295 134512640 134569956 3221224336 3221214616 1131547906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 26589 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 232.28
Current children cumulated vsize (Kb) 840132

[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18341 4 1 0 24120 62 0 0 17 0 11 0 1860848585 860295168 26742 4294967295 134512640 134569956 3221224336 3221214520 1131465321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 26742 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 241.82
Current children cumulated vsize (Kb) 840132

[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18347 4 1 0 25080 63 0 0 16 0 11 0 1860848585 860295168 26895 4294967295 134512640 134569956 3221224336 3221214520 1131464741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 26895 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 251.43
Current children cumulated vsize (Kb) 840132

[startup+280.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) S 3695 3696 5299 0 -1 0 18353 4 1 0 26039 64 0 0 16 0 11 0 1860848585 860295168 26964 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 26964 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 261.03
Current children cumulated vsize (Kb) 840132

[startup+290.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18362 4 1 0 26982 64 0 0 16 0 11 0 1860848585 860295168 27042 4294967295 134512640 134569956 3221224336 3221214520 1131464762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 27042 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 270.46
Current children cumulated vsize (Kb) 840132

[startup+300.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18370 4 1 0 27927 64 0 0 16 0 11 0 1860848585 860295168 27199 4294967295 134512640 134569956 3221224336 3221214520 1131465151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27199 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 279.91
Current children cumulated vsize (Kb) 840132

[startup+310.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18377 4 1 0 28880 65 0 0 16 0 11 0 1860848585 860295168 27308 4294967295 134512640 134569956 3221224336 3221214520 1131465188 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 27308 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 289.45
Current children cumulated vsize (Kb) 840132

[startup+320.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18385 4 1 0 29824 65 0 0 16 0 11 0 1860848585 860295168 27415 4294967295 134512640 134569956 3221224336 3221214616 1131543275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 27415 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 298.89
Current children cumulated vsize (Kb) 840132

[startup+330.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18391 4 1 0 30778 65 0 0 17 0 11 0 1860848585 860295168 27464 4294967295 134512640 134569956 3221224336 3221214520 1131637876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27464 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 308.43
Current children cumulated vsize (Kb) 840132

[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18397 4 1 0 31732 65 0 0 16 0 11 0 1860848585 860295168 27533 4294967295 134512640 134569956 3221224336 3221214584 1131425469 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27533 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 317.97
Current children cumulated vsize (Kb) 840132

[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18403 4 1 0 32682 65 0 0 17 0 11 0 1860848585 860295168 27638 4294967295 134512640 134569956 3221224336 3221214608 1131606258 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27638 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 327.47
Current children cumulated vsize (Kb) 840132

[startup+360.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18409 4 1 0 33636 66 0 0 17 0 11 0 1860848585 860295168 27766 4294967295 134512640 134569956 3221224336 3221214520 1131637948 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27766 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 337.02
Current children cumulated vsize (Kb) 840132

[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18415 4 1 0 34589 66 0 0 17 0 11 0 1860848585 860295168 27879 4294967295 134512640 134569956 3221224336 3221214608 1131606378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27879 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 346.55
Current children cumulated vsize (Kb) 840132

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18421 4 1 0 35544 66 0 0 16 0 11 0 1860848585 860295168 27957 4294967295 134512640 134569956 3221224336 3221214584 1131424769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 27957 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 356.1
Current children cumulated vsize (Kb) 840132

[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18426 4 1 0 36502 68 0 0 17 0 11 0 1860848585 860295168 28046 4294967295 134512640 134569956 3221224336 3221214744 1131619913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 28046 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 365.7
Current children cumulated vsize (Kb) 840132

[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) S 3695 3696 5299 0 -1 0 18432 4 1 0 37444 68 0 0 16 0 11 0 1860848585 860295168 28177 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 28177 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 375.12
Current children cumulated vsize (Kb) 840132

[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18439 4 1 0 38385 69 0 0 16 0 11 0 1860848585 860295168 28269 4294967295 134512640 134569956 3221224336 3221214520 1131465722 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 28269 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 384.54
Current children cumulated vsize (Kb) 840132

[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18445 4 1 0 39327 70 0 0 16 0 11 0 1860848585 860295168 28393 4294967295 134512640 134569956 3221224336 3221214512 1131440652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 28393 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 393.97
Current children cumulated vsize (Kb) 840132

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) S 3695 3696 5299 0 -1 0 18449 4 1 0 40279 70 0 0 18 0 11 0 1860848585 860295168 28460 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 28460 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 403.49
Current children cumulated vsize (Kb) 840132

[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18454 4 1 0 41234 70 0 0 16 0 11 0 1860848585 860295168 28519 4294967295 134512640 134569956 3221224336 3221214512 1131440693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 28519 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 413.04
Current children cumulated vsize (Kb) 840132

[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18459 4 1 0 42186 70 0 0 16 0 11 0 1860848585 860295168 28688 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 28688 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 422.56
Current children cumulated vsize (Kb) 840132

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18466 4 1 0 43128 70 0 0 17 0 11 0 1860848585 860295168 28822 4294967295 134512640 134569956 3221224336 3221214580 1131057207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 28822 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 431.98
Current children cumulated vsize (Kb) 840132

[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18471 4 1 0 44089 71 0 0 17 0 11 0 1860848585 860295168 28964 4294967295 134512640 134569956 3221224336 3221214616 1131544468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 28964 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 441.6
Current children cumulated vsize (Kb) 840132

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18478 4 1 0 45040 71 0 0 17 0 11 0 1860848585 860295168 29148 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 29148 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 451.11
Current children cumulated vsize (Kb) 840132

[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18485 4 1 0 45995 71 0 0 16 0 11 0 1860848585 860295168 29235 4294967295 134512640 134569956 3221224336 3221214520 1131464849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 29235 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 460.66
Current children cumulated vsize (Kb) 840132

[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 3708
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18491 4 1 0 46950 72 0 0 16 0 11 0 1860848585 860295168 29290 4294967295 134512640 134569956 3221224336 3221214616 1131544688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 29290 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 470.22
Current children cumulated vsize (Kb) 840132

[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 3/69 3743
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18497 4 1 0 47896 75 0 0 17 0 11 0 1860848585 860295168 29373 4294967295 134512640 134569956 3221224336 3221214632 1131440693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 29373 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 479.71
Current children cumulated vsize (Kb) 840132

[startup+520.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18502 4 1 0 48848 77 0 0 16 0 11 0 1860848585 860295168 29418 4294967295 134512640 134569956 3221224336 3221214608 1131606141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 29418 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 489.25
Current children cumulated vsize (Kb) 840132

[startup+530.036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18507 4 1 0 49801 77 0 0 17 0 11 0 1860848585 860295168 29501 4294967295 134512640 134569956 3221224336 3221214728 1131566782 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 29501 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 498.78
Current children cumulated vsize (Kb) 840132

[startup+540.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18515 4 1 0 50741 77 0 0 17 0 11 0 1860848585 860295168 29597 4294967295 134512640 134569956 3221224336 3221214192 1131526760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 29597 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 508.18
Current children cumulated vsize (Kb) 840132

[startup+550.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18521 4 1 0 51682 77 0 0 15 0 11 0 1860848585 860295168 29760 4294967295 134512640 134569956 3221224336 3221214608 1131606754 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 29760 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 517.59
Current children cumulated vsize (Kb) 840132

[startup+560.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18526 4 1 0 52634 78 0 0 16 0 11 0 1860848585 860295168 29870 4294967295 134512640 134569956 3221224336 3221214520 1131637860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 29870 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 527.12
Current children cumulated vsize (Kb) 840132

[startup+570.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18531 4 1 0 53587 78 0 0 16 0 11 0 1860848585 860295168 29984 4294967295 134512640 134569956 3221224336 3221214608 1131606246 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 29984 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 536.65
Current children cumulated vsize (Kb) 840132

[startup+580.04 s]
Raw data (loadavg): 1.02 1.01 1.00 3/66 3763
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18536 4 1 0 54541 78 0 0 15 0 11 0 1860848585 860295168 30130 4294967295 134512640 134569956 3221224336 3221214528 1131440351 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30130 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 546.19
Current children cumulated vsize (Kb) 840132

[startup+590.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18540 4 1 0 55503 79 0 0 17 0 11 0 1860848585 860295168 30210 4294967295 134512640 134569956 3221224336 3221214432 1131402009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30210 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 555.82
Current children cumulated vsize (Kb) 840132

[startup+600.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18545 4 1 0 56451 79 0 0 17 0 11 0 1860848585 860295168 30292 4294967295 134512640 134569956 3221224336 3221214520 1131636399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30292 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 565.3
Current children cumulated vsize (Kb) 840132

[startup+610.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18549 4 1 0 57409 79 0 0 17 0 11 0 1860848585 860295168 30354 4294967295 134512640 134569956 3221224336 3221214704 1131385177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 30354 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 574.88
Current children cumulated vsize (Kb) 840132

[startup+620.043 s]
Raw data (loadavg): 1.09 1.02 1.01 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18554 4 1 0 58357 80 0 0 17 0 11 0 1860848585 860295168 30548 4294967295 134512640 134569956 3221224336 3221214512 1131440893 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30548 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 584.37
Current children cumulated vsize (Kb) 840132

[startup+630.043 s]
Raw data (loadavg): 1.16 1.04 1.01 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18560 4 1 0 59300 80 0 0 16 0 11 0 1860848585 860295168 30656 4294967295 134512640 134569956 3221224336 3221214528 1131440650 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30656 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 593.8
Current children cumulated vsize (Kb) 840132

[startup+640.044 s]
Raw data (loadavg): 1.13 1.04 1.01 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) S 3695 3696 5299 0 -1 0 18564 4 1 0 60252 80 0 0 16 0 11 0 1860848585 860295168 30705 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 30705 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 603.32
Current children cumulated vsize (Kb) 840132

[startup+650.044 s]
Raw data (loadavg): 1.11 1.03 1.01 1/66 3767
Raw data (/proc/3696/stat): 3696 (java) T 3695 3696 5299 0 -1 0 18569 4 1 0 61206 80 0 0 18 0 11 0 1860848585 860295168 30903 4294967295 134512640 134569956 3221224336 3221213596 1074594577 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 30903 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 612.86
Current children cumulated vsize (Kb) 840132

[startup+660.045 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18574 4 1 0 62158 81 0 0 18 0 11 0 1860848585 860295168 31026 4294967295 134512640 134569956 3221224336 3221214580 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31026 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 622.39
Current children cumulated vsize (Kb) 840132

[startup+670.046 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18579 4 1 0 63115 81 0 0 18 0 11 0 1860848585 860295168 31149 4294967295 134512640 134569956 3221224336 3221214608 1131606466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 31149 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 631.96
Current children cumulated vsize (Kb) 840132

[startup+680.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18585 4 1 0 64067 81 0 0 16 0 11 0 1860848585 860295168 31250 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 31250 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 641.48
Current children cumulated vsize (Kb) 840132

[startup+690.047 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18590 4 1 0 65026 82 0 0 17 0 11 0 1860848585 860295168 31354 4294967295 134512640 134569956 3221224336 3221214520 1131465605 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31354 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 651.08
Current children cumulated vsize (Kb) 840132

[startup+700.047 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18595 4 1 0 65985 82 0 0 17 0 11 0 1860848585 860295168 31480 4294967295 134512640 134569956 3221224336 3221214600 1131482907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 31480 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 660.67
Current children cumulated vsize (Kb) 840132

[startup+710.048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18600 4 1 0 66945 82 0 0 16 0 11 0 1860848585 860295168 31632 4294967295 134512640 134569956 3221224336 3221214144 1085806260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31632 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 670.27
Current children cumulated vsize (Kb) 840132

[startup+720.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18604 4 1 0 67913 82 0 0 16 0 11 0 1860848585 860295168 31677 4294967295 134512640 134569956 3221224336 3221214520 1131636396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31677 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 679.95
Current children cumulated vsize (Kb) 840132

[startup+730.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18608 4 1 0 68878 83 0 0 18 0 11 0 1860848585 860295168 31715 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31715 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 689.61
Current children cumulated vsize (Kb) 840132

[startup+740.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18613 4 1 0 69830 83 0 0 17 0 11 0 1860848585 860295168 31750 4294967295 134512640 134569956 3221224336 3221214512 1131440842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 31750 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 699.13
Current children cumulated vsize (Kb) 840132

[startup+750.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18618 4 1 0 70785 83 0 0 16 0 11 0 1860848585 860295168 31863 4294967295 134512640 134569956 3221224336 3221214520 1131636460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 31863 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 708.68
Current children cumulated vsize (Kb) 840132

[startup+760.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18622 4 1 0 71752 83 0 0 18 0 11 0 1860848585 860295168 31977 4294967295 134512640 134569956 3221224336 3221214512 1131440693 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 31977 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 718.35
Current children cumulated vsize (Kb) 840132

[startup+770.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18627 4 1 0 72715 84 0 0 17 0 11 0 1860848585 860295168 32074 4294967295 134512640 134569956 3221224336 3221214512 1131440893 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32074 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 727.99
Current children cumulated vsize (Kb) 840132

[startup+780.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18632 4 1 0 73682 84 0 0 17 0 11 0 1860848585 860295168 32175 4294967295 134512640 134569956 3221224336 3221214608 1131606246 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 32175 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 737.66
Current children cumulated vsize (Kb) 840132

[startup+790.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18637 4 1 0 74655 85 0 0 17 0 11 0 1860848585 860295168 32348 4294967295 134512640 134569956 3221224336 3221214632 1131465149 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 32348 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 747.4
Current children cumulated vsize (Kb) 840132

[startup+800.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18642 4 1 0 75630 85 0 0 17 0 11 0 1860848585 860295168 32501 4294967295 134512640 134569956 3221224336 3221214480 1131708852 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32501 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 757.15
Current children cumulated vsize (Kb) 840132

[startup+810.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18646 4 1 0 76611 85 0 0 16 0 11 0 1860848585 860295168 32501 4294967295 134512640 134569956 3221224336 3221214608 1131606466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32501 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 766.96
Current children cumulated vsize (Kb) 840132

[startup+820.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18650 4 1 0 77591 85 0 0 23 0 11 0 1860848585 860295168 32534 4294967295 134512640 134569956 3221224336 3221214512 1131440874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32534 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 776.76
Current children cumulated vsize (Kb) 840132

[startup+830.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18656 4 1 0 78554 86 0 0 16 0 11 0 1860848585 860295168 32583 4294967295 134512640 134569956 3221224336 3221213956 1085759292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32583 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 786.4
Current children cumulated vsize (Kb) 840132

[startup+840.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18660 4 1 0 79527 86 0 0 17 0 11 0 1860848585 860295168 32583 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32583 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 796.13
Current children cumulated vsize (Kb) 840132

[startup+850.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18665 4 1 0 80490 86 0 0 17 0 11 0 1860848585 860295168 32583 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32583 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 805.76
Current children cumulated vsize (Kb) 840132

[startup+860.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3767
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18674 4 1 0 81430 87 0 0 16 0 11 0 1860848585 860295168 32831 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 32831 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 815.17
Current children cumulated vsize (Kb) 840132

[startup+870.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18677 4 1 0 82410 87 0 0 17 0 11 0 1860848585 860295168 32831 4294967295 134512640 134569956 3221224336 3221214624 1131579109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 32831 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 824.97
Current children cumulated vsize (Kb) 840132

[startup+880.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18680 4 1 0 83386 87 0 0 18 0 11 0 1860848585 860295168 32903 4294967295 134512640 134569956 3221224336 3221214616 1131545531 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 32903 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 834.73
Current children cumulated vsize (Kb) 840132

[startup+890.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18688 4 1 0 84332 87 0 0 17 0 11 0 1860848585 860295168 33062 4294967295 134512640 134569956 3221224336 3221214616 1131543317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33062 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 844.19
Current children cumulated vsize (Kb) 840132

[startup+900.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18695 4 1 0 85287 87 0 0 17 0 11 0 1860848585 860295168 33124 4294967295 134512640 134569956 3221224336 3221214616 1131547906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 33124 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 853.74
Current children cumulated vsize (Kb) 840132

[startup+910.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18703 4 1 0 86235 87 0 0 17 0 11 0 1860848585 860295168 33169 4294967295 134512640 134569956 3221224336 3221214624 1131578960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 33169 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 863.22
Current children cumulated vsize (Kb) 840132

[startup+920.059 s]
Raw data (loadavg): 1.15 1.04 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18710 4 1 0 87187 88 0 0 17 0 11 0 1860848585 860295168 33364 4294967295 134512640 134569956 3221224336 3221214604 1131482880 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 33364 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 872.75
Current children cumulated vsize (Kb) 840132

[startup+930.06 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18718 4 1 0 88143 88 0 0 17 0 11 0 1860848585 860295168 33433 4294967295 134512640 134569956 3221224336 3221214520 1131465779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 33433 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (Kb) 840132

[startup+940.061 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18725 4 1 0 89101 88 0 0 16 0 11 0 1860848585 860295168 33515 4294967295 134512640 134569956 3221224336 3221214384 1078035268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33515 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 891.89
Current children cumulated vsize (Kb) 840132

[startup+950.061 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18731 4 1 0 90064 88 0 0 17 0 11 0 1860848585 860295168 33563 4294967295 134512640 134569956 3221224336 3221214520 1131636867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33563 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 901.52
Current children cumulated vsize (Kb) 840132

[startup+960.062 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18737 4 1 0 91025 88 0 0 18 0 11 0 1860848585 860295168 33625 4294967295 134512640 134569956 3221224336 3221214632 1131357686 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33625 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 911.13
Current children cumulated vsize (Kb) 840132

[startup+970.062 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18745 4 1 0 91973 89 0 0 15 0 11 0 1860848585 860295168 33734 4294967295 134512640 134569956 3221224336 3221214616 1131544572 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33734 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 920.62
Current children cumulated vsize (Kb) 840132

[startup+980.063 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18752 4 1 0 92931 89 0 0 17 0 11 0 1860848585 860295168 33826 4294967295 134512640 134569956 3221224336 3221214616 1131545459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33826 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 930.2
Current children cumulated vsize (Kb) 840132

[startup+990.063 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18759 4 1 0 93887 90 0 0 15 0 11 0 1860848585 860295168 33936 4294967295 134512640 134569956 3221224336 3221214432 1131401984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 33936 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 939.77
Current children cumulated vsize (Kb) 840132

[startup+1000.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18766 4 1 0 94847 90 0 0 18 0 11 0 1860848585 860295168 34026 4294967295 134512640 134569956 3221224336 3221214520 1131465315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34026 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 949.37
Current children cumulated vsize (Kb) 840132

[startup+1010.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18774 4 1 0 95800 91 0 0 16 0 11 0 1860848585 860295168 34115 4294967295 134512640 134569956 3221224336 3221214616 1131544526 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34115 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 958.91
Current children cumulated vsize (Kb) 840132

[startup+1020.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18780 4 1 0 96756 92 0 0 16 0 11 0 1860848585 860295168 34179 4294967295 134512640 134569956 3221224336 3221214520 1131465151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34179 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 968.48
Current children cumulated vsize (Kb) 840132

[startup+1030.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18787 4 1 0 97706 92 0 0 16 0 11 0 1860848585 860295168 34270 4294967295 134512640 134569956 3221224336 3221214612 1131465995 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34270 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 977.98
Current children cumulated vsize (Kb) 840132

[startup+1040.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18793 4 1 0 98662 92 0 0 16 0 11 0 1860848585 860295168 34336 4294967295 134512640 134569956 3221224336 3221214520 1131465593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34336 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 987.54
Current children cumulated vsize (Kb) 840132

[startup+1050.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18800 4 1 0 99612 93 0 0 17 0 11 0 1860848585 860295168 34445 4294967295 134512640 134569956 3221224336 3221214616 1131545359 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34445 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 997.05
Current children cumulated vsize (Kb) 840132

[startup+1060.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18807 4 1 0 100565 93 0 0 18 0 11 0 1860848585 860295168 34663 4294967295 134512640 134569956 3221224336 3221214608 1131606466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34663 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1006.58
Current children cumulated vsize (Kb) 840132

[startup+1070.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18813 4 1 0 101527 93 0 0 17 0 11 0 1860848585 860295168 34745 4294967295 134512640 134569956 3221224336 3221214608 1131606466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 34745 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1016.2
Current children cumulated vsize (Kb) 840132

[startup+1080.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18818 4 1 0 102496 93 0 0 17 0 11 0 1860848585 860295168 34824 4294967295 134512640 134569956 3221224336 3221214608 1131606131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34824 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1025.89
Current children cumulated vsize (Kb) 840132

[startup+1090.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18824 4 1 0 103458 94 0 0 18 0 11 0 1860848585 860295168 34895 4294967295 134512640 134569956 3221224336 3221214624 1131597387 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 34895 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1035.52
Current children cumulated vsize (Kb) 840132

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18831 4 1 0 104413 94 0 0 16 0 11 0 1860848585 860295168 34984 4294967295 134512640 134569956 3221224336 3221214616 1131543377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 34984 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1045.07
Current children cumulated vsize (Kb) 840132

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18837 4 1 0 105370 95 0 0 18 0 11 0 1860848585 860295168 35059 4294967295 134512640 134569956 3221224336 3221214580 1131057207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 35059 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1054.65
Current children cumulated vsize (Kb) 840132

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18844 4 1 0 106323 95 0 0 17 0 11 0 1860848585 860295168 35171 4294967295 134512640 134569956 3221224336 3221214520 1131636631 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35171 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1064.18
Current children cumulated vsize (Kb) 840132

[startup+1130.07 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18852 4 1 0 107273 95 0 0 16 0 11 0 1860848585 860295168 35313 4294967295 134512640 134569956 3221224336 3221214520 1131464849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35313 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1073.68
Current children cumulated vsize (Kb) 840132

[startup+1140.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18859 4 1 0 108231 96 0 0 17 0 11 0 1860848585 860295168 35401 4294967295 134512640 134569956 3221224336 3221214616 1131543414 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 35401 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1083.27
Current children cumulated vsize (Kb) 840132

[startup+1150.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18867 4 1 0 109187 96 0 0 16 0 11 0 1860848585 860295168 35605 4294967295 134512640 134569956 3221224336 3221214572 1131057201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35605 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1092.83
Current children cumulated vsize (Kb) 840132

[startup+1160.08 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18874 4 1 0 110150 96 0 0 16 0 11 0 1860848585 860295168 35640 4294967295 134512640 134569956 3221224336 3221214608 1131606378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 35640 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1102.46
Current children cumulated vsize (Kb) 840132

[startup+1170.08 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18881 4 1 0 111112 97 0 0 17 0 11 0 1860848585 860295168 35691 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35691 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1112.09
Current children cumulated vsize (Kb) 840132

[startup+1180.08 s]
Raw data (loadavg): 1.09 1.04 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18887 4 1 0 112077 97 0 0 17 0 11 0 1860848585 860295168 35739 4294967295 134512640 134569956 3221224336 3221214616 1131545437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 35739 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (Kb) 840132

[startup+1190.08 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18894 4 1 0 113034 97 0 0 17 0 11 0 1860848585 860295168 35840 4294967295 134512640 134569956 3221224336 3221214516 1131401952 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35840 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1131.31
Current children cumulated vsize (Kb) 840132

[startup+1200.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18900 4 1 0 113998 97 0 0 17 0 11 0 1860848585 860295168 35933 4294967295 134512640 134569956 3221224336 3221214608 1131606141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 35933 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1140.95
Current children cumulated vsize (Kb) 840132

[startup+1210.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18907 4 1 0 114957 98 0 0 16 0 11 0 1860848585 860295168 35990 4294967295 134512640 134569956 3221224336 3221214520 1131465065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 35990 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1150.55
Current children cumulated vsize (Kb) 840132

[startup+1220.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18913 4 1 0 115925 98 0 0 16 0 11 0 1860848585 860295168 36060 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 36060 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1160.23
Current children cumulated vsize (Kb) 840132

[startup+1230.08 s]
Raw data (loadavg): 1.20 1.06 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18919 4 1 0 116894 98 0 0 16 0 11 0 1860848585 860295168 36142 4294967295 134512640 134569956 3221224336 3221214616 1131543324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 36142 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1169.92
Current children cumulated vsize (Kb) 840132

[startup+1240.08 s]
Raw data (loadavg): 1.16 1.06 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18925 4 1 0 117862 98 0 0 18 0 11 0 1860848585 860295168 36220 4294967295 134512640 134569956 3221224336 3221214512 1131441320 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 36220 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1179.6
Current children cumulated vsize (Kb) 840132

[startup+1250.08 s]
Raw data (loadavg): 1.14 1.06 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18931 4 1 0 118828 99 0 0 17 0 11 0 1860848585 860295168 36291 4294967295 134512640 134569956 3221224336 3221214516 1131403047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 36291 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1189.27
Current children cumulated vsize (Kb) 840132

[startup+1260.08 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18937 4 1 0 119795 99 0 0 17 0 11 0 1860848585 860295168 36351 4294967295 134512640 134569956 3221224336 3221214520 1131465191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3696/statm): 210033 36351 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1198.94
Current children cumulated vsize (Kb) 840132

[startup+1270.08 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18945 4 1 0 120746 99 0 0 17 0 11 0 1860848585 860295168 36379 4294967295 134512640 134569956 3221224336 3221214520 1131465624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 36379 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1208.45
Current children cumulated vsize (Kb) 840132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.09 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 3769
Raw data (/proc/3696/stat): 3696 (java) R 3695 3696 5299 0 -1 0 18945 4 1 0 120746 99 0 0 17 0 11 0 1860848585 860295168 36379 4294967295 134512640 134569956 3221224336 3221214616 1131544435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3696/statm): 210033 36379 13129 16 0 210017 0
[pid=3696] vsize: 840132
Current children cumulated CPU time (s) 1208.45
Current children cumulated vsize (Kb) 840132

Sending SIGTERM to -3696
Sleeping 2 seconds
New thread pid=3771
New thread pid=3772
One traced child (pid=3772) exited with status: 0
One traced child (pid=3705) exited with status: 0
One traced child (pid=3700) exited with status: 0
One traced child (pid=3697) exited with status: 143
One traced child (pid=3698) exited with status: 143
One traced child (pid=3699) exited with status: 143
One traced child (pid=3704) exited with status: 143
One traced child (pid=3701) exited with status: 143
One traced child (pid=3703) exited with status: 143
One traced child (pid=3708) exited with status: 143
One traced child (pid=3702) exited with status: 143
One traced child (pid=3771) exited with status: 143
One traced child (pid=3696) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.41
CPU time (s): 1279.14
CPU user time (s): 1277.25
CPU system time (s): 1.89271
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (Kb): 840132

Verifier Data

Verifier:	OK	-19