Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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 wulflinc4 THE 2005-09-19 05:54:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6453 boxname=wulflinc4 idbench=593 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb IDLAUNCH: 6453 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 913204 kB Buffers: 27876 kB Cached: 68016 kB SwapCached: 872 kB Active: 26208 kB Inactive: 72216 kB HighTotal: 131008 kB HighFree: 59724 kB LowTotal: 903652 kB LowFree: 853480 kB SwapTotal: 2097136 kB SwapFree: 2095648 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5672 kB Slab: 17140 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 06:15:52 (client local time) WITH STATUS 143 IN 1268.01 SECONDS stats: 6453 0 1268.01 143
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb c reading problem ... done. Time 4.119 ms. c #vars 1835 c #constraints 2149 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= -18 Current CPU time: 37.14 ms c CURRENT OPTIMUM= -19 Current CPU time: 202.71 ms c starts : 11 c conflicts : 1898 c decisions : 18695 c propagations : 234286 c inspects : 1603502 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 31 c learnt clauses : 1898 c root simplifications : 11 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 2519 c speed (decisions/second) : 17.525160487161028 c non guided choices 2319 c random choices 0 s SATISFIABLE v -N_0x23_1_0x23_2_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_3_0x23_4_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_8_0x23_9_bit0 -N_0x23_9_0x23_10_bit0 -N_0x23_10_0x23_11_bit0 -N_0x23_11_0x23_12_bit0 -N_0x23_12_0x23_13_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_15_0x23_16_bit0 -N_0x23_16_0x23_17_bit0 N_0x23_17_0x23_18_bit0 N_0x23_18_0x23_19_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_24_0x23_25_bit0 N_0x23_25_0x23_26_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_27_0x23_28_bit0 N_0x23_29_0x23_30_bit0 N_0x23_30_0x23_31_bit0 -N_0x23_31_0x23_32_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_33_0x23_34_bit0 -N_0x23_34_0x23_35_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_37_0x23_38_bit0 N_0x23_38_0x23_39_bit0 N_0x23_39_0x23_40_bit0 -N_0x23_40_0x23_41_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 -N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_2_0x23_9_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_9_0x23_16_bit0 -N_0x23_10_0x23_17_bit0 -N_0x23_11_0x23_18_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_17_0x23_24_bit0 N_0x23_18_0x23_25_bit0 N_0x23_19_0x23_26_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_28_0x23_35_bit0 N_0x23_29_0x23_36_bit0 -N_0x23_30_0x23_37_bit0 N_0x23_31_0x23_38_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_33_0x23_40_bit0 -N_0x23_34_0x23_41_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_37_0x23_44_bit0 N_0x23_38_0x23_45_bit0 -N_0x23_39_0x23_46_bit0 N_0x23_40_0x23_47_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_42_0x23_49_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_8_0x23_16_bit0 N_0x23_9_0x23_17_bit0 -N_0x23_10_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 N_0x23_17_0x23_25_bit0 N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_29_0x23_37_bit0 N_0x23_30_0x23_38_bit0 N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 -N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_36_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_46_bit0 N_0x23_39_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_18_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_16_bit0 x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_30_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_13_bit0 x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_43_0x23_34_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_18_bit0 x_0x23_42_0x23_16_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_20_bit0 x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_1_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_30_bit0 x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_27_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_32_bit0 x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_32_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_11_bit0 x_0x23_36_0x23_9_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_1_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_20_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_1_bit0 x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_26_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_30_0x23_34_bit0 x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_9_bit0 x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_29_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_23_bit0 x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_29_bit0 x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_3_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_13_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_26_bit0 x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_27_bit0 x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_9_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_3_bit0 x_0x23_17_0x23_1_bit0 -x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_23_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_15_0x23_8_bit0 x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_9_bit0 -x_0x23_11_0x23_8_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_9_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_6_bit0 x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_11_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_6_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_12_bit0 x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 x_0x23_33_0x23_19_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_10_bit0 x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_5_bit0 x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0 c objective function=-19 c Total CPU time (ms) : 1269.668
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789292664 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 39 3 38 16 0 23 0 [pid=31063] vsize: 156 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/31063 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=31064 New thread pid=31065 New thread pid=31066 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=31067 New thread pid=31068 New thread pid=31069 New thread pid=31070 New thread pid=31071 New thread pid=31072 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb New thread pid=31073 [startup+10.0027 s] Raw data (loadavg): 1.19 1.05 0.97 2/66 31073 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18142 0 1 0 742 46 0 0 17 0 11 0 1789292664 856936448 20222 4294967295 134512640 134569956 3221224336 3221214640 1131535096 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209213 20222 13129 16 0 209197 0 [pid=31063] vsize: 836852 Current children cumulated CPU time (s) 7.88 Current children cumulated vsize (Kb) 836852 [startup+20.0036 s] Raw data (loadavg): 1.24 1.06 0.98 2/66 31073 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18153 0 1 0 1682 48 0 0 25 0 11 0 1789292664 857559040 21850 4294967295 134512640 134569956 3221224336 3221214428 1131055289 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209365 21850 13129 16 0 209349 0 [pid=31063] vsize: 837460 Current children cumulated CPU time (s) 17.3 Current children cumulated vsize (Kb) 837460 [startup+30.0044 s] Raw data (loadavg): 1.20 1.06 0.98 2/66 31073 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18159 0 1 0 2640 48 0 0 25 0 11 0 1789292664 858607616 22354 4294967295 134512640 134569956 3221224336 3221214600 1131519451 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 22354 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 26.88 Current children cumulated vsize (Kb) 838484 One traced child (pid=31073) exited with status: 0 New thread pid=31074 [startup+40.0053 s] Raw data (loadavg): 1.17 1.06 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18211 4 1 0 3580 49 0 0 25 0 11 0 1789292664 858607616 22746 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 22746 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 36.29 Current children cumulated vsize (Kb) 838484 [startup+50.0062 s] Raw data (loadavg): 1.14 1.05 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18219 4 1 0 4505 49 0 0 18 0 11 0 1789292664 858738688 23035 4294967295 134512640 134569956 3221224336 3221214664 1131431298 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209653 23035 13129 16 0 209637 0 [pid=31063] vsize: 838612 Current children cumulated CPU time (s) 45.54 Current children cumulated vsize (Kb) 838612 [startup+60.007 s] Raw data (loadavg): 1.12 1.05 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18226 4 1 0 5430 50 0 0 25 0 11 0 1789292664 858738688 23308 4294967295 134512640 134569956 3221224336 3221214552 1131472728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209653 23308 13129 16 0 209637 0 [pid=31063] vsize: 838612 Current children cumulated CPU time (s) 54.8 Current children cumulated vsize (Kb) 838612 [startup+70.0079 s] Raw data (loadavg): 1.10 1.05 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18231 4 1 0 6376 50 0 0 25 0 11 0 1789292664 858705920 23374 4294967295 134512640 134569956 3221224336 3221214552 1131472177 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209645 23374 13129 16 0 209629 0 [pid=31063] vsize: 838580 Current children cumulated CPU time (s) 64.26 Current children cumulated vsize (Kb) 838580 [startup+80.0088 s] Raw data (loadavg): 1.08 1.05 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18238 4 1 0 7302 51 0 0 25 0 11 0 1789292664 858705920 23583 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209645 23583 13129 16 0 209629 0 [pid=31063] vsize: 838580 Current children cumulated CPU time (s) 73.53 Current children cumulated vsize (Kb) 838580 [startup+90.0096 s] Raw data (loadavg): 1.07 1.05 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18246 4 1 0 8234 51 0 0 18 0 11 0 1789292664 858705920 23796 4294967295 134512640 134569956 3221224336 3221214472 1131472655 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209645 23796 13129 16 0 209629 0 [pid=31063] vsize: 838580 Current children cumulated CPU time (s) 82.85 Current children cumulated vsize (Kb) 838580 [startup+100.01 s] Raw data (loadavg): 1.06 1.04 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18251 4 1 0 9177 51 0 0 17 0 11 0 1789292664 858705920 23962 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209645 23962 13129 16 0 209629 0 [pid=31063] vsize: 838580 Current children cumulated CPU time (s) 92.28 Current children cumulated vsize (Kb) 838580 [startup+110.012 s] Raw data (loadavg): 1.05 1.04 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18258 4 1 0 10101 52 0 0 18 0 11 0 1789292664 858705920 24152 4294967295 134512640 134569956 3221224336 3221214648 1131380459 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209645 24152 13129 16 0 209629 0 [pid=31063] vsize: 838580 Current children cumulated CPU time (s) 101.53 Current children cumulated vsize (Kb) 838580 [startup+120.013 s] Raw data (loadavg): 1.04 1.04 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18264 4 1 0 11034 52 0 0 22 0 11 0 1789292664 858607616 24294 4294967295 134512640 134569956 3221224336 3221214472 1131472642 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 24294 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 110.86 Current children cumulated vsize (Kb) 838484 [startup+130.013 s] Raw data (loadavg): 1.04 1.04 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18271 4 1 0 11957 53 0 0 25 0 11 0 1789292664 858607616 24514 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 24514 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 120.1 Current children cumulated vsize (Kb) 838484 [startup+140.014 s] Raw data (loadavg): 1.03 1.04 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18277 4 1 0 12892 53 0 0 21 0 11 0 1789292664 858607616 24653 4294967295 134512640 134569956 3221224336 3221214544 1131587892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 24653 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 129.45 Current children cumulated vsize (Kb) 838484 [startup+150.015 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18284 4 1 0 13817 53 0 0 16 0 11 0 1789292664 858607616 24875 4294967295 134512640 134569956 3221224336 3221214456 1131616319 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 24875 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 138.7 Current children cumulated vsize (Kb) 838484 [startup+160.016 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18291 4 1 0 14759 54 0 0 16 0 11 0 1789292664 858607616 25044 4294967295 134512640 134569956 3221224336 3221214512 1131485504 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 25044 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 148.13 Current children cumulated vsize (Kb) 838484 [startup+170.017 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18298 4 1 0 15694 54 0 0 16 0 11 0 1789292664 858607616 25207 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 25207 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 157.48 Current children cumulated vsize (Kb) 838484 [startup+180.017 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18306 4 1 0 16625 54 0 0 16 0 11 0 1789292664 858607616 25502 4294967295 134512640 134569956 3221224336 3221214600 1131431013 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 25502 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 166.79 Current children cumulated vsize (Kb) 838484 [startup+190.018 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18313 4 1 0 17561 55 0 0 16 0 11 0 1789292664 858607616 25633 4294967295 134512640 134569956 3221224336 3221214456 1131614662 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 25633 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 176.16 Current children cumulated vsize (Kb) 838484 [startup+200.019 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 31074 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18320 4 1 0 18497 55 0 0 16 0 11 0 1789292664 858607616 25735 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 25735 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 185.52 Current children cumulated vsize (Kb) 838484 One traced child (pid=31074) exited with status: 0 New thread pid=31075 [startup+210.021 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18327 4 1 0 19432 55 0 0 16 0 11 0 1789292664 858607616 25852 4294967295 134512640 134569956 3221224336 3221214560 1131536668 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 25852 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 194.87 Current children cumulated vsize (Kb) 838484 [startup+220.022 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18334 4 1 0 20359 55 0 0 16 0 11 0 1789292664 858607616 26026 4294967295 134512640 134569956 3221224336 3221214544 1131587990 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 26026 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 204.14 Current children cumulated vsize (Kb) 838484 [startup+230.023 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18341 4 1 0 21298 56 0 0 16 0 11 0 1789292664 858607616 26253 4294967295 134512640 134569956 3221224336 3221214472 1131472642 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 26253 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 213.54 Current children cumulated vsize (Kb) 838484 [startup+240.024 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18347 4 1 0 22252 56 0 0 16 0 11 0 1789292664 858607616 26382 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 26382 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 223.08 Current children cumulated vsize (Kb) 838484 [startup+250.024 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18354 4 1 0 23202 56 0 0 17 0 11 0 1789292664 858607616 26456 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 26456 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 232.58 Current children cumulated vsize (Kb) 838484 [startup+260.025 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18360 4 1 0 24158 57 0 0 17 0 11 0 1789292664 858607616 26688 4294967295 134512640 134569956 3221224336 3221214544 1131588118 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 26688 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 242.15 Current children cumulated vsize (Kb) 838484 [startup+270.026 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18367 4 1 0 25113 57 0 0 16 0 11 0 1789292664 858607616 26799 4294967295 134512640 134569956 3221224336 3221214472 1131472728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 26799 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 251.7 Current children cumulated vsize (Kb) 838484 [startup+280.026 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18375 4 1 0 26063 58 0 0 16 0 11 0 1789292664 858607616 26867 4294967295 134512640 134569956 3221224336 3221214544 1131407530 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 26867 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 261.21 Current children cumulated vsize (Kb) 838484 [startup+290.028 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18384 4 1 0 27002 58 0 0 16 0 11 0 1789292664 858607616 26988 4294967295 134512640 134569956 3221224336 3221214472 1131472715 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 26988 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 270.6 Current children cumulated vsize (Kb) 838484 [startup+300.029 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18390 4 1 0 27961 59 0 0 17 0 11 0 1789292664 858607616 27122 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27122 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 280.2 Current children cumulated vsize (Kb) 838484 [startup+310.03 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18398 4 1 0 28908 59 0 0 16 0 11 0 1789292664 858607616 27211 4294967295 134512640 134569956 3221224336 3221214384 1131400340 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27211 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 289.67 Current children cumulated vsize (Kb) 838484 [startup+320.03 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18405 4 1 0 29856 59 0 0 17 0 11 0 1789292664 858607616 27285 4294967295 134512640 134569956 3221224336 3221214544 1131588221 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 27285 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 299.15 Current children cumulated vsize (Kb) 838484 [startup+330.031 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18411 4 1 0 30811 60 0 0 18 0 11 0 1789292664 858607616 27373 4294967295 134512640 134569956 3221224336 3221214472 1131472174 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 27373 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 308.71 Current children cumulated vsize (Kb) 838484 [startup+340.032 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18418 4 1 0 31754 60 0 0 16 0 11 0 1789292664 858607616 27483 4294967295 134512640 134569956 3221224336 3221214572 1131380403 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27483 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 318.14 Current children cumulated vsize (Kb) 838484 [startup+350.033 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18424 4 1 0 32710 60 0 0 16 0 11 0 1789292664 858607616 27613 4294967295 134512640 134569956 3221224336 3221214560 1131535093 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27613 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 327.7 Current children cumulated vsize (Kb) 838484 [startup+360.035 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18430 4 1 0 33663 60 0 0 17 0 11 0 1789292664 858607616 27710 4294967295 134512640 134569956 3221224336 3221214448 1131431075 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 27710 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 337.23 Current children cumulated vsize (Kb) 838484 [startup+370.036 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18436 4 1 0 34619 60 0 0 17 0 11 0 1789292664 858607616 27808 4294967295 134512640 134569956 3221224336 3221214448 1131431218 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27808 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 346.79 Current children cumulated vsize (Kb) 838484 [startup+380.036 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18441 4 1 0 35580 61 0 0 17 0 11 0 1789292664 858607616 27862 4294967295 134512640 134569956 3221224336 3221214472 1131472164 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 27862 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 356.41 Current children cumulated vsize (Kb) 838484 [startup+390.038 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18448 4 1 0 36521 61 0 0 16 0 11 0 1789292664 858607616 28028 4294967295 134512640 134569956 3221224336 3221214472 1131472722 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28028 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 365.82 Current children cumulated vsize (Kb) 838484 [startup+400.038 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18454 4 1 0 37469 61 0 0 17 0 11 0 1789292664 858607616 28099 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28099 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 375.3 Current children cumulated vsize (Kb) 838484 [startup+410.04 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18460 4 1 0 38412 61 0 0 17 0 11 0 1789292664 858607616 28244 4294967295 134512640 134569956 3221224336 3221214464 1131431298 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28244 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 384.73 Current children cumulated vsize (Kb) 838484 [startup+420.042 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18465 4 1 0 39361 61 0 0 17 0 11 0 1789292664 858607616 28311 4294967295 134512640 134569956 3221224336 3221214456 1131614028 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 28311 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 394.22 Current children cumulated vsize (Kb) 838484 [startup+430.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18470 4 1 0 40310 62 0 0 16 0 11 0 1789292664 858607616 28369 4294967295 134512640 134569956 3221224336 3221214448 1131431496 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28369 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 403.72 Current children cumulated vsize (Kb) 838484 [startup+440.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18475 4 1 0 41262 62 0 0 16 0 11 0 1789292664 858607616 28538 4294967295 134512640 134569956 3221224336 3221214472 1131472228 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 28538 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 413.24 Current children cumulated vsize (Kb) 838484 [startup+450.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18482 4 1 0 42206 62 0 0 17 0 11 0 1789292664 858607616 28672 4294967295 134512640 134569956 3221224336 3221214464 1131431539 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28672 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 422.68 Current children cumulated vsize (Kb) 838484 [startup+460.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18487 4 1 0 43168 62 0 0 17 0 11 0 1789292664 858607616 28814 4294967295 134512640 134569956 3221224336 3221214472 1131472216 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 28814 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 432.3 Current children cumulated vsize (Kb) 838484 [startup+470.046 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18494 4 1 0 44119 63 0 0 17 0 11 0 1789292664 858607616 28998 4294967295 134512640 134569956 3221224336 3221214472 1131471777 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 28998 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 441.82 Current children cumulated vsize (Kb) 838484 [startup+480.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18501 4 1 0 45076 63 0 0 17 0 11 0 1789292664 858607616 29085 4294967295 134512640 134569956 3221224336 3221214464 1131431096 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 29085 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 451.39 Current children cumulated vsize (Kb) 838484 [startup+490.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18507 4 1 0 46031 63 0 0 17 0 11 0 1789292664 858607616 29140 4294967295 134512640 134569956 3221224336 3221214560 1131536688 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29140 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 460.94 Current children cumulated vsize (Kb) 838484 [startup+500.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18513 4 1 0 46982 63 0 0 17 0 11 0 1789292664 858607616 29223 4294967295 134512640 134569956 3221224336 3221214544 1131588344 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29223 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 470.45 Current children cumulated vsize (Kb) 838484 [startup+510.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18519 4 1 0 47928 64 0 0 16 0 11 0 1789292664 858607616 29286 4294967295 134512640 134569956 3221224336 3221214560 1131535986 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29286 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 479.92 Current children cumulated vsize (Kb) 838484 [startup+520.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18524 4 1 0 48878 64 0 0 17 0 11 0 1789292664 858607616 29362 4294967295 134512640 134569956 3221224336 3221214472 1131472206 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29362 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 489.42 Current children cumulated vsize (Kb) 838484 [startup+530.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18532 4 1 0 49821 64 0 0 17 0 11 0 1789292664 858607616 29480 4294967295 134512640 134569956 3221224336 3221214544 1131588266 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29480 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 498.85 Current children cumulated vsize (Kb) 838484 [startup+540.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18538 4 1 0 50764 65 0 0 16 0 11 0 1789292664 858607616 29627 4294967295 134512640 134569956 3221224336 3221214448 1131431298 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29627 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 508.29 Current children cumulated vsize (Kb) 838484 [startup+550.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18543 4 1 0 51716 65 0 0 16 0 11 0 1789292664 858607616 29749 4294967295 134512640 134569956 3221224336 3221214544 1131588262 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 29749 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 517.81 Current children cumulated vsize (Kb) 838484 [startup+560.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18548 4 1 0 52670 65 0 0 16 0 11 0 1789292664 858607616 29868 4294967295 134512640 134569956 3221224336 3221214472 1131471773 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 29868 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 527.35 Current children cumulated vsize (Kb) 838484 [startup+570.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18552 4 1 0 53634 65 0 0 18 0 11 0 1789292664 858607616 29979 4294967295 134512640 134569956 3221224336 3221214456 1131614060 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 29979 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 536.99 Current children cumulated vsize (Kb) 838484 [startup+580.697 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18558 4 1 0 54641 65 0 0 17 0 11 0 1789292664 858607616 30093 4294967295 134512640 134569956 3221224336 3221214520 1131380441 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 30093 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 547.06 Current children cumulated vsize (Kb) 838484 [startup+590.698 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18563 4 1 0 55590 66 0 0 15 0 11 0 1789292664 858607616 30153 4294967295 134512640 134569956 3221224336 3221214456 1131614465 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 30153 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 556.56 Current children cumulated vsize (Kb) 838484 [startup+600.698 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18567 4 1 0 56549 66 0 0 16 0 11 0 1789292664 858607616 30276 4294967295 134512640 134569956 3221224336 3221214560 1131535132 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 30276 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 566.15 Current children cumulated vsize (Kb) 838484 [startup+610.699 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18572 4 1 0 57501 66 0 0 16 0 11 0 1789292664 858607616 30397 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 30397 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 575.67 Current children cumulated vsize (Kb) 838484 [startup+620.7 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18578 4 1 0 58443 66 0 0 16 0 11 0 1789292664 858607616 30528 4294967295 134512640 134569956 3221224336 3221214544 1131588028 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 30528 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 585.09 Current children cumulated vsize (Kb) 838484 [startup+630.701 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18582 4 1 0 59401 66 0 0 18 0 11 0 1789292664 858607616 30605 4294967295 134512640 134569956 3221224336 3221214456 1131614060 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 30605 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 594.67 Current children cumulated vsize (Kb) 838484 [startup+640.702 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18588 4 1 0 60341 67 0 0 16 0 11 0 1789292664 858607616 30848 4294967295 134512640 134569956 3221224336 3221214544 1131588130 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 30848 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 604.08 Current children cumulated vsize (Kb) 838484 [startup+650.702 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18593 4 1 0 61297 67 0 0 16 0 11 0 1789292664 858607616 30998 4294967295 134512640 134569956 3221224336 3221214448 1131432225 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 30998 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 613.64 Current children cumulated vsize (Kb) 838484 [startup+660.704 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18598 4 1 0 62256 67 0 0 16 0 11 0 1789292664 858607616 31050 4294967295 134512640 134569956 3221224336 3221214544 1131587907 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31050 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 623.23 Current children cumulated vsize (Kb) 838484 [startup+670.705 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18604 4 1 0 63208 68 0 0 16 0 11 0 1789292664 858607616 31176 4294967295 134512640 134569956 3221224336 3221214560 1131533832 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31176 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 632.76 Current children cumulated vsize (Kb) 838484 [startup+680.704 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18609 4 1 0 64166 68 0 0 16 0 11 0 1789292664 858607616 31329 4294967295 134512640 134569956 3221224336 3221214560 1131557245 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 31329 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 642.34 Current children cumulated vsize (Kb) 838484 [startup+690.706 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18613 4 1 0 65135 68 0 0 17 0 11 0 1789292664 858607616 31371 4294967295 134512640 134569956 3221224336 3221214456 1131615477 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 31371 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 652.03 Current children cumulated vsize (Kb) 838484 [startup+700.707 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18618 4 1 0 66097 68 0 0 17 0 11 0 1789292664 858607616 31526 4294967295 134512640 134569956 3221224336 3221214544 1131587992 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31526 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 661.65 Current children cumulated vsize (Kb) 838484 [startup+710.708 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18622 4 1 0 67065 69 0 0 17 0 11 0 1789292664 858607616 31526 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 31526 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 671.34 Current children cumulated vsize (Kb) 838484 [startup+720.709 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18627 4 1 0 68019 69 0 0 16 0 11 0 1789292664 858607616 31564 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 31564 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 680.88 Current children cumulated vsize (Kb) 838484 [startup+730.71 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18632 4 1 0 68973 69 0 0 16 0 11 0 1789292664 858607616 31663 4294967295 134512640 134569956 3221224336 3221214608 1131472383 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31663 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 690.42 Current children cumulated vsize (Kb) 838484 [startup+740.711 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18636 4 1 0 69940 70 0 0 17 0 11 0 1789292664 858607616 31789 4294967295 134512640 134569956 3221224336 3221214464 1131431264 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31789 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 838484 [startup+750.711 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18641 4 1 0 70900 70 0 0 18 0 11 0 1789292664 858607616 31863 4294967295 134512640 134569956 3221224336 3221214448 1131431298 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 31863 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 709.7 Current children cumulated vsize (Kb) 838484 [startup+760.713 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18646 4 1 0 71865 70 0 0 18 0 11 0 1789292664 858607616 32017 4294967295 134512640 134569956 3221224336 3221214448 1131431401 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32017 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 719.35 Current children cumulated vsize (Kb) 838484 [startup+770.714 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18651 4 1 0 72837 70 0 0 20 0 11 0 1789292664 858607616 32155 4294967295 134512640 134569956 3221224336 3221214448 1131431296 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32155 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 729.07 Current children cumulated vsize (Kb) 838484 [startup+780.715 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18656 4 1 0 73813 71 0 0 18 0 11 0 1789292664 858607616 32296 4294967295 134512640 134569956 3221224336 3221214472 1131472140 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32296 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 738.84 Current children cumulated vsize (Kb) 838484 [startup+790.716 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18660 4 1 0 74793 71 0 0 24 0 11 0 1789292664 858607616 32350 4294967295 134512640 134569956 3221224336 3221214364 1131399271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32350 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 748.64 Current children cumulated vsize (Kb) 838484 [startup+800.717 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18664 4 1 0 75774 71 0 0 25 0 11 0 1789292664 858607616 32383 4294967295 134512640 134569956 3221224336 3221214512 1131472226 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32383 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 758.45 Current children cumulated vsize (Kb) 838484 [startup+810.719 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18669 4 1 0 76746 72 0 0 17 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 768.18 Current children cumulated vsize (Kb) 838484 [startup+820.719 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18675 4 1 0 77708 72 0 0 18 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 777.8 Current children cumulated vsize (Kb) 838484 [startup+830.719 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18679 4 1 0 78680 72 0 0 17 0 11 0 1789292664 858607616 32432 4294967295 134512640 134569956 3221224336 3221214272 1131727100 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32432 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 787.52 Current children cumulated vsize (Kb) 838484 [startup+840.72 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18687 4 1 0 79623 73 0 0 16 0 11 0 1789292664 858607616 32598 4294967295 134512640 134569956 3221224336 3221214472 1131473061 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32598 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 796.96 Current children cumulated vsize (Kb) 838484 [startup+850.721 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18692 4 1 0 80592 73 0 0 17 0 11 0 1789292664 858607616 32680 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32680 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 806.65 Current children cumulated vsize (Kb) 838484 [startup+860.722 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18695 4 1 0 81570 73 0 0 18 0 11 0 1789292664 858607616 32731 4294967295 134512640 134569956 3221224336 3221214160 1131726944 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32731 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 816.43 Current children cumulated vsize (Kb) 838484 [startup+870.723 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18702 4 1 0 82521 74 0 0 16 0 11 0 1789292664 858607616 32900 4294967295 134512640 134569956 3221224336 3221214472 1131471985 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 32900 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 825.95 Current children cumulated vsize (Kb) 838484 [startup+880.724 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18709 4 1 0 83477 75 0 0 18 0 11 0 1789292664 858607616 32963 4294967295 134512640 134569956 3221224336 3221214696 1131521251 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 32963 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 835.52 Current children cumulated vsize (Kb) 838484 [startup+890.725 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18718 4 1 0 84420 75 0 0 16 0 11 0 1789292664 858607616 33015 4294967295 134512640 134569956 3221224336 3221214464 1131431052 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 33015 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 844.95 Current children cumulated vsize (Kb) 838484 [startup+900.725 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18725 4 1 0 85372 75 0 0 17 0 11 0 1789292664 858607616 33154 4294967295 134512640 134569956 3221224336 3221214664 1131477355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33154 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 854.47 Current children cumulated vsize (Kb) 838484 [startup+910.726 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18733 4 1 0 86329 76 0 0 17 0 11 0 1789292664 858607616 33282 4294967295 134512640 134569956 3221224336 3221214448 1131431024 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 33282 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 864.05 Current children cumulated vsize (Kb) 838484 [startup+920.727 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18740 4 1 0 87288 76 0 0 16 0 11 0 1789292664 858607616 33340 4294967295 134512640 134569956 3221224336 3221214472 1131471802 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33340 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 873.64 Current children cumulated vsize (Kb) 838484 [startup+930.728 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18747 4 1 0 88244 77 0 0 16 0 11 0 1789292664 858607616 33412 4294967295 134512640 134569956 3221224336 3221214544 1131588338 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 33412 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 883.21 Current children cumulated vsize (Kb) 838484 [startup+940.729 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18753 4 1 0 89206 77 0 0 18 0 11 0 1789292664 858607616 33474 4294967295 134512640 134569956 3221224336 3221214456 1131615583 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 33474 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 892.83 Current children cumulated vsize (Kb) 838484 [startup+950.729 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18760 4 1 0 90160 77 0 0 17 0 11 0 1789292664 858607616 33559 4294967295 134512640 134569956 3221224336 3221214504 1131462010 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33559 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 902.37 Current children cumulated vsize (Kb) 838484 [startup+960.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18768 4 1 0 91112 77 0 0 17 0 11 0 1789292664 858607616 33675 4294967295 134512640 134569956 3221224336 3221214560 1131535075 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33675 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 911.89 Current children cumulated vsize (Kb) 838484 [startup+970.73 s] Raw data (loadavg): 1.00 1.00 0.98 1/66 31075 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18774 4 1 0 92070 78 0 0 17 0 11 0 1789292664 858607616 33785 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33785 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 921.48 Current children cumulated vsize (Kb) 838484 [startup+980.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18783 4 1 0 93025 78 0 0 16 0 11 0 1789292664 858607616 33899 4294967295 134512640 134569956 3221224336 3221214472 1131472194 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33899 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 931.03 Current children cumulated vsize (Kb) 838484 [startup+990.731 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18790 4 1 0 93985 78 0 0 17 0 11 0 1789292664 858607616 33964 4294967295 134512640 134569956 3221224336 3221214544 1131588432 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 33964 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 940.63 Current children cumulated vsize (Kb) 838484 [startup+1000.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18797 4 1 0 94935 79 0 0 15 0 11 0 1789292664 858607616 34034 4294967295 134512640 134569956 3221224336 3221214440 1131560961 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 34034 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 950.14 Current children cumulated vsize (Kb) 838484 [startup+1010.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18804 4 1 0 95885 79 0 0 16 0 11 0 1789292664 858607616 34119 4294967295 134512640 134569956 3221224336 3221214448 1131431390 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34119 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 959.64 Current children cumulated vsize (Kb) 838484 [startup+1020.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18810 4 1 0 96843 79 0 0 16 0 11 0 1789292664 858607616 34218 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 34218 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 969.22 Current children cumulated vsize (Kb) 838484 [startup+1030.73 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18817 4 1 0 97794 80 0 0 17 0 11 0 1789292664 858607616 34294 4294967295 134512640 134569956 3221224336 3221214456 1131614227 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34294 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 978.74 Current children cumulated vsize (Kb) 838484 [startup+1040.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18824 4 1 0 98748 80 0 0 18 0 11 0 1789292664 858607616 34512 4294967295 134512640 134569956 3221224336 3221214472 1131471777 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 34512 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 988.28 Current children cumulated vsize (Kb) 838484 [startup+1050.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18830 4 1 0 99710 81 0 0 16 0 11 0 1789292664 858607616 34594 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34594 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 997.91 Current children cumulated vsize (Kb) 838484 [startup+1060.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18835 4 1 0 100680 81 0 0 19 0 11 0 1789292664 858607616 34673 4294967295 134512640 134569956 3221224336 3221214544 1131588423 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34673 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1007.61 Current children cumulated vsize (Kb) 838484 [startup+1070.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18842 4 1 0 101637 81 0 0 17 0 11 0 1789292664 858607616 34744 4294967295 134512640 134569956 3221224336 3221214544 1131587984 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 34744 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1017.18 Current children cumulated vsize (Kb) 838484 [startup+1080.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18849 4 1 0 102592 82 0 0 17 0 11 0 1789292664 858607616 34862 4294967295 134512640 134569956 3221224336 3221214384 1131399290 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34862 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1026.74 Current children cumulated vsize (Kb) 838484 [startup+1090.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18855 4 1 0 103549 82 0 0 17 0 11 0 1789292664 858607616 34932 4294967295 134512640 134569956 3221224336 3221214560 1131536800 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 34932 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1036.31 Current children cumulated vsize (Kb) 838484 [startup+1100.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18863 4 1 0 104497 82 0 0 16 0 11 0 1789292664 858607616 35072 4294967295 134512640 134569956 3221224336 3221214456 1131614517 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 35072 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1045.79 Current children cumulated vsize (Kb) 838484 [startup+1110.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18870 4 1 0 105455 83 0 0 16 0 11 0 1789292664 858607616 35186 4294967295 134512640 134569956 3221224336 3221214560 1131533839 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 35186 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1055.38 Current children cumulated vsize (Kb) 838484 [startup+1120.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18878 4 1 0 106410 83 0 0 16 0 11 0 1789292664 858607616 35274 4294967295 134512640 134569956 3221224336 3221214464 1131431341 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 35274 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1064.93 Current children cumulated vsize (Kb) 838484 [startup+1130.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18885 4 1 0 107373 83 0 0 18 0 11 0 1789292664 858607616 35454 4294967295 134512640 134569956 3221224336 3221214472 1131472232 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35454 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1074.56 Current children cumulated vsize (Kb) 838484 [startup+1140.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18893 4 1 0 108330 84 0 0 17 0 11 0 1789292664 858607616 35517 4294967295 134512640 134569956 3221224336 3221214384 1131399740 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35517 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1084.14 Current children cumulated vsize (Kb) 838484 [startup+1150.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18900 4 1 0 109291 84 0 0 17 0 11 0 1789292664 858607616 35583 4294967295 134512640 134569956 3221224336 3221214560 1131534850 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 35583 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1093.75 Current children cumulated vsize (Kb) 838484 [startup+1160.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18907 4 1 0 110250 85 0 0 16 0 11 0 1789292664 858607616 35609 4294967295 134512640 134569956 3221224336 3221214448 1131431328 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35609 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1103.35 Current children cumulated vsize (Kb) 838484 [startup+1170.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18913 4 1 0 111214 85 0 0 18 0 11 0 1789292664 858607616 35706 4294967295 134512640 134569956 3221224336 3221214472 1131472339 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35706 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1112.99 Current children cumulated vsize (Kb) 838484 [startup+1180.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18919 4 1 0 112178 86 0 0 18 0 11 0 1789292664 858607616 35814 4294967295 134512640 134569956 3221224336 3221214668 1131299984 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35814 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1122.64 Current children cumulated vsize (Kb) 838484 [startup+1190.74 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18926 4 1 0 113140 86 0 0 17 0 11 0 1789292664 858607616 35852 4294967295 134512640 134569956 3221224336 3221214448 1131431520 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 35852 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1132.26 Current children cumulated vsize (Kb) 838484 [startup+1200.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18931 4 1 0 114114 86 0 0 21 0 11 0 1789292664 858607616 35937 4294967295 134512640 134569956 3221224336 3221214384 1131399288 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 35937 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1142 Current children cumulated vsize (Kb) 838484 [startup+1210.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18939 4 1 0 115073 87 0 0 17 0 11 0 1789292664 858607616 36043 4294967295 134512640 134569956 3221224336 3221214544 1131588266 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36043 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1151.6 Current children cumulated vsize (Kb) 838484 [startup+1220.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18945 4 1 0 116040 87 0 0 17 0 11 0 1789292664 858607616 36140 4294967295 134512640 134569956 3221224336 3221214464 1131431186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36140 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1161.27 Current children cumulated vsize (Kb) 838484 [startup+1230.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) S 31062 31063 6847 0 -1 0 18951 4 1 0 117006 87 0 0 16 0 11 0 1789292664 858607616 36171 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 36171 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1170.93 Current children cumulated vsize (Kb) 838484 [startup+1240.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18959 4 1 0 117960 88 0 0 16 0 11 0 1789292664 858607616 36227 4294967295 134512640 134569956 3221224336 3221214472 1131472177 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/31063/statm): 209621 36227 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1180.48 Current children cumulated vsize (Kb) 838484 [startup+1250.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18966 4 1 0 118919 88 0 0 17 0 11 0 1789292664 858607616 36304 4294967295 134512640 134569956 3221224336 3221214560 1131533892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36304 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1190.07 Current children cumulated vsize (Kb) 838484 [startup+1260.75 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18972 4 1 0 119883 88 0 0 17 0 11 0 1789292664 858607616 36424 4294967295 134512640 134569956 3221224336 3221214560 1131536668 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36424 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1199.71 Current children cumulated vsize (Kb) 838484 [startup+1270.75 s] Raw data (loadavg): 1.07 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18980 4 1 0 120839 89 0 0 17 0 11 0 1789292664 858607616 36499 4294967295 134512640 134569956 3221224336 3221214472 1131472250 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36499 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1209.28 Current children cumulated vsize (Kb) 838484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1270.75 s] Raw data (loadavg): 1.07 1.02 0.98 2/66 31075 Raw data (/proc/31063/stat): 31063 (java) R 31062 31063 6847 0 -1 0 18980 4 1 0 120839 89 0 0 17 0 11 0 1789292664 858607616 36499 4294967295 134512640 134569956 3221224336 3221214472 1131472412 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/31063/statm): 209621 36499 13129 16 0 209605 0 [pid=31063] vsize: 838484 Current children cumulated CPU time (s) 1209.28 Current children cumulated vsize (Kb) 838484 Sending SIGTERM to -31063 Sleeping 2 seconds New thread pid=31077 New thread pid=31078 One traced child (pid=31078) exited with status: 0 One traced child (pid=31072) exited with status: 0 One traced child (pid=31067) exited with status: 0 One traced child (pid=31064) exited with status: 143 One traced child (pid=31071) exited with status: 143 One traced child (pid=31068) exited with status: 143 One traced child (pid=31070) exited with status: 143 One traced child (pid=31075) exited with status: 143 One traced child (pid=31069) exited with status: 143 One traced child (pid=31065) exited with status: 143 One traced child (pid=31066) exited with status: 143 One traced child (pid=31077) exited with status: 143 One traced child (pid=31063) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1271.09 CPU time (s): 1268.01 CPU user time (s): 1266.44 CPU system time (s): 1.57176 CPU usage (%): 99.7575 Max. virtual memory (cumulated for all children) (Kb): 838612
Verifier: OK -19