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-p2756.opb
MD5SUMf2badf1ad4c3213045697b74fa812a03
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4457
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1227.23
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 8799

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        798224 kB
Buffers:         34708 kB
Cached:         174944 kB
SwapCached:        876 kB
Active:         110788 kB
Inactive:       101436 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        797916 kB
SwapTotal:     2097136 kB
SwapFree:      2095644 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            18528 kB
Committed_AS:    72328 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 19:10:13 (client local time) WITH STATUS 143 IN 1227.23 SECONDS
stats: 6833 0 1227.23 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/wulflinc4/normalized-mps-v2-13-7-p2756.opb
c reading problem ... done. Time 3.541 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119780 		Current CPU time: 6.19 ms
c CURRENT OPTIMUM=              103234 		Current CPU time: 6.78 ms
c CURRENT OPTIMUM=               88086 		Current CPU time: 7.27 ms
c CURRENT OPTIMUM=               87465 		Current CPU time: 7.92 ms
c CURRENT OPTIMUM=               26825 		Current CPU time: 765.44 ms
c CURRENT OPTIMUM=                7202 		Current CPU time: 805.26 ms
c CURRENT OPTIMUM=                5010 		Current CPU time: 805.96 ms
c CURRENT OPTIMUM=                4526 		Current CPU time: 806.43 ms
c CURRENT OPTIMUM=                4457 		Current CPU time: 806.92 ms
c starts		: 11
c conflicts		: 180
c decisions		: 45147
c propagations		: 65962
c inspects		: 44942
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 179
c root simplifications	: 27
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 109.61894263501144
c non guided choices	37277
c random choices	0
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x54_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_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 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_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 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_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 -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 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_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 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_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 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x519_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 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_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 -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 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_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 -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 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_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 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x696_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 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_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 -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 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_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 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_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 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 -x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_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 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_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 -x1045_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 -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 -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 -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 -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 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_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 -x1189_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 -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 -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 -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 -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 -x1348_bit0 -x1349_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 -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 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_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 -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 -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 -x1455_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 -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 -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 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_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 -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 -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 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_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 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_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 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_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 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_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 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1845_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 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_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 -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 -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 -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 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_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 -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 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_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 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_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 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2172_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 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2198_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 -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 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2239_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 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2265_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 -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 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 -x2346_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 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_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 -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 -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 -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 -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 -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 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 x2541_bit0 -x2542_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 -x7_bit0 x8_bit0 -x12_bit0 -x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x25_bit0 x26_bit0 -x28_bit0 -x40_bit0 -x41_bit0 -x43_bit0 -x52_bit0 -x53_bit0 -x55_bit0 -x63_bit0 x64_bit0 -x69_bit0 -x71_bit0 -x72_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x108_bit0 -x109_bit0 -x111_bit0 -x118_bit0 x125_bit0 -x130_bit0 -x138_bit0 -x146_bit0 -x147_bit0 -x151_bit0 -x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x164_bit0 x165_bit0 -x167_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x191_bit0 -x192_bit0 -x194_bit0 -x202_bit0 -x203_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x220_bit0 -x221_bit0 -x223_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x257_bit0 -x264_bit0 x269_bit0 -x277_bit0 -x282_bit0 -x287_bit0 -x288_bit0 -x301_bit0 -x302_bit0 -x311_bit0 -x312_bit0 -x324_bit0 -x325_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x346_bit0 -x350_bit0 -x355_bit0 -x364_bit0 -x365_bit0 -x378_bit0 -x379_bit0 -x388_bit0 -x389_bit0 -x401_bit0 -x402_bit0 -x413_bit0 -x414_bit0 -x427_bit0 -x455_bit0 -x462_bit0 -x477_bit0 -x478_bit0 -x487_bit0 -x488_bit0 -x504_bit0 -x505_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x534_bit0 -x547_bit0 -x548_bit0 -x557_bit0 -x558_bit0 -x574_bit0 x575_bit0 -x590_bit0 x591_bit0 -x604_bit0 -x632_bit0 -x649_bit0 -x654_bit0 -x655_bit0 -x664_bit0 -x665_bit0 -x681_bit0 -x682_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x711_bit0 -x724_bit0 -x725_bit0 -x734_bit0 -x735_bit0 -x751_bit0 x752_bit0 -x767_bit0 x768_bit0 -x781_bit0 -x794_bit0 x795_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x819_bit0 x820_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x844_bit0 -x845_bit0 -x852_bit0 -x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 -x881_bit0 -x894_bit0 -x895_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x919_bit0 -x920_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x944_bit0 -x945_bit0 -x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x966_bit0 -x968_bit0 -x969_bit0 -x981_bit0 -x998_bit0 -x999_bit0 -x1006_bit0 -x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x1027_bit0 -x1028_bit0 -x1044_bit0 -x1046_bit0 -x1047_bit0 -x1068_bit0 -x1069_bit0 -x1089_bit0 -x1090_bit0 -x1104_bit0 -x1105_bit0 -x1125_bit0 -x1142_bit0 -x1143_bit0 -x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x1171_bit0 -x1172_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x1212_bit0 -x1213_bit0 -x1233_bit0 -x1234_bit0 -x1248_bit0 x1249_bit0 -x1269_bit0 -x1347_bit0 -x1350_bit0 -x1368_bit0 -x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1400_bit0 -x1403_bit0 x1421_bit0 -x1439_bit0 -x1454_bit0 -x1456_bit0 x1474_bit0 -x1492_bit0 x1510_bit0 -x1523_bit0 -x1541_bit0 -x1559_bit0 -x1577_bit0 -x1590_bit0 x1608_bit0 -x1621_bit0 -x1622_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x1645_bit0 -x1646_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x1706_bit0 -x1707_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x1730_bit0 -x1731_bit0 -x1746_bit0 x1747_bit0 -x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x1774_bit0 -x1778_bit0 -x1791_bit0 -x1792_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x1815_bit0 -x1816_bit0 -x1831_bit0 -x1832_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x1863_bit0 -x1876_bit0 -x1877_bit0 -x1887_bit0 -x1888_bit0 -x1900_bit0 -x1901_bit0 -x1916_bit0 -x1917_bit0 -x1931_bit0 x1932_bit0 -x1948_bit0 -x1964_bit0 -x1965_bit0 -x1978_bit0 -x1979_bit0 -x2002_bit0 -x2026_bit0 -x2036_bit0 -x2037_bit0 -x2039_bit0 -x2044_bit0 -x2052_bit0 -x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2079_bit0 -x2093_bit0 -x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2119_bit0 -x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2146_bit0 -x2160_bit0 -x2171_bit0 -x2173_bit0 -x2186_bit0 -x2197_bit0 -x2199_bit0 -x2213_bit0 -x2227_bit0 -x2238_bit0 -x2240_bit0 -x2253_bit0 -x2264_bit0 -x2266_bit0 -x2280_bit0 -x2294_bit0 -x2304_bit0 -x2305_bit0 -x2307_bit0 -x2312_bit0 -x2320_bit0 -x2331_bit0 -x2333_bit0 -x2338_bit0 -x2344_bit0 -x2347_bit0 -x2361_bit0 -x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2387_bit0 -x2398_bit0 -x2400_bit0 -x2405_bit0 -x2414_bit0 -x2431_bit0 -x2447_bit0 -x2465_bit0 x2482_bit0 x2498_bit0 -x2516_bit0 -x2525_bit0 -x2533_bit0 -x2543_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 
c objective function=4457
c Total CPU time (ms) : 1219.056

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/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802585482 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 39 3 38 16 0 23 0
[pid=19109] 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/19109
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=19110
New thread pid=19111
New thread pid=19112
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=19113
New thread pid=19114
New thread pid=19115
New thread pid=19116
New thread pid=19117
New thread pid=19118
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb
New thread pid=19119
One traced child (pid=19119) exited with status: 0
New thread pid=19120
One traced child (pid=19120) exited with status: 0
New thread pid=19121
One traced child (pid=19121) exited with status: 0
New thread pid=19122
One traced child (pid=19122) exited with status: 0
New thread pid=19123

[startup+10.0024 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18183 4 1 0 723 48 0 0 21 0 11 0 1802585482 859746304 20809 4294967295 134512640 134569956 3221224336 3221214704 1131371080 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 20809 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (Kb) 839596

[startup+20.0033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18192 4 1 0 1657 49 0 0 25 0 11 0 1802585482 859746304 21394 4294967295 134512640 134569956 3221224336 3221214176 1076697462 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 21394 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (Kb) 839596

[startup+30.0041 s]
Raw data (loadavg): 1.08 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18199 4 1 0 2607 49 0 0 25 0 11 0 1802585482 859746304 21313 4294967295 134512640 134569956 3221224336 3221214504 1131455429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 21313 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 26.56
Current children cumulated vsize (Kb) 839596

[startup+40.005 s]
Raw data (loadavg): 1.07 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18205 4 1 0 3553 49 0 0 17 0 11 0 1802585482 859746304 21376 4294967295 134512640 134569956 3221224336 3221214568 1131371097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 21376 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 36.02
Current children cumulated vsize (Kb) 839596

[startup+50.0059 s]
Raw data (loadavg): 1.06 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18210 4 1 0 4502 49 0 0 25 0 11 0 1802585482 859746304 21377 4294967295 134512640 134569956 3221224336 3221214608 1131633440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 21377 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 45.51
Current children cumulated vsize (Kb) 839596

[startup+60.0057 s]
Raw data (loadavg): 1.05 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18215 4 1 0 5452 50 0 0 25 0 11 0 1802585482 859746304 21379 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 21379 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 55.02
Current children cumulated vsize (Kb) 839596

[startup+70.0066 s]
Raw data (loadavg): 1.04 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18221 4 1 0 6393 51 0 0 23 0 11 0 1802585482 859746304 22129 4294967295 134512640 134569956 3221224336 3221214588 1131439972 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22129 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 64.44
Current children cumulated vsize (Kb) 839596

[startup+80.0075 s]
Raw data (loadavg): 1.03 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18227 4 1 0 7380 51 0 0 25 0 11 0 1802585482 859746304 22283 4294967295 134512640 134569956 3221224336 3221214496 1131300190 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22283 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 74.31
Current children cumulated vsize (Kb) 839596

[startup+90.0083 s]
Raw data (loadavg): 1.03 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18233 4 1 0 8371 51 0 0 25 0 11 0 1802585482 859746304 22292 4294967295 134512640 134569956 3221224336 3221214496 1131300159 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22292 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 84.22
Current children cumulated vsize (Kb) 839596

[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18239 4 1 0 9362 51 0 0 24 0 11 0 1802585482 859746304 22302 4294967295 134512640 134569956 3221224336 3221214488 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22302 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 94.13
Current children cumulated vsize (Kb) 839596

[startup+110.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18244 4 1 0 10353 51 0 0 25 0 11 0 1802585482 859746304 22302 4294967295 134512640 134569956 3221224336 3221214592 1131621106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22302 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 104.04
Current children cumulated vsize (Kb) 839596

[startup+120.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18252 4 1 0 11339 52 0 0 24 0 11 0 1802585482 859746304 22322 4294967295 134512640 134569956 3221224336 3221214488 1131455038 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22322 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 113.91
Current children cumulated vsize (Kb) 839596

[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18257 4 1 0 12329 52 0 0 25 0 11 0 1802585482 859746304 22322 4294967295 134512640 134569956 3221224336 3221214504 1131455384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22322 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 123.81
Current children cumulated vsize (Kb) 839596

[startup+140.014 s]
Raw data (loadavg): 1.09 1.02 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18263 4 1 0 13316 53 0 0 17 0 11 0 1802585482 859746304 22322 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22322 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 133.69
Current children cumulated vsize (Kb) 839596

[startup+150.014 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18268 4 1 0 14306 53 0 0 25 0 11 0 1802585482 859746304 22370 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22370 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 143.59
Current children cumulated vsize (Kb) 839596

[startup+160.014 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18274 4 1 0 15297 53 0 0 25 0 11 0 1802585482 859746304 22388 4294967295 134512640 134569956 3221224336 3221214608 1131616361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22388 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 153.5
Current children cumulated vsize (Kb) 839596

[startup+170.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18279 4 1 0 16289 54 0 0 25 0 11 0 1802585482 859746304 22388 4294967295 134512640 134569956 3221224336 3221214496 1131300275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22388 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 163.43
Current children cumulated vsize (Kb) 839596

[startup+180.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18285 4 1 0 17281 55 0 0 25 0 11 0 1802585482 859746304 22446 4294967295 134512640 134569956 3221224336 3221214608 1131633048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22446 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 173.36
Current children cumulated vsize (Kb) 839596

[startup+190.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18290 4 1 0 18276 55 0 0 25 0 11 0 1802585482 859746304 22446 4294967295 134512640 134569956 3221224336 3221214592 1131621106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22446 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 183.31
Current children cumulated vsize (Kb) 839596

[startup+200.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18296 4 1 0 19269 55 0 0 25 0 11 0 1802585482 859746304 22465 4294967295 134512640 134569956 3221224336 3221214608 1131633530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22465 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 193.24
Current children cumulated vsize (Kb) 839596

[startup+210.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18301 4 1 0 20261 56 0 0 25 0 11 0 1802585482 859746304 22475 4294967295 134512640 134569956 3221224336 3221214608 1131633464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22475 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 203.17
Current children cumulated vsize (Kb) 839596

[startup+220.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18306 4 1 0 21252 56 0 0 25 0 11 0 1802585482 859746304 22475 4294967295 134512640 134569956 3221224336 3221214604 1131300128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22475 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 213.08
Current children cumulated vsize (Kb) 839596

[startup+230.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18312 4 1 0 22235 56 0 0 25 0 11 0 1802585482 859746304 22475 4294967295 134512640 134569956 3221224336 3221214608 1131616399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22475 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 222.91
Current children cumulated vsize (Kb) 839596

[startup+240.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18318 4 1 0 23216 57 0 0 25 0 11 0 1802585482 859746304 22492 4294967295 134512640 134569956 3221224336 3221214504 1131455352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22492 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 232.73
Current children cumulated vsize (Kb) 839596

[startup+250.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18324 4 1 0 24198 57 0 0 25 0 11 0 1802585482 859746304 22503 4294967295 134512640 134569956 3221224336 3221214564 1131057152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22503 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 242.55
Current children cumulated vsize (Kb) 839596

[startup+260.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18329 4 1 0 25184 57 0 0 25 0 11 0 1802585482 859746304 22554 4294967295 134512640 134569956 3221224336 3221214496 1131300894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22554 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 252.41
Current children cumulated vsize (Kb) 839596

[startup+270.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18335 4 1 0 26169 57 0 0 25 0 11 0 1802585482 859746304 22607 4294967295 134512640 134569956 3221224336 3221214604 1131509097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22607 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 262.26
Current children cumulated vsize (Kb) 839596

[startup+280.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18341 4 1 0 27157 57 0 0 25 0 11 0 1802585482 859746304 22670 4294967295 134512640 134569956 3221224336 3221214608 1131633464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22670 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 272.14
Current children cumulated vsize (Kb) 839596

[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18346 4 1 0 28149 58 0 0 25 0 11 0 1802585482 859746304 22670 4294967295 134512640 134569956 3221224336 3221214608 1131633008 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22670 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (Kb) 839596

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18352 4 1 0 29140 58 0 0 25 0 11 0 1802585482 859746304 22670 4294967295 134512640 134569956 3221224336 3221214504 1131455276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22670 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 291.98
Current children cumulated vsize (Kb) 839596

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18358 4 1 0 30130 58 0 0 25 0 11 0 1802585482 859746304 22670 4294967295 134512640 134569956 3221224336 3221214504 1131455038 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22670 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 301.88
Current children cumulated vsize (Kb) 839596

[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18363 4 1 0 31121 58 0 0 25 0 11 0 1802585482 859746304 22720 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22720 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 311.79
Current children cumulated vsize (Kb) 839596

[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18368 4 1 0 32115 58 0 0 25 0 11 0 1802585482 859746304 22720 4294967295 134512640 134569956 3221224336 3221214504 1131455106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22720 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 321.73
Current children cumulated vsize (Kb) 839596

[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18374 4 1 0 33107 59 0 0 25 0 11 0 1802585482 859746304 22740 4294967295 134512640 134569956 3221224336 3221214488 1131455146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22740 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 331.66
Current children cumulated vsize (Kb) 839596

[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18380 4 1 0 34100 59 0 0 25 0 11 0 1802585482 859746304 22749 4294967295 134512640 134569956 3221224336 3221214592 1131621032 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22749 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 341.59
Current children cumulated vsize (Kb) 839596

[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18386 4 1 0 35090 59 0 0 24 0 11 0 1802585482 859746304 22763 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22763 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 351.49
Current children cumulated vsize (Kb) 839596

[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18392 4 1 0 36080 59 0 0 25 0 11 0 1802585482 859746304 22763 4294967295 134512640 134569956 3221224336 3221214488 1131455472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22763 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 361.39
Current children cumulated vsize (Kb) 839596

[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18398 4 1 0 37071 60 0 0 17 0 11 0 1802585482 859746304 22774 4294967295 134512640 134569956 3221224336 3221214600 1131371097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22774 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 371.31
Current children cumulated vsize (Kb) 839596

[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18403 4 1 0 38061 60 0 0 25 0 11 0 1802585482 859746304 22784 4294967295 134512640 134569956 3221224336 3221214592 1131621106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22784 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 381.21
Current children cumulated vsize (Kb) 839596

[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) S 19108 19109 6847 0 -1 0 18409 4 1 0 39048 60 0 0 25 0 11 0 1802585482 859746304 22802 4294967295 134512640 134569956 3221224336 3221213208 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22802 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 391.08
Current children cumulated vsize (Kb) 839596

[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18415 4 1 0 40039 61 0 0 20 0 11 0 1802585482 859746304 22810 4294967295 134512640 134569956 3221224336 3221214568 1131371097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22810 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 401
Current children cumulated vsize (Kb) 839596

[startup+420.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18421 4 1 0 41031 61 0 0 25 0 11 0 1802585482 859746304 22811 4294967295 134512640 134569956 3221224336 3221213376 1073952732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22811 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 410.92
Current children cumulated vsize (Kb) 839596

[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18426 4 1 0 42021 61 0 0 18 0 11 0 1802585482 859746304 22811 4294967295 134512640 134569956 3221224336 3221214608 1131633013 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22811 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 420.82
Current children cumulated vsize (Kb) 839596

[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18431 4 1 0 43011 62 0 0 25 0 11 0 1802585482 859746304 22858 4294967295 134512640 134569956 3221224336 3221214592 1131621106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22858 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 430.73
Current children cumulated vsize (Kb) 839596

[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18437 4 1 0 44002 62 0 0 17 0 11 0 1802585482 859746304 22858 4294967295 134512640 134569956 3221224336 3221214496 1131300215 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22858 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 440.64
Current children cumulated vsize (Kb) 839596

[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18442 4 1 0 44995 63 0 0 25 0 11 0 1802585482 859746304 22901 4294967295 134512640 134569956 3221224336 3221214592 1131621106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22901 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 450.58
Current children cumulated vsize (Kb) 839596

[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18447 4 1 0 45990 63 0 0 25 0 11 0 1802585482 859746304 22901 4294967295 134512640 134569956 3221224336 3221214608 1131632997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22901 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 460.53
Current children cumulated vsize (Kb) 839596

[startup+480.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18453 4 1 0 46980 64 0 0 19 0 11 0 1802585482 859746304 22912 4294967295 134512640 134569956 3221224336 3221214608 1131616372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22912 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 470.44
Current children cumulated vsize (Kb) 839596

[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18459 4 1 0 47971 64 0 0 19 0 11 0 1802585482 859746304 22921 4294967295 134512640 134569956 3221224336 3221214472 1131659844 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22921 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 480.35
Current children cumulated vsize (Kb) 839596

[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18464 4 1 0 48962 65 0 0 25 0 11 0 1802585482 859746304 22930 4294967295 134512640 134569956 3221224336 3221214592 1131621061 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22930 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 490.27
Current children cumulated vsize (Kb) 839596

[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18470 4 1 0 49952 66 0 0 25 0 11 0 1802585482 859746304 22945 4294967295 134512640 134569956 3221224336 3221214608 1131616326 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22945 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 839596

[startup+520.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18476 4 1 0 50943 66 0 0 18 0 11 0 1802585482 859746304 22945 4294967295 134512640 134569956 3221224336 3221214488 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22945 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 510.09
Current children cumulated vsize (Kb) 839596

[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18481 4 1 0 51933 67 0 0 23 0 11 0 1802585482 859746304 22954 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22954 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 839596

[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18486 4 1 0 52924 67 0 0 25 0 11 0 1802585482 859746304 22964 4294967295 134512640 134569956 3221224336 3221214600 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 22964 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 529.91
Current children cumulated vsize (Kb) 839596

[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18492 4 1 0 53912 68 0 0 21 0 11 0 1802585482 859746304 22964 4294967295 134512640 134569956 3221224336 3221214608 1131633436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 22964 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 539.8
Current children cumulated vsize (Kb) 839596

[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18497 4 1 0 54902 68 0 0 25 0 11 0 1802585482 859746304 23007 4294967295 134512640 134569956 3221224336 3221214608 1131633006 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23007 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 549.7
Current children cumulated vsize (Kb) 839596

[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18503 4 1 0 55889 69 0 0 23 0 11 0 1802585482 859746304 23016 4294967295 134512640 134569956 3221224336 3221214608 1131616208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23016 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 559.58
Current children cumulated vsize (Kb) 839596

[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18509 4 1 0 56877 69 0 0 18 0 11 0 1802585482 859746304 23074 4294967295 134512640 134569956 3221224336 3221214608 1131616361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23074 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 569.46
Current children cumulated vsize (Kb) 839596

[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18514 4 1 0 57869 69 0 0 25 0 11 0 1802585482 859746304 23074 4294967295 134512640 134569956 3221224336 3221214608 1131633477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23074 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 579.38
Current children cumulated vsize (Kb) 839596

[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18520 4 1 0 58859 69 0 0 25 0 11 0 1802585482 859746304 23084 4294967295 134512640 134569956 3221224336 3221214608 1131633564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23084 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 589.28
Current children cumulated vsize (Kb) 839596

[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19123
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18525 4 1 0 59850 70 0 0 25 0 11 0 1802585482 859746304 23091 4294967295 134512640 134569956 3221224336 3221214488 1131455172 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23091 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 599.2
Current children cumulated vsize (Kb) 839596

[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18531 4 1 0 60835 72 0 0 25 0 11 0 1802585482 859746304 23101 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23101 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 609.07
Current children cumulated vsize (Kb) 839596

[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18536 4 1 0 61825 72 0 0 25 0 11 0 1802585482 859746304 23101 4294967295 134512640 134569956 3221224336 3221214608 1131633118 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23101 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 618.97
Current children cumulated vsize (Kb) 839596

[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18542 4 1 0 62816 73 0 0 25 0 11 0 1802585482 859746304 23144 4294967295 134512640 134569956 3221224336 3221214592 1131509049 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23144 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 628.89
Current children cumulated vsize (Kb) 839596

[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18547 4 1 0 63808 73 0 0 25 0 11 0 1802585482 859746304 23154 4294967295 134512640 134569956 3221224336 3221214504 1131455007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23154 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 638.81
Current children cumulated vsize (Kb) 839596

[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18553 4 1 0 64792 73 0 0 25 0 11 0 1802585482 859746304 23174 4294967295 134512640 134569956 3221224336 3221214488 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23174 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 648.65
Current children cumulated vsize (Kb) 839596

[startup+670.061 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 19178
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18559 4 1 0 65776 74 0 0 25 0 11 0 1802585482 859746304 23184 4294967295 134512640 134569956 3221224336 3221214592 1131620774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23184 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 658.5
Current children cumulated vsize (Kb) 839596

[startup+680.062 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 19180
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18565 4 1 0 66757 74 0 0 25 0 11 0 1802585482 859746304 23193 4294967295 134512640 134569956 3221224336 3221214568 1131371120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23193 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 668.31
Current children cumulated vsize (Kb) 839596

[startup+690.064 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18571 4 1 0 67738 74 0 0 24 0 11 0 1802585482 859746304 23218 4294967295 134512640 134569956 3221224336 3221214592 1131620904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23218 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 678.12
Current children cumulated vsize (Kb) 839596

[startup+700.065 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18576 4 1 0 68722 75 0 0 25 0 11 0 1802585482 859746304 23218 4294967295 134512640 134569956 3221224336 3221214608 1131633530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23218 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 687.97
Current children cumulated vsize (Kb) 839596

[startup+710.064 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18582 4 1 0 69703 75 0 0 25 0 11 0 1802585482 859746304 23317 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23317 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 697.78
Current children cumulated vsize (Kb) 839596

[startup+720.066 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18587 4 1 0 70688 76 0 0 25 0 11 0 1802585482 859746304 23317 4294967295 134512640 134569956 3221224336 3221214496 1131300297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23317 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 707.64
Current children cumulated vsize (Kb) 839596

[startup+730.066 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18593 4 1 0 71670 76 0 0 25 0 11 0 1802585482 859746304 23361 4294967295 134512640 134569956 3221224336 3221214496 1131300159 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23361 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 717.46
Current children cumulated vsize (Kb) 839596

[startup+740.067 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18598 4 1 0 72656 77 0 0 25 0 11 0 1802585482 859746304 23361 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23361 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 727.33
Current children cumulated vsize (Kb) 839596

[startup+750.068 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18604 4 1 0 73633 77 0 0 25 0 11 0 1802585482 859746304 23361 4294967295 134512640 134569956 3221224336 3221214608 1131616231 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23361 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 737.1
Current children cumulated vsize (Kb) 839596

[startup+760.069 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 19182
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18610 4 1 0 74608 78 0 0 25 0 11 0 1802585482 859746304 23507 4294967295 134512640 134569956 3221224336 3221214504 1131455045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23507 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 746.86
Current children cumulated vsize (Kb) 839596
One traced child (pid=19123) exited with status: 0
New thread pid=19183

[startup+770.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 19183
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18616 4 1 0 75590 78 0 0 20 0 11 0 1802585482 859746304 23515 4294967295 134512640 134569956 3221224336 3221214592 1131509077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23515 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 756.68
Current children cumulated vsize (Kb) 839596

[startup+780.071 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 19183
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18623 4 1 0 76567 78 0 0 25 0 11 0 1802585482 859746304 23515 4294967295 134512640 134569956 3221224336 3221214568 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23515 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 766.45
Current children cumulated vsize (Kb) 839596

[startup+790.072 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 19183
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18630 4 1 0 77542 78 0 0 25 0 11 0 1802585482 859746304 23531 4294967295 134512640 134569956 3221224336 3221214608 1131616391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23531 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 776.2
Current children cumulated vsize (Kb) 839596

[startup+800.072 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 19183
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18637 4 1 0 78519 79 0 0 25 0 11 0 1802585482 859746304 23640 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23640 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 785.98
Current children cumulated vsize (Kb) 839596
One traced child (pid=19183) exited with status: 0
New thread pid=19184
One traced child (pid=19184) exited with status: 0
New thread pid=19185
One traced child (pid=19185) exited with status: 0
New thread pid=19186
One traced child (pid=19186) exited with status: 0
New thread pid=19187

[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18645 4 1 0 79494 79 0 0 25 0 11 0 1802585482 859746304 23641 4294967295 134512640 134569956 3221224336 3221214592 1131620904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23641 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 795.73
Current children cumulated vsize (Kb) 839596

[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) S 19108 19109 6847 0 -1 0 18651 4 1 0 80467 80 0 0 17 0 11 0 1802585482 859746304 23728 4294967295 134512640 134569956 3221224336 3221213208 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23728 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 805.47
Current children cumulated vsize (Kb) 839596

[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18658 4 1 0 81444 80 0 0 25 0 11 0 1802585482 859746304 23767 4294967295 134512640 134569956 3221224336 3221214504 1131455089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 23767 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 815.24
Current children cumulated vsize (Kb) 839596

[startup+840.079 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18664 4 1 0 82424 80 0 0 25 0 11 0 1802585482 859746304 23770 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23770 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 825.04
Current children cumulated vsize (Kb) 839596

[startup+850.08 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18670 4 1 0 83405 81 0 0 25 0 11 0 1802585482 859746304 23809 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 23809 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 834.86
Current children cumulated vsize (Kb) 839596

[startup+860.079 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18678 4 1 0 84380 81 0 0 25 0 11 0 1802585482 859746304 24003 4294967295 134512640 134569956 3221224336 3221214608 1131616238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24003 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 844.61
Current children cumulated vsize (Kb) 839596

[startup+870.08 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18684 4 1 0 85367 81 0 0 25 0 11 0 1802585482 859746304 24003 4294967295 134512640 134569956 3221224336 3221214592 1131620691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24003 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 854.48
Current children cumulated vsize (Kb) 839596

[startup+880.081 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18690 4 1 0 86355 81 0 0 25 0 11 0 1802585482 859746304 24003 4294967295 134512640 134569956 3221224336 3221214496 1131300202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24003 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 864.36
Current children cumulated vsize (Kb) 839596

[startup+890.082 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18696 4 1 0 87342 82 0 0 25 0 11 0 1802585482 859746304 24003 4294967295 134512640 134569956 3221224336 3221214592 1131621054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24003 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 874.24
Current children cumulated vsize (Kb) 839596

[startup+900.083 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18702 4 1 0 88330 82 0 0 24 0 11 0 1802585482 859746304 24003 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24003 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 884.12
Current children cumulated vsize (Kb) 839596

[startup+910.083 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 19187
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18708 4 1 0 89322 82 0 0 25 0 11 0 1802585482 859746304 24094 4294967295 134512640 134569956 3221224336 3221214504 1131455007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24094 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 894.04
Current children cumulated vsize (Kb) 839596

[startup+920.083 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18714 4 1 0 90318 82 0 0 25 0 11 0 1802585482 859746304 24115 4294967295 134512640 134569956 3221224336 3221214496 1131300873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24115 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 904
Current children cumulated vsize (Kb) 839596

[startup+930.084 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18720 4 1 0 91314 82 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214592 1131620780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 913.96
Current children cumulated vsize (Kb) 839596

[startup+940.085 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18726 4 1 0 92311 83 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214504 1131455315 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 923.94
Current children cumulated vsize (Kb) 839596

[startup+950.085 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18732 4 1 0 93308 83 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214608 1131633464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 933.91
Current children cumulated vsize (Kb) 839596

[startup+960.086 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18738 4 1 0 94304 83 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214608 1131633048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 943.87
Current children cumulated vsize (Kb) 839596

[startup+970.087 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18744 4 1 0 95300 84 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214496 1131300269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 953.84
Current children cumulated vsize (Kb) 839596

[startup+980.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18750 4 1 0 96297 84 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214592 1131620901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 963.81
Current children cumulated vsize (Kb) 839596

[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18756 4 1 0 97293 85 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214608 1131616255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 973.78
Current children cumulated vsize (Kb) 839596

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18762 4 1 0 98290 85 0 0 25 0 11 0 1802585482 859746304 24116 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24116 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 983.75
Current children cumulated vsize (Kb) 839596

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18767 4 1 0 99287 85 0 0 25 0 11 0 1802585482 859746304 24117 4294967295 134512640 134569956 3221224336 3221214592 1131620745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24117 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 993.72
Current children cumulated vsize (Kb) 839596

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18773 4 1 0 100284 85 0 0 25 0 11 0 1802585482 859746304 24117 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24117 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1003.69
Current children cumulated vsize (Kb) 839596

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18779 4 1 0 101281 85 0 0 25 0 11 0 1802585482 859746304 24117 4294967295 134512640 134569956 3221224336 3221214496 1131300141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24117 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1013.66
Current children cumulated vsize (Kb) 839596

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18785 4 1 0 102277 86 0 0 25 0 11 0 1802585482 859746304 24117 4294967295 134512640 134569956 3221224336 3221214568 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24117 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1023.63
Current children cumulated vsize (Kb) 839596

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18791 4 1 0 103274 86 0 0 25 0 11 0 1802585482 859746304 24117 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24117 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1033.6
Current children cumulated vsize (Kb) 839596

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18797 4 1 0 104270 86 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214568 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1043.56
Current children cumulated vsize (Kb) 839596

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18803 4 1 0 105268 86 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214512 1131399214 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1053.54
Current children cumulated vsize (Kb) 839596

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18809 4 1 0 106264 87 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214592 1131620698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1063.51
Current children cumulated vsize (Kb) 839596

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18815 4 1 0 107258 87 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214504 1131455517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1073.45
Current children cumulated vsize (Kb) 839596

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18821 4 1 0 108253 87 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214608 1131633369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1083.4
Current children cumulated vsize (Kb) 839596

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18827 4 1 0 109248 88 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214504 1131455187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1093.36
Current children cumulated vsize (Kb) 839596

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18833 4 1 0 110242 89 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214608 1131616372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1103.31
Current children cumulated vsize (Kb) 839596

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18838 4 1 0 111237 89 0 0 25 0 11 0 1802585482 859746304 24128 4294967295 134512640 134569956 3221224336 3221214504 1131455148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24128 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1113.26
Current children cumulated vsize (Kb) 839596

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18844 4 1 0 112234 90 0 0 25 0 11 0 1802585482 859746304 24167 4294967295 134512640 134569956 3221224336 3221214592 1131621268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24167 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1123.24
Current children cumulated vsize (Kb) 839596

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18850 4 1 0 113231 90 0 0 23 0 11 0 1802585482 859746304 24167 4294967295 134512640 134569956 3221224336 3221214608 1131633362 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24167 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1133.21
Current children cumulated vsize (Kb) 839596

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18856 4 1 0 114228 90 0 0 22 0 11 0 1802585482 859746304 24167 4294967295 134512640 134569956 3221224336 3221214504 1131455000 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24167 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1143.18
Current children cumulated vsize (Kb) 839596

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18862 4 1 0 115224 91 0 0 25 0 11 0 1802585482 859746304 24167 4294967295 134512640 134569956 3221224336 3221214496 1131300291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24167 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1153.15
Current children cumulated vsize (Kb) 839596

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18867 4 1 0 116222 91 0 0 25 0 11 0 1802585482 859746304 24167 4294967295 134512640 134569956 3221224336 3221214564 1131057189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24167 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1163.13
Current children cumulated vsize (Kb) 839596

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18873 4 1 0 117219 91 0 0 24 0 11 0 1802585482 859746304 24168 4294967295 134512640 134569956 3221224336 3221214608 1131633425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24168 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1173.1
Current children cumulated vsize (Kb) 839596

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18879 4 1 0 118217 91 0 0 25 0 11 0 1802585482 859746304 24168 4294967295 134512640 134569956 3221224336 3221214592 1131621376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19109/statm): 209899 24168 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (Kb) 839596

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18885 4 1 0 119214 92 0 0 25 0 11 0 1802585482 859746304 24168 4294967295 134512640 134569956 3221224336 3221214496 1131300256 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24168 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1193.06
Current children cumulated vsize (Kb) 839596

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18891 4 1 0 120212 92 0 0 18 0 11 0 1802585482 859746304 24168 4294967295 134512640 134569956 3221224336 3221214592 1131620768 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24168 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1203.04
Current children cumulated vsize (Kb) 839596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 19189
Raw data (/proc/19109/stat): 19109 (java) R 19108 19109 6847 0 -1 0 18891 4 1 0 120212 92 0 0 18 0 11 0 1802585482 859746304 24168 4294967295 134512640 134569956 3221224336 3221214608 1131633362 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19109/statm): 209899 24168 13129 16 0 209883 0
[pid=19109] vsize: 839596
Current children cumulated CPU time (s) 1203.04
Current children cumulated vsize (Kb) 839596

Sending SIGTERM to -19109
Sleeping 2 seconds
New thread pid=19191
New thread pid=19192
One traced child (pid=19192) exited with status: 0
One traced child (pid=19118) exited with status: 0
One traced child (pid=19113) exited with status: 0
One traced child (pid=19110) exited with status: 143
One traced child (pid=19191) exited with status: 143
One traced child (pid=19112) exited with status: 143
One traced child (pid=19116) exited with status: 143
One traced child (pid=19111) exited with status: 143
One traced child (pid=19114) exited with status: 143
One traced child (pid=19187) exited with status: 143
One traced child (pid=19117) exited with status: 143
One traced child (pid=19115) exited with status: 143
One traced child (pid=19109) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.43
CPU time (s): 1227.23
CPU user time (s): 1225.62
CPU system time (s): 1.61076
CPU usage (%): 100.557
Max. virtual memory (cumulated for all children) (Kb): 839596

Verifier Data

Verifier:	OK	4457