Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb |
MD5SUM | c5ca7819a7dcae16ff6045242cdd1f87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
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 numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.11 |
Number of variables | 1835 |
Total number of constraints | 3947 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 1921 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 882 |
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
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
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: OK -19