PB'05 competition: run trace

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-noswot.opb
c reading problem ... done. Time 3.369 ms.
c #vars     1340
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 5.04 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.35 ms
c CURRENT OPTIMUM=                 -18 		Current CPU time: 9.81 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 13.92 ms
c CURRENT OPTIMUM=                 -29 		Current CPU time: 18.00 ms
c CURRENT OPTIMUM=                 -33 		Current CPU time: 48.70 ms
c CURRENT OPTIMUM=                 -39 		Current CPU time: 92.12 ms
c starts		: 13
c conflicts		: 1503
c decisions		: 25465
c propagations		: 87594
c inspects		: 1295301
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1503
c root simplifications	: 319
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 22678
c speed (decisions/second)	: 22.20782301415929
c non guided choices	4045
c random choices	0
s SATISFIABLE
v X11_bit0 -X11_bit1 -X11_bit2 X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 X13_bit0 -X13_bit1 -X13_bit2 X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 X14_bit0 -X14_bit1 -X14_bit2 X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 X15_bit0 X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X22_bit0 X22_bit1 X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 X25_bit0 X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -T121_bit0 T122_bit0 -T123_bit0 -T124_bit0 T125_bit0 -T131_bit0 -T132_bit0 -T133_bit0 -T134_bit0 -T135_bit0 -T141_bit0 -T142_bit0 -T143_bit0 -T144_bit0 -T145_bit0 -T151_bit0 -T152_bit0 -T153_bit0 -T154_bit0 -T155_bit0 T231_bit0 -T232_bit0 T233_bit0 -T234_bit0 -T235_bit0 -T241_bit0 -T242_bit0 -T243_bit0 -T244_bit0 -T245_bit0 -T251_bit0 -T252_bit0 -T253_bit0 -T254_bit0 -T255_bit0 -T341_bit0 -T342_bit0 -T343_bit0 -T344_bit0 -T345_bit0 -T351_bit0 -T352_bit0 -T353_bit0 -T354_bit0 -T355_bit0 -T451_bit0 -T452_bit0 -T453_bit0 -T454_bit0 -T455_bit0 W11_bit0 -W12_bit0 W13_bit0 W14_bit0 W15_bit0 -W21_bit0 W22_bit0 -W23_bit0 -W24_bit0 W25_bit0 -W31_bit0 -W32_bit0 -W33_bit0 -W34_bit0 -W35_bit0 -W41_bit0 -W42_bit0 -W43_bit0 -W44_bit0 -W45_bit0 -W51_bit0 -W52_bit0 -W53_bit0 -W54_bit0 -W55_bit0 -S24_bit_10 -S24_bit_9 -S24_bit_8 -S24_bit_7 -S24_bit_6 -S24_bit_5 -S24_bit_4 -S24_bit_3 -S24_bit_2 -S24_bit_1 -S24_bit0 -S24_bit1 -S24_bit2 -S24_bit3 -S24_bit4 -S24_bit5 -S24_bit6 -S24_bit7 -S24_bit8 -S24_bit9 -S24_bit10 -S24_bit11 -S24_bit12 -S24_bit13 -S24_bit14 -S24_bit15 -S24_bit16 -S24_bit17 -S24_bit18 -S24_bit19 -S54_bit_10 -S54_bit_9 -S54_bit_8 -S54_bit_7 -S54_bit_6 -S54_bit_5 -S54_bit_4 -S54_bit_3 -S54_bit_2 -S54_bit_1 -S54_bit0 -S54_bit1 -S54_bit2 -S54_bit3 -S54_bit4 -S54_bit5 -S54_bit6 -S54_bit7 -S54_bit8 -S54_bit9 -S54_bit10 -S54_bit11 -S54_bit12 -S54_bit13 -S54_bit14 -S54_bit15 -S54_bit16 -S54_bit17 -S54_bit18 -S54_bit19 -S25_bit_10 -S25_bit_9 -S25_bit_8 -S25_bit_7 -S25_bit_6 -S25_bit_5 -S25_bit_4 -S25_bit_3 -S25_bit_2 -S25_bit_1 S25_bit0 S25_bit1 S25_bit2 -S25_bit3 -S25_bit4 -S25_bit5 -S25_bit6 -S25_bit7 -S25_bit8 -S25_bit9 -S25_bit10 -S25_bit11 -S25_bit12 -S25_bit13 -S25_bit14 -S25_bit15 -S25_bit16 -S25_bit17 -S25_bit18 -S25_bit19 -S55_bit_10 -S55_bit_9 -S55_bit_8 -S55_bit_7 -S55_bit_6 -S55_bit_5 -S55_bit_4 -S55_bit_3 -S55_bit_2 -S55_bit_1 -S55_bit0 -S55_bit1 -S55_bit2 -S55_bit3 -S55_bit4 -S55_bit5 -S55_bit6 -S55_bit7 -S55_bit8 -S55_bit9 -S55_bit10 -S55_bit11 -S55_bit12 -S55_bit13 -S55_bit14 -S55_bit15 -S55_bit16 -S55_bit17 -S55_bit18 -S55_bit19 -S31_bit_10 -S31_bit_9 -S31_bit_8 -S31_bit_7 -S31_bit_6 -S31_bit_5 -S31_bit_4 -S31_bit_3 -S31_bit_2 -S31_bit_1 -S31_bit0 -S31_bit1 -S31_bit2 -S31_bit3 -S31_bit4 -S31_bit5 -S31_bit6 -S31_bit7 -S31_bit8 -S31_bit9 -S31_bit10 -S31_bit11 -S31_bit12 -S31_bit13 -S31_bit14 -S31_bit15 -S31_bit16 -S31_bit17 -S31_bit18 -S31_bit19 -S32_bit_10 -S32_bit_9 -S32_bit_8 -S32_bit_7 -S32_bit_6 -S32_bit_5 -S32_bit_4 -S32_bit_3 -S32_bit_2 -S32_bit_1 -S32_bit0 -S32_bit1 -S32_bit2 -S32_bit3 -S32_bit4 -S32_bit5 -S32_bit6 -S32_bit7 -S32_bit8 -S32_bit9 -S32_bit10 -S32_bit11 -S32_bit12 -S32_bit13 -S32_bit14 -S32_bit15 -S32_bit16 -S32_bit17 -S32_bit18 -S32_bit19 -S33_bit_10 -S33_bit_9 -S33_bit_8 -S33_bit_7 -S33_bit_6 -S33_bit_5 -S33_bit_4 -S33_bit_3 -S33_bit_2 -S33_bit_1 -S33_bit0 -S33_bit1 -S33_bit2 -S33_bit3 -S33_bit4 -S33_bit5 -S33_bit6 -S33_bit7 -S33_bit8 -S33_bit9 -S33_bit10 -S33_bit11 -S33_bit12 -S33_bit13 -S33_bit14 -S33_bit15 -S33_bit16 -S33_bit17 -S33_bit18 -S33_bit19 -S34_bit_10 -S34_bit_9 -S34_bit_8 -S34_bit_7 -S34_bit_6 -S34_bit_5 -S34_bit_4 -S34_bit_3 -S34_bit_2 -S34_bit_1 -S34_bit0 -S34_bit1 -S34_bit2 -S34_bit3 -S34_bit4 -S34_bit5 -S34_bit6 -S34_bit7 -S34_bit8 -S34_bit9 -S34_bit10 -S34_bit11 -S34_bit12 -S34_bit13 -S34_bit14 -S34_bit15 -S34_bit16 -S34_bit17 -S34_bit18 -S34_bit19 -S35_bit_10 -S35_bit_9 -S35_bit_8 -S35_bit_7 -S35_bit_6 -S35_bit_5 -S35_bit_4 -S35_bit_3 -S35_bit_2 -S35_bit_1 -S35_bit0 -S35_bit1 -S35_bit2 -S35_bit3 -S35_bit4 -S35_bit5 -S35_bit6 -S35_bit7 -S35_bit8 -S35_bit9 -S35_bit10 -S35_bit11 -S35_bit12 -S35_bit13 -S35_bit14 -S35_bit15 -S35_bit16 -S35_bit17 -S35_bit18 -S35_bit19 -S41_bit_10 -S41_bit_9 -S41_bit_8 -S41_bit_7 -S41_bit_6 -S41_bit_5 -S41_bit_4 -S41_bit_3 -S41_bit_2 -S41_bit_1 -S41_bit0 -S41_bit1 -S41_bit2 -S41_bit3 -S41_bit4 -S41_bit5 -S41_bit6 -S41_bit7 -S41_bit8 -S41_bit9 -S41_bit10 -S41_bit11 -S41_bit12 -S41_bit13 -S41_bit14 -S41_bit15 -S41_bit16 -S41_bit17 -S41_bit18 -S41_bit19 -S42_bit_10 -S42_bit_9 -S42_bit_8 -S42_bit_7 -S42_bit_6 -S42_bit_5 -S42_bit_4 -S42_bit_3 -S42_bit_2 -S42_bit_1 -S42_bit0 -S42_bit1 -S42_bit2 -S42_bit3 -S42_bit4 -S42_bit5 -S42_bit6 -S42_bit7 -S42_bit8 -S42_bit9 -S42_bit10 -S42_bit11 -S42_bit12 -S42_bit13 -S42_bit14 -S42_bit15 -S42_bit16 -S42_bit17 -S42_bit18 -S42_bit19 -S43_bit_10 -S43_bit_9 -S43_bit_8 -S43_bit_7 -S43_bit_6 -S43_bit_5 -S43_bit_4 -S43_bit_3 -S43_bit_2 -S43_bit_1 -S43_bit0 -S43_bit1 -S43_bit2 -S43_bit3 -S43_bit4 -S43_bit5 -S43_bit6 -S43_bit7 -S43_bit8 -S43_bit9 -S43_bit10 -S43_bit11 -S43_bit12 -S43_bit13 -S43_bit14 -S43_bit15 -S43_bit16 -S43_bit17 -S43_bit18 -S43_bit19 -S44_bit_10 -S44_bit_9 -S44_bit_8 -S44_bit_7 -S44_bit_6 -S44_bit_5 -S44_bit_4 -S44_bit_3 -S44_bit_2 -S44_bit_1 -S44_bit0 -S44_bit1 -S44_bit2 -S44_bit3 -S44_bit4 -S44_bit5 -S44_bit6 -S44_bit7 -S44_bit8 -S44_bit9 -S44_bit10 -S44_bit11 -S44_bit12 -S44_bit13 -S44_bit14 -S44_bit15 -S44_bit16 -S44_bit17 -S44_bit18 -S44_bit19 -S45_bit_10 -S45_bit_9 -S45_bit_8 -S45_bit_7 -S45_bit_6 -S45_bit_5 -S45_bit_4 -S45_bit_3 -S45_bit_2 -S45_bit_1 -S45_bit0 -S45_bit1 -S45_bit2 -S45_bit3 -S45_bit4 -S45_bit5 -S45_bit6 -S45_bit7 -S45_bit8 -S45_bit9 -S45_bit10 -S45_bit11 -S45_bit12 -S45_bit13 -S45_bit14 -S45_bit15 -S45_bit16 -S45_bit17 -S45_bit18 -S45_bit19 -S51_bit_10 -S51_bit_9 -S51_bit_8 -S51_bit_7 -S51_bit_6 -S51_bit_5 -S51_bit_4 -S51_bit_3 -S51_bit_2 -S51_bit_1 -S51_bit0 -S51_bit1 -S51_bit2 -S51_bit3 -S51_bit4 -S51_bit5 -S51_bit6 -S51_bit7 -S51_bit8 -S51_bit9 -S51_bit10 -S51_bit11 -S51_bit12 -S51_bit13 -S51_bit14 -S51_bit15 -S51_bit16 -S51_bit17 -S51_bit18 -S51_bit19 -S52_bit_10 -S52_bit_9 -S52_bit_8 -S52_bit_7 -S52_bit_6 -S52_bit_5 -S52_bit_4 -S52_bit_3 -S52_bit_2 -S52_bit_1 -S52_bit0 -S52_bit1 -S52_bit2 -S52_bit3 -S52_bit4 -S52_bit5 -S52_bit6 -S52_bit7 -S52_bit8 -S52_bit9 -S52_bit10 -S52_bit11 -S52_bit12 -S52_bit13 -S52_bit14 -S52_bit15 -S52_bit16 -S52_bit17 -S52_bit18 -S52_bit19 -S53_bit_10 -S53_bit_9 -S53_bit_8 -S53_bit_7 -S53_bit_6 -S53_bit_5 -S53_bit_4 -S53_bit_3 -S53_bit_2 -S53_bit_1 -S53_bit0 -S53_bit1 -S53_bit2 -S53_bit3 -S53_bit4 -S53_bit5 -S53_bit6 -S53_bit7 -S53_bit8 -S53_bit9 -S53_bit10 -S53_bit11 -S53_bit12 -S53_bit13 -S53_bit14 -S53_bit15 -S53_bit16 -S53_bit17 -S53_bit18 -S53_bit19 -V148_bit_10 -V148_bit_9 -V148_bit_8 -V148_bit_7 -V148_bit_6 -V148_bit_5 -V148_bit_4 -V148_bit_3 -V148_bit_2 -V148_bit_1 -V148_bit0 -V148_bit1 -V148_bit2 -V148_bit3 -V148_bit4 -V148_bit5 -V148_bit6 -V148_bit7 -V148_bit8 -V148_bit9 -V148_bit10 -V148_bit11 -V148_bit12 -V148_bit13 -V148_bit14 -V148_bit15 -V148_bit16 -V148_bit17 -V148_bit18 -V148_bit19 -V150_bit_10 -V150_bit_9 -V150_bit_8 -V150_bit_7 -V150_bit_6 -V150_bit_5 -V150_bit_4 -V150_bit_3 -V150_bit_2 -V150_bit_1 -V150_bit0 -V150_bit1 -V150_bit2 -V150_bit3 -V150_bit4 -V150_bit5 -V150_bit6 -V150_bit7 -V150_bit8 -V150_bit9 -V150_bit10 -V150_bit11 -V150_bit12 -V150_bit13 -V150_bit14 -V150_bit15 -V150_bit16 -V150_bit17 -V150_bit18 -V150_bit19 -Q246_bit_10 -Q246_bit_9 -Q246_bit_8 -Q246_bit_7 -Q246_bit_6 -Q246_bit_5 -Q246_bit_4 -Q246_bit_3 -Q246_bit_2 -Q246_bit_1 -Q246_bit0 -Q246_bit1 -Q246_bit2 -Q246_bit3 -Q246_bit4 -Q246_bit5 -Q246_bit6 -Q246_bit7 -Q246_bit8 -Q246_bit9 -Q246_bit10 -Q246_bit11 -Q246_bit12 -Q246_bit13 -Q246_bit14 -Q246_bit15 -Q246_bit16 -Q246_bit17 -Q246_bit18 -Q246_bit19 -S11_bit_10 -S11_bit_9 -S11_bit_8 -S11_bit_7 -S11_bit_6 -S11_bit_5 -S11_bit_4 -S11_bit_3 -S11_bit_2 -S11_bit_1 -S11_bit0 -S11_bit1 -S11_bit2 -S11_bit3 -S11_bit4 -S11_bit5 -S11_bit6 -S11_bit7 -S11_bit8 -S11_bit9 -S11_bit10 -S11_bit11 -S11_bit12 -S11_bit13 -S11_bit14 -S11_bit15 -S11_bit16 -S11_bit17 -S11_bit18 -S11_bit19 -S21_bit_10 -S21_bit_9 -S21_bit_8 -S21_bit_7 -S21_bit_6 -S21_bit_5 -S21_bit_4 -S21_bit_3 -S21_bit_2 -S21_bit_1 -S21_bit0 -S21_bit1 -S21_bit2 -S21_bit3 -S21_bit4 -S21_bit5 -S21_bit6 -S21_bit7 -S21_bit8 -S21_bit9 -S21_bit10 -S21_bit11 -S21_bit12 -S21_bit13 -S21_bit14 -S21_bit15 -S21_bit16 -S21_bit17 -S21_bit18 -S21_bit19 -S12_bit_10 -S12_bit_9 -S12_bit_8 -S12_bit_7 -S12_bit_6 -S12_bit_5 -S12_bit_4 -S12_bit_3 -S12_bit_2 -S12_bit_1 -S12_bit0 -S12_bit1 -S12_bit2 -S12_bit3 -S12_bit4 -S12_bit5 -S12_bit6 -S12_bit7 -S12_bit8 -S12_bit9 -S12_bit10 -S12_bit11 -S12_bit12 -S12_bit13 -S12_bit14 -S12_bit15 -S12_bit16 -S12_bit17 -S12_bit18 -S12_bit19 -S22_bit_10 S22_bit_9 -S22_bit_8 -S22_bit_7 S22_bit_6 -S22_bit_5 -S22_bit_4 S22_bit_3 -S22_bit_2 -S22_bit_1 -S22_bit0 S22_bit1 -S22_bit2 -S22_bit3 -S22_bit4 -S22_bit5 -S22_bit6 -S22_bit7 -S22_bit8 -S22_bit9 -S22_bit10 -S22_bit11 -S22_bit12 -S22_bit13 -S22_bit14 -S22_bit15 -S22_bit16 -S22_bit17 -S22_bit18 -S22_bit19 -S13_bit_10 -S13_bit_9 -S13_bit_8 -S13_bit_7 -S13_bit_6 -S13_bit_5 -S13_bit_4 -S13_bit_3 -S13_bit_2 -S13_bit_1 -S13_bit0 -S13_bit1 -S13_bit2 -S13_bit3 -S13_bit4 -S13_bit5 -S13_bit6 -S13_bit7 -S13_bit8 -S13_bit9 -S13_bit10 -S13_bit11 -S13_bit12 -S13_bit13 -S13_bit14 -S13_bit15 -S13_bit16 -S13_bit17 -S13_bit18 -S13_bit19 -S23_bit_10 -S23_bit_9 -S23_bit_8 -S23_bit_7 -S23_bit_6 -S23_bit_5 -S23_bit_4 -S23_bit_3 -S23_bit_2 -S23_bit_1 -S23_bit0 -S23_bit1 -S23_bit2 -S23_bit3 -S23_bit4 -S23_bit5 -S23_bit6 -S23_bit7 -S23_bit8 -S23_bit9 -S23_bit10 -S23_bit11 -S23_bit12 -S23_bit13 -S23_bit14 -S23_bit15 -S23_bit16 -S23_bit17 -S23_bit18 -S23_bit19 -S14_bit_10 -S14_bit_9 -S14_bit_8 -S14_bit_7 -S14_bit_6 -S14_bit_5 -S14_bit_4 -S14_bit_3 S14_bit_2 -S14_bit_1 S14_bit0 -S14_bit1 -S14_bit2 -S14_bit3 -S14_bit4 -S14_bit5 -S14_bit6 -S14_bit7 -S14_bit8 -S14_bit9 -S14_bit10 -S14_bit11 -S14_bit12 -S14_bit13 -S14_bit14 -S14_bit15 -S14_bit16 -S14_bit17 -S14_bit18 -S14_bit19 -S15_bit_10 -S15_bit_9 -S15_bit_8 -S15_bit_7 -S15_bit_6 -S15_bit_5 -S15_bit_4 -S15_bit_3 -S15_bit_2 -S15_bit_1 -S15_bit0 -S15_bit1 -S15_bit2 -S15_bit3 -S15_bit4 -S15_bit5 -S15_bit6 -S15_bit7 -S15_bit8 -S15_bit9 -S15_bit10 -S15_bit11 -S15_bit12 -S15_bit13 -S15_bit14 -S15_bit15 -S15_bit16 -S15_bit17 -S15_bit18 -S15_bit19 
c objective function=-39
c Total CPU time (ms) : 1238.987

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/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789041105 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 39 3 38 16 0 23 0
[pid=30838] 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/30838
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=30839
New thread pid=30840
New thread pid=30841
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=30842
New thread pid=30843
New thread pid=30844
New thread pid=30845
New thread pid=30846
New thread pid=30847
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-noswot.opb
New thread pid=30848
One traced child (pid=30848) exited with status: 0
New thread pid=30849
One traced child (pid=30849) exited with status: 0
New thread pid=30850

[startup+10.0022 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 30850
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18185 3 2 0 690 50 0 0 19 0 11 0 1789041105 860565504 20746 4294967295 134512640 134569956 3221224336 3221214500 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 210099 20746 13129 16 0 210083 0
[pid=30838] vsize: 840396
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (Kb) 840396
One traced child (pid=30850) exited with status: 0
New thread pid=30851
One traced child (pid=30851) exited with status: 0
New thread pid=30852
One traced child (pid=30852) exited with status: 0
New thread pid=30853

[startup+20.0041 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 30853
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18202 3 2 0 1600 51 0 0 22 0 11 0 1789041105 859381760 20732 4294967295 134512640 134569956 3221224336 3221214572 1131385127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 20732 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 16.51
Current children cumulated vsize (Kb) 839240

[startup+30.005 s]
Raw data (loadavg): 1.13 1.03 0.95 2/66 30853
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18216 3 2 0 2534 51 0 0 23 0 11 0 1789041105 859381760 20966 4294967295 134512640 134569956 3221224336 3221214528 1131384146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 20966 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 25.85
Current children cumulated vsize (Kb) 839240

[startup+40.0058 s]
Raw data (loadavg): 1.11 1.03 0.95 2/66 30853
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18227 3 2 0 3466 52 0 0 25 0 11 0 1789041105 859381760 21139 4294967295 134512640 134569956 3221224336 3221214488 1131397783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 21139 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 35.18
Current children cumulated vsize (Kb) 839240

[startup+50.0077 s]
Raw data (loadavg): 1.10 1.03 0.95 2/66 30853
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18236 3 2 0 4414 53 0 0 24 0 11 0 1789041105 859381760 21610 4294967295 134512640 134569956 3221224336 3221214084 1085806240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 21610 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (Kb) 839240
One traced child (pid=30853) exited with status: 0
New thread pid=30854

[startup+60.0075 s]
Raw data (loadavg): 1.08 1.03 0.95 2/66 30854
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18246 3 2 0 5374 53 0 0 25 0 11 0 1789041105 859381760 21741 4294967295 134512640 134569956 3221224336 3221214632 1131532407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 21741 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 54.27
Current children cumulated vsize (Kb) 839240

[startup+70.0084 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 30854
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18257 3 2 0 6336 54 0 0 17 0 11 0 1789041105 859381760 21829 4294967295 134512640 134569956 3221224336 3221214488 1131399090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 21829 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 63.9
Current children cumulated vsize (Kb) 839240

[startup+80.0102 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 30854
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18266 3 2 0 7303 54 0 0 17 0 11 0 1789041105 859381760 21948 4294967295 134512640 134569956 3221224336 3221214040 1085806284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 21948 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 73.57
Current children cumulated vsize (Kb) 839240

[startup+90.0111 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 30854
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18275 3 2 0 8274 55 0 0 25 0 11 0 1789041105 859381760 22075 4294967295 134512640 134569956 3221224336 3221214488 1131398667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22075 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 83.29
Current children cumulated vsize (Kb) 839240
One traced child (pid=30854) exited with status: 0
New thread pid=30855

[startup+100.012 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18284 3 2 0 9251 56 0 0 25 0 11 0 1789041105 859381760 22143 4294967295 134512640 134569956 3221224336 3221214488 1131397906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22143 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 93.07
Current children cumulated vsize (Kb) 839240

[startup+110.013 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18293 3 2 0 10230 56 0 0 25 0 11 0 1789041105 859381760 22205 4294967295 134512640 134569956 3221224336 3221214632 1131531243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22205 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 102.86
Current children cumulated vsize (Kb) 839240

[startup+120.014 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18302 3 2 0 11198 57 0 0 25 0 11 0 1789041105 859381760 22244 4294967295 134512640 134569956 3221224336 3221214488 1131397759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22244 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 112.55
Current children cumulated vsize (Kb) 839240

[startup+130.015 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18311 3 2 0 12159 57 0 0 23 0 11 0 1789041105 859381760 22301 4294967295 134512640 134569956 3221224336 3221214632 1131534144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22301 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 122.16
Current children cumulated vsize (Kb) 839240

[startup+140.015 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18320 3 2 0 13118 57 0 0 25 0 11 0 1789041105 859381760 22339 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22339 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 131.75
Current children cumulated vsize (Kb) 839240

[startup+150.017 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18330 3 2 0 14075 58 0 0 25 0 11 0 1789041105 859381760 22537 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22537 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 141.33
Current children cumulated vsize (Kb) 839240

[startup+160.017 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18338 3 2 0 15050 58 0 0 25 0 11 0 1789041105 859381760 22641 4294967295 134512640 134569956 3221224336 3221214488 1131398015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22641 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 151.08
Current children cumulated vsize (Kb) 839240

[startup+170.019 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18347 3 2 0 16026 58 0 0 25 0 11 0 1789041105 859381760 22714 4294967295 134512640 134569956 3221224336 3221214632 1131531023 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22714 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (Kb) 839240

[startup+180.02 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18356 3 2 0 17000 59 0 0 25 0 11 0 1789041105 859381760 22773 4294967295 134512640 134569956 3221224336 3221214632 1131531304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22773 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (Kb) 839240

[startup+190.021 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18365 3 2 0 17972 59 0 0 25 0 11 0 1789041105 859381760 22825 4294967295 134512640 134569956 3221224336 3221214576 1131414660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 22825 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 180.31
Current children cumulated vsize (Kb) 839240

[startup+200.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18374 3 2 0 18944 59 0 0 18 0 11 0 1789041105 859381760 22884 4294967295 134512640 134569956 3221224336 3221214488 1131398694 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22884 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 839240

[startup+210.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18383 3 2 0 19918 60 0 0 18 0 11 0 1789041105 859381760 22976 4294967295 134512640 134569956 3221224336 3221214488 1131398750 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 22976 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 199.78
Current children cumulated vsize (Kb) 839240

[startup+220.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18391 3 2 0 20897 60 0 0 25 0 11 0 1789041105 859381760 23044 4294967295 134512640 134569956 3221224336 3221214632 1131532344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23044 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 209.57
Current children cumulated vsize (Kb) 839240

[startup+230.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18401 3 2 0 21868 61 0 0 24 0 11 0 1789041105 859381760 23083 4294967295 134512640 134569956 3221224336 3221214488 1131398134 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23083 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 219.29
Current children cumulated vsize (Kb) 839240

[startup+240.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18410 3 2 0 22840 61 0 0 25 0 11 0 1789041105 859381760 23118 4294967295 134512640 134569956 3221224336 3221214528 1131384128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23118 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 229.01
Current children cumulated vsize (Kb) 839240

[startup+250.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18420 3 2 0 23810 62 0 0 16 0 11 0 1789041105 859381760 23205 4294967295 134512640 134569956 3221224336 3221214632 1131533952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23205 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 238.72
Current children cumulated vsize (Kb) 839240

[startup+260.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18429 3 2 0 24786 63 0 0 25 0 11 0 1789041105 859381760 23307 4294967295 134512640 134569956 3221224336 3221214632 1131532359 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23307 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 248.49
Current children cumulated vsize (Kb) 839240

[startup+270.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18439 3 2 0 25767 63 0 0 19 0 11 0 1789041105 859381760 23354 4294967295 134512640 134569956 3221224336 3221214488 1131398025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23354 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 258.3
Current children cumulated vsize (Kb) 839240

[startup+280.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18448 3 2 0 26749 64 0 0 25 0 11 0 1789041105 859381760 23386 4294967295 134512640 134569956 3221224336 3221214576 1131414870 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23386 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 268.13
Current children cumulated vsize (Kb) 839240

[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18458 3 2 0 27727 64 0 0 25 0 11 0 1789041105 859381760 23422 4294967295 134512640 134569956 3221224336 3221214488 1131398625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23422 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 277.91
Current children cumulated vsize (Kb) 839240

[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18468 3 2 0 28704 64 0 0 18 0 11 0 1789041105 859381760 23454 4294967295 134512640 134569956 3221224336 3221214504 1131386054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23454 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 287.68
Current children cumulated vsize (Kb) 839240

[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18477 3 2 0 29678 65 0 0 25 0 11 0 1789041105 859381760 23489 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23489 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 297.43
Current children cumulated vsize (Kb) 839240

[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18486 3 2 0 30653 65 0 0 20 0 11 0 1789041105 859381760 23557 4294967295 134512640 134569956 3221224336 3221214632 1131534059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23557 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 307.18
Current children cumulated vsize (Kb) 839240

[startup+330.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18495 3 2 0 31624 66 0 0 20 0 11 0 1789041105 859381760 23582 4294967295 134512640 134569956 3221224336 3221214632 1131534857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23582 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 316.9
Current children cumulated vsize (Kb) 839240

[startup+340.035 s]
Raw data (loadavg): 1.00 1.00 0.95 3/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18504 3 2 0 32596 66 0 0 25 0 11 0 1789041105 859381760 23652 4294967295 134512640 134569956 3221224336 3221214496 1131403801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23652 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 326.62
Current children cumulated vsize (Kb) 839240

[startup+350.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18513 3 2 0 33568 67 0 0 25 0 11 0 1789041105 859381760 23702 4294967295 134512640 134569956 3221224336 3221214576 1131414478 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 23702 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 336.35
Current children cumulated vsize (Kb) 839240

[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18522 3 2 0 34543 67 0 0 25 0 11 0 1789041105 859381760 23804 4294967295 134512640 134569956 3221224336 3221214576 1131414840 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23804 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 346.1
Current children cumulated vsize (Kb) 839240

[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18530 3 2 0 35522 67 0 0 25 0 11 0 1789041105 859381760 23828 4294967295 134512640 134569956 3221224336 3221214632 1131532483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23828 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 355.89
Current children cumulated vsize (Kb) 839240

[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18539 3 2 0 36496 68 0 0 25 0 11 0 1789041105 859381760 23896 4294967295 134512640 134569956 3221224336 3221214488 1131397968 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23896 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 365.64
Current children cumulated vsize (Kb) 839240

[startup+390.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18549 3 2 0 37472 68 0 0 16 0 11 0 1789041105 859381760 23940 4294967295 134512640 134569956 3221224336 3221214488 1131398344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23940 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 375.4
Current children cumulated vsize (Kb) 839240

[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18558 3 2 0 38453 69 0 0 17 0 11 0 1789041105 859381760 23984 4294967295 134512640 134569956 3221224336 3221214488 1131397813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 23984 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 385.22
Current children cumulated vsize (Kb) 839240

[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18567 3 2 0 39436 70 0 0 25 0 11 0 1789041105 859381760 24042 4294967295 134512640 134569956 3221224336 3221214576 1131415100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24042 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 395.06
Current children cumulated vsize (Kb) 839240

[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18576 3 2 0 40417 70 0 0 25 0 11 0 1789041105 859381760 24072 4294967295 134512640 134569956 3221224336 3221214632 1131531304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24072 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 404.87
Current children cumulated vsize (Kb) 839240

[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18585 3 2 0 41398 71 0 0 25 0 11 0 1789041105 859381760 24083 4294967295 134512640 134569956 3221224336 3221214576 1131414433 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24083 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 414.69
Current children cumulated vsize (Kb) 839240

[startup+440.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18594 3 2 0 42378 71 0 0 21 0 11 0 1789041105 859381760 24101 4294967295 134512640 134569956 3221224336 3221214256 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24101 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 424.49
Current children cumulated vsize (Kb) 839240

[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18603 3 2 0 43357 72 0 0 24 0 11 0 1789041105 859381760 24171 4294967295 134512640 134569956 3221224336 3221214576 1131414837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24171 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 434.29
Current children cumulated vsize (Kb) 839240

[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18612 3 2 0 44337 72 0 0 25 0 11 0 1789041105 859381760 24179 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24179 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 444.09
Current children cumulated vsize (Kb) 839240

[startup+470.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18621 3 2 0 45318 73 0 0 25 0 11 0 1789041105 859381760 24234 4294967295 134512640 134569956 3221224336 3221214528 1131384144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24234 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 453.91
Current children cumulated vsize (Kb) 839240

[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18631 3 2 0 46297 73 0 0 24 0 11 0 1789041105 859381760 24288 4294967295 134512640 134569956 3221224336 3221214576 1131414837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24288 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 463.7
Current children cumulated vsize (Kb) 839240

[startup+490.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18640 3 2 0 47279 73 0 0 24 0 11 0 1789041105 859381760 24297 4294967295 134512640 134569956 3221224336 3221214488 1131398512 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24297 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 473.52
Current children cumulated vsize (Kb) 839240

[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18648 3 2 0 48263 74 0 0 25 0 11 0 1789041105 859381760 24340 4294967295 134512640 134569956 3221224336 3221214632 1131532474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24340 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 483.37
Current children cumulated vsize (Kb) 839240

[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18657 3 2 0 49244 74 0 0 25 0 11 0 1789041105 859381760 24355 4294967295 134512640 134569956 3221224336 3221214632 1131533267 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24355 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 493.18
Current children cumulated vsize (Kb) 839240

[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18667 3 2 0 50220 74 0 0 24 0 11 0 1789041105 859381760 24397 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24397 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 502.94
Current children cumulated vsize (Kb) 839240

[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) S 30837 30838 6847 0 -1 0 18675 3 2 0 51196 75 0 0 17 0 11 0 1789041105 859381760 24422 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24422 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 512.71
Current children cumulated vsize (Kb) 839240

[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18685 3 2 0 52170 75 0 0 19 0 11 0 1789041105 859381760 24452 4294967295 134512640 134569956 3221224336 3221214488 1131398165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24452 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 522.45
Current children cumulated vsize (Kb) 839240

[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18693 3 2 0 53146 76 0 0 25 0 11 0 1789041105 859381760 24509 4294967295 134512640 134569956 3221224336 3221214488 1131398035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24509 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 532.22
Current children cumulated vsize (Kb) 839240

[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18702 3 2 0 54123 76 0 0 25 0 11 0 1789041105 859381760 24585 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24585 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 541.99
Current children cumulated vsize (Kb) 839240

[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18711 3 2 0 55104 77 0 0 25 0 11 0 1789041105 859381760 24635 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24635 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 551.81
Current children cumulated vsize (Kb) 839240

[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18720 3 2 0 56083 77 0 0 25 0 11 0 1789041105 859381760 24667 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24667 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 561.6
Current children cumulated vsize (Kb) 839240

[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18729 3 2 0 57063 77 0 0 17 0 11 0 1789041105 859381760 24693 4294967295 134512640 134569956 3221224336 3221214488 1131398684 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24693 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 571.4
Current children cumulated vsize (Kb) 839240

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18737 3 2 0 58046 77 0 0 25 0 11 0 1789041105 859381760 24716 4294967295 134512640 134569956 3221224336 3221214488 1131397817 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24716 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 581.23
Current children cumulated vsize (Kb) 839240

[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18746 3 2 0 59029 78 0 0 25 0 11 0 1789041105 859381760 24761 4294967295 134512640 134569956 3221224336 3221214488 1131398549 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24761 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 591.07
Current children cumulated vsize (Kb) 839240

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18755 3 2 0 60013 78 0 0 21 0 11 0 1789041105 859381760 24795 4294967295 134512640 134569956 3221224336 3221214064 1131698268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24795 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 600.91
Current children cumulated vsize (Kb) 839240

[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18762 3 2 0 61001 79 0 0 25 0 11 0 1789041105 859381760 24806 4294967295 134512640 134569956 3221224336 3221214284 1131066971 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24806 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 610.8
Current children cumulated vsize (Kb) 839240

[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18767 3 2 0 61978 79 0 0 24 0 11 0 1789041105 859381760 24825 4294967295 134512640 134569956 3221224336 3221214224 1131698212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 24825 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 620.57
Current children cumulated vsize (Kb) 839240

[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18774 3 2 0 62930 80 0 0 25 0 11 0 1789041105 859381760 24832 4294967295 134512640 134569956 3221224336 3221214216 1131698306 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24832 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 630.1
Current children cumulated vsize (Kb) 839240

[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18782 3 2 0 63874 80 0 0 25 0 11 0 1789041105 859381760 24844 4294967295 134512640 134569956 3221224336 3221214632 1131532380 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24844 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 639.54
Current children cumulated vsize (Kb) 839240

[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18790 3 2 0 64816 80 0 0 25 0 11 0 1789041105 859381760 24862 4294967295 134512640 134569956 3221224336 3221214576 1131414539 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 24862 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 648.96
Current children cumulated vsize (Kb) 839240

[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18799 3 2 0 65762 81 0 0 25 0 11 0 1789041105 859381760 25414 4294967295 134512640 134569956 3221224336 3221214632 1131534059 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25414 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 839240

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18807 3 2 0 66742 81 0 0 25 0 11 0 1789041105 859381760 25467 4294967295 134512640 134569956 3221224336 3221214632 1131531236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25467 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 668.23
Current children cumulated vsize (Kb) 839240

[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18816 3 2 0 67720 81 0 0 25 0 11 0 1789041105 859381760 25503 4294967295 134512640 134569956 3221224336 3221214520 1131391727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25503 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 678.01
Current children cumulated vsize (Kb) 839240

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18826 3 2 0 68694 82 0 0 24 0 11 0 1789041105 859381760 25549 4294967295 134512640 134569956 3221224336 3221214488 1131399262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25549 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 687.76
Current children cumulated vsize (Kb) 839240

[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18834 3 2 0 69671 82 0 0 25 0 11 0 1789041105 859381760 25574 4294967295 134512640 134569956 3221224336 3221214488 1131397813 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25574 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 697.53
Current children cumulated vsize (Kb) 839240

[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18844 3 2 0 70641 83 0 0 24 0 11 0 1789041105 859381760 25627 4294967295 134512640 134569956 3221224336 3221214632 1131532430 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25627 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 707.24
Current children cumulated vsize (Kb) 839240

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18854 3 2 0 71614 83 0 0 18 0 11 0 1789041105 859381760 25673 4294967295 134512640 134569956 3221224336 3221214488 1131398759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 25673 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 716.97
Current children cumulated vsize (Kb) 839240

[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18862 3 2 0 72591 83 0 0 25 0 11 0 1789041105 859381760 25740 4294967295 134512640 134569956 3221224336 3221214488 1131398294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25740 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 726.74
Current children cumulated vsize (Kb) 839240

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18871 3 2 0 73567 84 0 0 25 0 11 0 1789041105 859381760 25798 4294967295 134512640 134569956 3221224336 3221214488 1131398134 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25798 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 736.51
Current children cumulated vsize (Kb) 839240

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18880 3 2 0 74544 84 0 0 25 0 11 0 1789041105 859381760 25840 4294967295 134512640 134569956 3221224336 3221214632 1131532240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25840 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 746.28
Current children cumulated vsize (Kb) 839240

[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18889 3 2 0 75522 84 0 0 25 0 11 0 1789041105 859381760 25892 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 25892 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 756.06
Current children cumulated vsize (Kb) 839240

[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18897 3 2 0 76502 84 0 0 25 0 11 0 1789041105 859381760 25917 4294967295 134512640 134569956 3221224336 3221214632 1131531023 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25917 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 765.86
Current children cumulated vsize (Kb) 839240

[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18907 3 2 0 77476 85 0 0 24 0 11 0 1789041105 859381760 25961 4294967295 134512640 134569956 3221224336 3221214488 1131398051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 25961 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 775.61
Current children cumulated vsize (Kb) 839240

[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18915 3 2 0 78455 85 0 0 17 0 11 0 1789041105 859381760 26004 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26004 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 785.4
Current children cumulated vsize (Kb) 839240

[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18924 3 2 0 79432 85 0 0 25 0 11 0 1789041105 859381760 26050 4294967295 134512640 134569956 3221224336 3221214576 1131414682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26050 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 795.17
Current children cumulated vsize (Kb) 839240

[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18933 3 2 0 80409 86 0 0 25 0 11 0 1789041105 859381760 26088 4294967295 134512640 134569956 3221224336 3221214632 1131531007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26088 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 804.95
Current children cumulated vsize (Kb) 839240

[startup+840.077 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18942 3 2 0 81386 86 0 0 25 0 11 0 1789041105 859381760 26131 4294967295 134512640 134569956 3221224336 3221214784 1131403801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26131 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 814.72
Current children cumulated vsize (Kb) 839240

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18951 3 2 0 82365 87 0 0 24 0 11 0 1789041105 859381760 26169 4294967295 134512640 134569956 3221224336 3221214488 1131399265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26169 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 824.52
Current children cumulated vsize (Kb) 839240

[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18959 3 2 0 83345 87 0 0 19 0 11 0 1789041105 859381760 26181 4294967295 134512640 134569956 3221224336 3221214576 1131414425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26181 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 834.32
Current children cumulated vsize (Kb) 839240

[startup+870.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18967 3 2 0 84326 88 0 0 25 0 11 0 1789041105 859381760 26225 4294967295 134512640 134569956 3221224336 3221214576 1131391925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26225 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 844.14
Current children cumulated vsize (Kb) 839240

[startup+880.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18976 3 2 0 85304 88 0 0 25 0 11 0 1789041105 859381760 26265 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26265 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 853.92
Current children cumulated vsize (Kb) 839240

[startup+890.082 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18983 3 2 0 86286 88 0 0 25 0 11 0 1789041105 859381760 26287 4294967295 134512640 134569956 3221224336 3221214576 1131414439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26287 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 863.74
Current children cumulated vsize (Kb) 839240

[startup+900.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 18992 3 2 0 87260 89 0 0 20 0 11 0 1789041105 859381760 26324 4294967295 134512640 134569956 3221224336 3221214632 1131534059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26324 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 873.49
Current children cumulated vsize (Kb) 839240

[startup+910.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19000 3 2 0 88237 89 0 0 24 0 11 0 1789041105 859381760 26352 4294967295 134512640 134569956 3221224336 3221214488 1131398413 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26352 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 883.26
Current children cumulated vsize (Kb) 839240

[startup+920.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19009 3 2 0 89211 89 0 0 25 0 11 0 1789041105 859381760 26377 4294967295 134512640 134569956 3221224336 3221214032 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26377 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 893
Current children cumulated vsize (Kb) 839240

[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19018 3 2 0 90187 89 0 0 18 0 11 0 1789041105 859381760 26463 4294967295 134512640 134569956 3221224336 3221214488 1131398035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26463 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 902.76
Current children cumulated vsize (Kb) 839240

[startup+940.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19027 3 2 0 91162 90 0 0 25 0 11 0 1789041105 859381760 26501 4294967295 134512640 134569956 3221224336 3221214576 1131414870 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26501 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 912.52
Current children cumulated vsize (Kb) 839240

[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19036 3 2 0 92136 90 0 0 25 0 11 0 1789041105 859381760 26506 4294967295 134512640 134569956 3221224336 3221214632 1131532380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26506 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (Kb) 839240

[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19045 3 2 0 93110 91 0 0 22 0 11 0 1789041105 859381760 26567 4294967295 134512640 134569956 3221224336 3221214576 1131414840 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26567 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 932.01
Current children cumulated vsize (Kb) 839240

[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19055 3 2 0 94085 91 0 0 25 0 11 0 1789041105 859381760 26629 4294967295 134512640 134569956 3221224336 3221214488 1131397815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26629 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (Kb) 839240

[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19064 3 2 0 95061 92 0 0 20 0 11 0 1789041105 859381760 26667 4294967295 134512640 134569956 3221224336 3221214488 1131397865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26667 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 951.53
Current children cumulated vsize (Kb) 839240

[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19073 3 2 0 96036 92 0 0 25 0 11 0 1789041105 859381760 26719 4294967295 134512640 134569956 3221224336 3221214632 1131533958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26719 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 961.28
Current children cumulated vsize (Kb) 839240

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19082 3 2 0 97014 93 0 0 25 0 11 0 1789041105 859381760 26725 4294967295 134512640 134569956 3221224336 3221214632 1131532380 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26725 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 971.07
Current children cumulated vsize (Kb) 839240

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19091 3 2 0 97991 94 0 0 25 0 11 0 1789041105 859381760 26789 4294967295 134512640 134569956 3221224336 3221214632 1131534059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26789 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 980.85
Current children cumulated vsize (Kb) 839240

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19100 3 2 0 98970 94 0 0 25 0 11 0 1789041105 859381760 26829 4294967295 134512640 134569956 3221224336 3221214488 1131398241 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26829 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 990.64
Current children cumulated vsize (Kb) 839240

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19108 3 2 0 99953 94 0 0 25 0 11 0 1789041105 859381760 26870 4294967295 134512640 134569956 3221224336 3221214576 1131414799 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 26870 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1000.47
Current children cumulated vsize (Kb) 839240

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19116 3 2 0 100936 95 0 0 23 0 11 0 1789041105 859381760 26876 4294967295 134512640 134569956 3221224336 3221214632 1131534050 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26876 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1010.31
Current children cumulated vsize (Kb) 839240

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19125 3 2 0 101917 95 0 0 25 0 11 0 1789041105 859381760 26920 4294967295 134512640 134569956 3221224336 3221214572 1131384096 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26920 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1020.12
Current children cumulated vsize (Kb) 839240

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19134 3 2 0 102899 95 0 0 25 0 11 0 1789041105 859381760 26937 4294967295 134512640 134569956 3221224336 3221214488 1131398122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26937 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1029.94
Current children cumulated vsize (Kb) 839240

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19142 3 2 0 103883 96 0 0 25 0 11 0 1789041105 859381760 26963 4294967295 134512640 134569956 3221224336 3221214576 1131414827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26963 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1039.79
Current children cumulated vsize (Kb) 839240

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19150 3 2 0 104867 96 0 0 19 0 11 0 1789041105 859381760 26976 4294967295 134512640 134569956 3221224336 3221214632 1131533205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26976 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1049.63
Current children cumulated vsize (Kb) 839240

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19159 3 2 0 105850 96 0 0 25 0 11 0 1789041105 859381760 26995 4294967295 134512640 134569956 3221224336 3221214488 1131397752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26995 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1059.46
Current children cumulated vsize (Kb) 839240

[startup+1100.1 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19165 3 2 0 106837 97 0 0 25 0 11 0 1789041105 859381760 26998 4294967295 134512640 134569956 3221224336 3221214632 1131532224 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 26998 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1069.34
Current children cumulated vsize (Kb) 839240

[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19174 3 2 0 107818 98 0 0 25 0 11 0 1789041105 859381760 27035 4294967295 134512640 134569956 3221224336 3221214632 1131532380 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27035 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1079.16
Current children cumulated vsize (Kb) 839240

[startup+1120.11 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19183 3 2 0 108799 99 0 0 20 0 11 0 1789041105 859381760 27052 4294967295 134512640 134569956 3221224336 3221214632 1131531243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27052 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1088.98
Current children cumulated vsize (Kb) 839240

[startup+1130.11 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19191 3 2 0 109781 99 0 0 22 0 11 0 1789041105 859381760 27058 4294967295 134512640 134569956 3221224336 3221214632 1131533705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27058 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1098.8
Current children cumulated vsize (Kb) 839240

[startup+1140.11 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19200 3 2 0 110756 100 0 0 25 0 11 0 1789041105 859381760 27087 4294967295 134512640 134569956 3221224336 3221214496 1131391609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27087 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1108.56
Current children cumulated vsize (Kb) 839240

[startup+1150.11 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19209 3 2 0 111728 100 0 0 25 0 11 0 1789041105 859381760 27136 4294967295 134512640 134569956 3221224336 3221214576 1131414433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27136 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1118.28
Current children cumulated vsize (Kb) 839240

[startup+1160.11 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19217 3 2 0 112706 101 0 0 25 0 11 0 1789041105 859381760 27146 4294967295 134512640 134569956 3221224336 3221214528 1131384120 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27146 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1128.07
Current children cumulated vsize (Kb) 839240

[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19226 3 2 0 113681 101 0 0 21 0 11 0 1789041105 859381760 27178 4294967295 134512640 134569956 3221224336 3221214488 1131399247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27178 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1137.82
Current children cumulated vsize (Kb) 839240

[startup+1180.11 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19234 3 2 0 114664 102 0 0 22 0 11 0 1789041105 859381760 27280 4294967295 134512640 134569956 3221224336 3221214632 1131531243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27280 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1147.66
Current children cumulated vsize (Kb) 839240

[startup+1190.11 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19243 3 2 0 115645 102 0 0 25 0 11 0 1789041105 859381760 27285 4294967295 134512640 134569956 3221224336 3221214576 1131414433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27285 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1157.47
Current children cumulated vsize (Kb) 839240

[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19252 3 2 0 116619 104 0 0 19 0 11 0 1789041105 859381760 27288 4294967295 134512640 134569956 3221224336 3221214488 1131397868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27288 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1167.23
Current children cumulated vsize (Kb) 839240

[startup+1210.11 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19261 3 2 0 117596 104 0 0 18 0 11 0 1789041105 859381760 27318 4294967295 134512640 134569956 3221224336 3221214808 1131528298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27318 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1177
Current children cumulated vsize (Kb) 839240

[startup+1220.12 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19270 3 2 0 118571 104 0 0 24 0 11 0 1789041105 859381760 27354 4294967295 134512640 134569956 3221224336 3221214576 1131414436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30838/statm): 209810 27354 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1186.75
Current children cumulated vsize (Kb) 839240

[startup+1230.12 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19278 3 2 0 119553 104 0 0 25 0 11 0 1789041105 859381760 27439 4294967295 134512640 134569956 3221224336 3221214488 1131398741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27439 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1196.57
Current children cumulated vsize (Kb) 839240

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19287 3 2 0 120533 105 0 0 25 0 11 0 1789041105 859381760 27448 4294967295 134512640 134569956 3221224336 3221214632 1131531243 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27448 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 839240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 30855
Raw data (/proc/30838/stat): 30838 (java) R 30837 30838 6847 0 -1 0 19287 3 2 0 120533 105 0 0 25 0 11 0 1789041105 859381760 27448 4294967295 134512640 134569956 3221224336 3221214576 1131414446 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30838/statm): 209810 27448 13129 16 0 209794 0
[pid=30838] vsize: 839240
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 839240

Sending SIGTERM to -30838
Sleeping 2 seconds
New thread pid=30857
New thread pid=30858
One traced child (pid=30858) exited with status: 0
One traced child (pid=30847) exited with status: 0
One traced child (pid=30839) exited with status: 143
One traced child (pid=30841) exited with status: 143
One traced child (pid=30846) exited with status: 143
One traced child (pid=30843) exited with status: 143
One traced child (pid=30844) exited with status: 143
One traced child (pid=30855) exited with status: 143
One traced child (pid=30845) exited with status: 143
One traced child (pid=30857) exited with status: 143
One traced child (pid=30840) exited with status: 143
One traced child (pid=30842) exited with status: 143
One traced child (pid=30838) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.44
CPU time (s): 1247.25
CPU user time (s): 1245.18
CPU system time (s): 2.06169
CPU usage (%): 100.549
Max. virtual memory (cumulated for all children) (Kb): 840396

Name	mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb
MD5SUM	b239ca7d2095d517ad5daa2331de8426
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	YES
Number of terms in the objective function	425
Biggest coefficient in the objective function	65536
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	3276775
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	1048576000000000
Number of bits of the biggest number in a constraint	50
Biggest sum of numbers in a constraint	5104598755679562
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	OPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark	145.902
Number of variables	1340
Total number of constraints	282
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	75
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	425

Some explanations

General information on the benchmark

Trace number 4172

Launcher Data

Solver Data

Watcher Data

Verifier Data