Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb |
MD5SUM | 326c72a25c8066513471046cf298330a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -20715832672 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 788267008000 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 9669174315900 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 788267008000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 9669174315900 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.11 |
Number of variables | 2840 |
Total number of constraints | 174 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 174 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 2360 |
LAUNCH ON wulflinc22 THE 2005-09-20 11:53:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6683 boxname=wulflinc22 idbench=823 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 326c72a25c8066513471046cf298330a /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-israel.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-israel.opb IDLAUNCH: 6683 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 828776 kB Buffers: 31024 kB Cached: 147536 kB SwapCached: 552 kB Active: 48876 kB Inactive: 132312 kB HighTotal: 131008 kB HighFree: 3584 kB LowTotal: 903652 kB LowFree: 825192 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 68 kB Writeback: 0 kB Mapped: 5828 kB Slab: 19136 kB Committed_AS: 64300 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 12:14:10 (client local time) WITH STATUS 143 IN 1226.58 SECONDS stats: 6683 0 1226.58 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/wulflinc22/normalized-mps-v2-13-7-israel.opb c reading problem ... done. Time 4.301 ms. c #vars 2840 c #constraints 174 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= -12419072000 Current CPU time: 10.44 ms c CURRENT OPTIMUM= -13860864000 Current CPU time: 19.00 ms c CURRENT OPTIMUM= -14581760000 Current CPU time: 30.54 ms c CURRENT OPTIMUM= -14942208000 Current CPU time: 45.05 ms c CURRENT OPTIMUM= -15032320000 Current CPU time: 62.49 ms c CURRENT OPTIMUM= -15077376000 Current CPU time: 82.81 ms c CURRENT OPTIMUM= -15078080000 Current CPU time: 106.38 ms c CURRENT OPTIMUM= -15078256000 Current CPU time: 133.05 ms c CURRENT OPTIMUM= -15078344000 Current CPU time: 162.66 ms c CURRENT OPTIMUM= -15078388000 Current CPU time: 195.21 ms c CURRENT OPTIMUM= -15078393500 Current CPU time: 261.05 ms c CURRENT OPTIMUM= -15078703500 Current CPU time: 299.61 ms c CURRENT OPTIMUM= -15302656000 Current CPU time: 340.50 ms c CURRENT OPTIMUM= -16023552000 Current CPU time: 384.81 ms c CURRENT OPTIMUM= -16384000000 Current CPU time: 431.94 ms c CURRENT OPTIMUM= -16474112000 Current CPU time: 481.99 ms c CURRENT OPTIMUM= -16519168000 Current CPU time: 534.98 ms c CURRENT OPTIMUM= -16519872000 Current CPU time: 591.47 ms c CURRENT OPTIMUM= -16520048000 Current CPU time: 650.94 ms c CURRENT OPTIMUM= -16520136000 Current CPU time: 713.43 ms c CURRENT OPTIMUM= -16520180000 Current CPU time: 778.88 ms c CURRENT OPTIMUM= -16520185500 Current CPU time: 873.75 ms c CURRENT OPTIMUM= -16744448000 Current CPU time: 944.30 ms c CURRENT OPTIMUM= -17104896000 Current CPU time: 1017.80 ms c CURRENT OPTIMUM= -17195008000 Current CPU time: 1094.38 ms c CURRENT OPTIMUM= -17240064000 Current CPU time: 1173.89 ms c starts : 27 c conflicts : 2 c decisions : 27448 c propagations : 65945 c inspects : 328302 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 2 c root simplifications : 27 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 611.9136793294097 c non guided choices 27394 c random choices 0 s SATISFIABLE v -A301_bit_7 -A301_bit_6 -A301_bit_5 -A301_bit_4 -A301_bit_3 -A301_bit_2 -A301_bit_1 -A301_bit0 -A301_bit1 -A301_bit2 -A301_bit3 -A301_bit4 -A301_bit5 -A301_bit6 -A301_bit7 -A301_bit8 -A301_bit9 -A301_bit10 -A301_bit11 -A301_bit12 -A302_bit_7 -A302_bit_6 -A302_bit_5 -A302_bit_4 -A302_bit_3 -A302_bit_2 -A302_bit_1 -A302_bit0 -A302_bit1 -A302_bit2 -A302_bit3 -A302_bit4 -A302_bit5 -A302_bit6 -A302_bit7 -A302_bit8 -A302_bit9 -A302_bit10 -A302_bit11 -A302_bit12 -A303_bit_7 -A303_bit_6 -A303_bit_5 -A303_bit_4 -A303_bit_3 -A303_bit_2 -A303_bit_1 -A303_bit0 -A303_bit1 -A303_bit2 -A303_bit3 -A303_bit4 -A303_bit5 -A303_bit6 -A303_bit7 -A303_bit8 -A303_bit9 -A303_bit10 -A303_bit11 -A303_bit12 -A304_bit_7 -A304_bit_6 -A304_bit_5 -A304_bit_4 -A304_bit_3 -A304_bit_2 -A304_bit_1 -A304_bit0 -A304_bit1 -A304_bit2 -A304_bit3 -A304_bit4 -A304_bit5 -A304_bit6 -A304_bit7 -A304_bit8 -A304_bit9 -A304_bit10 -A304_bit11 -A304_bit12 -A305_bit_7 -A305_bit_6 -A305_bit_5 -A305_bit_4 -A305_bit_3 -A305_bit_2 -A305_bit_1 -A305_bit0 -A305_bit1 -A305_bit2 -A305_bit3 -A305_bit4 -A305_bit5 -A305_bit6 -A305_bit7 -A305_bit8 -A305_bit9 -A305_bit10 -A305_bit11 -A305_bit12 -A306_bit_7 -A306_bit_6 -A306_bit_5 -A306_bit_4 -A306_bit_3 -A306_bit_2 -A306_bit_1 -A306_bit0 -A306_bit1 -A306_bit2 -A306_bit3 -A306_bit4 -A306_bit5 -A306_bit6 -A306_bit7 -A306_bit8 -A306_bit9 -A306_bit10 -A306_bit11 -A306_bit12 -A307_bit_7 -A307_bit_6 -A307_bit_5 -A307_bit_4 -A307_bit_3 -A307_bit_2 -A307_bit_1 -A307_bit0 -A307_bit1 -A307_bit2 -A307_bit3 -A307_bit4 -A307_bit5 -A307_bit6 -A307_bit7 -A307_bit8 -A307_bit9 -A307_bit10 -A307_bit11 -A307_bit12 -A308_bit_7 -A308_bit_6 -A308_bit_5 -A308_bit_4 -A308_bit_3 -A308_bit_2 -A308_bit_1 -A308_bit0 -A308_bit1 -A308_bit2 -A308_bit3 -A308_bit4 -A308_bit5 -A308_bit6 -A308_bit7 -A308_bit8 -A308_bit9 -A308_bit10 -A308_bit11 -A308_bit12 -A309_bit_7 -A309_bit_6 -A309_bit_5 -A309_bit_4 -A309_bit_3 -A309_bit_2 -A309_bit_1 -A309_bit0 -A309_bit1 -A309_bit2 -A309_bit3 -A309_bit4 -A309_bit5 -A309_bit6 -A309_bit7 -A309_bit8 -A309_bit9 -A309_bit10 -A309_bit11 -A309_bit12 -A310_bit_7 -A310_bit_6 -A310_bit_5 -A310_bit_4 -A310_bit_3 -A310_bit_2 -A310_bit_1 -A310_bit0 -A310_bit1 -A310_bit2 -A310_bit3 -A310_bit4 -A310_bit5 -A310_bit6 -A310_bit7 -A310_bit8 -A310_bit9 -A310_bit10 -A310_bit11 -A310_bit12 -A311_bit_7 -A311_bit_6 -A311_bit_5 -A311_bit_4 -A311_bit_3 -A311_bit_2 -A311_bit_1 -A311_bit0 -A311_bit1 -A311_bit2 -A311_bit3 -A311_bit4 -A311_bit5 -A311_bit6 -A311_bit7 -A311_bit8 -A311_bit9 -A311_bit10 -A311_bit11 -A311_bit12 -A312_bit_7 -A312_bit_6 -A312_bit_5 -A312_bit_4 -A312_bit_3 -A312_bit_2 -A312_bit_1 -A312_bit0 -A312_bit1 -A312_bit2 -A312_bit3 -A312_bit4 -A312_bit5 -A312_bit6 -A312_bit7 -A312_bit8 -A312_bit9 -A312_bit10 -A312_bit11 -A312_bit12 -A313_bit_7 -A313_bit_6 -A313_bit_5 -A313_bit_4 -A313_bit_3 -A313_bit_2 -A313_bit_1 -A313_bit0 -A313_bit1 -A313_bit2 -A313_bit3 -A313_bit4 -A313_bit5 -A313_bit6 -A313_bit7 -A313_bit8 -A313_bit9 -A313_bit10 -A313_bit11 -A313_bit12 -A314_bit_7 -A314_bit_6 -A314_bit_5 -A314_bit_4 -A314_bit_3 -A314_bit_2 -A314_bit_1 -A314_bit0 -A314_bit1 -A314_bit2 -A314_bit3 -A314_bit4 -A314_bit5 -A314_bit6 -A314_bit7 -A314_bit8 -A314_bit9 -A314_bit10 -A314_bit11 -A314_bit12 -A315_bit_7 -A315_bit_6 -A315_bit_5 -A315_bit_4 -A315_bit_3 -A315_bit_2 -A315_bit_1 -A315_bit0 -A315_bit1 -A315_bit2 -A315_bit3 -A315_bit4 -A315_bit5 -A315_bit6 -A315_bit7 -A315_bit8 -A315_bit9 -A315_bit10 -A315_bit11 -A315_bit12 -A316_bit_7 -A316_bit_6 -A316_bit_5 -A316_bit_4 -A316_bit_3 -A316_bit_2 -A316_bit_1 -A316_bit0 -A316_bit1 -A316_bit2 -A316_bit3 -A316_bit4 -A316_bit5 -A316_bit6 -A316_bit7 -A316_bit8 -A316_bit9 -A316_bit10 -A316_bit11 -A316_bit12 -A317_bit_7 -A317_bit_6 -A317_bit_5 -A317_bit_4 -A317_bit_3 -A317_bit_2 -A317_bit_1 -A317_bit0 -A317_bit1 -A317_bit2 -A317_bit3 -A317_bit4 -A317_bit5 -A317_bit6 -A317_bit7 -A317_bit8 -A317_bit9 -A317_bit10 -A317_bit11 -A317_bit12 -A318_bit_7 -A318_bit_6 -A318_bit_5 -A318_bit_4 -A318_bit_3 -A318_bit_2 -A318_bit_1 -A318_bit0 -A318_bit1 -A318_bit2 -A318_bit3 -A318_bit4 -A318_bit5 -A318_bit6 -A318_bit7 -A318_bit8 -A318_bit9 -A318_bit10 -A318_bit11 -A318_bit12 -A319_bit_7 -A319_bit_6 -A319_bit_5 -A319_bit_4 -A319_bit_3 -A319_bit_2 -A319_bit_1 -A319_bit0 -A319_bit1 -A319_bit2 -A319_bit3 -A319_bit4 -A319_bit5 -A319_bit6 -A319_bit7 -A319_bit8 -A319_bit9 -A319_bit10 -A319_bit11 -A319_bit12 -A320_bit_7 -A320_bit_6 -A320_bit_5 -A320_bit_4 -A320_bit_3 -A320_bit_2 -A320_bit_1 -A320_bit0 -A320_bit1 -A320_bit2 -A320_bit3 -A320_bit4 -A320_bit5 -A320_bit6 -A320_bit7 -A320_bit8 -A320_bit9 -A320_bit10 -A320_bit11 -A320_bit12 -A321_bit_7 -A321_bit_6 -A321_bit_5 -A321_bit_4 -A321_bit_3 -A321_bit_2 -A321_bit_1 -A321_bit0 -A321_bit1 -A321_bit2 -A321_bit3 -A321_bit4 -A321_bit5 -A321_bit6 -A321_bit7 -A321_bit8 -A321_bit9 -A321_bit10 -A321_bit11 -A321_bit12 -A322_bit_7 -A322_bit_6 -A322_bit_5 -A322_bit_4 -A322_bit_3 -A322_bit_2 -A322_bit_1 -A322_bit0 -A322_bit1 -A322_bit2 -A322_bit3 -A322_bit4 -A322_bit5 -A322_bit6 -A322_bit7 -A322_bit8 -A322_bit9 -A322_bit10 -A322_bit11 -A322_bit12 -A323_bit_7 -A323_bit_6 -A323_bit_5 -A323_bit_4 -A323_bit_3 -A323_bit_2 -A323_bit_1 -A323_bit0 -A323_bit1 -A323_bit2 -A323_bit3 -A323_bit4 -A323_bit5 -A323_bit6 -A323_bit7 -A323_bit8 -A323_bit9 -A323_bit10 -A323_bit11 -A323_bit12 -A324_bit_7 -A324_bit_6 -A324_bit_5 -A324_bit_4 -A324_bit_3 -A324_bit_2 -A324_bit_1 -A324_bit0 -A324_bit1 -A324_bit2 -A324_bit3 -A324_bit4 -A324_bit5 -A324_bit6 -A324_bit7 -A324_bit8 -A324_bit9 -A324_bit10 -A324_bit11 -A324_bit12 -A325_bit_7 -A325_bit_6 -A325_bit_5 -A325_bit_4 -A325_bit_3 -A325_bit_2 -A325_bit_1 -A325_bit0 -A325_bit1 -A325_bit2 -A325_bit3 -A325_bit4 -A325_bit5 -A325_bit6 -A325_bit7 -A325_bit8 -A325_bit9 -A325_bit10 -A325_bit11 -A325_bit12 -A326_bit_7 -A326_bit_6 -A326_bit_5 -A326_bit_4 -A326_bit_3 -A326_bit_2 -A326_bit_1 -A326_bit0 -A326_bit1 -A326_bit2 -A326_bit3 -A326_bit4 -A326_bit5 -A326_bit6 -A326_bit7 -A326_bit8 -A326_bit9 -A326_bit10 -A326_bit11 -A326_bit12 -A327_bit_7 -A327_bit_6 -A327_bit_5 -A327_bit_4 -A327_bit_3 -A327_bit_2 -A327_bit_1 -A327_bit0 -A327_bit1 -A327_bit2 -A327_bit3 -A327_bit4 -A327_bit5 -A327_bit6 -A327_bit7 -A327_bit8 -A327_bit9 -A327_bit10 -A327_bit11 -A327_bit12 -A328_bit_7 -A328_bit_6 -A328_bit_5 -A328_bit_4 -A328_bit_3 -A328_bit_2 -A328_bit_1 -A328_bit0 -A328_bit1 -A328_bit2 -A328_bit3 -A328_bit4 -A328_bit5 -A328_bit6 -A328_bit7 -A328_bit8 -A328_bit9 -A328_bit10 -A328_bit11 -A328_bit12 -A329_bit_7 -A329_bit_6 -A329_bit_5 -A329_bit_4 -A329_bit_3 -A329_bit_2 -A329_bit_1 -A329_bit0 -A329_bit1 -A329_bit2 -A329_bit3 -A329_bit4 -A329_bit5 -A329_bit6 -A329_bit7 -A329_bit8 -A329_bit9 -A329_bit10 -A329_bit11 -A329_bit12 -A330_bit_7 -A330_bit_6 -A330_bit_5 -A330_bit_4 -A330_bit_3 -A330_bit_2 -A330_bit_1 -A330_bit0 -A330_bit1 -A330_bit2 -A330_bit3 -A330_bit4 -A330_bit5 -A330_bit6 -A330_bit7 -A330_bit8 -A330_bit9 -A330_bit10 -A330_bit11 -A330_bit12 -A331_bit_7 -A331_bit_6 -A331_bit_5 -A331_bit_4 -A331_bit_3 -A331_bit_2 -A331_bit_1 -A331_bit0 -A331_bit1 -A331_bit2 -A331_bit3 -A331_bit4 -A331_bit5 -A331_bit6 -A331_bit7 -A331_bit8 -A331_bit9 -A331_bit10 -A331_bit11 -A331_bit12 -A332_bit_7 -A332_bit_6 -A332_bit_5 -A332_bit_4 -A332_bit_3 -A332_bit_2 -A332_bit_1 -A332_bit0 -A332_bit1 -A332_bit2 -A332_bit3 -A332_bit4 -A332_bit5 -A332_bit6 -A332_bit7 -A332_bit8 -A332_bit9 -A332_bit10 -A332_bit11 -A332_bit12 -A333_bit_7 -A333_bit_6 -A333_bit_5 -A333_bit_4 -A333_bit_3 -A333_bit_2 -A333_bit_1 -A333_bit0 -A333_bit1 -A333_bit2 -A333_bit3 -A333_bit4 -A333_bit5 -A333_bit6 -A333_bit7 -A333_bit8 -A333_bit9 -A333_bit10 -A333_bit11 -A333_bit12 -A334_bit_7 -A334_bit_6 -A334_bit_5 -A334_bit_4 -A334_bit_3 -A334_bit_2 -A334_bit_1 -A334_bit0 -A334_bit1 -A334_bit2 -A334_bit3 -A334_bit4 -A334_bit5 -A334_bit6 -A334_bit7 -A334_bit8 -A334_bit9 -A334_bit10 -A334_bit11 -A334_bit12 -A335_bit_7 -A335_bit_6 -A335_bit_5 -A335_bit_4 -A335_bit_3 -A335_bit_2 -A335_bit_1 -A335_bit0 -A335_bit1 -A335_bit2 -A335_bit3 -A335_bit4 -A335_bit5 -A335_bit6 -A335_bit7 -A335_bit8 -A335_bit9 -A335_bit10 -A335_bit11 -A335_bit12 -A336_bit_7 -A336_bit_6 -A336_bit_5 -A336_bit_4 -A336_bit_3 -A336_bit_2 -A336_bit_1 -A336_bit0 -A336_bit1 -A336_bit2 -A336_bit3 -A336_bit4 -A336_bit5 -A336_bit6 -A336_bit7 -A336_bit8 -A336_bit9 -A336_bit10 -A336_bit11 -A336_bit12 -A337_bit_7 -A337_bit_6 -A337_bit_5 -A337_bit_4 -A337_bit_3 -A337_bit_2 -A337_bit_1 -A337_bit0 -A337_bit1 -A337_bit2 -A337_bit3 -A337_bit4 -A337_bit5 -A337_bit6 -A337_bit7 -A337_bit8 -A337_bit9 A337_bit10 -A337_bit11 -A337_bit12 -A338_bit_7 -A338_bit_6 -A338_bit_5 -A338_bit_4 -A338_bit_3 -A338_bit_2 -A338_bit_1 -A338_bit0 -A338_bit1 -A338_bit2 -A338_bit3 -A338_bit4 -A338_bit5 -A338_bit6 -A338_bit7 -A338_bit8 -A338_bit9 -A338_bit10 -A338_bit11 -A338_bit12 -A339_bit_7 -A339_bit_6 -A339_bit_5 -A339_bit_4 -A339_bit_3 -A339_bit_2 -A339_bit_1 -A339_bit0 -A339_bit1 -A339_bit2 -A339_bit3 -A339_bit4 -A339_bit5 -A339_bit6 -A339_bit7 -A339_bit8 -A339_bit9 -A339_bit10 -A339_bit11 -A339_bit12 -A340_bit_7 -A340_bit_6 -A340_bit_5 -A340_bit_4 -A340_bit_3 -A340_bit_2 -A340_bit_1 -A340_bit0 -A340_bit1 -A340_bit2 -A340_bit3 -A340_bit4 -A340_bit5 -A340_bit6 -A340_bit7 -A340_bit8 -A340_bit9 -A340_bit10 -A340_bit11 -A340_bit12 -A341_bit_7 -A341_bit_6 -A341_bit_5 -A341_bit_4 -A341_bit_3 -A341_bit_2 -A341_bit_1 -A341_bit0 -A341_bit1 -A341_bit2 -A341_bit3 -A341_bit4 -A341_bit5 -A341_bit6 -A341_bit7 -A341_bit8 -A341_bit9 -A341_bit10 A341_bit11 -A341_bit12 -A342_bit_7 -A342_bit_6 -A342_bit_5 -A342_bit_4 -A342_bit_3 -A342_bit_2 -A342_bit_1 -A342_bit0 -A342_bit1 -A342_bit2 -A342_bit3 -A342_bit4 -A342_bit5 -A342_bit6 -A342_bit7 -A342_bit8 -A342_bit9 -A342_bit10 A342_bit11 -A342_bit12 -A343_bit_7 -A343_bit_6 -A343_bit_5 -A343_bit_4 -A343_bit_3 -A343_bit_2 -A343_bit_1 -A343_bit0 -A343_bit1 -A343_bit2 -A343_bit3 -A343_bit4 -A343_bit5 -A343_bit6 -A343_bit7 -A343_bit8 -A343_bit9 -A343_bit10 -A343_bit11 -A343_bit12 -A344_bit_7 -A344_bit_6 -A344_bit_5 -A344_bit_4 -A344_bit_3 -A344_bit_2 -A344_bit_1 -A344_bit0 -A344_bit1 -A344_bit2 -A344_bit3 -A344_bit4 -A344_bit5 -A344_bit6 -A344_bit7 -A344_bit8 -A344_bit9 A344_bit10 -A344_bit11 -A344_bit12 -A345_bit_7 -A345_bit_6 -A345_bit_5 -A345_bit_4 -A345_bit_3 -A345_bit_2 -A345_bit_1 -A345_bit0 -A345_bit1 -A345_bit2 -A345_bit3 -A345_bit4 -A345_bit5 -A345_bit6 -A345_bit7 -A345_bit8 A345_bit9 -A345_bit10 -A345_bit11 -A345_bit12 -A346_bit_7 -A346_bit_6 -A346_bit_5 -A346_bit_4 -A346_bit_3 -A346_bit_2 -A346_bit_1 -A346_bit0 -A346_bit1 -A346_bit2 -A346_bit3 -A346_bit4 -A346_bit5 -A346_bit6 -A346_bit7 -A346_bit8 -A346_bit9 A346_bit10 -A346_bit11 -A346_bit12 -A347_bit_7 -A347_bit_6 -A347_bit_5 -A347_bit_4 -A347_bit_3 -A347_bit_2 -A347_bit_1 -A347_bit0 -A347_bit1 -A347_bit2 -A347_bit3 -A347_bit4 -A347_bit5 -A347_bit6 -A347_bit7 -A347_bit8 -A347_bit9 -A347_bit10 -A347_bit11 -A347_bit12 -A348_bit_7 -A348_bit_6 -A348_bit_5 -A348_bit_4 -A348_bit_3 -A348_bit_2 -A348_bit_1 -A348_bit0 -A348_bit1 -A348_bit2 -A348_bit3 -A348_bit4 -A348_bit5 -A348_bit6 -A348_bit7 A348_bit8 -A348_bit9 -A348_bit10 -A348_bit11 -A348_bit12 -A349_bit_7 -A349_bit_6 -A349_bit_5 -A349_bit_4 -A349_bit_3 -A349_bit_2 -A349_bit_1 -A349_bit0 -A349_bit1 -A349_bit2 -A349_bit3 -A349_bit4 -A349_bit5 -A349_bit6 -A349_bit7 -A349_bit8 -A349_bit9 -A349_bit10 -A349_bit11 -A349_bit12 -A350_bit_7 -A350_bit_6 -A350_bit_5 -A350_bit_4 -A350_bit_3 -A350_bit_2 -A350_bit_1 -A350_bit0 -A350_bit1 -A350_bit2 -A350_bit3 -A350_bit4 -A350_bit5 -A350_bit6 -A350_bit7 -A350_bit8 -A350_bit9 -A350_bit10 -A350_bit11 -A350_bit12 -A351_bit_7 -A351_bit_6 -A351_bit_5 -A351_bit_4 -A351_bit_3 -A351_bit_2 -A351_bit_1 -A351_bit0 -A351_bit1 -A351_bit2 -A351_bit3 -A351_bit4 -A351_bit5 -A351_bit6 -A351_bit7 -A351_bit8 -A351_bit9 -A351_bit10 -A351_bit11 A351_bit12 -A352_bit_7 -A352_bit_6 -A352_bit_5 -A352_bit_4 -A352_bit_3 -A352_bit_2 -A352_bit_1 -A352_bit0 -A352_bit1 -A352_bit2 -A352_bit3 -A352_bit4 -A352_bit5 -A352_bit6 -A352_bit7 -A352_bit8 -A352_bit9 -A352_bit10 -A352_bit11 A352_bit12 -A353_bit_7 -A353_bit_6 -A353_bit_5 -A353_bit_4 -A353_bit_3 -A353_bit_2 -A353_bit_1 -A353_bit0 -A353_bit1 -A353_bit2 -A353_bit3 -A353_bit4 -A353_bit5 -A353_bit6 -A353_bit7 -A353_bit8 -A353_bit9 A353_bit10 -A353_bit11 -A353_bit12 -A354_bit_7 -A354_bit_6 -A354_bit_5 -A354_bit_4 -A354_bit_3 -A354_bit_2 -A354_bit_1 -A354_bit0 -A354_bit1 -A354_bit2 -A354_bit3 -A354_bit4 -A354_bit5 A354_bit6 -A354_bit7 A354_bit8 -A354_bit9 -A354_bit10 -A354_bit11 -A354_bit12 -A355_bit_7 -A355_bit_6 -A355_bit_5 -A355_bit_4 -A355_bit_3 -A355_bit_2 -A355_bit_1 -A355_bit0 -A355_bit1 -A355_bit2 -A355_bit3 -A355_bit4 -A355_bit5 -A355_bit6 -A355_bit7 -A355_bit8 -A355_bit9 -A355_bit10 -A355_bit11 -A355_bit12 -A356_bit_7 -A356_bit_6 -A356_bit_5 -A356_bit_4 -A356_bit_3 -A356_bit_2 -A356_bit_1 -A356_bit0 -A356_bit1 -A356_bit2 -A356_bit3 -A356_bit4 -A356_bit5 -A356_bit6 -A356_bit7 -A356_bit8 -A356_bit9 -A356_bit10 -A356_bit11 -A356_bit12 -A357_bit_7 -A357_bit_6 -A357_bit_5 -A357_bit_4 -A357_bit_3 -A357_bit_2 -A357_bit_1 -A357_bit0 -A357_bit1 -A357_bit2 -A357_bit3 -A357_bit4 -A357_bit5 -A357_bit6 -A357_bit7 -A357_bit8 -A357_bit9 -A357_bit10 -A357_bit11 -A357_bit12 -A358_bit_7 -A358_bit_6 -A358_bit_5 -A358_bit_4 -A358_bit_3 -A358_bit_2 -A358_bit_1 -A358_bit0 -A358_bit1 -A358_bit2 -A358_bit3 -A358_bit4 -A358_bit5 -A358_bit6 -A358_bit7 -A358_bit8 -A358_bit9 -A358_bit10 -A358_bit11 -A358_bit12 -A359_bit_7 -A359_bit_6 -A359_bit_5 -A359_bit_4 -A359_bit_3 -A359_bit_2 -A359_bit_1 -A359_bit0 -A359_bit1 -A359_bit2 -A359_bit3 -A359_bit4 -A359_bit5 -A359_bit6 -A359_bit7 -A359_bit8 -A359_bit9 -A359_bit10 -A359_bit11 -A359_bit12 -A360_bit_7 -A360_bit_6 -A360_bit_5 -A360_bit_4 -A360_bit_3 -A360_bit_2 -A360_bit_1 -A360_bit0 -A360_bit1 -A360_bit2 -A360_bit3 -A360_bit4 -A360_bit5 -A360_bit6 -A360_bit7 -A360_bit8 -A360_bit9 -A360_bit10 -A360_bit11 -A360_bit12 -A361_bit_7 -A361_bit_6 -A361_bit_5 -A361_bit_4 -A361_bit_3 -A361_bit_2 -A361_bit_1 -A361_bit0 -A361_bit1 -A361_bit2 -A361_bit3 -A361_bit4 -A361_bit5 -A361_bit6 -A361_bit7 -A361_bit8 -A361_bit9 -A361_bit10 -A361_bit11 -A361_bit12 -A362_bit_7 -A362_bit_6 -A362_bit_5 -A362_bit_4 -A362_bit_3 -A362_bit_2 -A362_bit_1 -A362_bit0 -A362_bit1 -A362_bit2 -A362_bit3 -A362_bit4 -A362_bit5 -A362_bit6 -A362_bit7 -A362_bit8 -A362_bit9 -A362_bit10 -A362_bit11 -A362_bit12 -A363_bit_7 -A363_bit_6 -A363_bit_5 -A363_bit_4 -A363_bit_3 -A363_bit_2 -A363_bit_1 -A363_bit0 -A363_bit1 -A363_bit2 -A363_bit3 -A363_bit4 -A363_bit5 -A363_bit6 -A363_bit7 -A363_bit8 -A363_bit9 -A363_bit10 -A363_bit11 -A363_bit12 -A364_bit_7 -A364_bit_6 -A364_bit_5 -A364_bit_4 -A364_bit_3 -A364_bit_2 -A364_bit_1 -A364_bit0 -A364_bit1 -A364_bit2 -A364_bit3 -A364_bit4 -A364_bit5 -A364_bit6 -A364_bit7 -A364_bit8 -A364_bit9 -A364_bit10 -A364_bit11 -A364_bit12 -A365_bit_7 -A365_bit_6 -A365_bit_5 -A365_bit_4 -A365_bit_3 -A365_bit_2 -A365_bit_1 -A365_bit0 -A365_bit1 -A365_bit2 -A365_bit3 -A365_bit4 -A365_bit5 -A365_bit6 -A365_bit7 -A365_bit8 -A365_bit9 -A365_bit10 -A365_bit11 -A365_bit12 -A366_bit_7 -A366_bit_6 -A366_bit_5 -A366_bit_4 -A366_bit_3 -A366_bit_2 -A366_bit_1 -A366_bit0 -A366_bit1 -A366_bit2 -A366_bit3 -A366_bit4 -A366_bit5 -A366_bit6 -A366_bit7 -A366_bit8 -A366_bit9 -A366_bit10 -A366_bit11 -A366_bit12 -A367_bit_7 -A367_bit_6 -A367_bit_5 -A367_bit_4 -A367_bit_3 -A367_bit_2 -A367_bit_1 -A367_bit0 -A367_bit1 -A367_bit2 -A367_bit3 -A367_bit4 -A367_bit5 -A367_bit6 -A367_bit7 -A367_bit8 -A367_bit9 -A367_bit10 -A367_bit11 -A367_bit12 -A368_bit_7 -A368_bit_6 -A368_bit_5 -A368_bit_4 -A368_bit_3 -A368_bit_2 -A368_bit_1 -A368_bit0 -A368_bit1 -A368_bit2 -A368_bit3 -A368_bit4 -A368_bit5 -A368_bit6 -A368_bit7 -A368_bit8 -A368_bit9 -A368_bit10 -A368_bit11 -A368_bit12 -A369_bit_7 -A369_bit_6 -A369_bit_5 -A369_bit_4 -A369_bit_3 -A369_bit_2 -A369_bit_1 -A369_bit0 -A369_bit1 -A369_bit2 -A369_bit3 -A369_bit4 -A369_bit5 -A369_bit6 -A369_bit7 -A369_bit8 -A369_bit9 -A369_bit10 -A369_bit11 -A369_bit12 -A370_bit_7 -A370_bit_6 -A370_bit_5 -A370_bit_4 -A370_bit_3 -A370_bit_2 -A370_bit_1 -A370_bit0 -A370_bit1 -A370_bit2 -A370_bit3 -A370_bit4 -A370_bit5 -A370_bit6 -A370_bit7 -A370_bit8 -A370_bit9 -A370_bit10 -A370_bit11 -A370_bit12 -A371_bit_7 -A371_bit_6 -A371_bit_5 -A371_bit_4 -A371_bit_3 -A371_bit_2 -A371_bit_1 -A371_bit0 -A371_bit1 -A371_bit2 -A371_bit3 -A371_bit4 -A371_bit5 -A371_bit6 -A371_bit7 -A371_bit8 -A371_bit9 -A371_bit10 -A371_bit11 -A371_bit12 -A372_bit_7 -A372_bit_6 -A372_bit_5 -A372_bit_4 -A372_bit_3 -A372_bit_2 -A372_bit_1 -A372_bit0 -A372_bit1 -A372_bit2 -A372_bit3 -A372_bit4 -A372_bit5 -A372_bit6 -A372_bit7 -A372_bit8 -A372_bit9 -A372_bit10 -A372_bit11 -A372_bit12 -A373_bit_7 -A373_bit_6 -A373_bit_5 -A373_bit_4 -A373_bit_3 -A373_bit_2 -A373_bit_1 -A373_bit0 -A373_bit1 -A373_bit2 -A373_bit3 -A373_bit4 -A373_bit5 -A373_bit6 -A373_bit7 -A373_bit8 -A373_bit9 -A373_bit10 -A373_bit11 -A373_bit12 -A374_bit_7 -A374_bit_6 -A374_bit_5 -A374_bit_4 -A374_bit_3 -A374_bit_2 -A374_bit_1 -A374_bit0 -A374_bit1 -A374_bit2 -A374_bit3 -A374_bit4 -A374_bit5 -A374_bit6 -A374_bit7 -A374_bit8 -A374_bit9 -A374_bit10 -A374_bit11 -A374_bit12 -A375_bit_7 -A375_bit_6 -A375_bit_5 -A375_bit_4 -A375_bit_3 -A375_bit_2 -A375_bit_1 -A375_bit0 -A375_bit1 -A375_bit2 -A375_bit3 -A375_bit4 -A375_bit5 -A375_bit6 -A375_bit7 -A375_bit8 -A375_bit9 -A375_bit10 -A375_bit11 -A375_bit12 -A376_bit_7 -A376_bit_6 -A376_bit_5 -A376_bit_4 -A376_bit_3 -A376_bit_2 -A376_bit_1 -A376_bit0 -A376_bit1 -A376_bit2 -A376_bit3 -A376_bit4 -A376_bit5 -A376_bit6 -A376_bit7 -A376_bit8 -A376_bit9 -A376_bit10 -A376_bit11 -A376_bit12 -A377_bit_7 -A377_bit_6 -A377_bit_5 -A377_bit_4 -A377_bit_3 -A377_bit_2 -A377_bit_1 -A377_bit0 -A377_bit1 -A377_bit2 -A377_bit3 -A377_bit4 -A377_bit5 -A377_bit6 -A377_bit7 -A377_bit8 -A377_bit9 -A377_bit10 -A377_bit11 -A377_bit12 -A378_bit_7 -A378_bit_6 -A378_bit_5 -A378_bit_4 -A378_bit_3 -A378_bit_2 -A378_bit_1 -A378_bit0 -A378_bit1 -A378_bit2 -A378_bit3 -A378_bit4 -A378_bit5 -A378_bit6 -A378_bit7 -A378_bit8 -A378_bit9 -A378_bit10 -A378_bit11 -A378_bit12 -A379_bit_7 -A379_bit_6 -A379_bit_5 -A379_bit_4 -A379_bit_3 -A379_bit_2 -A379_bit_1 -A379_bit0 -A379_bit1 -A379_bit2 -A379_bit3 -A379_bit4 -A379_bit5 -A379_bit6 -A379_bit7 -A379_bit8 -A379_bit9 -A379_bit10 -A379_bit11 -A379_bit12 -A380_bit_7 -A380_bit_6 -A380_bit_5 -A380_bit_4 -A380_bit_3 -A380_bit_2 -A380_bit_1 -A380_bit0 -A380_bit1 -A380_bit2 -A380_bit3 -A380_bit4 -A380_bit5 -A380_bit6 -A380_bit7 -A380_bit8 -A380_bit9 -A380_bit10 -A380_bit11 -A380_bit12 -A381_bit_7 -A381_bit_6 -A381_bit_5 -A381_bit_4 -A381_bit_3 -A381_bit_2 -A381_bit_1 -A381_bit0 -A381_bit1 -A381_bit2 -A381_bit3 -A381_bit4 -A381_bit5 -A381_bit6 -A381_bit7 -A381_bit8 -A381_bit9 -A381_bit10 -A381_bit11 -A381_bit12 -A382_bit_7 -A382_bit_6 -A382_bit_5 -A382_bit_4 -A382_bit_3 -A382_bit_2 -A382_bit_1 -A382_bit0 -A382_bit1 -A382_bit2 -A382_bit3 -A382_bit4 -A382_bit5 -A382_bit6 -A382_bit7 -A382_bit8 -A382_bit9 -A382_bit10 -A382_bit11 -A382_bit12 -A383_bit_7 -A383_bit_6 -A383_bit_5 -A383_bit_4 -A383_bit_3 -A383_bit_2 -A383_bit_1 -A383_bit0 -A383_bit1 -A383_bit2 -A383_bit3 -A383_bit4 -A383_bit5 -A383_bit6 -A383_bit7 -A383_bit8 -A383_bit9 -A383_bit10 -A383_bit11 -A383_bit12 -A384_bit_7 -A384_bit_6 -A384_bit_5 -A384_bit_4 -A384_bit_3 -A384_bit_2 -A384_bit_1 -A384_bit0 -A384_bit1 -A384_bit2 -A384_bit3 -A384_bit4 -A384_bit5 -A384_bit6 -A384_bit7 -A384_bit8 -A384_bit9 -A384_bit10 -A384_bit11 -A384_bit12 -A433_bit_7 -A433_bit_6 -A433_bit_5 -A433_bit_4 -A433_bit_3 -A433_bit_2 -A433_bit_1 -A433_bit0 -A433_bit1 -A433_bit2 -A433_bit3 -A433_bit4 -A433_bit5 -A433_bit6 -A433_bit7 -A433_bit8 -A433_bit9 -A433_bit10 -A433_bit11 -A433_bit12 -A434_bit_7 -A434_bit_6 -A434_bit_5 -A434_bit_4 -A434_bit_3 -A434_bit_2 -A434_bit_1 -A434_bit0 -A434_bit1 -A434_bit2 -A434_bit3 -A434_bit4 -A434_bit5 -A434_bit6 -A434_bit7 -A434_bit8 -A434_bit9 -A434_bit10 -A434_bit11 -A434_bit12 -A435_bit_7 -A435_bit_6 -A435_bit_5 -A435_bit_4 -A435_bit_3 -A435_bit_2 -A435_bit_1 -A435_bit0 -A435_bit1 -A435_bit2 -A435_bit3 -A435_bit4 -A435_bit5 -A435_bit6 -A435_bit7 -A435_bit8 -A435_bit9 -A435_bit10 -A435_bit11 -A435_bit12 -A436_bit_7 -A436_bit_6 -A436_bit_5 -A436_bit_4 -A436_bit_3 -A436_bit_2 -A436_bit_1 -A436_bit0 -A436_bit1 -A436_bit2 -A436_bit3 -A436_bit4 -A436_bit5 -A436_bit6 -A436_bit7 -A436_bit8 -A436_bit9 -A436_bit10 -A436_bit11 -A436_bit12 -A437_bit_7 -A437_bit_6 -A437_bit_5 -A437_bit_4 -A437_bit_3 -A437_bit_2 -A437_bit_1 -A437_bit0 -A437_bit1 -A437_bit2 -A437_bit3 -A437_bit4 -A437_bit5 -A437_bit6 -A437_bit7 -A437_bit8 -A437_bit9 -A437_bit10 -A437_bit11 -A437_bit12 -A415_bit_7 -A415_bit_6 -A415_bit_5 -A415_bit_4 -A415_bit_3 -A415_bit_2 -A415_bit_1 -A415_bit0 -A415_bit1 -A415_bit2 -A415_bit3 -A415_bit4 -A415_bit5 -A415_bit6 -A415_bit7 -A415_bit8 -A415_bit9 -A415_bit10 -A415_bit11 -A415_bit12 -A416_bit_7 -A416_bit_6 -A416_bit_5 -A416_bit_4 -A416_bit_3 -A416_bit_2 -A416_bit_1 -A416_bit0 -A416_bit1 -A416_bit2 -A416_bit3 -A416_bit4 -A416_bit5 -A416_bit6 -A416_bit7 -A416_bit8 -A416_bit9 -A416_bit10 -A416_bit11 -A416_bit12 -A417_bit_7 -A417_bit_6 -A417_bit_5 -A417_bit_4 -A417_bit_3 -A417_bit_2 -A417_bit_1 -A417_bit0 -A417_bit1 -A417_bit2 -A417_bit3 -A417_bit4 -A417_bit5 -A417_bit6 -A417_bit7 -A417_bit8 -A417_bit9 -A417_bit10 -A417_bit11 -A417_bit12 -A418_bit_7 -A418_bit_6 -A418_bit_5 -A418_bit_4 -A418_bit_3 -A418_bit_2 -A418_bit_1 -A418_bit0 -A418_bit1 -A418_bit2 -A418_bit3 -A418_bit4 -A418_bit5 -A418_bit6 -A418_bit7 -A418_bit8 -A418_bit9 -A418_bit10 -A418_bit11 -A418_bit12 -A419_bit_7 -A419_bit_6 -A419_bit_5 -A419_bit_4 -A419_bit_3 -A419_bit_2 -A419_bit_1 -A419_bit0 -A419_bit1 -A419_bit2 -A419_bit3 -A419_bit4 -A419_bit5 -A419_bit6 -A419_bit7 -A419_bit8 -A419_bit9 -A419_bit10 -A419_bit11 -A419_bit12 -A397_bit_7 -A397_bit_6 -A397_bit_5 -A397_bit_4 -A397_bit_3 -A397_bit_2 -A397_bit_1 -A397_bit0 -A397_bit1 -A397_bit2 -A397_bit3 -A397_bit4 -A397_bit5 -A397_bit6 -A397_bit7 -A397_bit8 -A397_bit9 -A397_bit10 -A397_bit11 -A397_bit12 -A398_bit_7 -A398_bit_6 -A398_bit_5 -A398_bit_4 -A398_bit_3 -A398_bit_2 -A398_bit_1 -A398_bit0 -A398_bit1 -A398_bit2 -A398_bit3 -A398_bit4 -A398_bit5 -A398_bit6 -A398_bit7 -A398_bit8 -A398_bit9 -A398_bit10 -A398_bit11 -A398_bit12 -A399_bit_7 -A399_bit_6 -A399_bit_5 -A399_bit_4 -A399_bit_3 -A399_bit_2 -A399_bit_1 -A399_bit0 -A399_bit1 -A399_bit2 -A399_bit3 -A399_bit4 -A399_bit5 -A399_bit6 -A399_bit7 -A399_bit8 -A399_bit9 -A399_bit10 -A399_bit11 -A399_bit12 -A400_bit_7 -A400_bit_6 -A400_bit_5 -A400_bit_4 -A400_bit_3 -A400_bit_2 -A400_bit_1 -A400_bit0 -A400_bit1 -A400_bit2 -A400_bit3 -A400_bit4 -A400_bit5 -A400_bit6 -A400_bit7 -A400_bit8 -A400_bit9 -A400_bit10 -A400_bit11 -A400_bit12 -A401_bit_7 -A401_bit_6 -A401_bit_5 -A401_bit_4 -A401_bit_3 -A401_bit_2 -A401_bit_1 -A401_bit0 -A401_bit1 -A401_bit2 -A401_bit3 -A401_bit4 -A401_bit5 -A401_bit6 -A401_bit7 -A401_bit8 -A401_bit9 -A401_bit10 -A401_bit11 -A401_bit12 -A402_bit_7 -A402_bit_6 -A402_bit_5 -A402_bit_4 -A402_bit_3 -A402_bit_2 -A402_bit_1 -A402_bit0 -A402_bit1 -A402_bit2 -A402_bit3 -A402_bit4 -A402_bit5 -A402_bit6 -A402_bit7 -A402_bit8 -A402_bit9 -A402_bit10 -A402_bit11 -A402_bit12 -A403_bit_7 -A403_bit_6 -A403_bit_5 -A403_bit_4 -A403_bit_3 -A403_bit_2 -A403_bit_1 -A403_bit0 -A403_bit1 -A403_bit2 -A403_bit3 -A403_bit4 -A403_bit5 -A403_bit6 -A403_bit7 -A403_bit8 -A403_bit9 -A403_bit10 -A403_bit11 -A403_bit12 -A404_bit_7 -A404_bit_6 -A404_bit_5 -A404_bit_4 -A404_bit_3 -A404_bit_2 -A404_bit_1 -A404_bit0 -A404_bit1 -A404_bit2 -A404_bit3 -A404_bit4 -A404_bit5 -A404_bit6 -A404_bit7 -A404_bit8 -A404_bit9 -A404_bit10 -A404_bit11 -A404_bit12 -A405_bit_7 -A405_bit_6 -A405_bit_5 -A405_bit_4 -A405_bit_3 -A405_bit_2 -A405_bit_1 -A405_bit0 -A405_bit1 -A405_bit2 -A405_bit3 -A405_bit4 -A405_bit5 -A405_bit6 -A405_bit7 -A405_bit8 -A405_bit9 -A405_bit10 -A405_bit11 -A405_bit12 -A406_bit_7 -A406_bit_6 -A406_bit_5 -A406_bit_4 -A406_bit_3 -A406_bit_2 -A406_bit_1 -A406_bit0 -A406_bit1 -A406_bit2 -A406_bit3 -A406_bit4 -A406_bit5 -A406_bit6 -A406_bit7 -A406_bit8 -A406_bit9 -A406_bit10 -A406_bit11 -A406_bit12 -A407_bit_7 -A407_bit_6 -A407_bit_5 -A407_bit_4 -A407_bit_3 -A407_bit_2 -A407_bit_1 -A407_bit0 -A407_bit1 -A407_bit2 -A407_bit3 -A407_bit4 -A407_bit5 -A407_bit6 -A407_bit7 -A407_bit8 -A407_bit9 -A407_bit10 -A407_bit11 -A407_bit12 -A408_bit_7 -A408_bit_6 -A408_bit_5 -A408_bit_4 -A408_bit_3 -A408_bit_2 -A408_bit_1 -A408_bit0 -A408_bit1 -A408_bit2 -A408_bit3 -A408_bit4 -A408_bit5 -A408_bit6 -A408_bit7 -A408_bit8 -A408_bit9 -A408_bit10 -A408_bit11 -A408_bit12 -A385_bit_7 -A385_bit_6 -A385_bit_5 -A385_bit_4 -A385_bit_3 -A385_bit_2 -A385_bit_1 -A385_bit0 -A385_bit1 -A385_bit2 -A385_bit3 -A385_bit4 -A385_bit5 -A385_bit6 -A385_bit7 -A385_bit8 -A385_bit9 -A385_bit10 -A385_bit11 -A385_bit12 -A409_bit_7 -A409_bit_6 -A409_bit_5 -A409_bit_4 -A409_bit_3 -A409_bit_2 -A409_bit_1 -A409_bit0 -A409_bit1 -A409_bit2 -A409_bit3 -A409_bit4 -A409_bit5 -A409_bit6 -A409_bit7 -A409_bit8 -A409_bit9 -A409_bit10 -A409_bit11 -A409_bit12 -A421_bit_7 -A421_bit_6 -A421_bit_5 -A421_bit_4 -A421_bit_3 -A421_bit_2 -A421_bit_1 -A421_bit0 -A421_bit1 -A421_bit2 -A421_bit3 -A421_bit4 -A421_bit5 -A421_bit6 -A421_bit7 -A421_bit8 -A421_bit9 -A421_bit10 -A421_bit11 -A421_bit12 -A386_bit_7 -A386_bit_6 -A386_bit_5 -A386_bit_4 -A386_bit_3 -A386_bit_2 -A386_bit_1 -A386_bit0 -A386_bit1 -A386_bit2 -A386_bit3 -A386_bit4 -A386_bit5 -A386_bit6 -A386_bit7 -A386_bit8 -A386_bit9 -A386_bit10 -A386_bit11 -A386_bit12 -A410_bit_7 -A410_bit_6 -A410_bit_5 -A410_bit_4 -A410_bit_3 -A410_bit_2 -A410_bit_1 -A410_bit0 -A410_bit1 -A410_bit2 -A410_bit3 -A410_bit4 -A410_bit5 -A410_bit6 -A410_bit7 -A410_bit8 -A410_bit9 -A410_bit10 -A410_bit11 -A410_bit12 -A422_bit_7 -A422_bit_6 -A422_bit_5 -A422_bit_4 -A422_bit_3 -A422_bit_2 -A422_bit_1 -A422_bit0 -A422_bit1 -A422_bit2 -A422_bit3 -A422_bit4 -A422_bit5 -A422_bit6 -A422_bit7 -A422_bit8 -A422_bit9 -A422_bit10 -A422_bit11 -A422_bit12 -A387_bit_7 -A387_bit_6 -A387_bit_5 -A387_bit_4 -A387_bit_3 -A387_bit_2 -A387_bit_1 -A387_bit0 -A387_bit1 -A387_bit2 -A387_bit3 -A387_bit4 -A387_bit5 -A387_bit6 -A387_bit7 -A387_bit8 -A387_bit9 -A387_bit10 -A387_bit11 -A387_bit12 -A411_bit_7 -A411_bit_6 -A411_bit_5 -A411_bit_4 -A411_bit_3 -A411_bit_2 -A411_bit_1 -A411_bit0 -A411_bit1 -A411_bit2 -A411_bit3 -A411_bit4 -A411_bit5 -A411_bit6 -A411_bit7 -A411_bit8 -A411_bit9 -A411_bit10 -A411_bit11 -A411_bit12 -A423_bit_7 -A423_bit_6 -A423_bit_5 -A423_bit_4 -A423_bit_3 -A423_bit_2 -A423_bit_1 -A423_bit0 -A423_bit1 -A423_bit2 -A423_bit3 -A423_bit4 -A423_bit5 -A423_bit6 -A423_bit7 -A423_bit8 -A423_bit9 -A423_bit10 -A423_bit11 -A423_bit12 -A388_bit_7 -A388_bit_6 -A388_bit_5 -A388_bit_4 -A388_bit_3 -A388_bit_2 -A388_bit_1 -A388_bit0 -A388_bit1 -A388_bit2 -A388_bit3 -A388_bit4 -A388_bit5 -A388_bit6 -A388_bit7 -A388_bit8 -A388_bit9 -A388_bit10 -A388_bit11 -A388_bit12 -A412_bit_7 -A412_bit_6 -A412_bit_5 -A412_bit_4 -A412_bit_3 -A412_bit_2 -A412_bit_1 -A412_bit0 -A412_bit1 -A412_bit2 -A412_bit3 -A412_bit4 -A412_bit5 -A412_bit6 -A412_bit7 -A412_bit8 -A412_bit9 -A412_bit10 -A412_bit11 -A412_bit12 -A424_bit_7 -A424_bit_6 -A424_bit_5 -A424_bit_4 -A424_bit_3 -A424_bit_2 -A424_bit_1 -A424_bit0 -A424_bit1 -A424_bit2 -A424_bit3 -A424_bit4 -A424_bit5 -A424_bit6 -A424_bit7 -A424_bit8 -A424_bit9 -A424_bit10 -A424_bit11 -A424_bit12 -A389_bit_7 -A389_bit_6 -A389_bit_5 -A389_bit_4 -A389_bit_3 -A389_bit_2 -A389_bit_1 -A389_bit0 -A389_bit1 -A389_bit2 -A389_bit3 -A389_bit4 -A389_bit5 -A389_bit6 -A389_bit7 -A389_bit8 -A389_bit9 -A389_bit10 -A389_bit11 -A389_bit12 -A413_bit_7 -A413_bit_6 -A413_bit_5 -A413_bit_4 -A413_bit_3 -A413_bit_2 -A413_bit_1 -A413_bit0 -A413_bit1 -A413_bit2 -A413_bit3 -A413_bit4 -A413_bit5 -A413_bit6 -A413_bit7 -A413_bit8 -A413_bit9 -A413_bit10 -A413_bit11 -A413_bit12 -A425_bit_7 -A425_bit_6 -A425_bit_5 -A425_bit_4 -A425_bit_3 -A425_bit_2 -A425_bit_1 -A425_bit0 -A425_bit1 -A425_bit2 -A425_bit3 -A425_bit4 -A425_bit5 -A425_bit6 -A425_bit7 -A425_bit8 -A425_bit9 -A425_bit10 -A425_bit11 -A425_bit12 -A390_bit_7 -A390_bit_6 -A390_bit_5 -A390_bit_4 -A390_bit_3 -A390_bit_2 -A390_bit_1 -A390_bit0 -A390_bit1 -A390_bit2 -A390_bit3 -A390_bit4 -A390_bit5 -A390_bit6 -A390_bit7 -A390_bit8 -A390_bit9 -A390_bit10 -A390_bit11 -A390_bit12 -A414_bit_7 -A414_bit_6 -A414_bit_5 -A414_bit_4 -A414_bit_3 -A414_bit_2 -A414_bit_1 -A414_bit0 -A414_bit1 -A414_bit2 -A414_bit3 -A414_bit4 -A414_bit5 -A414_bit6 -A414_bit7 -A414_bit8 -A414_bit9 -A414_bit10 -A414_bit11 -A414_bit12 -A426_bit_7 -A426_bit_6 -A426_bit_5 -A426_bit_4 -A426_bit_3 -A426_bit_2 -A426_bit_1 -A426_bit0 -A426_bit1 -A426_bit2 -A426_bit3 -A426_bit4 -A426_bit5 -A426_bit6 -A426_bit7 -A426_bit8 -A426_bit9 -A426_bit10 -A426_bit11 -A426_bit12 -A391_bit_7 -A391_bit_6 -A391_bit_5 -A391_bit_4 -A391_bit_3 -A391_bit_2 -A391_bit_1 -A391_bit0 -A391_bit1 -A391_bit2 -A391_bit3 -A391_bit4 -A391_bit5 -A391_bit6 -A391_bit7 -A391_bit8 -A391_bit9 -A391_bit10 -A391_bit11 -A391_bit12 -A427_bit_7 -A427_bit_6 -A427_bit_5 -A427_bit_4 -A427_bit_3 -A427_bit_2 -A427_bit_1 -A427_bit0 -A427_bit1 -A427_bit2 -A427_bit3 -A427_bit4 -A427_bit5 -A427_bit6 -A427_bit7 -A427_bit8 -A427_bit9 -A427_bit10 -A427_bit11 -A427_bit12 -A392_bit_7 -A392_bit_6 -A392_bit_5 -A392_bit_4 -A392_bit_3 -A392_bit_2 -A392_bit_1 -A392_bit0 -A392_bit1 -A392_bit2 -A392_bit3 -A392_bit4 -A392_bit5 -A392_bit6 -A392_bit7 -A392_bit8 -A392_bit9 -A392_bit10 -A392_bit11 -A392_bit12 -A428_bit_7 -A428_bit_6 -A428_bit_5 -A428_bit_4 -A428_bit_3 -A428_bit_2 -A428_bit_1 -A428_bit0 -A428_bit1 -A428_bit2 -A428_bit3 -A428_bit4 -A428_bit5 -A428_bit6 -A428_bit7 -A428_bit8 -A428_bit9 -A428_bit10 -A428_bit11 -A428_bit12 -A393_bit_7 -A393_bit_6 -A393_bit_5 -A393_bit_4 -A393_bit_3 -A393_bit_2 -A393_bit_1 -A393_bit0 -A393_bit1 -A393_bit2 -A393_bit3 -A393_bit4 -A393_bit5 -A393_bit6 -A393_bit7 -A393_bit8 -A393_bit9 -A393_bit10 -A393_bit11 -A393_bit12 -A429_bit_7 -A429_bit_6 -A429_bit_5 -A429_bit_4 -A429_bit_3 -A429_bit_2 -A429_bit_1 -A429_bit0 -A429_bit1 -A429_bit2 -A429_bit3 -A429_bit4 -A429_bit5 -A429_bit6 -A429_bit7 -A429_bit8 -A429_bit9 -A429_bit10 -A429_bit11 -A429_bit12 -A394_bit_7 -A394_bit_6 -A394_bit_5 -A394_bit_4 -A394_bit_3 -A394_bit_2 -A394_bit_1 -A394_bit0 -A394_bit1 -A394_bit2 -A394_bit3 -A394_bit4 -A394_bit5 -A394_bit6 -A394_bit7 -A394_bit8 -A394_bit9 -A394_bit10 -A394_bit11 -A394_bit12 -A430_bit_7 -A430_bit_6 -A430_bit_5 -A430_bit_4 -A430_bit_3 -A430_bit_2 -A430_bit_1 -A430_bit0 -A430_bit1 -A430_bit2 -A430_bit3 -A430_bit4 -A430_bit5 -A430_bit6 -A430_bit7 -A430_bit8 -A430_bit9 -A430_bit10 -A430_bit11 -A430_bit12 -A395_bit_7 -A395_bit_6 -A395_bit_5 -A395_bit_4 -A395_bit_3 -A395_bit_2 -A395_bit_1 -A395_bit0 -A395_bit1 -A395_bit2 -A395_bit3 -A395_bit4 -A395_bit5 -A395_bit6 -A395_bit7 -A395_bit8 -A395_bit9 -A395_bit10 -A395_bit11 -A395_bit12 -A431_bit_7 -A431_bit_6 -A431_bit_5 -A431_bit_4 -A431_bit_3 -A431_bit_2 -A431_bit_1 -A431_bit0 -A431_bit1 -A431_bit2 -A431_bit3 -A431_bit4 -A431_bit5 -A431_bit6 -A431_bit7 -A431_bit8 -A431_bit9 -A431_bit10 -A431_bit11 -A431_bit12 -A396_bit_7 -A396_bit_6 -A396_bit_5 -A396_bit_4 -A396_bit_3 -A396_bit_2 -A396_bit_1 -A396_bit0 -A396_bit1 -A396_bit2 -A396_bit3 -A396_bit4 -A396_bit5 -A396_bit6 -A396_bit7 -A396_bit8 -A396_bit9 -A396_bit10 -A396_bit11 -A396_bit12 -A420_bit_7 -A420_bit_6 -A420_bit_5 -A420_bit_4 -A420_bit_3 -A420_bit_2 -A420_bit_1 -A420_bit0 -A420_bit1 -A420_bit2 -A420_bit3 -A420_bit4 -A420_bit5 -A420_bit6 -A420_bit7 -A420_bit8 -A420_bit9 -A420_bit10 -A420_bit11 -A420_bit12 -A432_bit_7 -A432_bit_6 -A432_bit_5 -A432_bit_4 -A432_bit_3 -A432_bit_2 -A432_bit_1 -A432_bit0 -A432_bit1 -A432_bit2 -A432_bit3 -A432_bit4 -A432_bit5 -A432_bit6 -A432_bit7 -A432_bit8 -A432_bit9 -A432_bit10 -A432_bit11 -A432_bit12 -A438_bit_7 -A438_bit_6 -A438_bit_5 -A438_bit_4 -A438_bit_3 -A438_bit_2 -A438_bit_1 -A438_bit0 -A438_bit1 -A438_bit2 -A438_bit3 -A438_bit4 -A438_bit5 -A438_bit6 -A438_bit7 -A438_bit8 -A438_bit9 -A438_bit10 -A438_bit11 -A438_bit12 -A439_bit_7 -A439_bit_6 -A439_bit_5 -A439_bit_4 -A439_bit_3 -A439_bit_2 -A439_bit_1 -A439_bit0 -A439_bit1 -A439_bit2 -A439_bit3 -A439_bit4 -A439_bit5 -A439_bit6 -A439_bit7 -A439_bit8 -A439_bit9 -A439_bit10 -A439_bit11 -A439_bit12 -A440_bit_7 -A440_bit_6 -A440_bit_5 -A440_bit_4 -A440_bit_3 -A440_bit_2 -A440_bit_1 -A440_bit0 -A440_bit1 -A440_bit2 -A440_bit3 -A440_bit4 -A440_bit5 -A440_bit6 -A440_bit7 -A440_bit8 -A440_bit9 -A440_bit10 -A440_bit11 -A440_bit12 -A441_bit_7 -A441_bit_6 -A441_bit_5 -A441_bit_4 -A441_bit_3 -A441_bit_2 -A441_bit_1 -A441_bit0 -A441_bit1 -A441_bit2 -A441_bit3 -A441_bit4 -A441_bit5 -A441_bit6 -A441_bit7 -A441_bit8 -A441_bit9 -A441_bit10 -A441_bit11 -A441_bit12 -A442_bit_7 -A442_bit_6 -A442_bit_5 -A442_bit_4 -A442_bit_3 -A442_bit_2 -A442_bit_1 -A442_bit0 -A442_bit1 -A442_bit2 -A442_bit3 -A442_bit4 -A442_bit5 -A442_bit6 -A442_bit7 -A442_bit8 -A442_bit9 -A442_bit10 -A442_bit11 -A442_bit12 c objective function=-17240064000 c Total CPU time (ms) : 1219.027
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/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1858331349 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 39 3 38 16 0 23 0 [pid=21031] 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/21031 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=21032 New thread pid=21033 New thread pid=21034 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=21035 New thread pid=21036 New thread pid=21037 New thread pid=21038 New thread pid=21039 New thread pid=21040 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/wulflinc22/normalized-mps-v2-13-7-israel.opb New thread pid=21041 [startup+10.0026 s] Raw data (loadavg): 1.17 1.05 1.01 2/66 21041 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18127 0 1 0 707 44 0 0 22 0 11 0 1858331349 859213824 21742 4294967295 134512640 134569956 3221224336 3221214520 1131435802 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209769 21742 13129 16 0 209753 0 [pid=21031] vsize: 839076 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (Kb) 839076 One traced child (pid=21041) exited with status: 0 New thread pid=21042 [startup+20.0023 s] Raw data (loadavg): 1.14 1.04 1.01 2/66 21042 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18194 4 1 0 1683 44 0 0 24 0 11 0 1858331349 857956352 21600 4294967295 134512640 134569956 3221224336 3221214892 1131076129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21600 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 17.27 Current children cumulated vsize (Kb) 837848 One traced child (pid=21042) exited with status: 0 New thread pid=21043 [startup+30.004 s] Raw data (loadavg): 1.12 1.04 1.01 2/66 21043 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18205 4 1 0 2660 45 0 0 25 0 11 0 1858331349 857956352 21638 4294967295 134512640 134569956 3221224336 3221214520 1131429367 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21638 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 27.05 Current children cumulated vsize (Kb) 837848 One traced child (pid=21043) exited with status: 0 New thread pid=21044 [startup+40.0047 s] Raw data (loadavg): 1.10 1.04 1.01 2/66 21044 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18216 4 1 0 3638 45 0 0 25 0 11 0 1858331349 857956352 21682 4294967295 134512640 134569956 3221224336 3221214536 1131436527 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21682 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 36.83 Current children cumulated vsize (Kb) 837848 One traced child (pid=21044) exited with status: 0 New thread pid=21045 [startup+50.0055 s] Raw data (loadavg): 1.08 1.04 1.01 2/66 21045 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18227 4 1 0 4619 46 0 0 25 0 11 0 1858331349 857956352 21755 4294967295 134512640 134569956 3221224336 3221214616 1131428601 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 21755 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 46.65 Current children cumulated vsize (Kb) 837848 [startup+60.0062 s] Raw data (loadavg): 1.07 1.04 1.01 2/66 21045 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18238 4 1 0 5602 47 0 0 25 0 11 0 1858331349 857956352 21797 4294967295 134512640 134569956 3221224336 3221214624 1131528295 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 21797 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 56.49 Current children cumulated vsize (Kb) 837848 One traced child (pid=21045) exited with status: 0 New thread pid=21046 [startup+70.0069 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 21046 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18250 4 1 0 6586 47 0 0 19 0 11 0 1858331349 857956352 21832 4294967295 134512640 134569956 3221224336 3221214600 1131428658 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21832 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 66.33 Current children cumulated vsize (Kb) 837848 [startup+80.0086 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 21046 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18260 4 1 0 7574 48 0 0 25 0 11 0 1858331349 857956352 21868 4294967295 134512640 134569956 3221224336 3221214520 1131435557 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 76.22 Current children cumulated vsize (Kb) 837848 One traced child (pid=21046) exited with status: 0 New thread pid=21047 [startup+90.0093 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 21047 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18272 4 1 0 8559 49 0 0 25 0 11 0 1858331349 857956352 21869 4294967295 134512640 134569956 3221224336 3221214608 1131525018 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21869 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 86.08 Current children cumulated vsize (Kb) 837848 [startup+100.009 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 21047 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18282 4 1 0 9547 49 0 0 21 0 11 0 1858331349 857956352 21908 4294967295 134512640 134569956 3221224336 3221214608 1131529298 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21908 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 95.96 Current children cumulated vsize (Kb) 837848 One traced child (pid=21047) exited with status: 0 New thread pid=21048 [startup+110.01 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 21048 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18292 4 1 0 10535 50 0 0 25 0 11 0 1858331349 857956352 21910 4294967295 134512640 134569956 3221224336 3221214800 1131513834 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21910 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 105.85 Current children cumulated vsize (Kb) 837848 [startup+120.009 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21048 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18303 4 1 0 11521 51 0 0 25 0 11 0 1858331349 857956352 21948 4294967295 134512640 134569956 3221224336 3221214520 1131435839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 21948 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 115.72 Current children cumulated vsize (Kb) 837848 [startup+130.01 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21048 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18313 4 1 0 12511 51 0 0 25 0 11 0 1858331349 857956352 21949 4294967295 134512640 134569956 3221224336 3221214608 1131528924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 21949 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 125.62 Current children cumulated vsize (Kb) 837848 One traced child (pid=21048) exited with status: 0 New thread pid=21049 [startup+140.01 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 21049 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18325 4 1 0 13495 51 0 0 24 0 11 0 1858331349 857956352 21990 4294967295 134512640 134569956 3221224336 3221214608 1131525092 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21990 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 135.46 Current children cumulated vsize (Kb) 837848 [startup+150.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21049 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18335 4 1 0 14484 52 0 0 19 0 11 0 1858331349 857956352 21991 4294967295 134512640 134569956 3221224336 3221214520 1131436294 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 21991 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 145.36 Current children cumulated vsize (Kb) 837848 [startup+160.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21049 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18345 4 1 0 15473 52 0 0 25 0 11 0 1858331349 857956352 21992 4294967295 134512640 134569956 3221224336 3221214520 1131435738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 21992 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 155.25 Current children cumulated vsize (Kb) 837848 One traced child (pid=21049) exited with status: 0 New thread pid=21050 [startup+170.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21050 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18356 4 1 0 16459 53 0 0 25 0 11 0 1858331349 857956352 22039 4294967295 134512640 134569956 3221224336 3221214608 1131529879 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22039 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 165.12 Current children cumulated vsize (Kb) 837848 [startup+180.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21050 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18366 4 1 0 17448 53 0 0 25 0 11 0 1858331349 857956352 22041 4294967295 134512640 134569956 3221224336 3221214504 1131429364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22041 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 175.01 Current children cumulated vsize (Kb) 837848 [startup+190.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21050 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18377 4 1 0 18437 54 0 0 17 0 11 0 1858331349 857956352 22043 4294967295 134512640 134569956 3221224336 3221214608 1131528589 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22043 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 184.91 Current children cumulated vsize (Kb) 837848 One traced child (pid=21050) exited with status: 0 New thread pid=21051 [startup+200.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18387 4 1 0 19428 54 0 0 25 0 11 0 1858331349 857956352 22099 4294967295 134512640 134569956 3221224336 3221214608 1131525248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22099 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 194.82 Current children cumulated vsize (Kb) 837848 [startup+210.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18397 4 1 0 20418 54 0 0 24 0 11 0 1858331349 857956352 22099 4294967295 134512640 134569956 3221224336 3221214520 1131435909 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22099 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 204.72 Current children cumulated vsize (Kb) 837848 [startup+220.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18408 4 1 0 21407 55 0 0 18 0 11 0 1858331349 857956352 22099 4294967295 134512640 134569956 3221224336 3221214608 1131528372 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22099 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 214.62 Current children cumulated vsize (Kb) 837848 [startup+230.015 s] Raw data (loadavg): 1.08 1.03 1.01 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18418 4 1 0 22399 55 0 0 25 0 11 0 1858331349 857956352 22149 4294967295 134512640 134569956 3221224336 3221214520 1131436449 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22149 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 224.54 Current children cumulated vsize (Kb) 837848 [startup+240.016 s] Raw data (loadavg): 1.14 1.05 1.01 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18434 4 1 0 23369 56 0 0 19 0 11 0 1858331349 857956352 22177 4294967295 134512640 134569956 3221224336 3221214392 1131614041 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22177 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 234.25 Current children cumulated vsize (Kb) 837848 [startup+250.016 s] Raw data (loadavg): 1.12 1.05 1.01 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18440 4 1 0 24354 57 0 0 25 0 11 0 1858331349 857956352 22194 4294967295 134512640 134569956 3221224336 3221214424 1131613955 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22194 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 244.11 Current children cumulated vsize (Kb) 837848 [startup+260.017 s] Raw data (loadavg): 1.10 1.04 1.01 2/66 21051 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18446 4 1 0 25348 57 0 0 25 0 11 0 1858331349 857956352 22195 4294967295 134512640 134569956 3221224336 3221214520 1131435692 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22195 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 254.05 Current children cumulated vsize (Kb) 837848 One traced child (pid=21051) exited with status: 0 New thread pid=21052 [startup+270.017 s] Raw data (loadavg): 1.08 1.04 1.01 2/66 21052 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18457 4 1 0 26334 58 0 0 25 0 11 0 1858331349 857956352 22195 4294967295 134512640 134569956 3221224336 3221214552 1131495413 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22195 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 263.92 Current children cumulated vsize (Kb) 837848 [startup+280.018 s] Raw data (loadavg): 1.07 1.04 1.01 2/66 21052 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18467 4 1 0 27322 58 0 0 24 0 11 0 1858331349 857956352 22197 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22197 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 273.8 Current children cumulated vsize (Kb) 837848 [startup+290.019 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 21052 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18478 4 1 0 28309 58 0 0 25 0 11 0 1858331349 857956352 22216 4294967295 134512640 134569956 3221224336 3221214552 1131435883 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22216 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 283.67 Current children cumulated vsize (Kb) 837848 [startup+300.019 s] Raw data (loadavg): 1.05 1.04 1.00 2/66 21052 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18488 4 1 0 29302 59 0 0 25 0 11 0 1858331349 857956352 22266 4294967295 134512640 134569956 3221224336 3221214536 1131429466 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22266 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 293.61 Current children cumulated vsize (Kb) 837848 One traced child (pid=21052) exited with status: 0 New thread pid=21053 [startup+310.02 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 21053 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18500 4 1 0 30290 59 0 0 18 0 11 0 1858331349 857956352 22266 4294967295 134512640 134569956 3221224336 3221214552 1131435720 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22266 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 303.49 Current children cumulated vsize (Kb) 837848 [startup+320.02 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 21053 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18510 4 1 0 31279 60 0 0 22 0 11 0 1858331349 857956352 22266 4294967295 134512640 134569956 3221224336 3221214640 1131523260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22266 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 313.39 Current children cumulated vsize (Kb) 837848 [startup+330.022 s] Raw data (loadavg): 1.11 1.05 1.01 2/66 21053 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18521 4 1 0 32267 60 0 0 25 0 11 0 1858331349 857956352 22266 4294967295 134512640 134569956 3221224336 3221214640 1131526219 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22266 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 323.27 Current children cumulated vsize (Kb) 837848 [startup+340.022 s] Raw data (loadavg): 1.09 1.04 1.01 2/66 21053 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18531 4 1 0 33262 60 0 0 22 0 11 0 1858331349 857956352 22323 4294967295 134512640 134569956 3221224336 3221214552 1131437059 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22323 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 333.22 Current children cumulated vsize (Kb) 837848 One traced child (pid=21053) exited with status: 0 New thread pid=21054 [startup+350.022 s] Raw data (loadavg): 1.08 1.04 1.00 2/66 21054 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18542 4 1 0 34250 61 0 1 17 0 11 0 1858331349 857956352 22324 4294967295 134512640 134569956 3221224336 3221214552 1131435917 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22324 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 343.12 Current children cumulated vsize (Kb) 837848 [startup+360.024 s] Raw data (loadavg): 1.07 1.04 1.00 2/66 21054 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18552 4 1 0 35239 61 0 1 25 0 11 0 1858331349 857956352 22324 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22324 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 353.01 Current children cumulated vsize (Kb) 837848 [startup+370.024 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 21054 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18562 4 1 0 36227 62 0 1 25 0 11 0 1858331349 857956352 22324 4294967295 134512640 134569956 3221224336 3221214552 1131435641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22324 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 362.9 Current children cumulated vsize (Kb) 837848 [startup+380.025 s] Raw data (loadavg): 1.13 1.05 1.01 3/71 21108 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18573 4 1 0 37207 70 0 1 25 0 11 0 1858331349 857956352 22386 4294967295 134512640 134569956 3221224336 3221214640 1131529195 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22386 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 372.78 Current children cumulated vsize (Kb) 837848 One traced child (pid=21054) exited with status: 0 New thread pid=21110 [startup+390.026 s] Raw data (loadavg): 1.11 1.05 1.01 2/66 21110 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18583 4 1 0 38199 71 0 1 20 0 11 0 1858331349 857956352 22387 4294967295 134512640 134569956 3221224336 3221214552 1131435569 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22387 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 382.71 Current children cumulated vsize (Kb) 837848 [startup+400.026 s] Raw data (loadavg): 1.09 1.05 1.00 2/66 21110 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18594 4 1 0 39186 72 0 1 25 0 11 0 1858331349 857956352 22387 4294967295 134512640 134569956 3221224336 3221214552 1131436902 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22387 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 392.59 Current children cumulated vsize (Kb) 837848 [startup+410.026 s] Raw data (loadavg): 1.16 1.06 1.01 2/66 21110 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18604 4 1 0 40175 72 0 1 25 0 11 0 1858331349 857956352 22389 4294967295 134512640 134569956 3221224336 3221214552 1131435720 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22389 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 402.48 Current children cumulated vsize (Kb) 837848 [startup+420.027 s] Raw data (loadavg): 1.13 1.06 1.01 2/66 21110 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18614 4 1 0 41166 73 0 1 25 0 11 0 1858331349 857956352 22442 4294967295 134512640 134569956 3221224336 3221214640 1131523260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22442 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 412.4 Current children cumulated vsize (Kb) 837848 [startup+430.028 s] Raw data (loadavg): 1.11 1.06 1.01 2/66 21110 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18625 4 1 0 42160 73 0 1 25 0 11 0 1858331349 857956352 22444 4294967295 134512640 134569956 3221224336 3221214640 1131524594 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22444 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 422.34 Current children cumulated vsize (Kb) 837848 One traced child (pid=21110) exited with status: 0 New thread pid=21111 [startup+440.027 s] Raw data (loadavg): 1.09 1.06 1.01 3/66 21111 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18636 4 1 0 43151 74 1 1 22 0 11 0 1858331349 857956352 22447 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22447 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 432.27 Current children cumulated vsize (Kb) 837848 [startup+450.028 s] Raw data (loadavg): 1.08 1.05 1.01 2/66 21115 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18647 4 1 0 44138 75 1 1 25 0 11 0 1858331349 857956352 22449 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22449 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 442.15 Current children cumulated vsize (Kb) 837848 [startup+460.029 s] Raw data (loadavg): 1.07 1.05 1.00 2/66 21115 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18657 4 1 0 45128 75 1 1 25 0 11 0 1858331349 857956352 22450 4294967295 134512640 134569956 3221224336 3221214640 1131524776 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22450 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 452.05 Current children cumulated vsize (Kb) 837848 [startup+470.03 s] Raw data (loadavg): 1.06 1.05 1.00 2/66 21115 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18668 4 1 0 46121 75 1 1 25 0 11 0 1858331349 857956352 22496 4294967295 134512640 134569956 3221224336 3221214640 1131526136 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22496 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (Kb) 837848 [startup+480.03 s] Raw data (loadavg): 1.05 1.05 1.00 2/66 21115 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18678 4 1 0 47117 76 1 1 25 0 11 0 1858331349 857956352 22496 4294967295 134512640 134569956 3221224336 3221214552 1131436918 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22496 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 471.95 Current children cumulated vsize (Kb) 837848 One traced child (pid=21111) exited with status: 0 New thread pid=21116 [startup+490.031 s] Raw data (loadavg): 1.04 1.05 1.00 2/66 21116 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18688 4 1 0 48107 77 1 1 25 0 11 0 1858331349 857956352 22496 4294967295 134512640 134569956 3221224336 3221214640 1131524624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22496 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 481.86 Current children cumulated vsize (Kb) 837848 [startup+500.032 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 21116 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18699 4 1 0 49096 77 1 1 25 0 11 0 1858331349 857956352 22496 4294967295 134512640 134569956 3221224336 3221214552 1131436449 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22496 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 491.75 Current children cumulated vsize (Kb) 837848 [startup+510.032 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 21116 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18709 4 1 0 50086 77 1 1 25 0 11 0 1858331349 857956352 22496 4294967295 134512640 134569956 3221224336 3221214552 1131435763 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22496 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 501.65 Current children cumulated vsize (Kb) 837848 [startup+520.033 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 21116 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18720 4 1 0 51078 78 1 1 25 0 11 0 1858331349 857956352 22544 4294967295 134512640 134569956 3221224336 3221214640 1131523260 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22544 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 511.58 Current children cumulated vsize (Kb) 837848 [startup+530.034 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 21116 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18730 4 1 0 52074 79 1 1 25 0 11 0 1858331349 857956352 22545 4294967295 134512640 134569956 3221224336 3221214552 1131437096 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22545 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 521.55 Current children cumulated vsize (Kb) 837848 One traced child (pid=21116) exited with status: 0 New thread pid=21117 [startup+540.034 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18741 4 1 0 53067 79 1 1 17 0 11 0 1858331349 857956352 22545 4294967295 134512640 134569956 3221224336 3221214536 1131429475 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22545 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 531.48 Current children cumulated vsize (Kb) 837848 [startup+550.034 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18751 4 1 0 54057 80 1 1 25 0 11 0 1858331349 857956352 22545 4294967295 134512640 134569956 3221224336 3221214552 1131437079 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22545 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 541.39 Current children cumulated vsize (Kb) 837848 [startup+560.035 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18762 4 1 0 55046 80 1 1 25 0 11 0 1858331349 857956352 22545 4294967295 134512640 134569956 3221224336 3221214552 1131435639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22545 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 551.28 Current children cumulated vsize (Kb) 837848 [startup+570.036 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18772 4 1 0 56038 80 1 1 20 0 11 0 1858331349 857956352 22593 4294967295 134512640 134569956 3221224336 3221214640 1131528912 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22593 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 561.2 Current children cumulated vsize (Kb) 837848 [startup+580.037 s] Raw data (loadavg): 1.09 1.05 1.01 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18783 4 1 0 57033 81 1 1 25 0 11 0 1858331349 857956352 22594 4294967295 134512640 134569956 3221224336 3221214640 1131524624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22594 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 571.16 Current children cumulated vsize (Kb) 837848 [startup+590.038 s] Raw data (loadavg): 1.07 1.04 1.00 2/66 21117 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18793 4 1 0 58029 81 1 1 25 0 11 0 1858331349 857956352 22594 4294967295 134512640 134569956 3221224336 3221214636 1131436927 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22594 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 581.12 Current children cumulated vsize (Kb) 837848 One traced child (pid=21117) exited with status: 0 New thread pid=21118 [startup+600.039 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18803 4 1 0 59020 82 1 1 23 0 11 0 1858331349 857956352 22594 4294967295 134512640 134569956 3221224336 3221214552 1131437081 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22594 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 591.04 Current children cumulated vsize (Kb) 837848 [startup+610.039 s] Raw data (loadavg): 1.05 1.04 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18814 4 1 0 60008 82 1 1 25 0 11 0 1858331349 857956352 22594 4294967295 134512640 134569956 3221224336 3221214552 1131435859 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22594 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 600.92 Current children cumulated vsize (Kb) 837848 [startup+620.039 s] Raw data (loadavg): 1.04 1.04 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18824 4 1 0 60998 83 1 1 21 0 11 0 1858331349 857956352 22594 4294967295 134512640 134569956 3221224336 3221214636 1131429344 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22594 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 610.83 Current children cumulated vsize (Kb) 837848 [startup+630.04 s] Raw data (loadavg): 1.04 1.04 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18835 4 1 0 61990 83 1 1 18 0 11 0 1858331349 857956352 22640 4294967295 134512640 134569956 3221224336 3221214640 1131524924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22640 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 620.75 Current children cumulated vsize (Kb) 837848 [startup+640.041 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18845 4 1 0 62987 84 1 1 22 0 11 0 1858331349 857956352 22642 4294967295 134512640 134569956 3221224336 3221214640 1131529092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22642 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 630.73 Current children cumulated vsize (Kb) 837848 [startup+650.04 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21118 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18856 4 1 0 63982 85 1 1 25 0 11 0 1858331349 857956352 22642 4294967295 134512640 134569956 3221224336 3221214640 1131528200 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22642 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 640.69 Current children cumulated vsize (Kb) 837848 One traced child (pid=21118) exited with status: 0 New thread pid=21119 [startup+660.041 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18866 4 1 0 64973 85 1 1 25 0 11 0 1858331349 857956352 22642 4294967295 134512640 134569956 3221224336 3221214640 1131524624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22642 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 650.6 Current children cumulated vsize (Kb) 837848 [startup+670.042 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18876 4 1 0 65961 85 1 1 25 0 11 0 1858331349 857956352 22642 4294967295 134512640 134569956 3221224336 3221214632 1131428615 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22642 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 660.48 Current children cumulated vsize (Kb) 837848 [startup+680.043 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18887 4 1 0 66949 86 1 1 25 0 11 0 1858331349 857956352 22642 4294967295 134512640 134569956 3221224336 3221214632 1131428622 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22642 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 670.37 Current children cumulated vsize (Kb) 837848 [startup+690.042 s] Raw data (loadavg): 1.08 1.04 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18897 4 1 0 67943 86 1 1 25 0 11 0 1858331349 857956352 22689 4294967295 134512640 134569956 3221224336 3221214640 1131525336 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22689 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 680.31 Current children cumulated vsize (Kb) 837848 [startup+700.043 s] Raw data (loadavg): 1.07 1.04 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18908 4 1 0 68938 87 1 1 19 0 11 0 1858331349 857956352 22691 4294967295 134512640 134569956 3221224336 3221214640 1131528567 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22691 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 690.27 Current children cumulated vsize (Kb) 837848 [startup+710.044 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 21119 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18918 4 1 0 69933 87 1 1 24 0 11 0 1858331349 857956352 22691 4294967295 134512640 134569956 3221224336 3221214640 1131526251 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22691 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 700.22 Current children cumulated vsize (Kb) 837848 One traced child (pid=21119) exited with status: 0 New thread pid=21120 [startup+720.044 s] Raw data (loadavg): 1.05 1.04 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18929 4 1 0 70923 89 1 1 25 0 11 0 1858331349 857956352 22691 4294967295 134512640 134569956 3221224336 3221214640 1131524564 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22691 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 710.14 Current children cumulated vsize (Kb) 837848 [startup+730.045 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18939 4 1 0 71911 89 1 1 25 0 11 0 1858331349 857956352 22691 4294967295 134512640 134569956 3221224336 3221214640 1131523260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22691 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 720.02 Current children cumulated vsize (Kb) 837848 [startup+740.046 s] Raw data (loadavg): 1.04 1.03 1.00 3/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18950 4 1 0 72898 90 1 1 25 0 11 0 1858331349 857956352 22691 4294967295 134512640 134569956 3221224336 3221213512 1073952732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22691 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 729.9 Current children cumulated vsize (Kb) 837848 [startup+750.046 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18960 4 1 0 73890 90 1 1 19 0 11 0 1858331349 857956352 22752 4294967295 134512640 134569956 3221224336 3221214636 1131428588 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22752 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 739.82 Current children cumulated vsize (Kb) 837848 [startup+760.046 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18971 4 1 0 74885 90 1 1 25 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214640 1131523321 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 749.77 Current children cumulated vsize (Kb) 837848 [startup+770.046 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18981 4 1 0 75881 91 1 1 25 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214632 1131428601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 759.74 Current children cumulated vsize (Kb) 837848 [startup+780.048 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 21122 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 18992 4 1 0 76877 91 1 1 17 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214656 1131562144 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 769.7 Current children cumulated vsize (Kb) 837848 One traced child (pid=21120) exited with status: 0 New thread pid=21123 [startup+790.048 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19002 4 1 0 77865 92 1 1 25 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214552 1131435798 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 779.59 Current children cumulated vsize (Kb) 837848 [startup+800.048 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19012 4 1 0 78854 92 1 1 25 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214552 1131435639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 789.48 Current children cumulated vsize (Kb) 837848 [startup+810.049 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19023 4 1 0 79842 93 1 1 25 0 11 0 1858331349 857956352 22754 4294967295 134512640 134569956 3221224336 3221214552 1131495463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22754 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 799.37 Current children cumulated vsize (Kb) 837848 [startup+820.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19033 4 1 0 80837 93 1 1 25 0 11 0 1858331349 857956352 22800 4294967295 134512640 134569956 3221224336 3221214552 1131436547 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22800 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 809.32 Current children cumulated vsize (Kb) 837848 [startup+830.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19044 4 1 0 81832 93 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 819.27 Current children cumulated vsize (Kb) 837848 [startup+840.051 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19054 4 1 0 82828 94 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214632 1131428665 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 829.24 Current children cumulated vsize (Kb) 837848 [startup+850.052 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19065 4 1 0 83823 94 1 1 22 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214524 1131057156 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 839.19 Current children cumulated vsize (Kb) 837848 [startup+860.052 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19071 4 1 0 84819 95 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214524 1131057236 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 849.16 Current children cumulated vsize (Kb) 837848 [startup+870.052 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21123 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19077 4 1 0 85813 95 1 1 21 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214448 1131416377 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 859.1 Current children cumulated vsize (Kb) 837848 One traced child (pid=21123) exited with status: 0 New thread pid=21124 [startup+880.054 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19086 4 1 0 86802 96 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214536 1131429364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 869 Current children cumulated vsize (Kb) 837848 [startup+890.054 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19097 4 1 0 87789 96 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214640 1131529092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 878.87 Current children cumulated vsize (Kb) 837848 [startup+900.054 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19107 4 1 0 88777 97 1 1 25 0 11 0 1858331349 857956352 22801 4294967295 134512640 134569956 3221224336 3221214640 1131528315 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22801 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 888.76 Current children cumulated vsize (Kb) 837848 [startup+910.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19118 4 1 0 89768 97 1 1 25 0 11 0 1858331349 857956352 22866 4294967295 134512640 134569956 3221224336 3221214632 1131428658 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22866 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 898.67 Current children cumulated vsize (Kb) 837848 [startup+920.056 s] Raw data (loadavg): 1.00 1.01 1.00 3/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19128 4 1 0 90764 98 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214552 1131435624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 908.64 Current children cumulated vsize (Kb) 837848 [startup+930.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19139 4 1 0 91760 98 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214640 1131525092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 918.6 Current children cumulated vsize (Kb) 837848 [startup+940.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21124 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19149 4 1 0 92757 98 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214640 1131523253 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 928.57 Current children cumulated vsize (Kb) 837848 One traced child (pid=21124) exited with status: 0 New thread pid=21125 [startup+950.057 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19160 4 1 0 93748 99 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214640 1131528372 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 938.49 Current children cumulated vsize (Kb) 837848 [startup+960.058 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19170 4 1 0 94737 99 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214552 1131436914 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 948.38 Current children cumulated vsize (Kb) 837848 [startup+970.057 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19180 4 1 0 95725 101 1 1 25 0 11 0 1858331349 857956352 22868 4294967295 134512640 134569956 3221224336 3221214552 1131435641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22868 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 958.28 Current children cumulated vsize (Kb) 837848 [startup+980.058 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19191 4 1 0 96715 102 1 1 18 0 11 0 1858331349 857956352 22913 4294967295 134512640 134569956 3221224336 3221214640 1131526259 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22913 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 968.19 Current children cumulated vsize (Kb) 837848 [startup+990.059 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19201 4 1 0 97710 102 1 1 25 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221214552 1131435641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 978.14 Current children cumulated vsize (Kb) 837848 [startup+1000.06 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19212 4 1 0 98706 102 1 1 18 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221214536 1131429462 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 988.1 Current children cumulated vsize (Kb) 837848 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21125 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19222 4 1 0 99701 103 1 1 25 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221214552 1131437010 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 998.06 Current children cumulated vsize (Kb) 837848 One traced child (pid=21125) exited with status: 0 New thread pid=21126 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19233 4 1 0 100695 103 1 2 17 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221214640 1131524624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1008.01 Current children cumulated vsize (Kb) 837848 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19243 4 1 0 101682 103 1 2 25 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221214552 1131437063 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1017.88 Current children cumulated vsize (Kb) 837848 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) S 21030 21031 21452 0 -1 0 19254 4 1 0 102669 104 1 2 25 0 11 0 1858331349 857956352 22915 4294967295 134512640 134569956 3221224336 3221213280 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22915 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1027.76 Current children cumulated vsize (Kb) 837848 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19264 4 1 0 103656 104 1 2 25 0 11 0 1858331349 857956352 22978 4294967295 134512640 134569956 3221224336 3221214552 1131436344 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22978 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1037.63 Current children cumulated vsize (Kb) 837848 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19274 4 1 0 104652 104 1 2 23 0 11 0 1858331349 857956352 22980 4294967295 134512640 134569956 3221224336 3221214640 1131529148 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22980 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1047.59 Current children cumulated vsize (Kb) 837848 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19285 4 1 0 105648 105 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214640 1131524131 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1057.56 Current children cumulated vsize (Kb) 837848 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19295 4 1 0 106643 105 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214640 1131523233 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1067.51 Current children cumulated vsize (Kb) 837848 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21126 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19306 4 1 0 107638 105 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214640 1131523051 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1077.46 Current children cumulated vsize (Kb) 837848 One traced child (pid=21126) exited with status: 0 New thread pid=21127 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19316 4 1 0 108629 105 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214608 1131216239 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1087.37 Current children cumulated vsize (Kb) 837848 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19327 4 1 0 109614 106 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214632 1131428639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1097.23 Current children cumulated vsize (Kb) 837848 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19337 4 1 0 110601 107 1 2 25 0 11 0 1858331349 857956352 22981 4294967295 134512640 134569956 3221224336 3221214552 1131435839 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 22981 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1107.11 Current children cumulated vsize (Kb) 837848 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19347 4 1 0 111590 108 1 2 24 0 11 0 1858331349 857956352 23050 4294967295 134512640 134569956 3221224336 3221214640 1131528833 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23050 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1117.01 Current children cumulated vsize (Kb) 837848 [startup+1140.07 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19358 4 1 0 112585 108 1 2 25 0 11 0 1858331349 857956352 23052 4294967295 134512640 134569956 3221224336 3221214552 1131435875 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 23052 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1126.96 Current children cumulated vsize (Kb) 837848 [startup+1150.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19368 4 1 0 113580 109 1 2 24 0 11 0 1858331349 857956352 23054 4294967295 134512640 134569956 3221224336 3221214552 1131495418 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23054 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1136.92 Current children cumulated vsize (Kb) 837848 [startup+1160.07 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19379 4 1 0 114575 109 1 2 20 0 11 0 1858331349 857956352 23054 4294967295 134512640 134569956 3221224336 3221214632 1131428601 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23054 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1146.87 Current children cumulated vsize (Kb) 837848 [startup+1170.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 21127 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19390 4 1 0 115570 110 1 2 17 0 11 0 1858331349 857956352 23054 4294967295 134512640 134569956 3221224336 3221214552 1131495463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23054 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1156.83 Current children cumulated vsize (Kb) 837848 One traced child (pid=21127) exited with status: 0 New thread pid=21128 [startup+1180.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19400 4 1 0 116561 110 1 2 25 0 11 0 1858331349 857956352 23055 4294967295 134512640 134569956 3221224336 3221214640 1131525262 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23055 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1166.74 Current children cumulated vsize (Kb) 837848 [startup+1190.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19410 4 1 0 117548 110 1 2 25 0 11 0 1858331349 857956352 23056 4294967295 134512640 134569956 3221224336 3221214640 1131528008 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 23056 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1176.61 Current children cumulated vsize (Kb) 837848 [startup+1200.07 s] Raw data (loadavg): 1.11 1.03 1.01 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19421 4 1 0 118534 111 1 2 25 0 11 0 1858331349 857956352 23059 4294967295 134512640 134569956 3221224336 3221214552 1131435692 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23059 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1186.48 Current children cumulated vsize (Kb) 837848 [startup+1210.07 s] Raw data (loadavg): 1.09 1.03 1.00 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19431 4 1 0 119525 112 1 2 25 0 11 0 1858331349 857956352 23118 4294967295 134512640 134569956 3221224336 3221214832 1131513995 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21031/statm): 209462 23118 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1196.4 Current children cumulated vsize (Kb) 837848 [startup+1220.07 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19442 4 1 0 120520 112 1 2 17 0 11 0 1858331349 857956352 23120 4294967295 134512640 134569956 3221224336 3221214552 1131435639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 23120 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1206.35 Current children cumulated vsize (Kb) 837848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.07 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 21128 Raw data (/proc/21031/stat): 21031 (java) R 21030 21031 21452 0 -1 0 19442 4 1 0 120520 112 1 2 17 0 11 0 1858331349 857956352 23120 4294967295 134512640 134569956 3221224336 3221214536 1131430077 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21031/statm): 209462 23120 13129 16 0 209446 0 [pid=21031] vsize: 837848 Current children cumulated CPU time (s) 1206.35 Current children cumulated vsize (Kb) 837848 Sending SIGTERM to -21031 Sleeping 2 seconds New thread pid=21130 New thread pid=21131 One traced child (pid=21131) exited with status: 0 One traced child (pid=21040) exited with status: 0 One traced child (pid=21035) exited with status: 0 One traced child (pid=21032) exited with status: 143 One traced child (pid=21033) exited with status: 143 One traced child (pid=21034) exited with status: 143 One traced child (pid=21036) exited with status: 143 One traced child (pid=21039) exited with status: 143 One traced child (pid=21038) exited with status: 143 One traced child (pid=21128) exited with status: 143 One traced child (pid=21037) exited with status: 143 One traced child (pid=21130) exited with status: 143 One traced child (pid=21031) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1220.4 CPU time (s): 1226.58 CPU user time (s): 1224.47 CPU system time (s): 2.11268 CPU usage (%): 100.507 Max. virtual memory (cumulated for all children) (Kb): 839076
Verifier: OK -17240064000