Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
MD5SUM1ff3cc3253012886aa21be4feac6111e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 924
Optimality of the best value was proved NO
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.11
Number of variables1800
Total number of constraints2015
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2015
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72

Trace number 8821

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-20 19:04:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6852 boxname=wulflinc30 idbench=992 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 6852
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        837324 kB
Buffers:         35040 kB
Cached:         132408 kB
SwapCached:        784 kB
Active:          90988 kB
Inactive:        79124 kB
HighTotal:      131008 kB
HighFree:        10472 kB
LowTotal:       903652 kB
LowFree:        826852 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21716 kB
Committed_AS:    64272 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 19:25:37 (client local time) WITH STATUS 143 IN 1209.08 SECONDS
stats: 6852 0 1209.08 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/wulflinc30/normalized-mps-v2-13-7-10teams.opb
c reading problem ... done. Time 3.139 ms.
c #vars     1800
c #constraints  335
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 966 		Current CPU time: 139.55 ms
c starts		: 8
c conflicts		: 1263
c decisions		: 6513
c propagations		: 78569
c inspects		: 809015
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1263
c root simplifications	: 8
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 4972
c speed (decisions/second)	: 5.767933020065995
c non guided choices	757
c random choices	0
s SATISFIABLE
v -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 -x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 -x1189_bit0 -x1190_bit0 x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1439_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1523_bit0 x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 x1863_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 
c objective function=966
c Total CPU time (ms) : 1268.997

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/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860902169 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 39 9 38 16 0 23 0
[pid=14231] 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/14231
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=14232
New thread pid=14233
New thread pid=14234
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=14235
New thread pid=14236
New thread pid=14237
New thread pid=14238
New thread pid=14239
New thread pid=14240
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/wulflinc30/normalized-mps-v2-13-7-10teams.opb
New thread pid=14241

[startup+10.0023 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18135 0 1 0 578 46 0 0 19 0 11 0 1860902169 867241984 22300 4294967295 134512640 134569956 3221224336 3221214308 1131090111 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 211729 22300 13129 16 0 211713 0
[pid=14231] vsize: 846916
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (Kb) 846916

[startup+20.0022 s]
Raw data (loadavg): 1.20 1.07 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18149 0 1 0 1474 46 0 0 23 0 11 0 1860902169 869560320 24636 4294967295 134512640 134569956 3221224336 3221213136 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212295 24636 13129 16 0 212279 0
[pid=14231] vsize: 849180
Current children cumulated CPU time (s) 15.2
Current children cumulated vsize (Kb) 849180

[startup+30.004 s]
Raw data (loadavg): 1.17 1.06 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18158 0 1 0 2439 47 0 0 25 0 11 0 1860902169 869330944 24581 4294967295 134512640 134569956 3221224336 3221214520 1131558417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 24581 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (Kb) 848956

[startup+40.0047 s]
Raw data (loadavg): 1.14 1.06 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18168 0 1 0 3384 47 0 0 25 0 11 0 1860902169 869330944 24618 4294967295 134512640 134569956 3221224336 3221214520 1131558417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 24618 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (Kb) 848956

[startup+50.0056 s]
Raw data (loadavg): 1.12 1.06 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18174 0 1 0 4322 48 0 0 25 0 11 0 1860902169 869330944 24821 4294967295 134512640 134569956 3221224336 3221214520 1131558048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 24821 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 43.7
Current children cumulated vsize (Kb) 848956

[startup+60.0064 s]
Raw data (loadavg): 1.10 1.06 1.01 2/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18181 0 1 0 5262 48 0 0 21 0 11 0 1860902169 869330944 24996 4294967295 134512640 134569956 3221224336 3221214516 1131464320 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 24996 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 53.1
Current children cumulated vsize (Kb) 848956

[startup+70.0072 s]
Raw data (loadavg): 1.09 1.05 1.01 3/66 14241
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18186 0 1 0 6205 48 0 0 25 0 11 0 1860902169 869330944 25132 4294967295 134512640 134569956 3221224336 3221213424 1073952732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 25132 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 62.53
Current children cumulated vsize (Kb) 848956

[startup+80.0079 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18193 0 1 0 7142 49 0 0 16 0 11 0 1860902169 869330944 25306 4294967295 134512640 134569956 3221224336 3221214528 1131452539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 25306 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 71.91
Current children cumulated vsize (Kb) 848956

[startup+90.0088 s]
Raw data (loadavg): 1.06 1.05 1.01 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18199 0 1 0 8087 49 0 0 25 0 11 0 1860902169 869330944 25401 4294967295 134512640 134569956 3221224336 3221213160 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 25401 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 81.36
Current children cumulated vsize (Kb) 848956

[startup+100.01 s]
Raw data (loadavg): 1.05 1.05 1.01 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18205 0 1 0 9033 50 0 0 24 0 11 0 1860902169 869330944 25653 4294967295 134512640 134569956 3221224336 3221214528 1131536743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 25653 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 90.83
Current children cumulated vsize (Kb) 848956

[startup+110.01 s]
Raw data (loadavg): 1.04 1.05 1.01 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18210 0 1 0 9990 50 0 0 25 0 11 0 1860902169 869330944 25781 4294967295 134512640 134569956 3221224336 3221214424 1131422663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 25781 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 100.4
Current children cumulated vsize (Kb) 848956

[startup+120.011 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18217 0 1 0 10938 51 0 0 25 0 11 0 1860902169 869330944 25921 4294967295 134512640 134569956 3221224336 3221214416 1131423159 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 25921 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 109.89
Current children cumulated vsize (Kb) 848956

[startup+130.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18223 0 1 0 11880 51 0 0 25 0 11 0 1860902169 869330944 26153 4294967295 134512640 134569956 3221224336 3221214416 1131422700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 26153 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 119.31
Current children cumulated vsize (Kb) 848956

[startup+140.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 14243
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18229 0 1 0 12827 51 0 0 17 0 11 0 1860902169 869330944 26217 4294967295 134512640 134569956 3221224336 3221214528 1131452524 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 26217 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (Kb) 848956
One traced child (pid=14241) exited with status: 0
New thread pid=14244

[startup+150.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18282 5 1 0 13774 51 0 0 25 0 11 0 1860902169 869330944 26392 4294967295 134512640 134569956 3221224336 3221214720 1131488368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 26392 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 138.25
Current children cumulated vsize (Kb) 848956

[startup+160.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18288 5 1 0 14709 52 0 0 25 0 11 0 1860902169 869330944 26578 4294967295 134512640 134569956 3221224336 3221214608 1131536849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 26578 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 147.61
Current children cumulated vsize (Kb) 848956

[startup+170.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18293 5 1 0 15655 52 0 0 25 0 11 0 1860902169 869330944 26740 4294967295 134512640 134569956 3221224336 3221214624 1131513127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 26740 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 157.07
Current children cumulated vsize (Kb) 848956

[startup+180.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18298 5 1 0 16595 52 0 0 17 0 11 0 1860902169 869330944 26898 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 26898 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 166.47
Current children cumulated vsize (Kb) 848956

[startup+190.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18305 5 1 0 17525 52 0 0 23 0 11 0 1860902169 869330944 27121 4294967295 134512640 134569956 3221224336 3221214496 1131574973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 27121 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 175.77
Current children cumulated vsize (Kb) 848956

[startup+200.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18312 5 1 0 18449 52 0 0 23 0 11 0 1860902169 869330944 27284 4294967295 134512640 134569956 3221224336 3221214600 1131558229 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 27284 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 185.01
Current children cumulated vsize (Kb) 848956

[startup+210.016 s]
Raw data (loadavg): 1.08 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18318 5 1 0 19382 53 0 0 20 0 11 0 1860902169 869330944 27487 4294967295 134512640 134569956 3221224336 3221214592 1131464345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 27487 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 194.35
Current children cumulated vsize (Kb) 848956

[startup+220.017 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18323 5 1 0 20323 53 0 0 25 0 11 0 1860902169 869330944 27641 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 27641 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (Kb) 848956

[startup+230.018 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18329 5 1 0 21264 53 0 0 25 0 11 0 1860902169 869330944 27794 4294967295 134512640 134569956 3221224336 3221214504 1131422663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 27794 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 213.17
Current children cumulated vsize (Kb) 848956

[startup+240.019 s]
Raw data (loadavg): 1.05 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18335 5 1 0 22204 53 0 0 19 0 11 0 1860902169 869330944 27993 4294967295 134512640 134569956 3221224336 3221214504 1131422663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 27993 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 222.57
Current children cumulated vsize (Kb) 848956

[startup+250.02 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18340 5 1 0 23156 53 0 0 24 0 11 0 1860902169 869330944 28134 4294967295 134512640 134569956 3221224336 3221214496 1131574979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 28134 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 232.09
Current children cumulated vsize (Kb) 848956

[startup+260.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18345 5 1 0 24109 53 0 0 22 0 11 0 1860902169 869330944 28258 4294967295 134512640 134569956 3221224336 3221214528 1131452975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 28258 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 241.62
Current children cumulated vsize (Kb) 848956

[startup+270.021 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18351 5 1 0 25053 54 0 0 25 0 11 0 1860902169 869330944 28424 4294967295 134512640 134569956 3221224336 3221214600 1131558417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 28424 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 251.07
Current children cumulated vsize (Kb) 848956

[startup+280.022 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18356 5 1 0 26009 54 0 0 23 0 11 0 1860902169 869330944 28541 4294967295 134512640 134569956 3221224336 3221214608 1131536849 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 28541 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 260.63
Current children cumulated vsize (Kb) 848956

[startup+290.023 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18360 5 1 0 26974 54 0 0 23 0 11 0 1860902169 869330944 28678 4294967295 134512640 134569956 3221224336 3221214600 1131558179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 28678 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 270.28
Current children cumulated vsize (Kb) 848956

[startup+300.022 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18365 5 1 0 27933 54 0 0 25 0 11 0 1860902169 869330944 28745 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 28745 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (Kb) 848956

[startup+310.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18373 5 1 0 28869 54 0 0 24 0 11 0 1860902169 869330944 28904 4294967295 134512640 134569956 3221224336 3221214624 1131513748 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 28904 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 289.23
Current children cumulated vsize (Kb) 848956

[startup+320.024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18379 5 1 0 29818 55 0 0 25 0 11 0 1860902169 869330944 29077 4294967295 134512640 134569956 3221224336 3221214624 1131512085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29077 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 298.73
Current children cumulated vsize (Kb) 848956

[startup+330.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18384 5 1 0 30774 55 0 0 25 0 11 0 1860902169 869330944 29126 4294967295 134512640 134569956 3221224336 3221214504 1131422851 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29126 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 308.29
Current children cumulated vsize (Kb) 848956

[startup+340.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18390 5 1 0 31717 55 0 0 16 0 11 0 1860902169 869330944 29290 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 29290 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 317.72
Current children cumulated vsize (Kb) 848956

[startup+350.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18395 5 1 0 32668 55 0 0 25 0 11 0 1860902169 869330944 29361 4294967295 134512640 134569956 3221224336 3221214592 1131382361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29361 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 327.23
Current children cumulated vsize (Kb) 848956

[startup+360.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18401 5 1 0 33605 55 0 0 25 0 11 0 1860902169 869330944 29470 4294967295 134512640 134569956 3221224336 3221214600 1131558100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 29470 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 336.6
Current children cumulated vsize (Kb) 848956

[startup+370.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18406 5 1 0 34555 56 0 0 24 0 11 0 1860902169 869330944 29603 4294967295 134512640 134569956 3221224336 3221214496 1131575076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29603 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 346.11
Current children cumulated vsize (Kb) 848956

[startup+380.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18412 5 1 0 35495 56 0 0 25 0 11 0 1860902169 869330944 29740 4294967295 134512640 134569956 3221224336 3221214600 1131558863 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29740 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 355.51
Current children cumulated vsize (Kb) 848956

[startup+390.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18417 5 1 0 36448 56 0 0 20 0 11 0 1860902169 869330944 29914 4294967295 134512640 134569956 3221224336 3221214352 1079817092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 29914 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 365.04
Current children cumulated vsize (Kb) 848956

[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18423 5 1 0 37392 56 0 0 25 0 11 0 1860902169 869330944 30085 4294967295 134512640 134569956 3221224336 3221214624 1131511066 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30085 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 374.48
Current children cumulated vsize (Kb) 848956

[startup+410.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18430 5 1 0 38329 57 0 0 24 0 11 0 1860902169 869330944 30273 4294967295 134512640 134569956 3221224336 3221214496 1131422663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 30273 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 383.86
Current children cumulated vsize (Kb) 848956

[startup+420.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18434 5 1 0 39297 57 0 0 25 0 11 0 1860902169 869330944 30310 4294967295 134512640 134569956 3221224336 3221214496 1131574374 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30310 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 393.54
Current children cumulated vsize (Kb) 848956

[startup+430.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18439 5 1 0 40255 57 0 0 25 0 11 0 1860902169 869330944 30425 4294967295 134512640 134569956 3221224336 3221214600 1131558054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 30425 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 403.12
Current children cumulated vsize (Kb) 848956

[startup+440.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18442 5 1 0 41230 57 0 0 25 0 11 0 1860902169 869330944 30503 4294967295 134512640 134569956 3221224336 3221214496 1131422314 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30503 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 412.87
Current children cumulated vsize (Kb) 848956

[startup+450.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18448 5 1 0 42184 57 0 0 19 0 11 0 1860902169 869330944 30610 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 30610 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 422.41
Current children cumulated vsize (Kb) 848956

[startup+460.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18454 5 1 0 43137 58 0 0 16 0 11 0 1860902169 869330944 30754 4294967295 134512640 134569956 3221224336 3221214624 1131512203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30754 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 431.95
Current children cumulated vsize (Kb) 848956

[startup+470.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18458 5 1 0 44105 59 0 0 25 0 11 0 1860902169 869330944 30846 4294967295 134512640 134569956 3221224336 3221214600 1131558096 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30846 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 441.64
Current children cumulated vsize (Kb) 848956

[startup+480.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18462 5 1 0 45072 60 0 0 22 0 11 0 1860902169 869330944 30847 4294967295 134512640 134569956 3221224336 3221214600 1131558173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 30847 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 451.32
Current children cumulated vsize (Kb) 848956

[startup+490.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18466 5 1 0 46039 60 0 0 25 0 11 0 1860902169 869330944 30919 4294967295 134512640 134569956 3221224336 3221214600 1131558142 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 30919 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 460.99
Current children cumulated vsize (Kb) 848956

[startup+500.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18470 5 1 0 47009 61 0 0 25 0 11 0 1860902169 869330944 31024 4294967295 134512640 134569956 3221224336 3221214600 1131558535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31024 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 470.7
Current children cumulated vsize (Kb) 848956

[startup+510.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18474 5 1 0 47979 61 0 0 25 0 11 0 1860902169 869330944 31024 4294967295 134512640 134569956 3221224336 3221214600 1131558432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31024 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 480.4
Current children cumulated vsize (Kb) 848956

[startup+520.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18479 5 1 0 48942 61 0 0 17 0 11 0 1860902169 869330944 31182 4294967295 134512640 134569956 3221224336 3221214496 1131574412 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31182 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 848956

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18483 5 1 0 49915 62 0 0 25 0 11 0 1860902169 869330944 31253 4294967295 134512640 134569956 3221224336 3221214504 1131422511 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31253 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 499.77
Current children cumulated vsize (Kb) 848956

[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18488 5 1 0 50883 62 0 0 17 0 11 0 1860902169 869330944 31421 4294967295 134512640 134569956 3221224336 3221214600 1131558173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31421 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 509.45
Current children cumulated vsize (Kb) 848956

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18491 5 1 0 51867 63 0 0 25 0 11 0 1860902169 869330944 31465 4294967295 134512640 134569956 3221224336 3221214600 1131558146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31465 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 519.3
Current children cumulated vsize (Kb) 848956

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18494 5 1 0 52851 63 0 0 25 0 11 0 1860902169 869330944 31465 4294967295 134512640 134569956 3221224336 3221214504 1131422297 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31465 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 529.14
Current children cumulated vsize (Kb) 848956

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18501 5 1 0 53813 63 0 0 25 0 11 0 1860902169 869330944 31529 4294967295 134512640 134569956 3221224336 3221214528 1131452975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31529 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 538.76
Current children cumulated vsize (Kb) 848956

[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18507 5 1 0 54771 64 0 0 25 0 11 0 1860902169 869330944 31624 4294967295 134512640 134569956 3221224336 3221214496 1131574328 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31624 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 548.35
Current children cumulated vsize (Kb) 848956

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18512 5 1 0 55730 64 0 0 25 0 11 0 1860902169 869330944 31712 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31712 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 557.94
Current children cumulated vsize (Kb) 848956

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18519 5 1 0 56686 64 0 0 20 0 11 0 1860902169 869330944 31772 4294967295 134512640 134569956 3221224336 3221214600 1131558054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31772 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 567.5
Current children cumulated vsize (Kb) 848956

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18523 5 1 0 57656 64 0 0 25 0 11 0 1860902169 869330944 31803 4294967295 134512640 134569956 3221224336 3221214624 1131510895 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 31803 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 577.2
Current children cumulated vsize (Kb) 848956

[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18529 5 1 0 58608 64 0 0 25 0 11 0 1860902169 869330944 31947 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 31947 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 586.72
Current children cumulated vsize (Kb) 848956

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18534 5 1 0 59568 65 0 0 25 0 11 0 1860902169 869330944 32058 4294967295 134512640 134569956 3221224336 3221214496 1131422663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 32058 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 596.33
Current children cumulated vsize (Kb) 848956

[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18540 5 1 0 60519 65 0 0 17 0 11 0 1860902169 869330944 32115 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 32115 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 605.84
Current children cumulated vsize (Kb) 848956

[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18547 5 1 0 61463 65 0 0 25 0 11 0 1860902169 869330944 32271 4294967295 134512640 134569956 3221224336 3221214624 1131510895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 32271 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 615.28
Current children cumulated vsize (Kb) 848956

[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18554 5 1 0 62405 65 0 0 25 0 11 0 1860902169 869330944 32367 4294967295 134512640 134569956 3221224336 3221214600 1131558417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 32367 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 624.7
Current children cumulated vsize (Kb) 848956

[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18559 5 1 0 63362 66 0 0 25 0 11 0 1860902169 869330944 32468 4294967295 134512640 134569956 3221224336 3221214496 1131422525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 32468 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 634.28
Current children cumulated vsize (Kb) 848956

[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18565 5 1 0 64311 66 0 0 24 0 11 0 1860902169 869330944 32611 4294967295 134512640 134569956 3221224336 3221214600 1131558328 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 32611 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 643.77
Current children cumulated vsize (Kb) 848956

[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18570 5 1 0 65267 67 0 0 24 0 11 0 1860902169 869330944 32727 4294967295 134512640 134569956 3221224336 3221214608 1131536849 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 32727 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 653.34
Current children cumulated vsize (Kb) 848956

[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18576 5 1 0 66212 67 0 0 25 0 11 0 1860902169 869330944 32790 4294967295 134512640 134569956 3221224336 3221214072 1131426908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 32790 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 662.79
Current children cumulated vsize (Kb) 848956

[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18583 5 1 0 67147 67 0 0 22 0 11 0 1860902169 869330944 32939 4294967295 134512640 134569956 3221224336 3221214624 1131513119 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 32939 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 672.14
Current children cumulated vsize (Kb) 848956

[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18588 5 1 0 68102 67 0 0 25 0 11 0 1860902169 869330944 33034 4294967295 134512640 134569956 3221224336 3221214624 1131511211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33034 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 681.69
Current children cumulated vsize (Kb) 848956

[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18595 5 1 0 69042 67 0 0 20 0 11 0 1860902169 869330944 33212 4294967295 134512640 134569956 3221224336 3221214496 1131422663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 33212 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 691.09
Current children cumulated vsize (Kb) 848956

[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18600 5 1 0 70003 68 0 0 25 0 11 0 1860902169 869330944 33348 4294967295 134512640 134569956 3221224336 3221214496 1131422412 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33348 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 700.71
Current children cumulated vsize (Kb) 848956

[startup+750.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18606 5 1 0 70962 68 0 0 24 0 11 0 1860902169 869330944 33465 4294967295 134512640 134569956 3221224336 3221214324 1079369188 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33465 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (Kb) 848956

[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18612 5 1 0 71922 68 0 0 25 0 11 0 1860902169 869330944 33596 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33596 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (Kb) 848956

[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18618 5 1 0 72882 68 0 0 25 0 11 0 1860902169 869330944 33625 4294967295 134512640 134569956 3221224336 3221214784 1131382361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33625 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 729.5
Current children cumulated vsize (Kb) 848956

[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18623 5 1 0 73843 69 0 0 25 0 11 0 1860902169 869330944 33720 4294967295 134512640 134569956 3221224336 3221214496 1131575076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33720 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 739.12
Current children cumulated vsize (Kb) 848956

[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18629 5 1 0 74794 69 0 0 25 0 11 0 1860902169 869330944 33809 4294967295 134512640 134569956 3221224336 3221214600 1131558624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33809 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 748.63
Current children cumulated vsize (Kb) 848956

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18635 5 1 0 75747 69 0 0 25 0 11 0 1860902169 869330944 33875 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 33875 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 758.16
Current children cumulated vsize (Kb) 848956

[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18642 5 1 0 76689 69 0 0 25 0 11 0 1860902169 869330944 33976 4294967295 134512640 134569956 3221224336 3221214624 1131511115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 33976 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 767.58
Current children cumulated vsize (Kb) 848956

[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18648 5 1 0 77638 70 0 0 18 0 11 0 1860902169 869330944 34100 4294967295 134512640 134569956 3221224336 3221214496 1131574324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34100 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 777.08
Current children cumulated vsize (Kb) 848956

[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18651 5 1 0 78613 70 0 0 25 0 11 0 1860902169 869330944 34187 4294967295 134512640 134569956 3221224336 3221214496 1131422611 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34187 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 786.83
Current children cumulated vsize (Kb) 848956

[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18656 5 1 0 79574 70 0 0 25 0 11 0 1860902169 869330944 34315 4294967295 134512640 134569956 3221224336 3221214504 1131422663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34315 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 796.44
Current children cumulated vsize (Kb) 848956

[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18663 5 1 0 80515 71 0 0 25 0 11 0 1860902169 869330944 34368 4294967295 134512640 134569956 3221224336 3221214528 1131452682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34368 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 805.86
Current children cumulated vsize (Kb) 848956

[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18668 5 1 0 81472 71 0 0 25 0 11 0 1860902169 869330944 34493 4294967295 134512640 134569956 3221224336 3221214496 1131576633 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34493 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 815.43
Current children cumulated vsize (Kb) 848956

[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18672 5 1 0 82442 71 0 0 25 0 11 0 1860902169 869330944 34576 4294967295 134512640 134569956 3221224336 3221214600 1131558217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 34576 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 825.13
Current children cumulated vsize (Kb) 848956

[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18676 5 1 0 83414 71 0 0 25 0 11 0 1860902169 869330944 34624 4294967295 134512640 134569956 3221224336 3221214624 1131513107 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 34624 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 834.85
Current children cumulated vsize (Kb) 848956

[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18682 5 1 0 84374 72 0 0 25 0 11 0 1860902169 869330944 34693 4294967295 134512640 134569956 3221224336 3221214600 1131558753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 34693 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 844.46
Current children cumulated vsize (Kb) 848956

[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18687 5 1 0 85344 72 0 0 25 0 11 0 1860902169 869330944 34862 4294967295 134512640 134569956 3221224336 3221214528 1131452546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 34862 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 854.16
Current children cumulated vsize (Kb) 848956

[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18694 5 1 0 86310 72 0 0 24 0 11 0 1860902169 869330944 35008 4294967295 134512640 134569956 3221224336 3221214624 1131514584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35008 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 863.82
Current children cumulated vsize (Kb) 848956

[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18701 5 1 0 87278 72 0 0 24 0 11 0 1860902169 869330944 35041 4294967295 134512640 134569956 3221224336 3221214528 1131452905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35041 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 873.5
Current children cumulated vsize (Kb) 848956

[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18705 5 1 0 88256 72 0 0 16 0 11 0 1860902169 869330944 35041 4294967295 134512640 134569956 3221224336 3221214624 1131511288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35041 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 883.28
Current children cumulated vsize (Kb) 848956

[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18712 5 1 0 89215 73 0 0 25 0 11 0 1860902169 869330944 35129 4294967295 134512640 134569956 3221224336 3221214528 1131453750 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35129 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 892.88
Current children cumulated vsize (Kb) 848956

[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18718 5 1 0 90176 73 0 0 18 0 11 0 1860902169 869330944 35156 4294967295 134512640 134569956 3221224336 3221214720 1131488313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35156 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 902.49
Current children cumulated vsize (Kb) 848956

[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18724 5 1 0 91135 73 0 0 21 0 11 0 1860902169 869330944 35219 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35219 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 912.08
Current children cumulated vsize (Kb) 848956

[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18730 5 1 0 92089 74 0 0 20 0 11 0 1860902169 869330944 35333 4294967295 134512640 134569956 3221224336 3221214528 1131452994 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35333 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 921.63
Current children cumulated vsize (Kb) 848956

[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18736 5 1 0 93042 74 0 0 25 0 11 0 1860902169 869330944 35383 4294967295 134512640 134569956 3221224336 3221214496 1131575076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35383 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 931.16
Current children cumulated vsize (Kb) 848956

[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18742 5 1 0 93996 74 0 0 25 0 11 0 1860902169 869330944 35467 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35467 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 940.7
Current children cumulated vsize (Kb) 848956

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18748 5 1 0 94951 74 0 0 20 0 11 0 1860902169 869330944 35576 4294967295 134512640 134569956 3221224336 3221214636 1131411107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35576 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 950.25
Current children cumulated vsize (Kb) 848956

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18755 5 1 0 95899 75 0 0 25 0 11 0 1860902169 869330944 35704 4294967295 134512640 134569956 3221224336 3221214648 1131422971 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35704 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 959.74
Current children cumulated vsize (Kb) 848956

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18762 5 1 0 96853 75 0 0 22 0 11 0 1860902169 869330944 35831 4294967295 134512640 134569956 3221224336 3221214496 1131574682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 35831 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 969.28
Current children cumulated vsize (Kb) 848956

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18770 5 1 0 97802 75 0 0 25 0 11 0 1860902169 869330944 35950 4294967295 134512640 134569956 3221224336 3221214600 1131558649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 35950 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 978.77
Current children cumulated vsize (Kb) 848956

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18776 5 1 0 98762 76 0 0 19 0 11 0 1860902169 869330944 36029 4294967295 134512640 134569956 3221224336 3221214608 1131536743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36029 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 988.38
Current children cumulated vsize (Kb) 848956

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18781 5 1 0 99728 77 0 0 25 0 11 0 1860902169 869330944 36098 4294967295 134512640 134569956 3221224336 3221214528 1131452513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36098 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 998.05
Current children cumulated vsize (Kb) 848956

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18787 5 1 0 100689 78 0 0 25 0 11 0 1860902169 869330944 36201 4294967295 134512640 134569956 3221224336 3221214528 1131452546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 36201 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1007.67
Current children cumulated vsize (Kb) 848956

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18794 5 1 0 101643 78 0 0 17 0 11 0 1860902169 869330944 36273 4294967295 134512640 134569956 3221224336 3221214496 1131422620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 36273 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1017.21
Current children cumulated vsize (Kb) 848956

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18798 5 1 0 102616 78 0 0 25 0 11 0 1860902169 869330944 36326 4294967295 134512640 134569956 3221224336 3221214528 1131452546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36326 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1026.94
Current children cumulated vsize (Kb) 848956

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18805 5 1 0 103569 79 0 0 25 0 11 0 1860902169 869330944 36429 4294967295 134512640 134569956 3221224336 3221214528 1131453230 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36429 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1036.48
Current children cumulated vsize (Kb) 848956

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18813 5 1 0 104520 79 0 0 25 0 11 0 1860902169 869330944 36524 4294967295 134512640 134569956 3221224336 3221214444 1131707148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36524 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1045.99
Current children cumulated vsize (Kb) 848956

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18821 5 1 0 105472 80 0 0 18 0 11 0 1860902169 869330944 36622 4294967295 134512640 134569956 3221224336 3221214624 1131513115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 36622 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1055.52
Current children cumulated vsize (Kb) 848956

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18828 5 1 0 106428 80 0 0 25 0 11 0 1860902169 869330944 36744 4294967295 134512640 134569956 3221224336 3221214624 1131513071 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36744 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1065.08
Current children cumulated vsize (Kb) 848956

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18834 5 1 0 107389 80 0 0 25 0 11 0 1860902169 869330944 36790 4294967295 134512640 134569956 3221224336 3221214528 1131452933 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 36790 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1074.69
Current children cumulated vsize (Kb) 848956

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18841 5 1 0 108343 80 0 0 25 0 11 0 1860902169 869330944 36844 4294967295 134512640 134569956 3221224336 3221214528 1131452513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 36844 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1084.23
Current children cumulated vsize (Kb) 848956

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18849 5 1 0 109285 81 0 0 16 0 11 0 1860902169 869330944 36943 4294967295 134512640 134569956 3221224336 3221214624 1131513848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 36943 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1093.66
Current children cumulated vsize (Kb) 848956

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18856 5 1 0 110238 81 0 0 25 0 11 0 1860902169 869330944 37096 4294967295 134512640 134569956 3221224336 3221214528 1131452975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37096 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1103.19
Current children cumulated vsize (Kb) 848956

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18864 5 1 0 111186 82 0 0 25 0 11 0 1860902169 869330944 37175 4294967295 134512640 134569956 3221224336 3221214692 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37175 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1112.68
Current children cumulated vsize (Kb) 848956

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) S 14230 14231 5245 0 -1 0 18870 5 1 0 112139 82 0 0 25 0 11 0 1860902169 869330944 37317 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37318 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (Kb) 848956

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18878 5 1 0 113099 83 0 0 25 0 11 0 1860902169 869330944 37377 4294967295 134512640 134569956 3221224336 3221214528 1131452629 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 37377 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1131.82
Current children cumulated vsize (Kb) 848956

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18885 5 1 0 114058 83 0 0 18 0 11 0 1860902169 869330944 37449 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 37449 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1141.41
Current children cumulated vsize (Kb) 848956

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18892 5 1 0 115020 83 0 0 25 0 11 0 1860902169 869330944 37572 4294967295 134512640 134569956 3221224336 3221214528 1131452521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37572 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 848956

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18899 5 1 0 115984 84 0 0 25 0 11 0 1860902169 869330944 37643 4294967295 134512640 134569956 3221224336 3221214528 1131453433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37643 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1160.68
Current children cumulated vsize (Kb) 848956

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18906 5 1 0 116948 84 0 0 17 0 11 0 1860902169 869330944 37696 4294967295 134512640 134569956 3221224336 3221214596 1131464332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 37696 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1170.32
Current children cumulated vsize (Kb) 848956

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18910 5 1 0 117927 84 0 0 24 0 11 0 1860902169 869330944 37727 4294967295 134512640 134569956 3221224336 3221214528 1131453183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 37727 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 848956

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18917 5 1 0 118890 85 0 0 16 0 11 0 1860902169 869330944 37802 4294967295 134512640 134569956 3221224336 3221214624 1131511184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37802 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1189.75
Current children cumulated vsize (Kb) 848956

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18925 5 1 0 119844 85 0 0 22 0 11 0 1860902169 869330944 37846 4294967295 134512640 134569956 3221224336 3221214624 1131513658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14231/statm): 212239 37846 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1199.29
Current children cumulated vsize (Kb) 848956

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18933 5 1 0 120798 85 0 0 25 0 11 0 1860902169 869330944 37917 4294967295 134512640 134569956 3221224336 3221214528 1131452954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37917 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1208.83
Current children cumulated vsize (Kb) 848956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14244
Raw data (/proc/14231/stat): 14231 (java) R 14230 14231 5245 0 -1 0 18933 5 1 0 120798 85 0 0 25 0 11 0 1860902169 869330944 37917 4294967295 134512640 134569956 3221224336 3221214528 1131452954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14231/statm): 212239 37917 13129 16 0 212223 0
[pid=14231] vsize: 848956
Current children cumulated CPU time (s) 1208.83
Current children cumulated vsize (Kb) 848956

Sending SIGTERM to -14231
Sleeping 2 seconds
New thread pid=14246
New thread pid=14247
One traced child (pid=14247) exited with status: 0
One traced child (pid=14240) exited with status: 0
One traced child (pid=14235) exited with status: 0
One traced child (pid=14232) exited with status: 143
One traced child (pid=14237) exited with status: 143
One traced child (pid=14233) exited with status: 143
One traced child (pid=14234) exited with status: 143
One traced child (pid=14236) exited with status: 143
One traced child (pid=14239) exited with status: 143
One traced child (pid=14238) exited with status: 143
One traced child (pid=14244) exited with status: 143
One traced child (pid=14246) exited with status: 143
One traced child (pid=14231) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.39
CPU time (s): 1209.08
CPU user time (s): 1208.21
CPU system time (s): 0.866868
CPU usage (%): 95.1737
Max. virtual memory (cumulated for all children) (Kb): 849180

Verifier Data

Verifier:	OK	966