Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.03
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 6033

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        923808 kB
Buffers:         10244 kB
Cached:          73144 kB
SwapCached:        796 kB
Active:          18696 kB
Inactive:        67252 kB
HighTotal:      131008 kB
HighFree:        54628 kB
LowTotal:       903652 kB
LowFree:        869180 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5552 kB
Slab:            19144 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 03:07:32 (client local time) WITH STATUS 143 IN 1280.23 SECONDS
stats: 6468 0 1280.23 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-10teams.opb
c reading problem ... done. Time 3.223 ms.
c #vars     1800
c #constraints  335
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 966 		Current CPU time: 142.60 ms
c starts		: 8
c conflicts		: 1241
c decisions		: 6412
c propagations		: 76998
c inspects		: 778518
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1241
c root simplifications	: 8
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 4871
c speed (decisions/second)	: 5.694286442500762
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.954

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/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1855056224 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 39 3 38 16 0 23 0
[pid=26728] 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/26728
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=26729
New thread pid=26730
New thread pid=26731
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=26732
New thread pid=26733
New thread pid=26734
New thread pid=26735
New thread pid=26736
New thread pid=26737
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/wulflinc23/normalized-mps-v2-20-10-10teams.opb
New thread pid=26738

[startup+10.0015 s]
Raw data (loadavg): 1.17 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18128 0 1 0 550 50 0 0 18 0 11 0 1855056224 867418112 22403 4294967295 134512640 134569956 3221224336 3221214640 1131434308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211772 22403 13129 16 0 211756 0
[pid=26728] vsize: 847088
Current children cumulated CPU time (s) 6
Current children cumulated vsize (Kb) 847088

[startup+20.0022 s]
Raw data (loadavg): 1.14 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18137 0 1 0 1490 51 0 0 21 0 11 0 1855056224 866607104 24016 4294967295 134512640 134569956 3221224336 3221214544 1131467352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211574 24016 13129 16 0 211558 0
[pid=26728] vsize: 846296
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (Kb) 846296

[startup+30.0028 s]
Raw data (loadavg): 1.12 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18146 0 1 0 2454 51 0 0 16 0 11 0 1855056224 865484800 23658 4294967295 134512640 134569956 3221224336 3221214640 1131518047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 23658 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (Kb) 845200

[startup+40.0035 s]
Raw data (loadavg): 1.10 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18154 0 2 0 3391 52 0 0 23 0 11 0 1855056224 865484800 23700 4294967295 134512640 134569956 3221224336 3221214472 1131573899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 23700 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 34.43
Current children cumulated vsize (Kb) 845200

[startup+50.0041 s]
Raw data (loadavg): 1.08 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18160 0 2 0 4309 52 0 0 25 0 11 0 1855056224 865484800 23902 4294967295 134512640 134569956 3221224336 3221214576 1131562115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 23902 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 43.61
Current children cumulated vsize (Kb) 845200

[startup+60.0038 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18167 0 2 0 5257 53 0 0 25 0 11 0 1855056224 865484800 24077 4294967295 134512640 134569956 3221224336 3221214376 1131432963 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 24077 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 53.1
Current children cumulated vsize (Kb) 845200

[startup+70.0054 s]
Raw data (loadavg): 1.06 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18172 0 2 0 6201 53 0 0 25 0 11 0 1855056224 865484800 24153 4294967295 134512640 134569956 3221224336 3221214800 1131401753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 24153 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 62.54
Current children cumulated vsize (Kb) 845200

[startup+80.006 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18179 0 2 0 7134 54 0 0 17 0 11 0 1855056224 865484800 24390 4294967295 134512640 134569956 3221224336 3221214472 1131574237 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 24390 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 71.88
Current children cumulated vsize (Kb) 845200

[startup+90.0067 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18185 0 2 0 8073 54 0 0 17 0 11 0 1855056224 865484800 24484 4294967295 134512640 134569956 3221224336 3221214480 1131434501 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 24484 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 81.27
Current children cumulated vsize (Kb) 845200

[startup+100.007 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18190 0 2 0 9022 55 0 0 17 0 11 0 1855056224 865484800 24700 4294967295 134512640 134569956 3221224336 3221214576 1131562385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 24700 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 90.77
Current children cumulated vsize (Kb) 845200

[startup+110.008 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18195 0 2 0 9977 55 0 0 25 0 11 0 1855056224 865484800 24825 4294967295 134512640 134569956 3221224336 3221214544 1131500197 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 24825 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 100.32
Current children cumulated vsize (Kb) 845200

[startup+120.009 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18203 0 2 0 10926 55 0 0 18 0 11 0 1855056224 865484800 24968 4294967295 134512640 134569956 3221224336 3221214528 1131467383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 24968 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 109.81
Current children cumulated vsize (Kb) 845200

[startup+130.009 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18209 0 2 0 11865 57 0 0 19 0 11 0 1855056224 865484800 25237 4294967295 134512640 134569956 3221224336 3221214520 1131546314 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 25237 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 119.22
Current children cumulated vsize (Kb) 845200

[startup+140.01 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 26738
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18214 0 2 0 12818 57 0 0 25 0 11 0 1855056224 865484800 25301 4294967295 134512640 134569956 3221224336 3221214408 1131574824 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 25301 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 128.75
Current children cumulated vsize (Kb) 845200
One traced child (pid=26738) exited with status: 0
New thread pid=26739

[startup+150.011 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18268 3 3 0 13750 59 0 0 16 0 11 0 1855056224 865484800 25470 4294967295 134512640 134569956 3221224336 3221214168 1131747237 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 25470 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 138.09
Current children cumulated vsize (Kb) 845200

[startup+160.011 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18273 3 3 0 14695 59 0 0 25 0 11 0 1855056224 865484800 25602 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 25602 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 147.54
Current children cumulated vsize (Kb) 845200

[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18278 3 3 0 15638 60 0 0 25 0 11 0 1855056224 865484800 25795 4294967295 134512640 134569956 3221224336 3221214488 1131434278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 25795 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 156.98
Current children cumulated vsize (Kb) 845200

[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18284 3 3 0 16573 60 0 0 16 0 11 0 1855056224 865484800 26001 4294967295 134512640 134569956 3221224336 3221214584 1131562513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 26001 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 166.33
Current children cumulated vsize (Kb) 845200

[startup+190.013 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18289 3 3 0 17517 61 0 0 25 0 11 0 1855056224 865484800 26111 4294967295 134512640 134569956 3221224336 3221214624 1131520298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 26111 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 175.78
Current children cumulated vsize (Kb) 845200

[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18296 3 3 0 18437 61 0 0 24 0 11 0 1855056224 865484800 26332 4294967295 134512640 134569956 3221224336 3221214352 1131763125 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 26332 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 184.98
Current children cumulated vsize (Kb) 845200

[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18303 3 3 0 19358 61 0 0 18 0 11 0 1855056224 865484800 26496 4294967295 134512640 134569956 3221224336 3221214480 1131434501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 26496 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 194.19
Current children cumulated vsize (Kb) 845200

[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18308 3 3 0 20302 62 0 0 23 0 11 0 1855056224 865484800 26660 4294967295 134512640 134569956 3221224336 3221214592 1131546279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 26660 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 203.64
Current children cumulated vsize (Kb) 845200

[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18313 3 3 0 21246 62 0 0 25 0 11 0 1855056224 865484800 26839 4294967295 134512640 134569956 3221224336 3221214688 1131500271 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 26839 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 213.08
Current children cumulated vsize (Kb) 845200

[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18319 3 3 0 22182 62 0 0 18 0 11 0 1855056224 865484800 27005 4294967295 134512640 134569956 3221224336 3221214584 1131562171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 27005 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (Kb) 845200

[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18324 3 3 0 23132 62 0 0 22 0 11 0 1855056224 865484800 27157 4294967295 134512640 134569956 3221224336 3221214480 1131574905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 27157 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 231.94
Current children cumulated vsize (Kb) 845200

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18329 3 3 0 24083 63 0 0 25 0 11 0 1855056224 865484800 27287 4294967295 134512640 134569956 3221224336 3221214528 1131467893 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 27287 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 241.46
Current children cumulated vsize (Kb) 845200

[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18334 3 3 0 25036 63 0 0 25 0 11 0 1855056224 865484800 27446 4294967295 134512640 134569956 3221224336 3221214716 1131500140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 27446 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 250.99
Current children cumulated vsize (Kb) 845200

[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18339 3 3 0 25987 63 0 0 25 0 11 0 1855056224 865484800 27556 4294967295 134512640 134569956 3221224336 3221214480 1131573945 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 27556 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 260.5
Current children cumulated vsize (Kb) 845200

[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18345 3 3 0 26933 64 0 0 25 0 11 0 1855056224 865484800 27720 4294967295 134512640 134569956 3221224336 3221214592 1131546279 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 27720 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 845200

[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18348 3 3 0 27907 64 0 0 24 0 11 0 1855056224 865484800 27784 4294967295 134512640 134569956 3221224336 3221214536 1131608963 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 27784 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 279.71
Current children cumulated vsize (Kb) 845200

[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18354 3 3 0 28857 65 0 0 22 0 11 0 1855056224 865484800 27894 4294967295 134512640 134569956 3221224336 3221214528 1131467799 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 27894 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 289.22
Current children cumulated vsize (Kb) 845200

[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18361 3 3 0 29798 65 0 0 25 0 11 0 1855056224 865484800 28035 4294967295 134512640 134569956 3221224336 3221214480 1131434154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 28035 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 298.63
Current children cumulated vsize (Kb) 845200

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18367 3 3 0 30747 65 0 0 24 0 11 0 1855056224 865484800 28183 4294967295 134512640 134569956 3221224336 3221214528 1131467430 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 28183 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 308.12
Current children cumulated vsize (Kb) 845200

[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18372 3 3 0 31700 66 0 0 25 0 11 0 1855056224 865484800 28260 4294967295 134512640 134569956 3221224336 3221214584 1131562183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 28260 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 317.66
Current children cumulated vsize (Kb) 845200

[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) S 26727 26728 5299 0 -1 0 18377 3 3 0 32648 66 0 0 25 0 11 0 1855056224 865484800 28397 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 28397 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 327.14
Current children cumulated vsize (Kb) 845200

[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18383 3 3 0 33592 67 0 0 24 0 11 0 1855056224 865484800 28488 4294967295 134512640 134569956 3221224336 3221214528 1131467293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 28488 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 336.59
Current children cumulated vsize (Kb) 845200

[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18388 3 3 0 34537 67 0 0 25 0 11 0 1855056224 865484800 28576 4294967295 134512640 134569956 3221224336 3221214552 1131500159 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 28576 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 346.04
Current children cumulated vsize (Kb) 845200

[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18393 3 3 0 35484 67 0 0 25 0 11 0 1855056224 865484800 28709 4294967295 134512640 134569956 3221224336 3221214528 1131466934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 28709 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 355.51
Current children cumulated vsize (Kb) 845200

[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18399 3 3 0 36423 68 0 0 25 0 11 0 1855056224 865484800 28846 4294967295 134512640 134569956 3221224336 3221214584 1131562109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 28846 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 364.91
Current children cumulated vsize (Kb) 845200

[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18404 3 3 0 37374 68 0 0 25 0 11 0 1855056224 865484800 29020 4294967295 134512640 134569956 3221224336 3221214480 1131574154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 29020 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 374.42
Current children cumulated vsize (Kb) 845200

[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18411 3 3 0 38307 68 0 0 25 0 11 0 1855056224 865484800 29191 4294967295 134512640 134569956 3221224336 3221214624 1131520249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29191 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 383.75
Current children cumulated vsize (Kb) 845200

[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18417 3 3 0 39253 69 0 0 25 0 11 0 1855056224 865484800 29379 4294967295 134512640 134569956 3221224336 3221214576 1131401753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29379 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 393.22
Current children cumulated vsize (Kb) 845200

[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18421 3 3 0 40219 69 0 0 25 0 11 0 1855056224 865484800 29416 4294967295 134512640 134569956 3221224336 3221214584 1131562385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29416 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 402.88
Current children cumulated vsize (Kb) 845200

[startup+440.033 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18426 3 3 0 41174 70 0 0 20 0 11 0 1855056224 865484800 29531 4294967295 134512640 134569956 3221224336 3221214480 1131574824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 29531 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 412.44
Current children cumulated vsize (Kb) 845200

[startup+450.034 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18429 3 3 0 42148 70 0 0 25 0 11 0 1855056224 865484800 29609 4294967295 134512640 134569956 3221224336 3221214480 1131434336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29609 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (Kb) 845200

[startup+460.034 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18434 3 3 0 43109 71 0 0 24 0 11 0 1855056224 865484800 29678 4294967295 134512640 134569956 3221224336 3221214304 1076478393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 29678 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 431.8
Current children cumulated vsize (Kb) 845200

[startup+470.035 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18440 3 3 0 44062 71 0 0 25 0 11 0 1855056224 865484800 29860 4294967295 134512640 134569956 3221224336 3221214072 1131748650 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29860 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 441.33
Current children cumulated vsize (Kb) 845200

[startup+480.035 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18445 3 3 0 45022 72 0 0 24 0 11 0 1855056224 865484800 29952 4294967295 134512640 134569956 3221224336 3221214584 1131562171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 29952 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 450.94
Current children cumulated vsize (Kb) 845200

[startup+490.036 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18448 3 3 0 45997 72 0 0 25 0 11 0 1855056224 865484800 29953 4294967295 134512640 134569956 3221224336 3221214480 1131574209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 29953 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 460.69
Current children cumulated vsize (Kb) 845200

[startup+500.037 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18453 3 3 0 46956 72 0 0 25 0 11 0 1855056224 865484800 30025 4294967295 134512640 134569956 3221224336 3221214480 1131575727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 30025 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 470.28
Current children cumulated vsize (Kb) 845200

[startup+510.037 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18456 3 3 0 47933 72 0 0 25 0 11 0 1855056224 865484800 30130 4294967295 134512640 134569956 3221224336 3221214592 1131546279 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30130 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 480.05
Current children cumulated vsize (Kb) 845200

[startup+520.037 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18460 3 3 0 48903 73 0 0 19 0 11 0 1855056224 865484800 30130 4294967295 134512640 134569956 3221224336 3221214584 1131562239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30130 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 489.76
Current children cumulated vsize (Kb) 845200

[startup+530.038 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18464 3 3 0 49871 73 0 0 25 0 11 0 1855056224 865484800 30232 4294967295 134512640 134569956 3221224336 3221214736 1131513284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30232 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 499.44
Current children cumulated vsize (Kb) 845200

[startup+540.038 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18469 3 3 0 50835 74 0 0 23 0 11 0 1855056224 865484800 30334 4294967295 134512640 134569956 3221224336 3221214592 1131546373 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30334 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 509.09
Current children cumulated vsize (Kb) 845200

[startup+550.039 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18473 3 3 0 51808 74 0 0 25 0 11 0 1855056224 865484800 30472 4294967295 134512640 134569956 3221224336 3221214480 1131434480 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30472 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 518.82
Current children cumulated vsize (Kb) 845200

[startup+560.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18477 3 3 0 52786 74 0 0 25 0 11 0 1855056224 865484800 30527 4294967295 134512640 134569956 3221224336 3221214580 1131485888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 30527 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 528.6
Current children cumulated vsize (Kb) 845200

[startup+570.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18481 3 3 0 53764 74 0 0 21 0 11 0 1855056224 865484800 30571 4294967295 134512640 134569956 3221224336 3221214480 1131574143 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30571 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 538.38
Current children cumulated vsize (Kb) 845200

[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18485 3 3 0 54739 75 0 0 18 0 11 0 1855056224 865484800 30609 4294967295 134512640 134569956 3221224336 3221214528 1131467921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 30609 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 548.14
Current children cumulated vsize (Kb) 845200

[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18492 3 3 0 55697 75 0 0 25 0 11 0 1855056224 865484800 30729 4294967295 134512640 134569956 3221224336 3221214480 1131574241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 30729 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 557.72
Current children cumulated vsize (Kb) 845200

[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18497 3 3 0 56661 75 0 0 25 0 11 0 1855056224 865484800 30789 4294967295 134512640 134569956 3221224336 3221214528 1131467465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30789 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 567.36
Current children cumulated vsize (Kb) 845200

[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18504 3 3 0 57610 76 0 0 22 0 11 0 1855056224 865484800 30843 4294967295 134512640 134569956 3221224336 3221214480 1131574237 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30843 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 576.86
Current children cumulated vsize (Kb) 845200

[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18508 3 3 0 58579 76 0 0 25 0 11 0 1855056224 865484800 30877 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 30877 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 586.55
Current children cumulated vsize (Kb) 845200

[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18513 3 3 0 59538 76 0 0 25 0 11 0 1855056224 865484800 30997 4294967295 134512640 134569956 3221224336 3221214624 1131518063 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 30997 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 596.14
Current children cumulated vsize (Kb) 845200

[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18519 3 3 0 60489 76 0 0 24 0 11 0 1855056224 865484800 31119 4294967295 134512640 134569956 3221224336 3221214624 1131518352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31119 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 605.65
Current children cumulated vsize (Kb) 845200

[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18524 3 3 0 61449 77 0 0 22 0 11 0 1855056224 865484800 31220 4294967295 134512640 134569956 3221224336 3221214624 1131518352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31220 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 615.26
Current children cumulated vsize (Kb) 845200

[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18530 3 3 0 62399 77 0 0 25 0 11 0 1855056224 865484800 31319 4294967295 134512640 134569956 3221224336 3221214628 1131504899 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 31319 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 624.76
Current children cumulated vsize (Kb) 845200

[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18537 3 3 0 63342 78 0 0 25 0 11 0 1855056224 865484800 31396 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 31396 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 634.2
Current children cumulated vsize (Kb) 845200

[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18543 3 3 0 64289 78 0 0 25 0 11 0 1855056224 865484800 31534 4294967295 134512640 134569956 3221224336 3221214592 1131546357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31534 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 643.67
Current children cumulated vsize (Kb) 845200

[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18548 3 3 0 65247 78 0 0 25 0 11 0 1855056224 865484800 31630 4294967295 134512640 134569956 3221224336 3221214528 1131467413 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31630 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 653.25
Current children cumulated vsize (Kb) 845200

[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18553 3 3 0 66202 79 0 0 25 0 11 0 1855056224 865484800 31716 4294967295 134512640 134569956 3221224336 3221214552 1131500204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 31716 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 662.81
Current children cumulated vsize (Kb) 845200

[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18559 3 3 0 67147 79 0 0 20 0 11 0 1855056224 865484800 31858 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31858 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 672.26
Current children cumulated vsize (Kb) 845200

[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18565 3 3 0 68091 80 0 0 25 0 11 0 1855056224 865484800 31936 4294967295 134512640 134569956 3221224336 3221214584 1131562131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 31936 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 681.71
Current children cumulated vsize (Kb) 845200

[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18572 3 3 0 69025 81 0 0 25 0 11 0 1855056224 865484800 32064 4294967295 134512640 134569956 3221224336 3221214584 1131562385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32064 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 691.06
Current children cumulated vsize (Kb) 845200

[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18577 3 3 0 69979 82 0 0 25 0 11 0 1855056224 865484800 32185 4294967295 134512640 134569956 3221224336 3221214584 1131562183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32185 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 700.61
Current children cumulated vsize (Kb) 845200

[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18583 3 3 0 70928 82 0 0 25 0 11 0 1855056224 865484800 32357 4294967295 134512640 134569956 3221224336 3221214624 1131519392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32357 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 710.1
Current children cumulated vsize (Kb) 845200

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18588 3 3 0 71890 82 0 0 25 0 11 0 1855056224 865484800 32453 4294967295 134512640 134569956 3221224336 3221214496 1131407296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32453 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 719.72
Current children cumulated vsize (Kb) 845200

[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18594 3 3 0 72848 82 0 0 25 0 11 0 1855056224 865484800 32570 4294967295 134512640 134569956 3221224336 3221214584 1131562100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32570 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 729.3
Current children cumulated vsize (Kb) 845200

[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18600 3 3 0 73808 83 0 0 25 0 11 0 1855056224 865484800 32702 4294967295 134512640 134569956 3221224336 3221214440 1131406712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32702 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 738.91
Current children cumulated vsize (Kb) 845200

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) S 26727 26728 5299 0 -1 0 18606 3 3 0 74767 83 0 0 25 0 11 0 1855056224 865484800 32730 4294967295 134512640 134569956 3221224336 3221213168 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32730 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 748.5
Current children cumulated vsize (Kb) 845200

[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18611 3 3 0 75724 84 0 0 25 0 11 0 1855056224 865484800 32844 4294967295 134512640 134569956 3221224336 3221214480 1131434710 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 32844 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 758.08
Current children cumulated vsize (Kb) 845200

[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18616 3 3 0 76683 84 0 0 25 0 11 0 1855056224 865484800 32914 4294967295 134512640 134569956 3221224336 3221214328 1076478321 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 32914 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 767.67
Current children cumulated vsize (Kb) 845200

[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18623 3 3 0 77627 84 0 0 18 0 11 0 1855056224 865484800 33010 4294967295 134512640 134569956 3221224336 3221214624 1131520986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33010 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 777.11
Current children cumulated vsize (Kb) 845200

[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18629 3 3 0 78575 85 0 0 25 0 11 0 1855056224 865484800 33081 4294967295 134512640 134569956 3221224336 3221214480 1131573899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33081 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 786.6
Current children cumulated vsize (Kb) 845200

[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18635 3 3 0 79524 85 0 0 22 0 11 0 1855056224 865484800 33205 4294967295 134512640 134569956 3221224336 3221214528 1131467568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33205 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 796.09
Current children cumulated vsize (Kb) 845200

[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18638 3 3 0 80498 85 0 0 25 0 11 0 1855056224 865484800 33292 4294967295 134512640 134569956 3221224336 3221214584 1131562270 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33292 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 805.83
Current children cumulated vsize (Kb) 845200

[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18643 3 3 0 81458 86 0 0 25 0 11 0 1855056224 865484800 33420 4294967295 134512640 134569956 3221224336 3221214480 1131574136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33420 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 815.44
Current children cumulated vsize (Kb) 845200

[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18649 3 3 0 82407 87 0 0 25 0 11 0 1855056224 865484800 33473 4294967295 134512640 134569956 3221224336 3221214528 1131467356 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33473 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 824.94
Current children cumulated vsize (Kb) 845200

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18655 3 3 0 83355 87 0 0 25 0 11 0 1855056224 865484800 33598 4294967295 134512640 134569956 3221224336 3221214576 1131485911 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33598 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 834.42
Current children cumulated vsize (Kb) 845200

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18659 3 3 0 84323 87 0 0 25 0 11 0 1855056224 865484800 33681 4294967295 134512640 134569956 3221224336 3221214480 1131574973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 33681 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 844.1
Current children cumulated vsize (Kb) 845200

[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18662 3 3 0 85301 87 0 0 25 0 11 0 1855056224 865484800 33729 4294967295 134512640 134569956 3221224336 3221214480 1131434258 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 33729 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 853.88
Current children cumulated vsize (Kb) 845200

[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18668 3 3 0 86261 88 0 0 25 0 11 0 1855056224 865484800 33798 4294967295 134512640 134569956 3221224336 3221214488 1131434501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 33798 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 863.49
Current children cumulated vsize (Kb) 845200

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18673 3 3 0 87229 88 0 0 25 0 11 0 1855056224 865484800 33949 4294967295 134512640 134569956 3221224336 3221214528 1131467383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 33949 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 873.17
Current children cumulated vsize (Kb) 845200

[startup+930.064 s]
Raw data (loadavg): 1.15 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18679 3 3 0 88199 89 0 0 25 0 11 0 1855056224 865484800 34087 4294967295 134512640 134569956 3221224336 3221214528 1131467930 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34087 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 882.88
Current children cumulated vsize (Kb) 845200

[startup+940.066 s]
Raw data (loadavg): 1.12 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18685 3 3 0 89172 89 0 0 25 0 11 0 1855056224 865484800 34146 4294967295 134512640 134569956 3221224336 3221214528 1131467092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34146 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 892.61
Current children cumulated vsize (Kb) 845200

[startup+950.067 s]
Raw data (loadavg): 1.10 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) S 26727 26728 5299 0 -1 0 18690 3 3 0 90142 89 0 0 25 0 11 0 1855056224 865484800 34146 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 34146 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 902.31
Current children cumulated vsize (Kb) 845200

[startup+960.067 s]
Raw data (loadavg): 1.09 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18697 3 3 0 91105 90 0 0 25 0 11 0 1855056224 865484800 34190 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 34190 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 911.95
Current children cumulated vsize (Kb) 845200

[startup+970.069 s]
Raw data (loadavg): 1.07 1.03 0.98 3/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18703 3 3 0 92067 90 0 0 25 0 11 0 1855056224 865484800 34234 4294967295 134512640 134569956 3221224336 3221214128 1131458217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34234 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 921.57
Current children cumulated vsize (Kb) 845200

[startup+980.07 s]
Raw data (loadavg): 1.06 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18709 3 3 0 93026 90 0 0 25 0 11 0 1855056224 865484800 34295 4294967295 134512640 134569956 3221224336 3221214528 1131467383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34295 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 931.16
Current children cumulated vsize (Kb) 845200

[startup+990.07 s]
Raw data (loadavg): 1.05 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18714 3 3 0 93987 90 0 0 21 0 11 0 1855056224 865484800 34346 4294967295 134512640 134569956 3221224336 3221214624 1131518260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 34346 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 940.77
Current children cumulated vsize (Kb) 845200

[startup+1000.07 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18721 3 3 0 94933 91 0 0 25 0 11 0 1855056224 865484800 34446 4294967295 134512640 134569956 3221224336 3221214584 1131562548 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34446 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 950.24
Current children cumulated vsize (Kb) 845200

[startup+1010.07 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18726 3 3 0 95892 91 0 0 25 0 11 0 1855056224 865484800 34511 4294967295 134512640 134569956 3221224336 3221214528 1131467067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34511 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 959.83
Current children cumulated vsize (Kb) 845200

[startup+1020.07 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18732 3 3 0 96845 92 0 0 25 0 11 0 1855056224 865484800 34616 4294967295 134512640 134569956 3221224336 3221214528 1131467383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 34616 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 969.37
Current children cumulated vsize (Kb) 845200

[startup+1030.07 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18739 3 3 0 97792 92 0 0 23 0 11 0 1855056224 865484800 34752 4294967295 134512640 134569956 3221224336 3221214528 1131466934 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 34752 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 978.84
Current children cumulated vsize (Kb) 845200

[startup+1040.07 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18745 3 3 0 98749 92 0 0 25 0 11 0 1855056224 865484800 34896 4294967295 134512640 134569956 3221224336 3221214352 1131762550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 34896 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 988.41
Current children cumulated vsize (Kb) 845200

[startup+1050.07 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18752 3 3 0 99702 93 0 0 25 0 11 0 1855056224 865484800 35021 4294967295 134512640 134569956 3221224336 3221214624 1131518063 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35021 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 997.95
Current children cumulated vsize (Kb) 845200

[startup+1060.07 s]
Raw data (loadavg): 1.01 1.02 0.98 1/66 26739
Raw data (/proc/26728/stat): 26728 (java) T 26727 26728 5299 0 -1 0 18760 3 3 0 100651 93 0 0 24 0 11 0 1855056224 865484800 35075 4294967295 134512640 134569956 3221224336 3221213204 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35075 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1007.44
Current children cumulated vsize (Kb) 845200

[startup+1070.07 s]
Raw data (loadavg): 1.09 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18765 3 3 0 101617 94 0 0 25 0 11 0 1855056224 865484800 35159 4294967295 134512640 134569956 3221224336 3221214624 1131518379 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35159 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1017.11
Current children cumulated vsize (Kb) 845200

[startup+1080.07 s]
Raw data (loadavg): 1.08 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18771 3 3 0 102577 94 0 0 25 0 11 0 1855056224 865484800 35240 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35240 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1026.71
Current children cumulated vsize (Kb) 845200

[startup+1090.07 s]
Raw data (loadavg): 1.06 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18777 3 3 0 103537 94 0 0 24 0 11 0 1855056224 865484800 35336 4294967295 134512640 134569956 3221224336 3221214624 1131518352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35336 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1036.31
Current children cumulated vsize (Kb) 845200

[startup+1100.07 s]
Raw data (loadavg): 1.05 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18782 3 3 0 104503 95 0 0 25 0 11 0 1855056224 865484800 35382 4294967295 134512640 134569956 3221224336 3221214464 1131707393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35382 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1045.98
Current children cumulated vsize (Kb) 845200

[startup+1110.07 s]
Raw data (loadavg): 1.05 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18788 3 3 0 105463 95 0 0 23 0 11 0 1855056224 865484800 35447 4294967295 134512640 134569956 3221224336 3221214624 1131520310 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35447 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1055.58
Current children cumulated vsize (Kb) 845200

[startup+1120.07 s]
Raw data (loadavg): 1.04 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18795 3 3 0 106417 95 0 0 25 0 11 0 1855056224 865484800 35556 4294967295 134512640 134569956 3221224336 3221214528 1131466927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35556 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1065.12
Current children cumulated vsize (Kb) 845200

[startup+1130.08 s]
Raw data (loadavg): 1.03 1.03 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18802 3 3 0 107374 96 0 0 25 0 11 0 1855056224 865484800 35668 4294967295 134512640 134569956 3221224336 3221214640 1131541752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35668 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1074.7
Current children cumulated vsize (Kb) 845200

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18810 3 3 0 108324 97 0 0 25 0 11 0 1855056224 865484800 35774 4294967295 134512640 134569956 3221224336 3221214528 1131467001 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35774 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1084.21
Current children cumulated vsize (Kb) 845200

[startup+1150.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) S 26727 26728 5299 0 -1 0 18818 3 3 0 109275 97 0 0 25 0 11 0 1855056224 865484800 35859 4294967295 134512640 134569956 3221224336 3221213168 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35859 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1093.72
Current children cumulated vsize (Kb) 845200

[startup+1160.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18823 3 3 0 110241 97 0 0 24 0 11 0 1855056224 865484800 35926 4294967295 134512640 134569956 3221224336 3221214480 1131573899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 35926 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1103.38
Current children cumulated vsize (Kb) 845200

[startup+1170.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18830 3 3 0 111191 98 0 0 21 0 11 0 1855056224 865484800 35983 4294967295 134512640 134569956 3221224336 3221214480 1131576503 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 35983 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1112.89
Current children cumulated vsize (Kb) 845200

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) S 26727 26728 5299 0 -1 0 18837 3 3 0 112138 98 0 0 16 0 11 0 1855056224 865484800 36088 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36088 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (Kb) 845200

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18845 3 3 0 113087 98 0 0 17 0 11 0 1855056224 865484800 36205 4294967295 134512640 134569956 3221224336 3221214624 1131518283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36205 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1131.85
Current children cumulated vsize (Kb) 845200

[startup+1200.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18852 3 3 0 114038 98 0 0 25 0 11 0 1855056224 865484800 36280 4294967295 134512640 134569956 3221224336 3221214528 1131467847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 36280 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1141.36
Current children cumulated vsize (Kb) 845200

[startup+1210.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18859 3 3 0 114992 98 0 0 18 0 11 0 1855056224 865484800 36446 4294967295 134512640 134569956 3221224336 3221214528 1131467564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36446 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1150.9
Current children cumulated vsize (Kb) 845200

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18866 3 3 0 115952 98 0 0 25 0 11 0 1855056224 865484800 36501 4294967295 134512640 134569956 3221224336 3221214480 1131434501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 36501 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1160.5
Current children cumulated vsize (Kb) 845200

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18873 3 3 0 116911 99 0 0 25 0 11 0 1855056224 865484800 36555 4294967295 134512640 134569956 3221224336 3221214624 1131519385 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36555 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1170.1
Current children cumulated vsize (Kb) 845200

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18881 3 3 0 117867 99 0 0 17 0 11 0 1855056224 865484800 36691 4294967295 134512640 134569956 3221224336 3221214524 1131407783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36691 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1179.66
Current children cumulated vsize (Kb) 845200

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18887 3 3 0 118836 100 0 0 23 0 11 0 1855056224 865484800 36748 4294967295 134512640 134569956 3221224336 3221214584 1131562418 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/26728/statm): 211300 36748 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1189.36
Current children cumulated vsize (Kb) 845200

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18893 3 3 0 119804 100 0 0 25 0 11 0 1855056224 865484800 36801 4294967295 134512640 134569956 3221224336 3221214488 1131434669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 36801 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1199.04
Current children cumulated vsize (Kb) 845200

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18898 3 3 0 120777 100 0 0 25 0 11 0 1855056224 865484800 36859 4294967295 134512640 134569956 3221224336 3221214528 1131466934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 36859 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1208.77
Current children cumulated vsize (Kb) 845200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 26739
Raw data (/proc/26728/stat): 26728 (java) R 26727 26728 5299 0 -1 0 18898 3 3 0 120777 100 0 0 25 0 11 0 1855056224 865484800 36859 4294967295 134512640 134569956 3221224336 3221214624 1131521288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/26728/statm): 211300 36859 13129 16 0 211284 0
[pid=26728] vsize: 845200
Current children cumulated CPU time (s) 1208.77
Current children cumulated vsize (Kb) 845200

Sending SIGTERM to -26728
Sleeping 2 seconds
New thread pid=26741
New thread pid=26742
One traced child (pid=26742) exited with status: 0
One traced child (pid=26737) exited with status: 0
One traced child (pid=26732) exited with status: 0
One traced child (pid=26729) exited with status: 143
One traced child (pid=26730) exited with status: 143
One traced child (pid=26731) exited with status: 143
One traced child (pid=26733) exited with status: 143
One traced child (pid=26736) exited with status: 143
One traced child (pid=26734) exited with status: 143
One traced child (pid=26739) exited with status: 143
One traced child (pid=26735) exited with status: 143
One traced child (pid=26741) exited with status: 143
One traced child (pid=26728) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.38
CPU time (s): 1280.23
CPU user time (s): 1278.18
CPU system time (s): 2.05069
CPU usage (%): 100.775
Max. virtual memory (cumulated for all children) (Kb): 847088

Verifier Data

Verifier:	OK	966