Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
MD5SUM9daf89aad4f1fef005847be296977991
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -61508178
Optimality of the best value was proved NO
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables2993
Total number of constraints3105
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3066
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint1
Maximum length of a constraint73

Trace number 4209

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        836424 kB
Buffers:         37272 kB
Cached:         133996 kB
SwapCached:        228 kB
Active:          68244 kB
Inactive:       105984 kB
HighTotal:      131008 kB
HighFree:        39340 kB
LowTotal:       903652 kB
LowFree:        797084 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18412 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:01:56 (client local time) WITH STATUS 143 IN 1261.12 SECONDS
stats: 6429 0 1261.12 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-harp2.opb
c reading problem ... done. Time 3.404 ms.
c #vars     2993
c #constraints  185
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                -146 		Current CPU time: 5.14 ms
c CURRENT OPTIMUM=             -340504 		Current CPU time: 6.96 ms
c CURRENT OPTIMUM=             -553262 		Current CPU time: 9.02 ms
c CURRENT OPTIMUM=            -2220791 		Current CPU time: 10.00 ms
c CURRENT OPTIMUM=           -61046531 		Current CPU time: 343.30 ms
c starts		: 7
c conflicts		: 151
c decisions		: 7869
c propagations		: 17367
c inspects		: 115273
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 151
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 2308
c speed (decisions/second)	: 8.690869451411645
c non guided choices	5930
c random choices	0
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 -x983_bit0 x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 -x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 x1189_bit0 -x1190_bit0 -x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 -x1270_bit0 x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 x1398_bit0 -x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 x1439_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 x1521_bit0 -x1522_bit0 -x1523_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1863_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2026_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2036_bit0 -x2037_bit0 -x2038_bit0 -x2039_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2044_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 x2049_bit0 -x2050_bit0 -x2051_bit0 -x2052_bit0 -x2053_bit0 x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2063_bit0 -x2064_bit0 -x2065_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2069_bit0 -x2070_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2079_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2093_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2103_bit0 -x2104_bit0 -x2105_bit0 -x2106_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2111_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2119_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2130_bit0 x2131_bit0 -x2132_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 x2136_bit0 -x2137_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2146_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2160_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2171_bit0 -x2172_bit0 -x2173_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2186_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2197_bit0 -x2198_bit0 -x2199_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 x2213_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2227_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2238_bit0 -x2239_bit0 -x2240_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2253_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2264_bit0 -x2265_bit0 -x2266_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2280_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2294_bit0 x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2304_bit0 -x2305_bit0 -x2306_bit0 -x2307_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2312_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2320_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2331_bit0 -x2332_bit0 -x2333_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2338_bit0 -x2339_bit0 -x2340_bit0 x2341_bit0 -x2342_bit0 -x2343_bit0 -x2344_bit0 -x2345_bit0 -x2346_bit0 -x2347_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2361_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2371_bit0 -x2372_bit0 -x2373_bit0 -x2374_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2379_bit0 -x2380_bit0 -x2381_bit0 x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2387_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2398_bit0 -x2399_bit0 -x2400_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2405_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2414_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2431_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2447_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2465_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2482_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 -x2497_bit0 -x2498_bit0 -x2499_bit0 x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2516_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2525_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2533_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 x2542_bit0 -x2543_bit0 -x2544_bit0 -x2545_bit0 x2546_bit0 -x2547_bit0 -x2548_bit0 -x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 -x2568_bit0 -x2569_bit0 -x2570_bit0 -x2571_bit0 -x2572_bit0 -x2573_bit0 -x2574_bit0 -x2575_bit0 -x2576_bit0 -x2577_bit0 -x2578_bit0 -x2579_bit0 -x2580_bit0 -x2581_bit0 -x2582_bit0 -x2583_bit0 -x2584_bit0 -x2585_bit0 -x2586_bit0 x2587_bit0 -x2588_bit0 -x2589_bit0 -x2590_bit0 -x2591_bit0 -x2592_bit0 -x2593_bit0 -x2594_bit0 -x2595_bit0 -x2596_bit0 -x2597_bit0 -x2598_bit0 -x2599_bit0 -x2600_bit0 -x2601_bit0 -x2602_bit0 -x2603_bit0 -x2604_bit0 -x2605_bit0 -x2606_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x2610_bit0 -x2611_bit0 -x2612_bit0 -x2613_bit0 -x2614_bit0 -x2615_bit0 -x2616_bit0 -x2617_bit0 -x2618_bit0 -x2619_bit0 -x2620_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x2624_bit0 -x2625_bit0 -x2626_bit0 -x2627_bit0 x2628_bit0 -x2629_bit0 -x2630_bit0 -x2631_bit0 -x2632_bit0 -x2633_bit0 -x2634_bit0 -x2635_bit0 -x2636_bit0 -x2637_bit0 -x2638_bit0 -x2639_bit0 -x2640_bit0 -x2641_bit0 -x2642_bit0 -x2643_bit0 -x2644_bit0 -x2645_bit0 -x2646_bit0 -x2647_bit0 -x2648_bit0 -x2649_bit0 -x2650_bit0 -x2651_bit0 -x2652_bit0 -x2653_bit0 -x2654_bit0 -x2655_bit0 -x2656_bit0 -x2657_bit0 -x2658_bit0 -x2659_bit0 -x2660_bit0 -x2661_bit0 -x2662_bit0 -x2663_bit0 -x2664_bit0 -x2665_bit0 -x2666_bit0 -x2667_bit0 -x2668_bit0 x2669_bit0 -x2670_bit0 -x2671_bit0 -x2672_bit0 -x2673_bit0 -x2674_bit0 -x2675_bit0 -x2676_bit0 -x2677_bit0 -x2678_bit0 -x2679_bit0 -x2680_bit0 -x2681_bit0 -x2682_bit0 -x2683_bit0 -x2684_bit0 -x2685_bit0 -x2686_bit0 -x2687_bit0 -x2688_bit0 -x2689_bit0 -x2690_bit0 -x2691_bit0 -x2692_bit0 -x2693_bit0 -x2694_bit0 -x2695_bit0 -x2696_bit0 -x2697_bit0 -x2698_bit0 -x2699_bit0 -x2700_bit0 -x2701_bit0 -x2702_bit0 -x2703_bit0 -x2704_bit0 -x2705_bit0 -x2706_bit0 -x2707_bit0 -x2708_bit0 -x2709_bit0 x2710_bit0 -x2711_bit0 -x2712_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2716_bit0 -x2717_bit0 -x2718_bit0 -x2719_bit0 -x2720_bit0 -x2721_bit0 -x2722_bit0 -x2723_bit0 -x2724_bit0 -x2725_bit0 -x2726_bit0 -x2727_bit0 -x2728_bit0 -x2729_bit0 -x2730_bit0 -x2731_bit0 -x2732_bit0 -x2733_bit0 -x2734_bit0 -x2735_bit0 -x2736_bit0 -x2737_bit0 -x2738_bit0 -x2739_bit0 -x2740_bit0 -x2741_bit0 -x2742_bit0 -x2743_bit0 -x2744_bit0 -x2745_bit0 -x2746_bit0 -x2747_bit0 -x2748_bit0 -x2749_bit0 -x2750_bit0 -x2751_bit0 -x2752_bit0 -x2753_bit0 x2754_bit0 -x2755_bit0 -x2756_bit0 -x2757_bit0 -x2758_bit0 -x2759_bit0 -x2760_bit0 -x2761_bit0 -x2762_bit0 -x2763_bit0 -x2764_bit0 -x2765_bit0 -x2766_bit0 -x2767_bit0 -x2768_bit0 -x2769_bit0 -x2770_bit0 -x2771_bit0 -x2772_bit0 -x2773_bit0 -x2774_bit0 -x2775_bit0 -x2776_bit0 -x2777_bit0 -x2778_bit0 -x2779_bit0 -x2780_bit0 -x2781_bit0 -x2782_bit0 -x2783_bit0 -x2784_bit0 -x2785_bit0 -x2786_bit0 -x2787_bit0 -x2788_bit0 -x2789_bit0 -x2790_bit0 -x2791_bit0 x2792_bit0 -x2793_bit0 -x2794_bit0 -x2795_bit0 -x2796_bit0 -x2797_bit0 -x2798_bit0 -x2799_bit0 -x2800_bit0 -x2801_bit0 -x2802_bit0 -x2803_bit0 -x2804_bit0 -x2805_bit0 -x2806_bit0 -x2807_bit0 -x2808_bit0 -x2809_bit0 -x2810_bit0 -x2811_bit0 -x2812_bit0 -x2813_bit0 -x2814_bit0 -x2815_bit0 -x2816_bit0 -x2817_bit0 -x2818_bit0 -x2819_bit0 -x2820_bit0 -x2821_bit0 -x2822_bit0 -x2823_bit0 -x2824_bit0 -x2825_bit0 -x2826_bit0 -x2827_bit0 -x2828_bit0 -x2829_bit0 -x2830_bit0 -x2831_bit0 -x2832_bit0 -x2833_bit0 -x2834_bit0 -x2835_bit0 -x2836_bit0 -x2837_bit0 -x2838_bit0 -x2839_bit0 -x2840_bit0 -x2841_bit0 -x2842_bit0 -x2843_bit0 -x2844_bit0 -x2845_bit0 -x2846_bit0 -x2847_bit0 -x2848_bit0 -x2849_bit0 -x2850_bit0 -x2851_bit0 -x2852_bit0 -x2853_bit0 -x2854_bit0 -x2855_bit0 -x2856_bit0 -x2857_bit0 -x2858_bit0 -x2859_bit0 -x2860_bit0 -x2861_bit0 -x2862_bit0 -x2863_bit0 -x2864_bit0 -x2865_bit0 -x2866_bit0 x2867_bit0 -x2868_bit0 -x2869_bit0 -x2870_bit0 -x2871_bit0 -x2872_bit0 -x2873_bit0 -x2874_bit0 -x2875_bit0 -x2876_bit0 x2877_bit0 -x2878_bit0 -x2879_bit0 -x2880_bit0 -x2881_bit0 -x2882_bit0 -x2883_bit0 -x2884_bit0 -x2885_bit0 -x2886_bit0 -x2887_bit0 -x2888_bit0 -x2889_bit0 -x2890_bit0 -x2891_bit0 -x2892_bit0 -x2893_bit0 -x2894_bit0 -x2895_bit0 -x2896_bit0 -x2897_bit0 -x2898_bit0 -x2899_bit0 -x2900_bit0 -x2901_bit0 -x2902_bit0 -x2903_bit0 -x2904_bit0 -x2905_bit0 -x2906_bit0 -x2907_bit0 -x2908_bit0 -x2909_bit0 -x2910_bit0 -x2911_bit0 -x2912_bit0 -x2913_bit0 -x2914_bit0 -x2915_bit0 -x2916_bit0 -x2917_bit0 -x2918_bit0 -x2919_bit0 -x2920_bit0 -x2921_bit0 -x2922_bit0 -x2923_bit0 -x2924_bit0 -x2925_bit0 -x2926_bit0 -x2927_bit0 -x2928_bit0 -x2929_bit0 -x2930_bit0 -x2931_bit0 -x2932_bit0 -x2933_bit0 -x2934_bit0 -x2935_bit0 -x2936_bit0 -x2937_bit0 -x2938_bit0 -x2939_bit0 -x2940_bit0 -x2941_bit0 -x2942_bit0 -x2943_bit0 -x2944_bit0 -x2945_bit0 -x2946_bit0 -x2947_bit0 -x2948_bit0 -x2949_bit0 x2950_bit0 -x2951_bit0 -x2952_bit0 -x2953_bit0 x2954_bit0 -x2955_bit0 -x2956_bit0 -x2957_bit0 -x2958_bit0 -x2959_bit0 -x2960_bit0 -x2961_bit0 -x2962_bit0 -x2963_bit0 -x2964_bit0 -x2965_bit0 -x2966_bit0 -x2967_bit0 -x2968_bit0 -x2969_bit0 -x2970_bit0 -x2971_bit0 -x2972_bit0 -x2973_bit0 -x2974_bit0 -x2975_bit0 -x2976_bit0 -x2977_bit0 -x2978_bit0 -x2979_bit0 -x2980_bit0 -x2981_bit0 -x2982_bit0 -x2983_bit0 -x2984_bit0 -x2985_bit0 -x2986_bit0 -x2987_bit0 -x2988_bit0 -x2989_bit0 -x2990_bit0 -x2991_bit0 -x2992_bit0 -x2993_bit0 
c objective function=-61046531
c Total CPU time (ms) : 1249.044

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789261805 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 39 3 38 16 0 23 0
[pid=5888] 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/5888
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=5889
New thread pid=5890
New thread pid=5891
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=5892
New thread pid=5893
New thread pid=5894
New thread pid=5895
New thread pid=5896
New thread pid=5897
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/wulflinc10/normalized-mps-v2-20-10-harp2.opb
New thread pid=5898
One traced child (pid=5898) exited with status: 0
New thread pid=5899
One traced child (pid=5899) exited with status: 0
New thread pid=5900

[startup+10.0023 s]
Raw data (loadavg): 1.17 1.03 0.93 2/66 5900
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18190 4 1 0 659 50 0 0 21 0 11 0 1789261805 867520512 22799 4294967295 134512640 134569956 3221224336 3221214632 1131653727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211797 22799 13129 16 0 211781 0
[pid=5888] vsize: 847188
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (Kb) 847188
One traced child (pid=5900) exited with status: 0
New thread pid=5901
One traced child (pid=5901) exited with status: 0
New thread pid=5902

[startup+20.0029 s]
Raw data (loadavg): 1.15 1.03 0.93 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18203 4 1 0 1578 51 0 0 22 0 11 0 1789261805 866275328 23836 4294967295 134512640 134569956 3221224336 3221214656 1131536418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 23836 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (Kb) 845972

[startup+30.0034 s]
Raw data (loadavg): 1.27 1.06 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18214 4 1 0 2493 51 0 0 25 0 11 0 1789261805 866275328 23881 4294967295 134512640 134569956 3221224336 3221214536 1131474651 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 23881 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (Kb) 845972

[startup+40.004 s]
Raw data (loadavg): 1.23 1.06 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18223 4 1 0 3420 52 0 0 25 0 11 0 1789261805 866275328 24170 4294967295 134512640 134569956 3221224336 3221214536 1131474659 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 24170 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 34.72
Current children cumulated vsize (Kb) 845972

[startup+50.0046 s]
Raw data (loadavg): 1.19 1.06 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18232 4 1 0 4342 53 0 0 20 0 11 0 1789261805 866275328 24471 4294967295 134512640 134569956 3221224336 3221214536 1131474679 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 24471 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 43.95
Current children cumulated vsize (Kb) 845972

[startup+60.0131 s]
Raw data (loadavg): 1.16 1.05 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18240 4 1 0 5277 53 0 0 25 0 11 0 1789261805 866275328 24652 4294967295 134512640 134569956 3221224336 3221214432 1131433995 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 24652 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 53.3
Current children cumulated vsize (Kb) 845972

[startup+70.0137 s]
Raw data (loadavg): 1.14 1.05 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18248 4 1 0 6216 54 0 0 25 0 11 0 1789261805 866275328 24880 4294967295 134512640 134569956 3221224336 3221214536 1131474077 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 24880 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 62.7
Current children cumulated vsize (Kb) 845972

[startup+80.0142 s]
Raw data (loadavg): 1.12 1.05 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18255 4 1 0 7162 54 0 0 22 0 11 0 1789261805 866275328 25116 4294967295 134512640 134569956 3221224336 3221214624 1131689760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 25116 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 72.16
Current children cumulated vsize (Kb) 845972

[startup+90.0138 s]
Raw data (loadavg): 1.10 1.05 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18264 4 1 0 8089 54 0 0 17 0 11 0 1789261805 866275328 25375 4294967295 134512640 134569956 3221224336 3221214628 1131474060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 25375 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 81.43
Current children cumulated vsize (Kb) 845972

[startup+100.014 s]
Raw data (loadavg): 1.08 1.05 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18269 4 1 0 9041 54 0 0 23 0 11 0 1789261805 866275328 25672 4294967295 134512640 134569956 3221224336 3221214536 1131474278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 25672 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 90.95
Current children cumulated vsize (Kb) 845972

[startup+110.014 s]
Raw data (loadavg): 1.07 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18277 4 1 0 9964 55 0 0 19 0 11 0 1789261805 866275328 26067 4294967295 134512640 134569956 3221224336 3221214536 1131475307 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 26067 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 100.19
Current children cumulated vsize (Kb) 845972

[startup+120.015 s]
Raw data (loadavg): 1.06 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18285 4 1 0 10892 55 0 0 22 0 11 0 1789261805 866275328 26313 4294967295 134512640 134569956 3221224336 3221214536 1131474790 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 26313 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 109.47
Current children cumulated vsize (Kb) 845972

[startup+130.016 s]
Raw data (loadavg): 1.05 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18295 4 1 0 11810 56 0 0 25 0 11 0 1789261805 866275328 26488 4294967295 134512640 134569956 3221224336 3221213176 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 26488 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 118.66
Current children cumulated vsize (Kb) 845972

[startup+140.016 s]
Raw data (loadavg): 1.04 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18303 4 1 0 12735 56 0 0 24 0 11 0 1789261805 866275328 26665 4294967295 134512640 134569956 3221224336 3221214536 1131474160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 26665 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 127.91
Current children cumulated vsize (Kb) 845972

[startup+150.016 s]
Raw data (loadavg): 1.03 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18311 4 1 0 13655 57 0 0 16 0 11 0 1789261805 866275328 26939 4294967295 134512640 134569956 3221224336 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 26939 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 137.12
Current children cumulated vsize (Kb) 845972

[startup+160.017 s]
Raw data (loadavg): 1.03 1.04 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18319 4 1 0 14585 57 0 0 25 0 11 0 1789261805 866275328 27234 4294967295 134512640 134569956 3221224336 3221214424 1131710759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 27234 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 146.42
Current children cumulated vsize (Kb) 845972

[startup+170.017 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18323 4 1 0 15550 57 0 0 25 0 11 0 1789261805 866275328 27389 4294967295 134512640 134569956 3221224336 3221214328 1131433995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 27389 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 156.07
Current children cumulated vsize (Kb) 845972

[startup+180.018 s]
Raw data (loadavg): 1.09 1.05 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18328 4 1 0 16500 57 0 0 22 0 11 0 1789261805 866275328 27675 4294967295 134512640 134569956 3221224336 3221214536 1131474951 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 27675 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 165.57
Current children cumulated vsize (Kb) 845972

[startup+190.018 s]
Raw data (loadavg): 1.08 1.05 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18335 4 1 0 17437 58 0 0 25 0 11 0 1789261805 866275328 27675 4294967295 134512640 134569956 3221224336 3221214292 1131732851 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 27675 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 174.95
Current children cumulated vsize (Kb) 845972

[startup+200.018 s]
Raw data (loadavg): 1.07 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18344 4 1 0 18356 58 0 0 25 0 11 0 1789261805 866275328 27950 4294967295 134512640 134569956 3221224336 3221214536 1131474912 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 27950 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 184.14
Current children cumulated vsize (Kb) 845972

[startup+210.019 s]
Raw data (loadavg): 1.06 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) T 5887 5888 22582 0 -1 0 18349 4 1 0 19317 58 0 0 25 0 11 0 1789261805 866275328 28109 4294967295 134512640 134569956 3221224336 3221213408 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 28109 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 193.75
Current children cumulated vsize (Kb) 845972

[startup+220.02 s]
Raw data (loadavg): 1.05 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18357 4 1 0 20236 58 0 0 24 0 11 0 1789261805 866275328 28383 4294967295 134512640 134569956 3221224336 3221214632 1131488188 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 28383 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 202.94
Current children cumulated vsize (Kb) 845972

[startup+230.02 s]
Raw data (loadavg): 1.04 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18366 4 1 0 21162 59 0 0 21 0 11 0 1789261805 866275328 28715 4294967295 134512640 134569956 3221224336 3221214632 1131489796 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 28715 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 212.21
Current children cumulated vsize (Kb) 845972

[startup+240.02 s]
Raw data (loadavg): 1.03 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18369 4 1 0 22139 59 0 0 18 0 11 0 1789261805 866275328 28775 4294967295 134512640 134569956 3221224336 3221214536 1131554371 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 28775 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (Kb) 845972

[startup+250.021 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18372 4 1 0 23116 60 0 0 25 0 11 0 1789261805 866275328 28775 4294967295 134512640 134569956 3221224336 3221214328 1131433910 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 28775 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 231.76
Current children cumulated vsize (Kb) 845972

[startup+260.02 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18377 4 1 0 24080 60 0 0 25 0 11 0 1789261805 866275328 28995 4294967295 134512640 134569956 3221224336 3221214536 1131474486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 28995 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 241.4
Current children cumulated vsize (Kb) 845972

[startup+270.021 s]
Raw data (loadavg): 1.09 1.05 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18387 4 1 0 25036 60 0 0 18 0 11 0 1789261805 866275328 29204 4294967295 134512640 134569956 3221224336 3221214536 1131474740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 29204 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 250.96
Current children cumulated vsize (Kb) 845972

[startup+280.021 s]
Raw data (loadavg): 1.08 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18391 4 1 0 26016 61 0 0 25 0 11 0 1789261805 866275328 29279 4294967295 134512640 134569956 3221224336 3221214464 1131381145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 29279 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 260.77
Current children cumulated vsize (Kb) 845972

[startup+290.021 s]
Raw data (loadavg): 1.07 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18399 4 1 0 26981 61 0 0 25 0 11 0 1789261805 866275328 29380 4294967295 134512640 134569956 3221224336 3221214536 1131474531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 29380 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 270.42
Current children cumulated vsize (Kb) 845972

[startup+300.022 s]
Raw data (loadavg): 1.06 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18406 4 1 0 27938 62 0 0 25 0 11 0 1789261805 866275328 29393 4294967295 134512640 134569956 3221224336 3221214536 1131474167 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 29393 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 845972

[startup+310.022 s]
Raw data (loadavg): 1.05 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18415 4 1 0 28881 62 0 0 25 0 11 0 1789261805 866275328 29503 4294967295 134512640 134569956 3221224336 3221214632 1131489756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 29503 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 289.43
Current children cumulated vsize (Kb) 845972

[startup+320.023 s]
Raw data (loadavg): 1.04 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18424 4 1 0 29832 62 0 0 17 0 11 0 1789261805 866275328 29731 4294967295 134512640 134569956 3221224336 3221214536 1131474563 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 29731 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 298.94
Current children cumulated vsize (Kb) 845972

[startup+330.023 s]
Raw data (loadavg): 1.03 1.04 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18433 4 1 0 30800 63 0 0 25 0 11 0 1789261805 866275328 29959 4294967295 134512640 134569956 3221224336 3221214536 1131474759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 29959 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 308.63
Current children cumulated vsize (Kb) 845972

[startup+340.024 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 5902
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18442 4 1 0 31792 63 0 0 22 0 11 0 1789261805 866275328 30046 4294967295 134512640 134569956 3221224336 3221214488 1131399238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30046 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 318.55
Current children cumulated vsize (Kb) 845972
One traced child (pid=5902) exited with status: 0
New thread pid=5903

[startup+350.024 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18453 4 1 0 32783 64 0 0 25 0 11 0 1789261805 866275328 30049 4294967295 134512640 134569956 3221224336 3221214536 1131474740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30049 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 328.47
Current children cumulated vsize (Kb) 845972

[startup+360.025 s]
Raw data (loadavg): 1.09 1.05 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18462 4 1 0 33770 64 0 0 25 0 11 0 1789261805 866275328 30052 4294967295 134512640 134569956 3221224336 3221214536 1131474759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 30052 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 338.34
Current children cumulated vsize (Kb) 845972

[startup+370.026 s]
Raw data (loadavg): 1.08 1.04 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18471 4 1 0 34749 64 0 0 25 0 11 0 1789261805 866275328 30054 4294967295 134512640 134569956 3221224336 3221214536 1131474607 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30054 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 348.13
Current children cumulated vsize (Kb) 845972

[startup+380.025 s]
Raw data (loadavg): 1.06 1.04 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18480 4 1 0 35710 64 0 0 25 0 11 0 1789261805 866275328 30056 4294967295 134512640 134569956 3221224336 3221214536 1131474759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 30056 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 357.74
Current children cumulated vsize (Kb) 845972

[startup+390.025 s]
Raw data (loadavg): 1.05 1.04 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18489 4 1 0 36671 65 0 0 25 0 11 0 1789261805 866275328 30139 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 30139 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 367.36
Current children cumulated vsize (Kb) 845972

[startup+400.026 s]
Raw data (loadavg): 1.05 1.04 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18497 4 1 0 37626 65 0 0 25 0 11 0 1789261805 866275328 30159 4294967295 134512640 134569956 3221224336 3221214536 1131474624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30159 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 376.91
Current children cumulated vsize (Kb) 845972

[startup+410.026 s]
Raw data (loadavg): 1.04 1.04 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18505 4 1 0 38583 65 0 0 25 0 11 0 1789261805 866275328 30469 4294967295 134512640 134569956 3221224336 3221214536 1131474715 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 30469 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 386.48
Current children cumulated vsize (Kb) 845972

[startup+420.026 s]
Raw data (loadavg): 1.03 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18514 4 1 0 39544 66 0 0 21 0 11 0 1789261805 866275328 30470 4294967295 134512640 134569956 3221224336 3221214536 1131474531 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30470 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 396.1
Current children cumulated vsize (Kb) 845972

[startup+430.027 s]
Raw data (loadavg): 1.03 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18522 4 1 0 40500 66 0 0 18 0 11 0 1789261805 866275328 30651 4294967295 134512640 134569956 3221224336 3221214536 1131474563 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30651 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 405.66
Current children cumulated vsize (Kb) 845972

[startup+440.026 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18530 4 1 0 41462 66 0 0 25 0 11 0 1789261805 866275328 30732 4294967295 134512640 134569956 3221224336 3221214536 1131474382 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30732 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 415.28
Current children cumulated vsize (Kb) 845972

[startup+450.027 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18539 4 1 0 42424 66 0 0 25 0 11 0 1789261805 866275328 30856 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 30856 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 424.9
Current children cumulated vsize (Kb) 845972

[startup+460.028 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18547 4 1 0 43381 67 0 0 25 0 11 0 1789261805 866275328 30944 4294967295 134512640 134569956 3221224336 3221214536 1131474959 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 30944 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 434.48
Current children cumulated vsize (Kb) 845972

[startup+470.028 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18556 4 1 0 44339 68 0 0 25 0 11 0 1789261805 866275328 31158 4294967295 134512640 134569956 3221224336 3221214808 1131484113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31158 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 444.07
Current children cumulated vsize (Kb) 845972

[startup+480.029 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18563 4 1 0 45301 68 0 0 25 0 11 0 1789261805 866275328 31254 4294967295 134512640 134569956 3221224336 3221214328 1131434146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31254 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 453.69
Current children cumulated vsize (Kb) 845972

[startup+490.029 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18567 4 1 0 46278 68 0 0 25 0 11 0 1789261805 866275328 31255 4294967295 134512640 134569956 3221224336 3221214464 1131381145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31255 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 463.46
Current children cumulated vsize (Kb) 845972

[startup+500.03 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18571 4 1 0 47257 68 0 0 25 0 11 0 1789261805 866275328 31426 4294967295 134512640 134569956 3221224336 3221214432 1131434171 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31426 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 473.25
Current children cumulated vsize (Kb) 845972

[startup+510.03 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18576 4 1 0 48235 68 0 0 25 0 11 0 1789261805 866275328 31426 4294967295 134512640 134569956 3221224336 3221214296 1131764620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31426 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 483.03
Current children cumulated vsize (Kb) 845972

[startup+520.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18581 4 1 0 49215 69 0 0 24 0 11 0 1789261805 866275328 31585 4294967295 134512640 134569956 3221224336 3221214432 1131433947 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 31585 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 492.84
Current children cumulated vsize (Kb) 845972

[startup+530.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18585 4 1 0 50203 69 0 0 25 0 11 0 1789261805 866275328 31585 4294967295 134512640 134569956 3221224336 3221214432 1131434213 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 31585 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 502.72
Current children cumulated vsize (Kb) 845972

[startup+540.033 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18593 4 1 0 51184 69 0 0 25 0 11 0 1789261805 866275328 31672 4294967295 134512640 134569956 3221224336 3221214432 1131434150 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31672 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 512.53
Current children cumulated vsize (Kb) 845972

[startup+550.034 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18601 4 1 0 52155 70 0 0 24 0 11 0 1789261805 866275328 31672 4294967295 134512640 134569956 3221224336 3221214784 1131381145 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 31672 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (Kb) 845972

[startup+560.034 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18609 4 1 0 53127 70 0 0 25 0 11 0 1789261805 866275328 31672 4294967295 134512640 134569956 3221224336 3221214536 1131474081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 31672 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 531.97
Current children cumulated vsize (Kb) 845972

[startup+570.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18618 4 1 0 54094 71 0 0 18 0 11 0 1789261805 866275328 31905 4294967295 134512640 134569956 3221224336 3221214536 1131474500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 31905 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 541.65
Current children cumulated vsize (Kb) 845972

[startup+580.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18626 4 1 0 55073 72 0 0 25 0 11 0 1789261805 866275328 32210 4294967295 134512640 134569956 3221224336 3221214536 1131474624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32210 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 551.45
Current children cumulated vsize (Kb) 845972

[startup+590.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18635 4 1 0 56057 73 0 0 24 0 11 0 1789261805 866275328 32210 4294967295 134512640 134569956 3221224336 3221214536 1131474647 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32210 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 561.3
Current children cumulated vsize (Kb) 845972

[startup+600.037 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18643 4 1 0 57030 73 0 0 25 0 11 0 1789261805 866275328 32211 4294967295 134512640 134569956 3221224336 3221214536 1131474683 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32211 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 571.03
Current children cumulated vsize (Kb) 845972

[startup+610.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18651 4 1 0 57999 73 0 0 25 0 11 0 1789261805 866275328 32212 4294967295 134512640 134569956 3221224336 3221214536 1131474226 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32212 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 580.72
Current children cumulated vsize (Kb) 845972

[startup+620.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18660 4 1 0 58967 74 0 0 25 0 11 0 1789261805 866275328 32301 4294967295 134512640 134569956 3221224336 3221214536 1131474728 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 32301 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 590.41
Current children cumulated vsize (Kb) 845972

[startup+630.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18669 4 1 0 59939 74 0 0 25 0 11 0 1789261805 866275328 32485 4294967295 134512640 134569956 3221224336 3221214632 1131489808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 32485 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 600.13
Current children cumulated vsize (Kb) 845972

[startup+640.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18678 4 1 0 60930 74 0 0 19 0 11 0 1789261805 866275328 32592 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32592 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 610.04
Current children cumulated vsize (Kb) 845972

[startup+650.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18686 4 1 0 61923 75 0 0 25 0 11 0 1789261805 866275328 32592 4294967295 134512640 134569956 3221224336 3221214536 1131474957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 32592 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 845972

[startup+660.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18692 4 1 0 62901 75 0 0 25 0 11 0 1789261805 866275328 32593 4294967295 134512640 134569956 3221224336 3221214552 1131434183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32593 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 629.76
Current children cumulated vsize (Kb) 845972

[startup+670.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18699 4 1 0 63863 75 0 0 16 0 11 0 1789261805 866275328 32593 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32593 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 639.38
Current children cumulated vsize (Kb) 845972

[startup+680.042 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18708 4 1 0 64822 75 0 0 25 0 11 0 1789261805 866275328 32594 4294967295 134512640 134569956 3221224336 3221214632 1131486986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32594 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 648.97
Current children cumulated vsize (Kb) 845972

[startup+690.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18716 4 1 0 65784 75 0 0 25 0 11 0 1789261805 866275328 32596 4294967295 134512640 134569956 3221224336 3221214536 1131474683 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 32596 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 658.59
Current children cumulated vsize (Kb) 845972

[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18725 4 1 0 66757 76 0 0 19 0 11 0 1789261805 866275328 32953 4294967295 134512640 134569956 3221224336 3221214632 1131486986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 32953 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 668.33
Current children cumulated vsize (Kb) 845972

[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18733 4 1 0 67745 76 0 0 24 0 11 0 1789261805 866275328 33088 4294967295 134512640 134569956 3221224336 3221214536 1131474748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 33088 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 678.21
Current children cumulated vsize (Kb) 845972

[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18742 4 1 0 68729 77 0 0 25 0 11 0 1789261805 866275328 33089 4294967295 134512640 134569956 3221224336 3221214536 1131474699 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 33089 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 688.06
Current children cumulated vsize (Kb) 845972

[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18751 4 1 0 69714 77 0 0 25 0 11 0 1789261805 866275328 33089 4294967295 134512640 134569956 3221224336 3221214536 1131474715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 33089 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 697.91
Current children cumulated vsize (Kb) 845972

[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18760 4 1 0 70697 78 0 0 24 0 11 0 1789261805 866275328 33191 4294967295 134512640 134569956 3221224336 3221214536 1131474522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 33191 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 707.75
Current children cumulated vsize (Kb) 845972

[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18766 4 1 0 71686 78 0 0 25 0 11 0 1789261805 866275328 33191 4294967295 134512640 134569956 3221224336 3221214504 1131361833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 33191 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 717.64
Current children cumulated vsize (Kb) 845972

[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18773 4 1 0 72667 78 0 0 25 0 11 0 1789261805 866275328 33192 4294967295 134512640 134569956 3221224336 3221214536 1131474569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 33192 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 727.45
Current children cumulated vsize (Kb) 845972

[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18782 4 1 0 73643 79 0 0 16 0 11 0 1789261805 866275328 33192 4294967295 134512640 134569956 3221224336 3221214536 1131474659 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 33192 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 737.22
Current children cumulated vsize (Kb) 845972

[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18790 4 1 0 74622 79 0 0 25 0 11 0 1789261805 866275328 33192 4294967295 134512640 134569956 3221224336 3221214536 1131474691 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 33192 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 747.01
Current children cumulated vsize (Kb) 845972

[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18799 4 1 0 75601 79 0 0 25 0 11 0 1789261805 866275328 33297 4294967295 134512640 134569956 3221224336 3221214536 1131474691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 33297 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 756.8
Current children cumulated vsize (Kb) 845972

[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18806 4 1 0 76579 80 0 0 19 0 11 0 1789261805 866275328 34193 4294967295 134512640 134569956 3221224336 3221214536 1131474167 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34193 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 766.59
Current children cumulated vsize (Kb) 845972

[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.96 1/66 5903
Raw data (/proc/5888/stat): 5888 (java) S 5887 5888 22582 0 -1 0 18815 4 1 0 77570 80 0 0 25 0 11 0 1789261805 866275328 34193 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34193 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 776.5
Current children cumulated vsize (Kb) 845972

[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18823 4 1 0 78561 81 0 0 25 0 11 0 1789261805 866275328 34193 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34193 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 786.42
Current children cumulated vsize (Kb) 845972

[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18832 4 1 0 79552 81 0 0 24 0 11 0 1789261805 866275328 34193 4294967295 134512640 134569956 3221224336 3221214632 1131486986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34193 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 796.33
Current children cumulated vsize (Kb) 845972

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18841 4 1 0 80544 81 0 0 19 0 11 0 1789261805 866275328 34259 4294967295 134512640 134569956 3221224336 3221214536 1131474728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34259 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 806.25
Current children cumulated vsize (Kb) 845972

[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18850 4 1 0 81534 82 0 0 25 0 11 0 1789261805 866275328 34261 4294967295 134512640 134569956 3221224336 3221214632 1131486767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34261 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 816.16
Current children cumulated vsize (Kb) 845972

[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18858 4 1 0 82520 83 0 0 25 0 11 0 1789261805 866275328 34262 4294967295 134512640 134569956 3221224336 3221214536 1131474502 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34262 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 826.03
Current children cumulated vsize (Kb) 845972

[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18867 4 1 0 83504 83 0 0 19 0 11 0 1789261805 866275328 34262 4294967295 134512640 134569956 3221224336 3221214632 1131486986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34262 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 835.87
Current children cumulated vsize (Kb) 845972

[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18874 4 1 0 84489 83 0 0 25 0 11 0 1789261805 866275328 34262 4294967295 134512640 134569956 3221224336 3221214632 1131489764 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34262 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 845.72
Current children cumulated vsize (Kb) 845972

[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18883 4 1 0 85469 84 0 0 25 0 11 0 1789261805 866275328 34368 4294967295 134512640 134569956 3221224336 3221214536 1131474711 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34368 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 855.53
Current children cumulated vsize (Kb) 845972

[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18892 4 1 0 86452 84 0 0 18 0 11 0 1789261805 866275328 34368 4294967295 134512640 134569956 3221224336 3221214632 1131489793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34368 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 865.36
Current children cumulated vsize (Kb) 845972

[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18900 4 1 0 87436 85 0 0 25 0 11 0 1789261805 866275328 34369 4294967295 134512640 134569956 3221224336 3221214536 1131474728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34369 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 875.21
Current children cumulated vsize (Kb) 845972

[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18909 4 1 0 88425 85 0 0 18 0 11 0 1789261805 866275328 34489 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34489 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 885.1
Current children cumulated vsize (Kb) 845972

[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18917 4 1 0 89419 86 0 0 25 0 11 0 1789261805 866275328 34491 4294967295 134512640 134569956 3221224336 3221214536 1131474740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34491 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 895.05
Current children cumulated vsize (Kb) 845972

[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18926 4 1 0 90414 86 0 0 25 0 11 0 1789261805 866275328 34492 4294967295 134512640 134569956 3221224336 3221214560 1131474655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34492 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 905
Current children cumulated vsize (Kb) 845972

[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18934 4 1 0 91396 86 0 0 25 0 11 0 1789261805 866275328 34493 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34493 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 914.82
Current children cumulated vsize (Kb) 845972

[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18943 4 1 0 92377 86 0 0 21 0 11 0 1789261805 866275328 34494 4294967295 134512640 134569956 3221224336 3221214536 1131474721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34494 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 924.63
Current children cumulated vsize (Kb) 845972

[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18951 4 1 0 93356 87 0 0 25 0 11 0 1789261805 866275328 34494 4294967295 134512640 134569956 3221224336 3221214632 1131489069 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34494 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 934.43
Current children cumulated vsize (Kb) 845972

[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18959 4 1 0 94331 87 0 0 25 0 11 0 1789261805 866275328 34681 4294967295 134512640 134569956 3221224336 3221214536 1131474620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34681 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 944.18
Current children cumulated vsize (Kb) 845972

[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18967 4 1 0 95314 87 0 0 25 0 11 0 1789261805 866275328 34681 4294967295 134512640 134569956 3221224336 3221214536 1131474597 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 34681 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 954.01
Current children cumulated vsize (Kb) 845972

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18976 4 1 0 96293 87 0 0 25 0 11 0 1789261805 866275328 34681 4294967295 134512640 134569956 3221224336 3221214632 1131488185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34681 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 963.8
Current children cumulated vsize (Kb) 845972

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18985 4 1 0 97280 88 0 0 17 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214536 1131474744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 973.68
Current children cumulated vsize (Kb) 845972

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 18993 4 1 0 98275 89 0 0 24 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214536 1131474092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 983.64
Current children cumulated vsize (Kb) 845972

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19001 4 1 0 99261 89 0 0 25 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214488 1131399253 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 993.5
Current children cumulated vsize (Kb) 845972

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19010 4 1 0 100242 90 0 0 21 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214536 1131474728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1003.32
Current children cumulated vsize (Kb) 845972

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19018 4 1 0 101217 90 0 0 17 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214536 1131474588 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1013.07
Current children cumulated vsize (Kb) 845972

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19026 4 1 0 102190 90 0 0 22 0 11 0 1789261805 866275328 34877 4294967295 134512640 134569956 3221224336 3221214536 1131474500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 34877 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1022.8
Current children cumulated vsize (Kb) 845972

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19033 4 1 0 103168 90 0 0 25 0 11 0 1789261805 866275328 35065 4294967295 134512640 134569956 3221224336 3221214536 1131474593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35065 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1032.58
Current children cumulated vsize (Kb) 845972

[startup+1080.06 s]
Raw data (loadavg): 1.15 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19041 4 1 0 104139 91 0 0 25 0 11 0 1789261805 866275328 35065 4294967295 134512640 134569956 3221224336 3221214536 1131474632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35065 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1042.3
Current children cumulated vsize (Kb) 845972

[startup+1090.06 s]
Raw data (loadavg): 1.13 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19050 4 1 0 105114 91 0 0 25 0 11 0 1789261805 866275328 35315 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35315 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1052.05
Current children cumulated vsize (Kb) 845972

[startup+1100.06 s]
Raw data (loadavg): 1.11 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19058 4 1 0 106097 92 0 0 25 0 11 0 1789261805 866275328 35315 4294967295 134512640 134569956 3221224336 3221214536 1131474574 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35315 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (Kb) 845972

[startup+1110.06 s]
Raw data (loadavg): 1.16 1.04 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19067 4 1 0 107083 92 0 0 20 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214536 1131474624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1071.75
Current children cumulated vsize (Kb) 845972

[startup+1120.06 s]
Raw data (loadavg): 1.14 1.04 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19075 4 1 0 108078 93 0 0 25 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214536 1131474691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1081.71
Current children cumulated vsize (Kb) 845972

[startup+1130.06 s]
Raw data (loadavg): 1.12 1.04 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19084 4 1 0 109070 93 0 0 18 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214536 1131474593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1091.63
Current children cumulated vsize (Kb) 845972

[startup+1140.06 s]
Raw data (loadavg): 1.10 1.04 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19092 4 1 0 110056 93 0 0 25 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214536 1131474081 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1101.49
Current children cumulated vsize (Kb) 845972

[startup+1150.06 s]
Raw data (loadavg): 1.08 1.04 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19101 4 1 0 111040 93 0 0 25 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214536 1131474711 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1111.33
Current children cumulated vsize (Kb) 845972

[startup+1160.06 s]
Raw data (loadavg): 1.07 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19109 4 1 0 112026 94 0 0 25 0 11 0 1789261805 866275328 35504 4294967295 134512640 134569956 3221224336 3221214632 1131487055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35504 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1121.2
Current children cumulated vsize (Kb) 845972

[startup+1170.06 s]
Raw data (loadavg): 1.06 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19117 4 1 0 113010 95 0 0 21 0 11 0 1789261805 866275328 35612 4294967295 134512640 134569956 3221224336 3221214536 1131474748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35612 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1131.05
Current children cumulated vsize (Kb) 845972

[startup+1180.06 s]
Raw data (loadavg): 1.05 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19125 4 1 0 113996 95 0 0 25 0 11 0 1789261805 866275328 35613 4294967295 134512640 134569956 3221224336 3221214536 1131474632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35613 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1140.91
Current children cumulated vsize (Kb) 845972

[startup+1190.06 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19134 4 1 0 114980 96 0 0 25 0 11 0 1789261805 866275328 35613 4294967295 134512640 134569956 3221224336 3221214536 1131474500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35613 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1150.76
Current children cumulated vsize (Kb) 845972

[startup+1200.07 s]
Raw data (loadavg): 1.11 1.04 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19141 4 1 0 115957 96 0 0 25 0 11 0 1789261805 866275328 35613 4294967295 134512640 134569956 3221224336 3221214536 1131474982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35613 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1160.53
Current children cumulated vsize (Kb) 845972

[startup+1210.07 s]
Raw data (loadavg): 1.10 1.04 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19150 4 1 0 116929 97 0 0 25 0 11 0 1789261805 866275328 35723 4294967295 134512640 134569956 3221224336 3221214536 1131474609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35723 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1170.26
Current children cumulated vsize (Kb) 845972

[startup+1220.07 s]
Raw data (loadavg): 1.08 1.04 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19158 4 1 0 117909 97 0 0 22 0 11 0 1789261805 866275328 35723 4294967295 134512640 134569956 3221224336 3221214536 1131474663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35723 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1180.06
Current children cumulated vsize (Kb) 845972

[startup+1230.07 s]
Raw data (loadavg): 1.07 1.04 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19166 4 1 0 118885 97 0 0 25 0 11 0 1789261805 866275328 35832 4294967295 134512640 134569956 3221224336 3221214536 1131474588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35832 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1189.82
Current children cumulated vsize (Kb) 845972

[startup+1240.07 s]
Raw data (loadavg): 1.06 1.04 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19174 4 1 0 119862 97 0 0 25 0 11 0 1789261805 866275328 35949 4294967295 134512640 134569956 3221224336 3221214536 1131474167 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5888/statm): 211493 35949 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (Kb) 845972

[startup+1250.07 s]
Raw data (loadavg): 1.05 1.03 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19183 4 1 0 120839 98 0 0 25 0 11 0 1789261805 866275328 35949 4294967295 134512640 134569956 3221224336 3221214536 1131474752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35949 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 845972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.07 s]
Raw data (loadavg): 1.05 1.03 0.98 2/66 5903
Raw data (/proc/5888/stat): 5888 (java) R 5887 5888 22582 0 -1 0 19183 4 1 0 120839 98 0 0 25 0 11 0 1789261805 866275328 35949 4294967295 134512640 134569956 3221224336 3221214536 1131474752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5888/statm): 211493 35949 13129 16 0 211477 0
[pid=5888] vsize: 845972
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 845972

Sending SIGTERM to -5888
Sleeping 2 seconds
New thread pid=5905
New thread pid=5906
One traced child (pid=5906) exited with status: 0
One traced child (pid=5897) exited with status: 0
One traced child (pid=5892) exited with status: 0
One traced child (pid=5889) exited with status: 143
One traced child (pid=5890) exited with status: 143
One traced child (pid=5891) exited with status: 143
One traced child (pid=5893) exited with status: 143
One traced child (pid=5896) exited with status: 143
One traced child (pid=5894) exited with status: 143
One traced child (pid=5903) exited with status: 143
One traced child (pid=5895) exited with status: 143
One traced child (pid=5905) exited with status: 143
One traced child (pid=5888) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.42
CPU time (s): 1261.12
CPU user time (s): 1258.98
CPU system time (s): 2.14167
CPU usage (%): 100.856
Max. virtual memory (cumulated for all children) (Kb): 847188

Verifier Data

Verifier:	OK	-61046531