Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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 benchmark1228.3
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 4246

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-19 05:52:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6449 boxname=wulflinc26 idbench=589 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 6449
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        878400 kB
Buffers:         38112 kB
Cached:          89404 kB
SwapCached:        868 kB
Active:          69752 kB
Inactive:        60428 kB
HighTotal:      131008 kB
HighFree:        42672 kB
LowTotal:       903652 kB
LowFree:        835728 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            20472 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:12:44 (client local time) WITH STATUS 143 IN 1228.3 SECONDS
stats: 6449 0 1228.3 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/wulflinc26/normalized-mps-v2-20-10-p2756.opb
c reading problem ... done. Time 3.353 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119780 		Current CPU time: 6.37 ms
c CURRENT OPTIMUM=              103234 		Current CPU time: 6.98 ms
c CURRENT OPTIMUM=               88086 		Current CPU time: 7.49 ms
c CURRENT OPTIMUM=               87465 		Current CPU time: 8.17 ms
c CURRENT OPTIMUM=               26825 		Current CPU time: 774.41 ms
c CURRENT OPTIMUM=                7202 		Current CPU time: 813.03 ms
c CURRENT OPTIMUM=                5010 		Current CPU time: 813.73 ms
c CURRENT OPTIMUM=                4526 		Current CPU time: 814.21 ms
c CURRENT OPTIMUM=                4457 		Current CPU time: 814.71 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)	: 111.73451204783495
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.044

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1847531552 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 39 3 38 16 0 23 0
[pid=10038] 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/10038
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=10039
New thread pid=10040
New thread pid=10041
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=10042
New thread pid=10043
New thread pid=10044
New thread pid=10045
New thread pid=10046
New thread pid=10047
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/wulflinc26/normalized-mps-v2-20-10-p2756.opb
New thread pid=10048
One traced child (pid=10048) exited with status: 0
New thread pid=10049
One traced child (pid=10049) exited with status: 0
New thread pid=10050
One traced child (pid=10050) exited with status: 0
New thread pid=10051
One traced child (pid=10051) exited with status: 0
New thread pid=10052

[startup+10.0024 s]
Raw data (loadavg): 1.10 1.02 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18187 4 1 0 708 46 0 0 19 0 11 0 1847531552 858923008 21029 4294967295 134512640 134569956 3221224336 3221214568 1131407219 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209698 21029 13129 16 0 209682 0
[pid=10038] vsize: 838792
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (Kb) 838792

[startup+20.0031 s]
Raw data (loadavg): 1.08 1.02 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18195 4 1 0 1652 46 0 0 16 0 11 0 1847531552 858365952 21396 4294967295 134512640 134569956 3221224336 3221214448 1131648165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 21396 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (Kb) 838248

[startup+30.0037 s]
Raw data (loadavg): 1.07 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18202 4 1 0 2599 46 0 0 16 0 11 0 1847531552 858365952 21405 4294967295 134512640 134569956 3221224336 3221214540 1131378032 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 21405 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (Kb) 838248

[startup+40.0034 s]
Raw data (loadavg): 1.06 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18207 4 1 0 3556 46 0 0 24 0 11 0 1847531552 858365952 21426 4294967295 134512640 134569956 3221224336 3221214560 1131648057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 21426 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 36.02
Current children cumulated vsize (Kb) 838248

[startup+50.0041 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18213 4 1 0 4495 47 0 0 19 0 11 0 1847531552 858365952 21469 4294967295 134512640 134569956 3221224336 3221214544 1131639398 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 21469 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 45.42
Current children cumulated vsize (Kb) 838248

[startup+60.0048 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18218 4 1 0 5444 47 0 0 25 0 11 0 1847531552 858365952 21471 4294967295 134512640 134569956 3221224336 3221214560 1131648057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 21471 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 54.91
Current children cumulated vsize (Kb) 838248

[startup+70.0055 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18223 4 1 0 6391 47 0 0 25 0 11 0 1847531552 858365952 22043 4294967295 134512640 134569956 3221224336 3221214540 1131443556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22043 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 64.38
Current children cumulated vsize (Kb) 838248

[startup+80.0062 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18229 4 1 0 7374 48 0 0 25 0 11 0 1847531552 858365952 22375 4294967295 134512640 134569956 3221224336 3221214560 1131647823 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22375 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 74.22
Current children cumulated vsize (Kb) 838248

[startup+90.0069 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18235 4 1 0 8365 48 0 0 22 0 11 0 1847531552 858365952 22375 4294967295 134512640 134569956 3221224336 3221214544 1131639760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22375 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 84.13
Current children cumulated vsize (Kb) 838248

[startup+100.008 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18240 4 1 0 9358 48 0 0 25 0 11 0 1847531552 858365952 22384 4294967295 134512640 134569956 3221224336 3221214456 1131546740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22384 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 94.06
Current children cumulated vsize (Kb) 838248

[startup+110.008 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18246 4 1 0 10347 49 0 0 25 0 11 0 1847531552 858365952 22394 4294967295 134512640 134569956 3221224336 3221214540 1131378032 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22394 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 103.96
Current children cumulated vsize (Kb) 838248

[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18252 4 1 0 11336 49 0 0 22 0 11 0 1847531552 858365952 22395 4294967295 134512640 134569956 3221224336 3221214560 1131647727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22395 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 113.85
Current children cumulated vsize (Kb) 838248

[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18259 4 1 0 12324 49 0 0 25 0 11 0 1847531552 858365952 22415 4294967295 134512640 134569956 3221224336 3221214456 1131546604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22415 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 123.73
Current children cumulated vsize (Kb) 838248

[startup+140.009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18265 4 1 0 13311 49 0 0 24 0 11 0 1847531552 858365952 22415 4294967295 134512640 134569956 3221224336 3221214560 1131634927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22415 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 133.6
Current children cumulated vsize (Kb) 838248

[startup+150.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18270 4 1 0 14302 50 0 0 25 0 11 0 1847531552 858365952 22463 4294967295 134512640 134569956 3221224336 3221214448 1131407167 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22463 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 143.52
Current children cumulated vsize (Kb) 838248

[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18276 4 1 0 15292 50 0 0 24 0 11 0 1847531552 858365952 22481 4294967295 134512640 134569956 3221224336 3221214448 1131407174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22481 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 153.42
Current children cumulated vsize (Kb) 838248

[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18281 4 1 0 16284 50 0 0 25 0 11 0 1847531552 858365952 22481 4294967295 134512640 134569956 3221224336 3221214440 1131546950 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22481 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 163.34
Current children cumulated vsize (Kb) 838248

[startup+180.012 s]
Raw data (loadavg): 1.08 1.02 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18287 4 1 0 17276 50 0 0 25 0 11 0 1847531552 858365952 22539 4294967295 134512640 134569956 3221224336 3221214560 1131647670 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22539 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 173.26
Current children cumulated vsize (Kb) 838248

[startup+190.013 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18292 4 1 0 18270 50 0 0 25 0 11 0 1847531552 858365952 22539 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22539 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 183.2
Current children cumulated vsize (Kb) 838248

[startup+200.013 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18297 4 1 0 19264 51 0 0 25 0 11 0 1847531552 858365952 22558 4294967295 134512640 134569956 3221224336 3221214560 1131648181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22558 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 193.15
Current children cumulated vsize (Kb) 838248

[startup+210.013 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18303 4 1 0 20255 51 0 0 25 0 11 0 1847531552 858365952 22568 4294967295 134512640 134569956 3221224336 3221214560 1131648169 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22568 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 203.06
Current children cumulated vsize (Kb) 838248

[startup+220.015 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18308 4 1 0 21246 52 0 0 25 0 11 0 1847531552 858365952 22569 4294967295 134512640 134569956 3221224336 3221214448 1131407149 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22569 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 212.98
Current children cumulated vsize (Kb) 838248

[startup+230.016 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18315 4 1 0 22230 52 0 0 24 0 11 0 1847531552 858365952 22569 4294967295 134512640 134569956 3221224336 3221214560 1131647670 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22569 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 222.82
Current children cumulated vsize (Kb) 838248

[startup+240.016 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18320 4 1 0 23214 53 0 0 25 0 11 0 1847531552 858365952 22586 4294967295 134512640 134569956 3221224336 3221214544 1131639998 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22586 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 232.67
Current children cumulated vsize (Kb) 838248

[startup+250.017 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18326 4 1 0 24195 53 0 0 25 0 11 0 1847531552 858365952 22597 4294967295 134512640 134569956 3221224336 3221214440 1131546688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22597 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 242.48
Current children cumulated vsize (Kb) 838248

[startup+260.018 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18331 4 1 0 25179 53 0 0 25 0 11 0 1847531552 858365952 22648 4294967295 134512640 134569956 3221224336 3221214440 1131546885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22648 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 252.32
Current children cumulated vsize (Kb) 838248

[startup+270.019 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18337 4 1 0 26164 53 0 0 25 0 11 0 1847531552 858365952 22656 4294967295 134512640 134569956 3221224336 3221214516 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22656 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 262.17
Current children cumulated vsize (Kb) 838248

[startup+280.02 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18343 4 1 0 27151 53 0 0 17 0 11 0 1847531552 858365952 22701 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22701 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 272.04
Current children cumulated vsize (Kb) 838248

[startup+290.021 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18348 4 1 0 28143 54 0 0 25 0 11 0 1847531552 858365952 22764 4294967295 134512640 134569956 3221224336 3221214540 1131378022 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22764 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (Kb) 838248

[startup+300.021 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18354 4 1 0 29134 54 0 0 25 0 11 0 1847531552 858365952 22764 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22764 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 291.88
Current children cumulated vsize (Kb) 838248

[startup+310.022 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18359 4 1 0 30125 54 0 0 25 0 11 0 1847531552 858365952 22764 4294967295 134512640 134569956 3221224336 3221214560 1131634903 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22764 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 301.79
Current children cumulated vsize (Kb) 838248

[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18365 4 1 0 31115 55 0 0 25 0 11 0 1847531552 858365952 22764 4294967295 134512640 134569956 3221224336 3221214560 1131648132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22764 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 311.7
Current children cumulated vsize (Kb) 838248

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18370 4 1 0 32107 55 0 0 25 0 11 0 1847531552 858365952 22814 4294967295 134512640 134569956 3221224336 3221214560 1131648057 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22814 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 321.62
Current children cumulated vsize (Kb) 838248

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18376 4 1 0 33100 55 0 0 25 0 11 0 1847531552 858365952 22834 4294967295 134512640 134569956 3221224336 3221214544 1131639473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22834 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 331.55
Current children cumulated vsize (Kb) 838248

[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18382 4 1 0 34093 55 0 0 25 0 11 0 1847531552 858365952 22843 4294967295 134512640 134569956 3221224336 3221214560 1131634855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22843 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 341.48
Current children cumulated vsize (Kb) 838248

[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18387 4 1 0 35085 56 0 0 25 0 11 0 1847531552 858365952 22857 4294967295 134512640 134569956 3221224336 3221214440 1131546740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22857 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 351.41
Current children cumulated vsize (Kb) 838248

[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18393 4 1 0 36075 56 0 0 25 0 11 0 1847531552 858365952 22857 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22857 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 361.31
Current children cumulated vsize (Kb) 838248

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18399 4 1 0 37066 57 0 0 19 0 11 0 1847531552 858365952 22868 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22868 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 371.23
Current children cumulated vsize (Kb) 838248

[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18404 4 1 0 38055 58 0 0 25 0 11 0 1847531552 858365952 22878 4294967295 134512640 134569956 3221224336 3221214440 1131547044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22878 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 381.13
Current children cumulated vsize (Kb) 838248

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18410 4 1 0 39043 59 0 0 23 0 11 0 1847531552 858365952 22878 4294967295 134512640 134569956 3221224336 3221214440 1131547101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22878 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 391.02
Current children cumulated vsize (Kb) 838248

[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18416 4 1 0 40032 59 0 0 25 0 11 0 1847531552 858365952 22904 4294967295 134512640 134569956 3221224336 3221214456 1131546604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22904 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 400.91
Current children cumulated vsize (Kb) 838248

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18421 4 1 0 41025 59 0 0 25 0 11 0 1847531552 858365952 22904 4294967295 134512640 134569956 3221224336 3221214544 1131639417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22904 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 410.84
Current children cumulated vsize (Kb) 838248

[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18427 4 1 0 42014 60 0 0 25 0 11 0 1847531552 858365952 22904 4294967295 134512640 134569956 3221224336 3221214376 1131690467 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22904 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 420.74
Current children cumulated vsize (Kb) 838248

[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18432 4 1 0 43004 60 0 0 25 0 11 0 1847531552 858365952 22904 4294967295 134512640 134569956 3221224336 3221214456 1131547040 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22904 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 430.64
Current children cumulated vsize (Kb) 838248

[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18438 4 1 0 43994 60 0 0 25 0 11 0 1847531552 858365952 22951 4294967295 134512640 134569956 3221224336 3221214560 1131647690 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 22951 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 440.54
Current children cumulated vsize (Kb) 838248

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18443 4 1 0 44986 61 0 0 25 0 11 0 1847531552 858365952 22994 4294967295 134512640 134569956 3221224336 3221214456 1131547015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22994 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 450.47
Current children cumulated vsize (Kb) 838248

[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18449 4 1 0 45980 61 0 0 25 0 11 0 1847531552 858365952 22994 4294967295 134512640 134569956 3221224336 3221214560 1131648128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 22994 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (Kb) 838248

[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18454 4 1 0 46974 61 0 0 25 0 11 0 1847531552 858365952 23005 4294967295 134512640 134569956 3221224336 3221214456 1131547087 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23005 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 470.35
Current children cumulated vsize (Kb) 838248

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18460 4 1 0 47964 61 0 0 24 0 11 0 1847531552 858365952 23014 4294967295 134512640 134569956 3221224336 3221214448 1131407906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23014 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 480.25
Current children cumulated vsize (Kb) 838248

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18465 4 1 0 48956 62 0 0 25 0 11 0 1847531552 858365952 23014 4294967295 134512640 134569956 3221224336 3221214584 1131687815 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23014 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 490.18
Current children cumulated vsize (Kb) 838248

[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18471 4 1 0 49947 62 0 0 20 0 11 0 1847531552 858365952 23023 4294967295 134512640 134569956 3221224336 3221214440 1131546763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23023 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 500.09
Current children cumulated vsize (Kb) 838248

[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18477 4 1 0 50937 62 0 0 25 0 11 0 1847531552 858365952 23038 4294967295 134512640 134569956 3221224336 3221214560 1131647847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23038 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 838248

[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18482 4 1 0 51929 63 0 0 25 0 11 0 1847531552 858365952 23047 4294967295 134512640 134569956 3221224336 3221214448 1131407223 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23047 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 519.92
Current children cumulated vsize (Kb) 838248

[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18487 4 1 0 52918 63 0 0 25 0 11 0 1847531552 858365952 23057 4294967295 134512640 134569956 3221224336 3221214560 1131648065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23057 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 529.81
Current children cumulated vsize (Kb) 838248

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18493 4 1 0 53907 63 0 0 20 0 11 0 1847531552 858365952 23057 4294967295 134512640 134569956 3221224336 3221214448 1131407277 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23057 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 539.7
Current children cumulated vsize (Kb) 838248

[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18498 4 1 0 54897 64 0 0 25 0 11 0 1847531552 858365952 23100 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23100 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 549.61
Current children cumulated vsize (Kb) 838248

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18504 4 1 0 55885 65 0 0 25 0 11 0 1847531552 858365952 23109 4294967295 134512640 134569956 3221224336 3221214440 1131546604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23109 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 559.5
Current children cumulated vsize (Kb) 838248

[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18510 4 1 0 56872 65 0 0 25 0 11 0 1847531552 858365952 23109 4294967295 134512640 134569956 3221224336 3221214560 1131634855 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23109 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 569.37
Current children cumulated vsize (Kb) 838248

[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18515 4 1 0 57863 65 0 0 25 0 11 0 1847531552 858365952 23167 4294967295 134512640 134569956 3221224336 3221214560 1131647844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23167 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 579.28
Current children cumulated vsize (Kb) 838248

[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18521 4 1 0 58852 65 0 0 25 0 11 0 1847531552 858365952 23177 4294967295 134512640 134569956 3221224336 3221214544 1131639392 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23177 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 589.17
Current children cumulated vsize (Kb) 838248

[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18526 4 1 0 59843 66 0 0 25 0 11 0 1847531552 858365952 23184 4294967295 134512640 134569956 3221224336 3221214448 1131407772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23184 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 599.09
Current children cumulated vsize (Kb) 838248

[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18532 4 1 0 60833 66 0 0 25 0 11 0 1847531552 858365952 23194 4294967295 134512640 134569956 3221224336 3221214560 1131648057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23194 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 608.99
Current children cumulated vsize (Kb) 838248

[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18537 4 1 0 61824 67 0 0 25 0 11 0 1847531552 858365952 23194 4294967295 134512640 134569956 3221224336 3221214560 1131634848 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23194 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 618.91
Current children cumulated vsize (Kb) 838248

[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18543 4 1 0 62814 67 0 0 25 0 11 0 1847531552 858365952 23237 4294967295 134512640 134569956 3221224336 3221214560 1131647670 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23237 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 628.81
Current children cumulated vsize (Kb) 838248

[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18548 4 1 0 63806 67 0 0 25 0 11 0 1847531552 858365952 23247 4294967295 134512640 134569956 3221224336 3221214560 1131647912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23247 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 638.73
Current children cumulated vsize (Kb) 838248

[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18554 4 1 0 64793 68 0 0 25 0 11 0 1847531552 858365952 23267 4294967295 134512640 134569956 3221224336 3221214544 1131639994 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23267 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 648.61
Current children cumulated vsize (Kb) 838248

[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18559 4 1 0 65779 68 0 0 25 0 11 0 1847531552 858365952 23277 4294967295 134512640 134569956 3221224336 3221214560 1131648156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23277 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 658.47
Current children cumulated vsize (Kb) 838248

[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18565 4 1 0 66763 69 0 0 25 0 11 0 1847531552 858365952 23286 4294967295 134512640 134569956 3221224336 3221214520 1131378068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23286 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 668.32
Current children cumulated vsize (Kb) 838248

[startup+690.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18570 4 1 0 67748 69 0 0 25 0 11 0 1847531552 858365952 23286 4294967295 134512640 134569956 3221224336 3221214544 1131639892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23286 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 678.17
Current children cumulated vsize (Kb) 838248

[startup+700.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18576 4 1 0 68730 69 0 0 24 0 11 0 1847531552 858365952 23311 4294967295 134512640 134569956 3221224336 3221214544 1131639519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23311 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 687.99
Current children cumulated vsize (Kb) 838248

[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18581 4 1 0 69714 69 0 0 25 0 11 0 1847531552 858365952 23321 4294967295 134512640 134569956 3221224336 3221214448 1131407174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23321 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 697.83
Current children cumulated vsize (Kb) 838248

[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18587 4 1 0 70695 70 0 0 25 0 11 0 1847531552 858365952 23410 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23410 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 707.65
Current children cumulated vsize (Kb) 838248

[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18593 4 1 0 71677 70 0 0 24 0 11 0 1847531552 858365952 23410 4294967295 134512640 134569956 3221224336 3221214544 1131639528 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23410 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 717.47
Current children cumulated vsize (Kb) 838248

[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18598 4 1 0 72663 70 0 0 25 0 11 0 1847531552 858365952 23454 4294967295 134512640 134569956 3221224336 3221214456 1131546604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23454 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 727.33
Current children cumulated vsize (Kb) 838248

[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) S 10037 10038 16528 0 -1 0 18604 4 1 0 73648 71 0 0 25 0 11 0 1847531552 858365952 23454 4294967295 134512640 134569956 3221224336 3221213080 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23454 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 737.19
Current children cumulated vsize (Kb) 838248

[startup+760.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18609 4 1 0 74624 71 0 0 25 0 11 0 1847531552 858365952 23499 4294967295 134512640 134569956 3221224336 3221214544 1131640006 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23499 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 746.95
Current children cumulated vsize (Kb) 838248

[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 0.97 3/66 10052
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18615 4 1 0 75603 71 0 0 25 0 11 0 1847531552 858365952 23600 4294967295 134512640 134569956 3221224336 3221214544 1131640000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23600 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 756.74
Current children cumulated vsize (Kb) 838248
One traced child (pid=10052) exited with status: 0
New thread pid=10053

[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10053
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18621 4 1 0 76583 72 0 0 25 0 11 0 1847531552 858365952 23608 4294967295 134512640 134569956 3221224336 3221214456 1131546763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23608 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 766.55
Current children cumulated vsize (Kb) 838248

[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10053
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18628 4 1 0 77560 72 0 0 25 0 11 0 1847531552 858365952 23624 4294967295 134512640 134569956 3221224336 3221214456 1131547015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23624 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 776.32
Current children cumulated vsize (Kb) 838248

[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10053
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18636 4 1 0 78532 72 0 0 24 0 11 0 1847531552 858365952 23683 4294967295 134512640 134569956 3221224336 3221213752 1077124113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23683 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 786.04
Current children cumulated vsize (Kb) 838248

[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10053
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18643 4 1 0 79510 72 0 0 25 0 11 0 1847531552 858365952 23733 4294967295 134512640 134569956 3221224336 3221214560 1131648054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23733 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 795.82
Current children cumulated vsize (Kb) 838248
One traced child (pid=10053) exited with status: 0
New thread pid=10054
One traced child (pid=10054) exited with status: 0
New thread pid=10055
One traced child (pid=10055) exited with status: 0
New thread pid=10056
One traced child (pid=10056) exited with status: 0
New thread pid=10057

[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18650 4 1 0 80480 73 0 0 25 0 11 0 1847531552 858365952 23822 4294967295 134512640 134569956 3221224336 3221214480 1131647727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23822 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 805.53
Current children cumulated vsize (Kb) 838248

[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18656 4 1 0 81456 73 0 0 25 0 11 0 1847531552 858365952 23822 4294967295 134512640 134569956 3221224336 3221214376 1131546763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23822 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 815.29
Current children cumulated vsize (Kb) 838248

[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18662 4 1 0 82434 73 0 0 25 0 11 0 1847531552 858365952 23861 4294967295 134512640 134569956 3221224336 3221214440 1131378073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23861 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 825.07
Current children cumulated vsize (Kb) 838248

[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18668 4 1 0 83413 74 0 0 24 0 11 0 1847531552 858365952 23864 4294967295 134512640 134569956 3221224336 3221214480 1131634855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 23864 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 834.87
Current children cumulated vsize (Kb) 838248

[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18674 4 1 0 84395 74 0 0 25 0 11 0 1847531552 858365952 23903 4294967295 134512640 134569956 3221224336 3221214608 1131383222 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 23903 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 844.69
Current children cumulated vsize (Kb) 838248

[startup+870.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18682 4 1 0 85370 75 0 0 25 0 11 0 1847531552 858365952 24097 4294967295 134512640 134569956 3221224336 3221214376 1131546677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24097 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 854.45
Current children cumulated vsize (Kb) 838248

[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18688 4 1 0 86357 75 0 0 25 0 11 0 1847531552 858365952 24097 4294967295 134512640 134569956 3221224336 3221214460 1131378025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24097 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 864.32
Current children cumulated vsize (Kb) 838248

[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18694 4 1 0 87344 75 0 0 25 0 11 0 1847531552 858365952 24097 4294967295 134512640 134569956 3221224336 3221214376 1131546740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24097 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 874.19
Current children cumulated vsize (Kb) 838248

[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18700 4 1 0 88331 76 0 0 25 0 11 0 1847531552 858365952 24097 4294967295 134512640 134569956 3221224336 3221214480 1131634855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24097 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 884.07
Current children cumulated vsize (Kb) 838248

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18706 4 1 0 89319 76 0 0 25 0 11 0 1847531552 858365952 24148 4294967295 134512640 134569956 3221224336 3221214460 1131443529 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24148 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 893.95
Current children cumulated vsize (Kb) 838248

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18711 4 1 0 90313 76 0 0 25 0 11 0 1847531552 858365952 24188 4294967295 134512640 134569956 3221224336 3221214376 1131546604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24188 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 903.89
Current children cumulated vsize (Kb) 838248

[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18717 4 1 0 91308 77 0 0 25 0 11 0 1847531552 858365952 24209 4294967295 134512640 134569956 3221224336 3221214464 1131639730 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24209 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 913.85
Current children cumulated vsize (Kb) 838248

[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18723 4 1 0 92304 77 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214480 1131647667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 923.81
Current children cumulated vsize (Kb) 838248

[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18728 4 1 0 93301 77 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214464 1131639528 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 933.78
Current children cumulated vsize (Kb) 838248

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18734 4 1 0 94297 78 0 0 22 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214464 1131639730 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 943.75
Current children cumulated vsize (Kb) 838248

[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18740 4 1 0 95293 78 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214440 1131378073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 953.71
Current children cumulated vsize (Kb) 838248

[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18745 4 1 0 96289 78 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214480 1131634855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 963.67
Current children cumulated vsize (Kb) 838248

[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18751 4 1 0 97284 80 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214476 1131407919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 973.64
Current children cumulated vsize (Kb) 838248

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18756 4 1 0 98281 80 0 0 25 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214288 1131690365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 983.61
Current children cumulated vsize (Kb) 838248

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18762 4 1 0 99277 80 0 0 23 0 11 0 1847531552 858365952 24210 4294967295 134512640 134569956 3221224336 3221214376 1131546530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24210 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 993.57
Current children cumulated vsize (Kb) 838248

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18768 4 1 0 100273 81 0 0 19 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214476 1131375539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1003.54
Current children cumulated vsize (Kb) 838248

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18773 4 1 0 101269 81 0 0 25 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214360 1131546604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1013.5
Current children cumulated vsize (Kb) 838248

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18779 4 1 0 102266 82 0 0 24 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214368 1131407293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1023.48
Current children cumulated vsize (Kb) 838248

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18785 4 1 0 103261 83 0 0 25 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214376 1131546740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1033.44
Current children cumulated vsize (Kb) 838248

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18790 4 1 0 104258 83 0 0 25 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214376 1131546740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1043.41
Current children cumulated vsize (Kb) 838248

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18796 4 1 0 105254 83 0 0 23 0 11 0 1847531552 858365952 24211 4294967295 134512640 134569956 3221224336 3221214368 1131407299 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24211 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1053.37
Current children cumulated vsize (Kb) 838248

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18802 4 1 0 106251 83 0 0 17 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214464 1131639678 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1063.34
Current children cumulated vsize (Kb) 838248

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18807 4 1 0 107248 84 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214376 1131546500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1073.32
Current children cumulated vsize (Kb) 838248

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18813 4 1 0 108244 84 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214376 1131547127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1083.28
Current children cumulated vsize (Kb) 838248

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18819 4 1 0 109238 85 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214464 1131639490 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1093.23
Current children cumulated vsize (Kb) 838248

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18824 4 1 0 110233 85 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214360 1131546903 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1103.18
Current children cumulated vsize (Kb) 838248

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18830 4 1 0 111228 86 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214424 1131655524 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1113.14
Current children cumulated vsize (Kb) 838248

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18836 4 1 0 112222 86 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214480 1131648059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1123.08
Current children cumulated vsize (Kb) 838248

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18841 4 1 0 113218 86 0 0 25 0 11 0 1847531552 858365952 24222 4294967295 134512640 134569956 3221224336 3221214464 1131639892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24222 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1133.04
Current children cumulated vsize (Kb) 838248

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18847 4 1 0 114215 87 0 0 25 0 11 0 1847531552 858365952 24261 4294967295 134512640 134569956 3221224336 3221214376 1131546944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24261 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1143.02
Current children cumulated vsize (Kb) 838248

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18852 4 1 0 115212 87 0 0 25 0 11 0 1847531552 858365952 24261 4294967295 134512640 134569956 3221224336 3221214480 1131634848 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24261 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1152.99
Current children cumulated vsize (Kb) 838248

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18858 4 1 0 116209 88 0 0 25 0 11 0 1847531552 858365952 24261 4294967295 134512640 134569956 3221224336 3221214376 1131546944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24261 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1162.97
Current children cumulated vsize (Kb) 838248

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18864 4 1 0 117207 88 0 0 23 0 11 0 1847531552 858365952 24261 4294967295 134512640 134569956 3221224336 3221214216 1076632641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24261 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1172.95
Current children cumulated vsize (Kb) 838248

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18870 4 1 0 118203 88 0 0 16 0 11 0 1847531552 858365952 24261 4294967295 134512640 134569956 3221224336 3221214480 1131648057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10038/statm): 209562 24261 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1182.91
Current children cumulated vsize (Kb) 838248

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.97 3/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18875 4 1 0 119200 89 0 0 25 0 11 0 1847531552 858365952 24262 4294967295 134512640 134569956 3221224336 3221214460 1131378037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24262 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1192.89
Current children cumulated vsize (Kb) 838248

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18881 4 1 0 120198 89 0 0 25 0 11 0 1847531552 858365952 24262 4294967295 134512640 134569956 3221224336 3221214376 1131546447 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24262 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1202.87
Current children cumulated vsize (Kb) 838248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 10057
Raw data (/proc/10038/stat): 10038 (java) R 10037 10038 16528 0 -1 0 18881 4 1 0 120198 89 0 0 25 0 11 0 1847531552 858365952 24262 4294967295 134512640 134569956 3221224336 3221214376 1131546447 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10038/statm): 209562 24262 13129 16 0 209546 0
[pid=10038] vsize: 838248
Current children cumulated CPU time (s) 1202.87
Current children cumulated vsize (Kb) 838248

Sending SIGTERM to -10038
Sleeping 2 seconds
New thread pid=10059
New thread pid=10060
One traced child (pid=10060) exited with status: 0
One traced child (pid=10047) exited with status: 0
One traced child (pid=10042) exited with status: 0
One traced child (pid=10039) exited with status: 143
One traced child (pid=10041) exited with status: 143
One traced child (pid=10043) exited with status: 143
One traced child (pid=10046) exited with status: 143
One traced child (pid=10057) exited with status: 143
One traced child (pid=10040) exited with status: 143
One traced child (pid=10045) exited with status: 143
One traced child (pid=10044) exited with status: 143
One traced child (pid=10059) exited with status: 143
One traced child (pid=10038) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.42
CPU time (s): 1228.3
CPU user time (s): 1226.73
CPU system time (s): 1.57176
CPU usage (%): 100.645
Max. virtual memory (cumulated for all children) (Kb): 838792

Verifier Data

Verifier:	OK	4457