Some explanations

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

General information on the benchmark

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

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        775960 kB
Buffers:         32552 kB
Cached:         198920 kB
SwapCached:        816 kB
Active:         102664 kB
Inactive:       131464 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775708 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18808 kB
Committed_AS:    72328 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:55:45 (client local time) WITH STATUS 143 IN 1245.12 SECONDS
stats: 6813 0 1245.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/wulflinc3/normalized-mps-v2-13-7-harp2.opb
c reading problem ... done. Time 3.447 ms.
c #vars     2993
c #constraints  185
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                -146 		Current CPU time: 5.36 ms
c CURRENT OPTIMUM=             -340504 		Current CPU time: 7.29 ms
c CURRENT OPTIMUM=             -553262 		Current CPU time: 9.26 ms
c CURRENT OPTIMUM=            -2220791 		Current CPU time: 10.22 ms
c CURRENT OPTIMUM=           -61046531 		Current CPU time: 348.22 ms
c starts		: 7
c conflicts		: 150
c decisions		: 7845
c propagations		: 17300
c inspects		: 114265
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 150
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 2284
c speed (decisions/second)	: 8.71148817092062
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.069

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/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802497982 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 39 3 38 16 0 23 0
[pid=13379] 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/13379
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=13380
New thread pid=13381
New thread pid=13382
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=13383
New thread pid=13384
New thread pid=13385
New thread pid=13386
New thread pid=13387
New thread pid=13388
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/wulflinc3/normalized-mps-v2-13-7-harp2.opb
New thread pid=13389
One traced child (pid=13389) exited with status: 0
New thread pid=13390
One traced child (pid=13390) exited with status: 0
New thread pid=13391

[startup+10.0026 s]
Raw data (loadavg): 1.28 1.06 1.02 2/66 13391
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18217 4 1 0 614 45 0 0 20 0 11 0 1802497982 866525184 22751 4294967295 134512640 134569956 3221224336 3221214516 1131057195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211554 22751 13129 16 0 211538 0
[pid=13379] vsize: 846216
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (Kb) 846216
One traced child (pid=13391) exited with status: 0
New thread pid=13392
One traced child (pid=13392) exited with status: 0
New thread pid=13393

[startup+20.0034 s]
Raw data (loadavg): 1.24 1.06 1.02 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18231 4 1 0 1531 46 0 0 24 0 11 0 1802497982 865464320 23653 4294967295 134512640 134569956 3221224336 3221214528 1131458150 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 23653 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (Kb) 845180

[startup+30.0033 s]
Raw data (loadavg): 1.20 1.06 1.02 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18241 4 1 0 2433 46 0 0 22 0 11 0 1802497982 865464320 23702 4294967295 134512640 134569956 3221224336 3221214624 1131514028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 23702 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (Kb) 845180

[startup+40.0041 s]
Raw data (loadavg): 1.17 1.06 1.02 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18250 4 1 0 3360 46 0 0 20 0 11 0 1802497982 865464320 23991 4294967295 134512640 134569956 3221224336 3221214624 1131514016 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 23991 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (Kb) 845180

[startup+50.0049 s]
Raw data (loadavg): 1.14 1.05 1.02 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18258 4 1 0 4291 47 0 0 25 0 11 0 1802497982 865464320 24292 4294967295 134512640 134569956 3221224336 3221214536 1131483599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 24292 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 43.38
Current children cumulated vsize (Kb) 845180

[startup+60.0058 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18266 4 1 0 5226 47 0 0 22 0 11 0 1802497982 865464320 24360 4294967295 134512640 134569956 3221224336 3221214448 1131412263 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 24360 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 52.73
Current children cumulated vsize (Kb) 845180

[startup+70.0066 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18274 4 1 0 6165 47 0 0 22 0 11 0 1802497982 865464320 24701 4294967295 134512640 134569956 3221224336 3221214536 1131483029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 24701 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 62.12
Current children cumulated vsize (Kb) 845180

[startup+80.0075 s]
Raw data (loadavg): 1.08 1.05 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18280 4 1 0 7113 48 0 0 25 0 11 0 1802497982 865464320 24936 4294967295 134512640 134569956 3221224336 3221214536 1131482913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 24936 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 71.61
Current children cumulated vsize (Kb) 845180

[startup+90.0093 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18288 4 1 0 8049 48 0 0 19 0 11 0 1802497982 865464320 25195 4294967295 134512640 134569956 3221224336 3221214632 1131497082 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 25195 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 80.97
Current children cumulated vsize (Kb) 845180

[startup+100.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18294 4 1 0 8992 48 0 0 16 0 11 0 1802497982 865464320 25492 4294967295 134512640 134569956 3221224336 3221214536 1131482989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 25492 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 90.4
Current children cumulated vsize (Kb) 845180

[startup+110.011 s]
Raw data (loadavg): 1.05 1.04 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18301 4 1 0 9926 49 0 0 25 0 11 0 1802497982 865464320 25763 4294967295 134512640 134569956 3221224336 3221214520 1131434254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 25763 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 845180

[startup+120.013 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18309 4 1 0 10854 49 0 0 21 0 11 0 1802497982 865464320 26050 4294967295 134512640 134569956 3221224336 3221214536 1131482913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 26050 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 109.03
Current children cumulated vsize (Kb) 845180

[startup+130.013 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18318 4 1 0 11773 49 0 0 24 0 11 0 1802497982 865464320 26308 4294967295 134512640 134569956 3221224336 3221214536 1131483280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 26308 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 118.22
Current children cumulated vsize (Kb) 845180

[startup+140.013 s]
Raw data (loadavg): 1.03 1.04 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18327 4 1 0 12696 49 0 0 25 0 11 0 1802497982 865464320 26422 4294967295 134512640 134569956 3221224336 3221214536 1131483622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 26422 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 127.45
Current children cumulated vsize (Kb) 845180

[startup+150.014 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18335 4 1 0 13621 50 0 0 19 0 11 0 1802497982 865464320 26752 4294967295 134512640 134569956 3221224336 3221214632 1131495950 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 26752 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 136.71
Current children cumulated vsize (Kb) 845180

[startup+160.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18343 4 1 0 14549 50 0 0 25 0 11 0 1802497982 865464320 26992 4294967295 134512640 134569956 3221224336 3221214624 1131697202 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 26992 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 145.99
Current children cumulated vsize (Kb) 845180

[startup+170.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18349 4 1 0 15501 50 0 0 25 0 11 0 1802497982 865464320 27210 4294967295 134512640 134569956 3221224336 3221214536 1131482946 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 27210 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 155.51
Current children cumulated vsize (Kb) 845180

[startup+180.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18353 4 1 0 16462 51 0 0 25 0 11 0 1802497982 865464320 27212 4294967295 134512640 134569956 3221224336 3221214536 1131483446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 27212 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 165.13
Current children cumulated vsize (Kb) 845180

[startup+190.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18361 4 1 0 17387 52 0 0 25 0 11 0 1802497982 865464320 27495 4294967295 134512640 134569956 3221224336 3221214624 1131697257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 27495 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 174.39
Current children cumulated vsize (Kb) 845180

[startup+200.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18368 4 1 0 18322 52 0 0 25 0 11 0 1802497982 865464320 27770 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 27770 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 183.74
Current children cumulated vsize (Kb) 845180

[startup+210.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18373 4 1 0 19285 53 0 0 25 0 11 0 1802497982 865464320 27836 4294967295 134512640 134569956 3221224336 3221214536 1131482996 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 27836 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 193.38
Current children cumulated vsize (Kb) 845180

[startup+220.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18382 4 1 0 20200 53 0 0 24 0 11 0 1802497982 865464320 28210 4294967295 134512640 134569956 3221224336 3221214536 1131483568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 28210 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 202.53
Current children cumulated vsize (Kb) 845180

[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18391 4 1 0 21127 54 0 0 25 0 11 0 1802497982 865464320 28388 4294967295 134512640 134569956 3221224336 3221214632 1131497970 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 28388 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 211.81
Current children cumulated vsize (Kb) 845180

[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18396 4 1 0 22086 54 0 0 25 0 11 0 1802497982 865464320 28602 4294967295 134512640 134569956 3221224336 3221214512 1131364519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 28602 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (Kb) 845180

[startup+250.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18399 4 1 0 23062 55 0 0 25 0 11 0 1802497982 865464320 28602 4294967295 134512640 134569956 3221224336 3221214400 1131716729 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 28602 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 231.17
Current children cumulated vsize (Kb) 845180

[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18402 4 1 0 24039 55 0 0 25 0 11 0 1802497982 865464320 28658 4294967295 134512640 134569956 3221224336 3221214508 1131372896 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 28658 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 240.94
Current children cumulated vsize (Kb) 845180

[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18411 4 1 0 24990 55 0 0 25 0 11 0 1802497982 865464320 28929 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 28929 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 250.45
Current children cumulated vsize (Kb) 845180

[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18418 4 1 0 25960 55 0 0 25 0 11 0 1802497982 865464320 29106 4294967295 134512640 134569956 3221224336 3221214544 1131813107 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 29106 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 260.15
Current children cumulated vsize (Kb) 845180

[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18423 4 1 0 26941 55 0 0 25 0 11 0 1802497982 865464320 29107 4294967295 134512640 134569956 3221224336 3221214536 1131483421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29107 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 269.96
Current children cumulated vsize (Kb) 845180

[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18432 4 1 0 27890 56 0 0 25 0 11 0 1802497982 865464320 29207 4294967295 134512640 134569956 3221224336 3221214536 1131483450 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 29207 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 279.46
Current children cumulated vsize (Kb) 845180

[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18439 4 1 0 28844 56 0 0 20 0 11 0 1802497982 865464320 29329 4294967295 134512640 134569956 3221224336 3221214448 1131412261 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29329 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 289
Current children cumulated vsize (Kb) 845180

[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18447 4 1 0 29795 56 0 0 25 0 11 0 1802497982 865464320 29380 4294967295 134512640 134569956 3221224336 3221214784 1131374745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29380 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 298.51
Current children cumulated vsize (Kb) 845180

[startup+330.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18456 4 1 0 30755 57 0 0 22 0 11 0 1802497982 865464320 29614 4294967295 134512640 134569956 3221224336 3221214632 1131495950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29614 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 308.12
Current children cumulated vsize (Kb) 845180

[startup+340.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13393
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18466 4 1 0 31733 58 0 0 25 0 11 0 1802497982 865464320 29872 4294967295 134512640 134569956 3221224336 3221214632 1131499564 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 29872 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 317.91
Current children cumulated vsize (Kb) 845180
One traced child (pid=13393) exited with status: 0
New thread pid=13394

[startup+350.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18475 4 1 0 32726 58 0 0 25 0 11 0 1802497982 865464320 29874 4294967295 134512640 134569956 3221224336 3221214632 1131495649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 29874 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 327.84
Current children cumulated vsize (Kb) 845180

[startup+360.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18484 4 1 0 33714 58 0 0 25 0 11 0 1802497982 865464320 29877 4294967295 134512640 134569956 3221224336 3221214536 1131483073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29877 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 337.72
Current children cumulated vsize (Kb) 845180

[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18494 4 1 0 34698 59 0 0 25 0 11 0 1802497982 865464320 29880 4294967295 134512640 134569956 3221224336 3221214536 1131483435 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29880 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 347.57
Current children cumulated vsize (Kb) 845180

[startup+380.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18502 4 1 0 35670 59 0 0 25 0 11 0 1802497982 865464320 29882 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29882 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 357.29
Current children cumulated vsize (Kb) 845180

[startup+390.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18511 4 1 0 36630 59 0 0 25 0 11 0 1802497982 865464320 29958 4294967295 134512640 134569956 3221224336 3221214584 1131483346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29958 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 366.89
Current children cumulated vsize (Kb) 845180

[startup+400.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18519 4 1 0 37590 60 0 0 21 0 11 0 1802497982 865464320 29972 4294967295 134512640 134569956 3221224336 3221214536 1131483538 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 29972 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 376.5
Current children cumulated vsize (Kb) 845180

[startup+410.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18527 4 1 0 38546 60 0 0 25 0 11 0 1802497982 865464320 30147 4294967295 134512640 134569956 3221224336 3221214672 1131746348 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30147 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 386.06
Current children cumulated vsize (Kb) 845180

[startup+420.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18536 4 1 0 39502 61 0 0 25 0 11 0 1802497982 865464320 30296 4294967295 134512640 134569956 3221224336 3221214536 1131483538 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30296 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 395.63
Current children cumulated vsize (Kb) 845180

[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18544 4 1 0 40463 61 0 0 16 0 11 0 1802497982 865464320 30393 4294967295 134512640 134569956 3221224336 3221214528 1131483530 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30393 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 405.24
Current children cumulated vsize (Kb) 845180

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18552 4 1 0 41421 61 0 0 25 0 11 0 1802497982 865464320 30478 4294967295 134512640 134569956 3221224336 3221214536 1131483940 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30478 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 414.82
Current children cumulated vsize (Kb) 845180

[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18560 4 1 0 42382 61 0 0 25 0 11 0 1802497982 865464320 30683 4294967295 134512640 134569956 3221224336 3221214536 1131483479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30683 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 424.43
Current children cumulated vsize (Kb) 845180

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18568 4 1 0 43346 62 0 0 25 0 11 0 1802497982 865464320 30684 4294967295 134512640 134569956 3221224336 3221214536 1131483040 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 30684 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 434.08
Current children cumulated vsize (Kb) 845180

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18577 4 1 0 44300 62 0 0 25 0 11 0 1802497982 865464320 30984 4294967295 134512640 134569956 3221224336 3221214536 1131483410 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 30984 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 443.62
Current children cumulated vsize (Kb) 845180

[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18586 4 1 0 45255 63 0 0 25 0 11 0 1802497982 865464320 30985 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 30985 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 845180

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18591 4 1 0 46228 63 0 0 25 0 11 0 1802497982 865464320 31082 4294967295 134512640 134569956 3221224336 3221214512 1131567831 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31082 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 462.91
Current children cumulated vsize (Kb) 845180

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18595 4 1 0 47204 63 0 0 25 0 11 0 1802497982 865464320 31082 4294967295 134512640 134569956 3221224336 3221214400 1131717460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 31082 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 472.67
Current children cumulated vsize (Kb) 845180

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18600 4 1 0 48178 64 0 0 24 0 11 0 1802497982 865464320 31253 4294967295 134512640 134569956 3221224336 3221214440 1131434279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31253 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 482.42
Current children cumulated vsize (Kb) 845180

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18604 4 1 0 49160 64 0 0 25 0 11 0 1802497982 865464320 31336 4294967295 134512640 134569956 3221224336 3221214520 1131560817 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31336 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (Kb) 845180

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18609 4 1 0 50141 64 0 0 25 0 11 0 1802497982 865464320 31412 4294967295 134512640 134569956 3221224336 3221214440 1131434331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 31412 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 502.05
Current children cumulated vsize (Kb) 845180

[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18614 4 1 0 51125 64 0 0 17 0 11 0 1802497982 865464320 31498 4294967295 134512640 134569956 3221224336 3221214536 1131483450 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31498 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 511.89
Current children cumulated vsize (Kb) 845180

[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18621 4 1 0 52108 65 0 0 24 0 11 0 1802497982 865464320 31499 4294967295 134512640 134569956 3221224336 3221214520 1131434339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31499 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 521.73
Current children cumulated vsize (Kb) 845180

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18629 4 1 0 53079 65 0 0 25 0 11 0 1802497982 865464320 31499 4294967295 134512640 134569956 3221224336 3221214536 1131483523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 31499 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 531.44
Current children cumulated vsize (Kb) 845180

[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18638 4 1 0 54048 65 0 0 18 0 11 0 1802497982 865464320 31499 4294967295 134512640 134569956 3221224336 3221214536 1131483454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 31499 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 541.13
Current children cumulated vsize (Kb) 845180

[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18646 4 1 0 55021 66 0 0 25 0 11 0 1802497982 865464320 31732 4294967295 134512640 134569956 3221224336 3221214536 1131483940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 31732 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 550.87
Current children cumulated vsize (Kb) 845180

[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18655 4 1 0 55999 67 0 0 24 0 11 0 1802497982 865464320 32037 4294967295 134512640 134569956 3221224336 3221214536 1131483421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32037 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 560.66
Current children cumulated vsize (Kb) 845180

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18663 4 1 0 56985 67 0 0 25 0 11 0 1802497982 865464320 32037 4294967295 134512640 134569956 3221224336 3221214536 1131483382 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32037 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 570.52
Current children cumulated vsize (Kb) 845180

[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18671 4 1 0 57956 68 0 0 20 0 11 0 1802497982 865464320 32038 4294967295 134512640 134569956 3221224336 3221214536 1131483583 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32038 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 580.24
Current children cumulated vsize (Kb) 845180

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18679 4 1 0 58925 68 0 0 25 0 11 0 1802497982 865464320 32039 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32039 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 589.93
Current children cumulated vsize (Kb) 845180

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18688 4 1 0 59893 69 0 0 25 0 11 0 1802497982 865464320 32128 4294967295 134512640 134569956 3221224336 3221214536 1131483416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32128 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 599.62
Current children cumulated vsize (Kb) 845180

[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18696 4 1 0 60869 69 0 0 25 0 11 0 1802497982 865464320 32312 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32312 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 609.38
Current children cumulated vsize (Kb) 845180

[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18705 4 1 0 61860 70 0 0 25 0 11 0 1802497982 865464320 32419 4294967295 134512640 134569956 3221224336 3221214632 1131497996 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32419 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 619.3
Current children cumulated vsize (Kb) 845180

[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18714 4 1 0 62851 70 0 0 25 0 11 0 1802497982 865464320 32420 4294967295 134512640 134569956 3221224336 3221214632 1131498381 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32420 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 629.21
Current children cumulated vsize (Kb) 845180

[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18719 4 1 0 63830 70 0 0 25 0 11 0 1802497982 865464320 32420 4294967295 134512640 134569956 3221224336 3221214440 1131434283 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32420 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 639
Current children cumulated vsize (Kb) 845180

[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18726 4 1 0 64795 71 0 0 25 0 11 0 1802497982 865464320 32420 4294967295 134512640 134569956 3221224336 3221214536 1131483410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32420 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 648.66
Current children cumulated vsize (Kb) 845180

[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18735 4 1 0 65750 71 0 0 25 0 11 0 1802497982 865464320 32421 4294967295 134512640 134569956 3221224336 3221214536 1131483421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32421 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 658.21
Current children cumulated vsize (Kb) 845180

[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18743 4 1 0 66712 72 0 0 25 0 11 0 1802497982 865464320 32423 4294967295 134512640 134569956 3221224336 3221214632 1131495950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32423 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 667.84
Current children cumulated vsize (Kb) 845180

[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18751 4 1 0 67686 72 0 0 25 0 11 0 1802497982 865464320 32780 4294967295 134512640 134569956 3221224336 3221214632 1131495881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32780 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 677.58
Current children cumulated vsize (Kb) 845180

[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18759 4 1 0 68673 73 0 0 25 0 11 0 1802497982 865464320 32915 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32915 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 687.46
Current children cumulated vsize (Kb) 845180

[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18768 4 1 0 69658 73 0 0 25 0 11 0 1802497982 865464320 32916 4294967295 134512640 134569956 3221224336 3221214536 1131483372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32916 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 697.31
Current children cumulated vsize (Kb) 845180

[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18777 4 1 0 70641 74 0 0 25 0 11 0 1802497982 865464320 32916 4294967295 134512640 134569956 3221224336 3221214536 1131483622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 32916 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 707.15
Current children cumulated vsize (Kb) 845180

[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18785 4 1 0 71627 74 0 0 25 0 11 0 1802497982 865464320 32917 4294967295 134512640 134569956 3221224336 3221214536 1131482913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 32917 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 717.01
Current children cumulated vsize (Kb) 845180

[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18792 4 1 0 72614 75 0 0 25 0 11 0 1802497982 865464320 33018 4294967295 134512640 134569956 3221224336 3221214440 1131434287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 33018 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 726.89
Current children cumulated vsize (Kb) 845180

[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18799 4 1 0 73594 75 0 0 17 0 11 0 1802497982 865464320 33018 4294967295 134512640 134569956 3221224336 3221214536 1131483530 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 33018 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 736.69
Current children cumulated vsize (Kb) 845180

[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18807 4 1 0 74572 75 0 0 21 0 11 0 1802497982 865464320 33019 4294967295 134512640 134569956 3221224336 3221214536 1131483568 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 33019 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 746.47
Current children cumulated vsize (Kb) 845180

[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18815 4 1 0 75551 76 0 0 25 0 11 0 1802497982 865464320 33019 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 33019 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 756.27
Current children cumulated vsize (Kb) 845180

[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18824 4 1 0 76529 77 0 0 25 0 11 0 1802497982 865464320 33124 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 33124 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 766.06
Current children cumulated vsize (Kb) 845180

[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18831 4 1 0 77517 78 0 0 25 0 11 0 1802497982 865464320 33251 4294967295 134512640 134569956 3221224336 3221214608 1131560285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 33251 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 775.95
Current children cumulated vsize (Kb) 845180

[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18839 4 1 0 78496 78 0 0 25 0 11 0 1802497982 865464320 34020 4294967295 134512640 134569956 3221224336 3221214536 1131483421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34020 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 785.74
Current children cumulated vsize (Kb) 845180

[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18848 4 1 0 79487 79 0 0 25 0 11 0 1802497982 865464320 34020 4294967295 134512640 134569956 3221224336 3221214536 1131483421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34020 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 795.66
Current children cumulated vsize (Kb) 845180

[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18857 4 1 0 80477 80 0 0 16 0 11 0 1802497982 865464320 34020 4294967295 134512640 134569956 3221224336 3221214536 1131483416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34020 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 805.57
Current children cumulated vsize (Kb) 845180

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18865 4 1 0 81469 80 0 0 25 0 11 0 1802497982 865464320 34086 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34086 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 815.49
Current children cumulated vsize (Kb) 845180

[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18874 4 1 0 82463 80 0 0 17 0 11 0 1802497982 865464320 34088 4294967295 134512640 134569956 3221224336 3221214536 1131483461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34088 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 825.43
Current children cumulated vsize (Kb) 845180

[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18882 4 1 0 83448 81 0 0 25 0 11 0 1802497982 865464320 34089 4294967295 134512640 134569956 3221224336 3221214536 1131483568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34089 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 835.29
Current children cumulated vsize (Kb) 845180

[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18891 4 1 0 84433 81 0 0 25 0 11 0 1802497982 865464320 34089 4294967295 134512640 134569956 3221224336 3221214536 1131482958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34089 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 845.14
Current children cumulated vsize (Kb) 845180

[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18898 4 1 0 85420 82 0 0 25 0 11 0 1802497982 865464320 34089 4294967295 134512640 134569956 3221224336 3221214648 1131567856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34089 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 855.02
Current children cumulated vsize (Kb) 845180

[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18906 4 1 0 86398 82 0 0 25 0 11 0 1802497982 865464320 34195 4294967295 134512640 134569956 3221224336 3221214536 1131483444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34195 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 864.8
Current children cumulated vsize (Kb) 845180

[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18915 4 1 0 87381 82 0 0 18 0 11 0 1802497982 865464320 34195 4294967295 134512640 134569956 3221224336 3221214536 1131483410 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34195 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 874.63
Current children cumulated vsize (Kb) 845180

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18923 4 1 0 88366 83 0 0 25 0 11 0 1802497982 865464320 34196 4294967295 134512640 134569956 3221224336 3221214536 1131483435 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34196 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (Kb) 845180

[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18931 4 1 0 89350 83 0 0 25 0 11 0 1802497982 865464320 34316 4294967295 134512640 134569956 3221224336 3221214536 1131483435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34316 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 894.33
Current children cumulated vsize (Kb) 845180

[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18940 4 1 0 90345 83 0 0 21 0 11 0 1802497982 865464320 34316 4294967295 134512640 134569956 3221224336 3221214536 1131483599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34316 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 904.28
Current children cumulated vsize (Kb) 845180

[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18949 4 1 0 91340 84 0 0 17 0 11 0 1802497982 865464320 34319 4294967295 134512640 134569956 3221224336 3221214536 1131483308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34319 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 914.24
Current children cumulated vsize (Kb) 845180

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18957 4 1 0 92327 84 0 0 16 0 11 0 1802497982 865464320 34319 4294967295 134512640 134569956 3221224336 3221214632 1131497064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34319 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (Kb) 845180

[startup+970.073 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18965 4 1 0 93310 85 0 0 25 0 11 0 1802497982 865464320 34320 4294967295 134512640 134569956 3221224336 3221214536 1131483556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34320 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 933.95
Current children cumulated vsize (Kb) 845180

[startup+980.074 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18973 4 1 0 94292 85 0 0 25 0 11 0 1802497982 865464320 34321 4294967295 134512640 134569956 3221224336 3221214536 1131483461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34321 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 943.77
Current children cumulated vsize (Kb) 845180

[startup+990.076 s]
Raw data (loadavg): 1.21 1.05 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18981 4 1 0 95267 85 0 0 25 0 11 0 1802497982 865464320 34321 4294967295 134512640 134569956 3221224336 3221214536 1131483510 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34321 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 953.52
Current children cumulated vsize (Kb) 845180

[startup+1000.08 s]
Raw data (loadavg): 1.18 1.05 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18989 4 1 0 96246 86 0 0 25 0 11 0 1802497982 865464320 34508 4294967295 134512640 134569956 3221224336 3221214536 1131483310 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34508 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 963.32
Current children cumulated vsize (Kb) 845180

[startup+1010.08 s]
Raw data (loadavg): 1.15 1.04 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 18997 4 1 0 97228 86 0 0 25 0 11 0 1802497982 865464320 34508 4294967295 134512640 134569956 3221224336 3221214536 1131483589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34508 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 973.14
Current children cumulated vsize (Kb) 845180

[startup+1020.08 s]
Raw data (loadavg): 1.13 1.04 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19006 4 1 0 98208 86 0 0 25 0 11 0 1802497982 865464320 34510 4294967295 134512640 134569956 3221224336 3221214628 1131482892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34510 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 982.94
Current children cumulated vsize (Kb) 845180

[startup+1030.08 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19014 4 1 0 99200 87 0 0 25 0 11 0 1802497982 865464320 34704 4294967295 134512640 134569956 3221224336 3221214632 1131495625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34704 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 992.87
Current children cumulated vsize (Kb) 845180

[startup+1040.08 s]
Raw data (loadavg): 1.09 1.04 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19022 4 1 0 100195 87 0 0 25 0 11 0 1802497982 865464320 34704 4294967295 134512640 134569956 3221224336 3221214520 1131433967 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34704 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1002.82
Current children cumulated vsize (Kb) 845180

[startup+1050.08 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) S 13378 13379 31915 0 -1 0 19031 4 1 0 101177 87 0 0 25 0 11 0 1802497982 865464320 34704 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34704 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1012.64
Current children cumulated vsize (Kb) 845180

[startup+1060.08 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19039 4 1 0 102159 88 0 0 20 0 11 0 1802497982 865464320 34704 4294967295 134512640 134569956 3221224336 3221214536 1131483346 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 34704 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1022.47
Current children cumulated vsize (Kb) 845180

[startup+1070.08 s]
Raw data (loadavg): 1.05 1.03 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19046 4 1 0 103135 88 0 0 25 0 11 0 1802497982 865464320 34704 4294967295 134512640 134569956 3221224336 3221214632 1131497126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34704 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1032.23
Current children cumulated vsize (Kb) 845180

[startup+1080.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19055 4 1 0 104106 88 0 0 17 0 11 0 1802497982 865464320 34892 4294967295 134512640 134569956 3221224336 3221214536 1131482913 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34892 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1041.94
Current children cumulated vsize (Kb) 845180

[startup+1090.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19062 4 1 0 105082 89 0 0 24 0 11 0 1802497982 865464320 34892 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34892 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1051.71
Current children cumulated vsize (Kb) 845180

[startup+1100.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19070 4 1 0 106055 89 0 0 25 0 11 0 1802497982 865464320 34892 4294967295 134512640 134569956 3221224336 3221214536 1131483444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 34892 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1061.44
Current children cumulated vsize (Kb) 845180

[startup+1110.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19078 4 1 0 107035 89 0 0 20 0 11 0 1802497982 865464320 35142 4294967295 134512640 134569956 3221224336 3221214536 1131483310 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35142 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1071.24
Current children cumulated vsize (Kb) 845180

[startup+1120.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19086 4 1 0 108017 90 0 0 25 0 11 0 1802497982 865464320 35142 4294967295 134512640 134569956 3221224336 3221214536 1131483587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35142 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1081.07
Current children cumulated vsize (Kb) 845180

[startup+1130.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19095 4 1 0 109004 90 0 0 25 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483538 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1090.94
Current children cumulated vsize (Kb) 845180

[startup+1140.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19103 4 1 0 109999 91 0 0 22 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1100.9
Current children cumulated vsize (Kb) 845180

[startup+1150.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19111 4 1 0 110992 91 0 0 22 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1110.83
Current children cumulated vsize (Kb) 845180

[startup+1160.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19119 4 1 0 111977 91 0 0 25 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1120.68
Current children cumulated vsize (Kb) 845180

[startup+1170.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19128 4 1 0 112961 92 0 0 25 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1130.53
Current children cumulated vsize (Kb) 845180

[startup+1180.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19136 4 1 0 113947 92 0 0 25 0 11 0 1802497982 865464320 35331 4294967295 134512640 134569956 3221224336 3221214536 1131483479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35331 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1140.39
Current children cumulated vsize (Kb) 845180

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19144 4 1 0 114933 93 0 0 19 0 11 0 1802497982 865464320 35439 4294967295 134512640 134569956 3221224336 3221214536 1131483583 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 35439 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1150.26
Current children cumulated vsize (Kb) 845180

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19152 4 1 0 115919 93 0 0 25 0 11 0 1802497982 865464320 35440 4294967295 134512640 134569956 3221224336 3221214536 1131483490 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35440 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1160.12
Current children cumulated vsize (Kb) 845180

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19160 4 1 0 116905 93 0 0 25 0 11 0 1802497982 865464320 35440 4294967295 134512640 134569956 3221224336 3221214536 1131483410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35440 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1169.98
Current children cumulated vsize (Kb) 845180

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19168 4 1 0 117880 93 0 0 16 0 11 0 1802497982 865464320 35440 4294967295 134512640 134569956 3221224336 3221214632 1131497109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 35440 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1179.73
Current children cumulated vsize (Kb) 845180

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19176 4 1 0 118855 94 0 0 25 0 11 0 1802497982 865464320 35550 4294967295 134512640 134569956 3221224336 3221214536 1131483456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 35550 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1189.49
Current children cumulated vsize (Kb) 845180

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19184 4 1 0 119834 94 0 0 25 0 11 0 1802497982 865464320 35550 4294967295 134512640 134569956 3221224336 3221214632 1131496926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13379/statm): 211295 35550 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1199.28
Current children cumulated vsize (Kb) 845180

[startup+1250.1 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19192 4 1 0 120813 94 0 0 25 0 11 0 1802497982 865464320 35551 4294967295 134512640 134569956 3221224336 3221214536 1131483556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 35551 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1209.07
Current children cumulated vsize (Kb) 845180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.1 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 13394
Raw data (/proc/13379/stat): 13379 (java) R 13378 13379 31915 0 -1 0 19192 4 1 0 120813 94 0 0 25 0 11 0 1802497982 865464320 35551 4294967295 134512640 134569956 3221224336 3221214536 1131483575 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13379/statm): 211295 35551 13129 16 0 211279 0
[pid=13379] vsize: 845180
Current children cumulated CPU time (s) 1209.07
Current children cumulated vsize (Kb) 845180

Sending SIGTERM to -13379
Sleeping 2 seconds
New thread pid=13396
New thread pid=13397
One traced child (pid=13397) exited with status: 0
One traced child (pid=13388) exited with status: 0
One traced child (pid=13383) exited with status: 0
One traced child (pid=13380) exited with status: 143
One traced child (pid=13381) exited with status: 143
One traced child (pid=13387) exited with status: 143
One traced child (pid=13394) exited with status: 143
One traced child (pid=13384) exited with status: 143
One traced child (pid=13382) exited with status: 143
One traced child (pid=13385) exited with status: 143
One traced child (pid=13396) exited with status: 143
One traced child (pid=13386) exited with status: 143
One traced child (pid=13379) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.46
CPU time (s): 1245.12
CPU user time (s): 1243.41
CPU system time (s): 1.71474
CPU usage (%): 99.5731
Max. virtual memory (cumulated for all children) (Kb): 846216

Verifier Data

Verifier:	OK	-61046531