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/wulflinc8/normalized-mps-v2-20-10-noswot.opb
c reading problem ... done. Time 3.824 ms.
c #vars     1340
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.91 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.20 ms
c CURRENT OPTIMUM=                 -18 		Current CPU time: 9.66 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 14.44 ms
c CURRENT OPTIMUM=                 -29 		Current CPU time: 18.46 ms
c CURRENT OPTIMUM=                 -33 		Current CPU time: 49.50 ms
c CURRENT OPTIMUM=                 -39 		Current CPU time: 93.26 ms
c starts		: 13
c conflicts		: 1495
c decisions		: 25365
c propagations		: 87110
c inspects		: 1284111
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1495
c root simplifications	: 318
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 22578
c speed (decisions/second)	: 22.141777208241823
c non guided choices	4044
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) : 1239.016

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/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1780873821 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 39 3 38 16 0 23 0
[pid=14710] 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/14710
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=14711
New thread pid=14712
New thread pid=14713
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=14714
New thread pid=14715
New thread pid=14716
New thread pid=14717
New thread pid=14718
New thread pid=14719
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/wulflinc8/normalized-mps-v2-20-10-noswot.opb
New thread pid=14720
One traced child (pid=14720) exited with status: 0
New thread pid=14721
One traced child (pid=14721) exited with status: 0
New thread pid=14722

[startup+10.0028 s]
Raw data (loadavg): 1.02 1.00 0.97 2/66 14722
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18203 4 1 0 708 49 0 0 22 0 11 0 1780873821 859029504 20390 4294967295 134512640 134569956 3221224336 3221214616 1131398127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 209724 20390 13129 16 0 209708 0
[pid=14710] vsize: 838896
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (Kb) 838896
One traced child (pid=14722) exited with status: 0
New thread pid=14723
One traced child (pid=14723) exited with status: 0
New thread pid=14724
One traced child (pid=14724) exited with status: 0
New thread pid=14725

[startup+20.0036 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 14725
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18220 4 1 0 1570 49 0 0 20 0 11 0 1780873821 861396992 21238 4294967295 134512640 134569956 3221224336 3221214744 1131520280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210302 21238 13129 16 0 210286 0
[pid=14710] vsize: 841208
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (Kb) 841208

[startup+30.0044 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 14725
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18236 4 1 0 2502 50 0 0 22 0 11 0 1780873821 860884992 21350 4294967295 134512640 134569956 3221224336 3221214676 1131545788 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 21350 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (Kb) 840708

[startup+40.0052 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 14725
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18247 4 1 0 3429 51 0 0 17 0 11 0 1780873821 860884992 21526 4294967295 134512640 134569956 3221224336 3221214688 1131412839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 21526 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 34.8
Current children cumulated vsize (Kb) 840708

[startup+50.0059 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 14725
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18256 4 1 0 4376 51 0 0 23 0 11 0 1780873821 860884992 21997 4294967295 134512640 134569956 3221224336 3221214688 1131412839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 21997 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 44.27
Current children cumulated vsize (Kb) 840708
One traced child (pid=14725) exited with status: 0
New thread pid=14726

[startup+60.0067 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 14726
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18267 4 1 0 5340 51 0 0 23 0 11 0 1780873821 860884992 22115 4294967295 134512640 134569956 3221224336 3221214600 1131396628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 22115 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 53.91
Current children cumulated vsize (Kb) 840708

[startup+70.0085 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14726
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18278 4 1 0 6303 52 0 0 20 0 11 0 1780873821 860884992 22205 4294967295 134512640 134569956 3221224336 3221214600 1131396795 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22205 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 63.55
Current children cumulated vsize (Kb) 840708

[startup+80.0092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14726
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18287 4 1 0 7268 52 0 0 25 0 11 0 1780873821 860884992 22331 4294967295 134512640 134569956 3221224336 3221214600 1131396798 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22331 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 73.2
Current children cumulated vsize (Kb) 840708

[startup+90.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14726
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18296 4 1 0 8239 52 0 0 25 0 11 0 1780873821 860884992 22430 4294967295 134512640 134569956 3221224336 3221214744 1131520316 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22430 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 82.91
Current children cumulated vsize (Kb) 840708
One traced child (pid=14726) exited with status: 0
New thread pid=14727

[startup+100.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18305 4 1 0 9217 53 0 0 25 0 11 0 1780873821 860884992 22528 4294967295 134512640 134569956 3221224336 3221214600 1131396971 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22528 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 92.7
Current children cumulated vsize (Kb) 840708

[startup+110.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18315 4 1 0 10193 53 0 0 24 0 11 0 1780873821 860884992 22592 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22592 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (Kb) 840708

[startup+120.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18323 4 1 0 11165 54 0 0 19 0 11 0 1780873821 860884992 22625 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 22625 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 112.19
Current children cumulated vsize (Kb) 840708

[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18332 4 1 0 12126 54 0 0 25 0 11 0 1780873821 860884992 22677 4294967295 134512640 134569956 3221224336 3221214068 1085759292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22677 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 121.8
Current children cumulated vsize (Kb) 840708

[startup+140.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18341 4 1 0 13084 55 0 0 25 0 11 0 1780873821 860884992 22724 4294967295 134512640 134569956 3221224336 3221214640 1131361792 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 22724 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 131.39
Current children cumulated vsize (Kb) 840708

[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18350 4 1 0 14044 55 0 0 22 0 11 0 1780873821 860884992 22857 4294967295 134512640 134569956 3221224336 3221214600 1131397990 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 22857 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 140.99
Current children cumulated vsize (Kb) 840708

[startup+160.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18359 4 1 0 15014 55 0 0 20 0 11 0 1780873821 860884992 22997 4294967295 134512640 134569956 3221224336 3221214600 1131396808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 22997 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 150.69
Current children cumulated vsize (Kb) 840708

[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18368 4 1 0 15989 56 0 0 16 0 11 0 1780873821 860884992 23093 4294967295 134512640 134569956 3221224336 3221214688 1131348441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23093 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 160.45
Current children cumulated vsize (Kb) 840708

[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18376 4 1 0 16967 56 0 0 22 0 11 0 1780873821 860884992 23149 4294967295 134512640 134569956 3221224336 3221214616 1131538738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23149 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 170.23
Current children cumulated vsize (Kb) 840708

[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18385 4 1 0 17937 57 0 0 25 0 11 0 1780873821 860884992 23203 4294967295 134512640 134569956 3221224336 3221214688 1131348433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23203 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 840708

[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18394 4 1 0 18909 57 0 0 21 0 11 0 1780873821 860884992 23262 4294967295 134512640 134569956 3221224336 3221214224 1131703804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23262 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 189.66
Current children cumulated vsize (Kb) 840708

[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18403 4 1 0 19882 57 0 0 18 0 11 0 1780873821 860884992 23347 4294967295 134512640 134569956 3221224336 3221214688 1131412833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23347 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 840708

[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18412 4 1 0 20859 58 0 0 25 0 11 0 1780873821 860884992 23417 4294967295 134512640 134569956 3221224336 3221214600 1131396808 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23417 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 209.17
Current children cumulated vsize (Kb) 840708

[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18420 4 1 0 21836 58 0 0 24 0 11 0 1780873821 860884992 23464 4294967295 134512640 134569956 3221224336 3221214688 1131412912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23464 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 218.94
Current children cumulated vsize (Kb) 840708

[startup+240.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18430 4 1 0 22805 58 0 0 25 0 11 0 1780873821 860884992 23500 4294967295 134512640 134569956 3221224336 3221214744 1131520861 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23500 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 228.63
Current children cumulated vsize (Kb) 840708

[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18439 4 1 0 23777 58 0 0 25 0 11 0 1780873821 860884992 23551 4294967295 134512640 134569956 3221224336 3221214600 1131396997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23551 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 238.35
Current children cumulated vsize (Kb) 840708

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18449 4 1 0 24749 59 0 0 17 0 11 0 1780873821 860884992 23660 4294967295 134512640 134569956 3221224336 3221214688 1131413082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23660 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 248.08
Current children cumulated vsize (Kb) 840708

[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18458 4 1 0 25731 59 0 0 25 0 11 0 1780873821 860884992 23726 4294967295 134512640 134569956 3221224336 3221214600 1131396689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23726 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 257.9
Current children cumulated vsize (Kb) 840708

[startup+280.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18468 4 1 0 26711 60 0 0 25 0 11 0 1780873821 860884992 23767 4294967295 134512640 134569956 3221224336 3221214600 1131396959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23767 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 267.71
Current children cumulated vsize (Kb) 840708

[startup+290.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18477 4 1 0 27691 60 0 0 25 0 11 0 1780873821 860884992 23796 4294967295 134512640 134569956 3221224336 3221214688 1131348416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23796 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 277.51
Current children cumulated vsize (Kb) 840708

[startup+300.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18487 4 1 0 28668 61 0 0 25 0 11 0 1780873821 860884992 23829 4294967295 134512640 134569956 3221224336 3221214688 1131348626 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23829 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 287.29
Current children cumulated vsize (Kb) 840708

[startup+310.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18497 4 1 0 29643 61 0 0 25 0 11 0 1780873821 860884992 23864 4294967295 134512640 134569956 3221224336 3221214688 1131413240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23864 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 840708

[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18506 4 1 0 30617 62 0 0 21 0 11 0 1780873821 860884992 23942 4294967295 134512640 134569956 3221224336 3221214200 1085806717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 23942 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 306.79
Current children cumulated vsize (Kb) 840708

[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18515 4 1 0 31590 62 0 0 25 0 11 0 1780873821 860884992 23966 4294967295 134512640 134569956 3221224336 3221214744 1131520914 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 23966 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 316.52
Current children cumulated vsize (Kb) 840708

[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18524 4 1 0 32560 63 0 0 21 0 11 0 1780873821 860884992 24037 4294967295 134512640 134569956 3221224336 3221214600 1131397131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24037 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 326.23
Current children cumulated vsize (Kb) 840708

[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) S 14709 14710 27660 0 -1 0 18532 4 1 0 33533 63 0 0 25 0 11 0 1780873821 860884992 24083 4294967295 134512640 134569956 3221224336 3221213432 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24083 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 335.96
Current children cumulated vsize (Kb) 840708

[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18542 4 1 0 34505 64 0 0 24 0 11 0 1780873821 860884992 24153 4294967295 134512640 134569956 3221224336 3221214600 1131397165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24153 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 345.69
Current children cumulated vsize (Kb) 840708

[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18550 4 1 0 35483 64 0 0 25 0 11 0 1780873821 860884992 24215 4294967295 134512640 134569956 3221224336 3221214688 1131413240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24215 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 355.47
Current children cumulated vsize (Kb) 840708

[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18559 4 1 0 36458 64 0 0 25 0 11 0 1780873821 860884992 24256 4294967295 134512640 134569956 3221224336 3221214688 1131348416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24256 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 365.22
Current children cumulated vsize (Kb) 840708

[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 0.97 3/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18568 4 1 0 37435 65 0 0 18 0 11 0 1780873821 860884992 24310 4294967295 134512640 134569956 3221224336 3221214688 1131348433 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24310 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 375
Current children cumulated vsize (Kb) 840708

[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18577 4 1 0 38415 65 0 0 25 0 11 0 1780873821 860884992 24362 4294967295 134512640 134569956 3221224336 3221214688 1131413109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24362 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 384.8
Current children cumulated vsize (Kb) 840708

[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18586 4 1 0 39398 65 0 0 25 0 11 0 1780873821 860884992 24418 4294967295 134512640 134569956 3221224336 3221214688 1131412833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24418 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 394.63
Current children cumulated vsize (Kb) 840708

[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18595 4 1 0 40380 65 0 0 25 0 11 0 1780873821 860884992 24440 4294967295 134512640 134569956 3221224336 3221214600 1131396729 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24440 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 404.45
Current children cumulated vsize (Kb) 840708

[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18604 4 1 0 41360 66 0 0 25 0 11 0 1780873821 860884992 24465 4294967295 134512640 134569956 3221224336 3221214688 1131348413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24465 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 414.26
Current children cumulated vsize (Kb) 840708

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18613 4 1 0 42339 66 0 0 19 0 11 0 1780873821 860884992 24485 4294967295 134512640 134569956 3221224336 3221214600 1131397662 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24485 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 424.05
Current children cumulated vsize (Kb) 840708

[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18621 4 1 0 43320 67 0 0 22 0 11 0 1780873821 860884992 24536 4294967295 134512640 134569956 3221224336 3221214744 1131520329 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24536 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 433.87
Current children cumulated vsize (Kb) 840708

[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18631 4 1 0 44299 67 0 0 24 0 11 0 1780873821 860884992 24563 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24563 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 443.66
Current children cumulated vsize (Kb) 840708

[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18640 4 1 0 45279 68 0 0 24 0 11 0 1780873821 860884992 24616 4294967295 134512640 134569956 3221224336 3221214688 1131412846 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24616 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 453.47
Current children cumulated vsize (Kb) 840708

[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18649 4 1 0 46259 69 0 0 25 0 11 0 1780873821 860884992 24646 4294967295 134512640 134569956 3221224336 3221214640 1131361810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24646 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 463.28
Current children cumulated vsize (Kb) 840708

[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18658 4 1 0 47240 69 0 0 25 0 11 0 1780873821 860884992 24680 4294967295 134512640 134569956 3221224336 3221214688 1131412839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24680 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 473.09
Current children cumulated vsize (Kb) 840708

[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18667 4 1 0 48222 70 0 0 21 0 11 0 1780873821 860884992 24704 4294967295 134512640 134569956 3221224336 3221214688 1131348433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24704 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 482.92
Current children cumulated vsize (Kb) 840708

[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18676 4 1 0 49204 70 0 0 19 0 11 0 1780873821 860884992 24740 4294967295 134512640 134569956 3221224336 3221214600 1131396997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24740 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 492.74
Current children cumulated vsize (Kb) 840708

[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18685 4 1 0 50184 70 0 0 25 0 11 0 1780873821 860884992 24766 4294967295 134512640 134569956 3221224336 3221214784 1131376793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24766 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 502.54
Current children cumulated vsize (Kb) 840708

[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18694 4 1 0 51162 71 0 0 20 0 11 0 1780873821 860884992 24800 4294967295 134512640 134569956 3221224336 3221214600 1131397380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24800 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 512.33
Current children cumulated vsize (Kb) 840708

[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18703 4 1 0 52135 71 0 0 18 0 11 0 1780873821 860884992 24833 4294967295 134512640 134569956 3221224336 3221214600 1131396689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24833 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (Kb) 840708

[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18711 4 1 0 53113 71 0 0 25 0 11 0 1780873821 860884992 24873 4294967295 134512640 134569956 3221224336 3221214688 1131412885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 24873 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 531.84
Current children cumulated vsize (Kb) 840708

[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18720 4 1 0 54086 72 0 0 25 0 11 0 1780873821 860884992 24932 4294967295 134512640 134569956 3221224336 3221214668 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 24932 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 541.58
Current children cumulated vsize (Kb) 840708

[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18729 4 1 0 55065 72 0 0 25 0 11 0 1780873821 860884992 25011 4294967295 134512640 134569956 3221224336 3221214600 1131396715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25011 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 551.37
Current children cumulated vsize (Kb) 840708

[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18738 4 1 0 56046 73 0 0 25 0 11 0 1780873821 860884992 25025 4294967295 134512640 134569956 3221224336 3221214688 1131412889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25025 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 561.19
Current children cumulated vsize (Kb) 840708

[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18747 4 1 0 57027 73 0 0 24 0 11 0 1780873821 860884992 25068 4294967295 134512640 134569956 3221224336 3221214280 1131703804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25068 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 571
Current children cumulated vsize (Kb) 840708

[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18755 4 1 0 58010 73 0 0 25 0 11 0 1780873821 860884992 25095 4294967295 134512640 134569956 3221224336 3221214744 1131520876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25095 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 580.83
Current children cumulated vsize (Kb) 840708

[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18764 4 1 0 58991 74 0 0 25 0 11 0 1780873821 860884992 25137 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25137 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 590.65
Current children cumulated vsize (Kb) 840708

[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18772 4 1 0 59977 74 0 0 25 0 11 0 1780873821 860884992 25155 4294967295 134512640 134569956 3221224336 3221214200 1085806248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25155 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 600.51
Current children cumulated vsize (Kb) 840708

[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18781 4 1 0 60960 75 0 0 24 0 11 0 1780873821 860884992 25192 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25192 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 610.35
Current children cumulated vsize (Kb) 840708

[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18787 4 1 0 61947 75 0 0 24 0 11 0 1780873821 860884992 25196 4294967295 134512640 134569956 3221224336 3221214744 1131520872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25196 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 620.22
Current children cumulated vsize (Kb) 840708

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18792 4 1 0 62917 75 0 0 25 0 11 0 1780873821 860884992 25216 4294967295 134512640 134569956 3221224336 3221214600 1131396963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25216 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 629.92
Current children cumulated vsize (Kb) 840708

[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18800 4 1 0 63862 75 0 0 23 0 11 0 1780873821 860884992 25223 4294967295 134512640 134569956 3221224336 3221214688 1131348510 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25223 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 639.37
Current children cumulated vsize (Kb) 840708

[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18808 4 1 0 64805 75 0 0 25 0 11 0 1780873821 860884992 25239 4294967295 134512640 134569956 3221224336 3221214688 1131413100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25239 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 648.8
Current children cumulated vsize (Kb) 840708

[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18817 4 1 0 65741 76 0 0 16 0 11 0 1780873821 860884992 25360 4294967295 134512640 134569956 3221224336 3221214744 1131520220 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25360 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 658.17
Current children cumulated vsize (Kb) 840708

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18825 4 1 0 66708 76 0 0 25 0 11 0 1780873821 860884992 25839 4294967295 134512640 134569956 3221224336 3221214668 1131389068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25839 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 667.84
Current children cumulated vsize (Kb) 840708

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18834 4 1 0 67687 77 0 0 25 0 11 0 1780873821 860884992 25867 4294967295 134512640 134569956 3221224336 3221214600 1131398127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25867 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 677.64
Current children cumulated vsize (Kb) 840708

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18843 4 1 0 68664 77 0 0 16 0 11 0 1780873821 860884992 25901 4294967295 134512640 134569956 3221224336 3221214688 1131412833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25901 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 687.41
Current children cumulated vsize (Kb) 840708

[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18852 4 1 0 69639 78 0 0 18 0 11 0 1780873821 860884992 25942 4294967295 134512640 134569956 3221224336 3221214640 1131362169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 25942 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 697.17
Current children cumulated vsize (Kb) 840708

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18861 4 1 0 70611 78 0 0 24 0 11 0 1780873821 860884992 25977 4294967295 134512640 134569956 3221224336 3221214688 1131348416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 25977 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 706.89
Current children cumulated vsize (Kb) 840708

[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18870 4 1 0 71583 79 0 0 25 0 11 0 1780873821 860884992 26018 4294967295 134512640 134569956 3221224336 3221214600 1131396959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26018 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 716.62
Current children cumulated vsize (Kb) 840708

[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18880 4 1 0 72556 79 0 0 25 0 11 0 1780873821 860884992 26087 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26087 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 726.35
Current children cumulated vsize (Kb) 840708

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18888 4 1 0 73535 80 0 0 25 0 11 0 1780873821 860884992 26157 4294967295 134512640 134569956 3221224336 3221214600 1131397228 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26157 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 736.15
Current children cumulated vsize (Kb) 840708

[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18897 4 1 0 74511 80 0 0 18 0 11 0 1780873821 860884992 26184 4294967295 134512640 134569956 3221224336 3221214576 1131389268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26184 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 745.91
Current children cumulated vsize (Kb) 840708

[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18905 4 1 0 75492 80 0 0 25 0 11 0 1780873821 860884992 26225 4294967295 134512640 134569956 3221224336 3221214600 1131397409 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26225 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 755.72
Current children cumulated vsize (Kb) 840708

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18914 4 1 0 76470 81 0 0 25 0 11 0 1780873821 860884992 26282 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26282 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 765.51
Current children cumulated vsize (Kb) 840708

[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18923 4 1 0 77445 82 0 0 25 0 11 0 1780873821 860884992 26329 4294967295 134512640 134569956 3221224336 3221214640 1131361773 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26329 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 775.27
Current children cumulated vsize (Kb) 840708

[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18932 4 1 0 78422 82 0 0 25 0 11 0 1780873821 860884992 26348 4294967295 134512640 134569956 3221224336 3221214688 1131412839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26348 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 785.04
Current children cumulated vsize (Kb) 840708

[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18940 4 1 0 79401 82 0 0 25 0 11 0 1780873821 860884992 26396 4294967295 134512640 134569956 3221224336 3221214688 1131348433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26396 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 794.83
Current children cumulated vsize (Kb) 840708

[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18949 4 1 0 80378 83 0 0 21 0 11 0 1780873821 860884992 26437 4294967295 134512640 134569956 3221224336 3221214600 1131396947 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26437 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (Kb) 840708

[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18958 4 1 0 81355 83 0 0 21 0 11 0 1780873821 860884992 26475 4294967295 134512640 134569956 3221224336 3221214688 1131348525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26475 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 814.38
Current children cumulated vsize (Kb) 840708

[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18967 4 1 0 82332 84 0 0 25 0 11 0 1780873821 860884992 26518 4294967295 134512640 134569956 3221224336 3221214688 1131348525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26518 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 824.16
Current children cumulated vsize (Kb) 840708

[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18976 4 1 0 83310 85 0 0 25 0 11 0 1780873821 860884992 26556 4294967295 134512640 134569956 3221224336 3221214600 1131396780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26556 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 833.95
Current children cumulated vsize (Kb) 840708

[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18984 4 1 0 84290 85 0 0 19 0 11 0 1780873821 860884992 26585 4294967295 134512640 134569956 3221224336 3221214688 1131412833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26585 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 843.75
Current children cumulated vsize (Kb) 840708

[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 18992 4 1 0 85271 85 0 0 25 0 11 0 1780873821 860884992 26610 4294967295 134512640 134569956 3221224336 3221214688 1131413100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26610 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 853.56
Current children cumulated vsize (Kb) 840708

[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) S 14709 14710 27660 0 -1 0 19001 4 1 0 86250 86 0 0 25 0 11 0 1780873821 860884992 26652 4294967295 134512640 134569956 3221224336 3221212944 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26652 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 863.36
Current children cumulated vsize (Kb) 840708

[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19008 4 1 0 87229 86 0 0 18 0 11 0 1780873821 860884992 26672 4294967295 134512640 134569956 3221224336 3221214744 1131520240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26672 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 873.15
Current children cumulated vsize (Kb) 840708

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19016 4 1 0 88207 86 0 0 25 0 11 0 1780873821 860884992 26709 4294967295 134512640 134569956 3221224336 3221214144 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26709 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 882.93
Current children cumulated vsize (Kb) 840708

[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19025 4 1 0 89181 87 0 0 25 0 11 0 1780873821 860884992 26737 4294967295 134512640 134569956 3221224336 3221214672 1131531086 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26737 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 892.68
Current children cumulated vsize (Kb) 840708

[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19034 4 1 0 90155 87 0 0 24 0 11 0 1780873821 860884992 26780 4294967295 134512640 134569956 3221224336 3221214688 1131412923 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26780 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 902.42
Current children cumulated vsize (Kb) 840708

[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19042 4 1 0 91134 87 0 0 25 0 11 0 1780873821 860884992 26848 4294967295 134512640 134569956 3221224336 3221214688 1131348413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26848 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 912.21
Current children cumulated vsize (Kb) 840708

[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19051 4 1 0 92109 87 0 0 25 0 11 0 1780873821 860884992 26886 4294967295 134512640 134569956 3221224336 3221214720 1131569969 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 26886 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 921.96
Current children cumulated vsize (Kb) 840708

[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19061 4 1 0 93080 88 0 0 16 0 11 0 1780873821 860884992 26899 4294967295 134512640 134569956 3221224336 3221214784 1131376793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26899 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 931.68
Current children cumulated vsize (Kb) 840708

[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) S 14709 14710 27660 0 -1 0 19070 4 1 0 94056 88 0 0 25 0 11 0 1780873821 860884992 26955 4294967295 134512640 134569956 3221224336 3221213200 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 26955 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 941.44
Current children cumulated vsize (Kb) 840708

[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19079 4 1 0 95030 89 0 0 18 0 11 0 1780873821 860884992 27016 4294967295 134512640 134569956 3221224336 3221214688 1131412839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27016 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 951.19
Current children cumulated vsize (Kb) 840708

[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19088 4 1 0 96007 89 0 0 25 0 11 0 1780873821 860884992 27053 4294967295 134512640 134569956 3221224336 3221214688 1131348562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27053 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 960.96
Current children cumulated vsize (Kb) 840708

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19097 4 1 0 96982 89 0 0 25 0 11 0 1780873821 860884992 27106 4294967295 134512640 134569956 3221224336 3221214688 1131413146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27106 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 970.71
Current children cumulated vsize (Kb) 840708

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19106 4 1 0 97958 89 0 0 25 0 11 0 1780873821 860884992 27110 4294967295 134512640 134569956 3221224336 3221214488 1131707343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27110 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 980.47
Current children cumulated vsize (Kb) 840708

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19115 4 1 0 98935 90 0 0 18 0 11 0 1780873821 860884992 27179 4294967295 134512640 134569956 3221224336 3221214672 1131530350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27179 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 990.25
Current children cumulated vsize (Kb) 840708

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19124 4 1 0 99916 90 0 0 24 0 11 0 1780873821 860884992 27215 4294967295 134512640 134569956 3221224336 3221214144 1085806269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27215 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1000.06
Current children cumulated vsize (Kb) 840708

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19131 4 1 0 100900 90 0 0 25 0 11 0 1780873821 860884992 27255 4294967295 134512640 134569956 3221224336 3221214688 1131412919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27255 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1009.9
Current children cumulated vsize (Kb) 840708

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19140 4 1 0 101880 91 0 0 19 0 11 0 1780873821 860884992 27288 4294967295 134512640 134569956 3221224336 3221214688 1131348515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27288 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1019.71
Current children cumulated vsize (Kb) 840708

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19148 4 1 0 102862 92 0 0 25 0 11 0 1780873821 860884992 27305 4294967295 134512640 134569956 3221224336 3221214600 1131396963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27305 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 840708

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19157 4 1 0 103843 93 0 0 25 0 11 0 1780873821 860884992 27322 4294967295 134512640 134569956 3221224336 3221214600 1131396729 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27322 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1039.36
Current children cumulated vsize (Kb) 840708

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19165 4 1 0 104828 93 0 0 25 0 11 0 1780873821 860884992 27348 4294967295 134512640 134569956 3221224336 3221214392 1131703804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27348 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1049.21
Current children cumulated vsize (Kb) 840708

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19173 4 1 0 105812 93 0 0 25 0 11 0 1780873821 860884992 27361 4294967295 134512640 134569956 3221224336 3221214576 1131389556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27361 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1059.05
Current children cumulated vsize (Kb) 840708

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19182 4 1 0 106794 94 0 0 25 0 11 0 1780873821 860884992 27380 4294967295 134512640 134569956 3221224336 3221214028 1085806236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27380 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1068.88
Current children cumulated vsize (Kb) 840708

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19188 4 1 0 107782 94 0 0 25 0 11 0 1780873821 860884992 27383 4294967295 134512640 134569956 3221224336 3221214744 1131520082 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27383 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1078.76
Current children cumulated vsize (Kb) 840708

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19197 4 1 0 108764 94 0 0 25 0 11 0 1780873821 860884992 27420 4294967295 134512640 134569956 3221224336 3221214688 1131413004 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27420 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1088.58
Current children cumulated vsize (Kb) 840708

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19206 4 1 0 109744 95 0 0 19 0 11 0 1780873821 860884992 27437 4294967295 134512640 134569956 3221224336 3221214744 1131520005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27437 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1098.39
Current children cumulated vsize (Kb) 840708

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19214 4 1 0 110728 95 0 0 25 0 11 0 1780873821 860884992 27443 4294967295 134512640 134569956 3221224336 3221214688 1131412846 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27443 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1108.23
Current children cumulated vsize (Kb) 840708

[startup+1150.09 s]
Raw data (loadavg): 1.08 1.02 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19223 4 1 0 111703 96 0 0 25 0 11 0 1780873821 860884992 27472 4294967295 134512640 134569956 3221224336 3221214512 1131389429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27472 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1117.99
Current children cumulated vsize (Kb) 840708

[startup+1160.09 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19232 4 1 0 112674 97 0 0 25 0 11 0 1780873821 860884992 27521 4294967295 134512640 134569956 3221224336 3221214600 1131397081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27521 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1127.71
Current children cumulated vsize (Kb) 840708

[startup+1170.09 s]
Raw data (loadavg): 1.06 1.01 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19240 4 1 0 113653 97 0 0 20 0 11 0 1780873821 860884992 27531 4294967295 134512640 134569956 3221224336 3221214576 1131389468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27531 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1137.5
Current children cumulated vsize (Kb) 840708

[startup+1180.1 s]
Raw data (loadavg): 1.12 1.03 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19249 4 1 0 114629 98 0 0 17 0 11 0 1780873821 860884992 27563 4294967295 134512640 134569956 3221224336 3221214688 1131348413 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27563 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1147.27
Current children cumulated vsize (Kb) 840708

[startup+1190.1 s]
Raw data (loadavg): 1.10 1.03 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19257 4 1 0 115611 98 0 0 17 0 11 0 1780873821 860884992 27665 4294967295 134512640 134569956 3221224336 3221214064 1131704889 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27665 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1157.09
Current children cumulated vsize (Kb) 840708

[startup+1200.1 s]
Raw data (loadavg): 1.09 1.03 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19265 4 1 0 116595 98 0 0 25 0 11 0 1780873821 860884992 27670 4294967295 134512640 134569956 3221224336 3221214744 1131520861 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27670 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1166.93
Current children cumulated vsize (Kb) 840708

[startup+1210.1 s]
Raw data (loadavg): 1.07 1.03 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19274 4 1 0 117570 99 0 0 25 0 11 0 1780873821 860884992 27673 4294967295 134512640 134569956 3221224336 3221214784 1131376793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27673 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1176.69
Current children cumulated vsize (Kb) 840708

[startup+1220.1 s]
Raw data (loadavg): 1.06 1.03 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19283 4 1 0 118545 99 0 0 25 0 11 0 1780873821 860884992 27703 4294967295 134512640 134569956 3221224336 3221214600 1131397021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27703 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1186.44
Current children cumulated vsize (Kb) 840708

[startup+1230.1 s]
Raw data (loadavg): 1.05 1.02 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19292 4 1 0 119519 100 0 0 24 0 11 0 1780873821 860884992 27739 4294967295 134512640 134569956 3221224336 3221214688 1131348413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14710/statm): 210177 27739 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1196.19
Current children cumulated vsize (Kb) 840708

[startup+1240.1 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19300 4 1 0 120500 100 0 0 24 0 11 0 1780873821 860884992 27824 4294967295 134512640 134569956 3221224336 3221214008 1131703711 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27824 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1206
Current children cumulated vsize (Kb) 840708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.1 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 14727
Raw data (/proc/14710/stat): 14710 (java) R 14709 14710 27660 0 -1 0 19300 4 1 0 120500 100 0 0 24 0 11 0 1780873821 860884992 27824 4294967295 134512640 134569956 3221224336 3221214008 1131703711 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14710/statm): 210177 27824 13129 16 0 210161 0
[pid=14710] vsize: 840708
Current children cumulated CPU time (s) 1206
Current children cumulated vsize (Kb) 840708

Sending SIGTERM to -14710
Sleeping 2 seconds
New thread pid=14729
New thread pid=14730
One traced child (pid=14730) exited with status: 0
One traced child (pid=14719) exited with status: 0
One traced child (pid=14714) exited with status: 0
One traced child (pid=14711) exited with status: 143
One traced child (pid=14712) exited with status: 143
One traced child (pid=14713) exited with status: 143
One traced child (pid=14715) exited with status: 143
One traced child (pid=14718) exited with status: 143
One traced child (pid=14717) exited with status: 143
One traced child (pid=14727) exited with status: 143
One traced child (pid=14729) exited with status: 143
One traced child (pid=14716) exited with status: 143
One traced child (pid=14710) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.39
CPU time (s): 1235.48
CPU user time (s): 1233.7
CPU system time (s): 1.77873
CPU usage (%): 99.6041
Max. virtual memory (cumulated for all children) (Kb): 841208

Name	mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb
MD5SUM	5e1386c5f1b92751761827178ffb8fa8
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.886
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 4829

Launcher Data

Solver Data

Watcher Data

Verifier Data