Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb
MD5SUM7e99578ddcc33d345a5429ff14167339
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 113777046323200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 235765682083953
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark206.701
Number of variables1060
Total number of constraints282
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints207
Minimum length of a constraint1
Maximum length of a constraint425

Trace number 8744

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        823260 kB
Buffers:         32460 kB
Cached:         149512 kB
SwapCached:        744 kB
Active:          75516 kB
Inactive:       109120 kB
HighTotal:      131008 kB
HighFree:         2128 kB
LowTotal:       903652 kB
LowFree:        821132 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21372 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:30:51 (client local time) WITH STATUS 143 IN 1229.67 SECONDS
stats: 6771 0 1229.67 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-noswot.opb
c reading problem ... done. Time 3.302 ms.
c #vars     1060
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.12 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 5.18 ms
c CURRENT OPTIMUM=                 -13 		Current CPU time: 7.85 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 8.29 ms
c CURRENT OPTIMUM=                 -18 		Current CPU time: 19.07 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 29.76 ms
c CURRENT OPTIMUM=                 -21 		Current CPU time: 42.87 ms
c CURRENT OPTIMUM=                 -23 		Current CPU time: 90.11 ms
c CURRENT OPTIMUM=                 -26 		Current CPU time: 129.21 ms
c CURRENT OPTIMUM=                 -30 		Current CPU time: 136.26 ms
c starts		: 13
c conflicts		: 589
c decisions		: 17644
c propagations		: 84259
c inspects		: 1556429
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 589
c root simplifications	: 601
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 14027
c speed (decisions/second)	: 16.298599506534128
c non guided choices	3147
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_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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 
c objective function=-30
c Total CPU time (ms) : 1218.983

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802353908 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 39 3 38 16 0 23 0
[pid=17061] 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/17061
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=17062
New thread pid=17063
New thread pid=17064
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=17065
New thread pid=17066
New thread pid=17067
New thread pid=17068
New thread pid=17069
New thread pid=17070
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/wulflinc15/normalized-mps-v2-13-7-noswot.opb
New thread pid=17071
One traced child (pid=17071) exited with status: 0
New thread pid=17072
One traced child (pid=17072) exited with status: 0
New thread pid=17073
One traced child (pid=17073) exited with status: 0
New thread pid=17074
One traced child (pid=17074) exited with status: 0
New thread pid=17075

[startup+10.0029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 17075
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18186 3 1 0 651 48 0 0 21 0 11 0 1802353908 859648000 20442 4294967295 134512640 134569956 3221224336 3221214720 1131385808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 209875 20442 13129 16 0 209859 0
[pid=17061] vsize: 839500
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (Kb) 839500

[startup+20.0027 s]
Raw data (loadavg): 1.08 1.00 0.92 2/66 17075
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18202 3 1 0 1559 49 0 0 25 0 11 0 1802353908 860954624 21006 4294967295 134512640 134569956 3221224336 3221214720 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21006 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (Kb) 840776
One traced child (pid=17075) exited with status: 0
New thread pid=17076

[startup+30.0036 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 17076
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18213 3 1 0 2512 50 0 0 25 0 11 0 1802353908 860954624 21095 4294967295 134512640 134569956 3221224336 3221214704 1131348561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21095 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (Kb) 840776
One traced child (pid=17076) exited with status: 0
New thread pid=17077

[startup+40.0044 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 17077
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18223 3 1 0 3462 50 0 0 25 0 11 0 1802353908 860954624 21155 4294967295 134512640 134569956 3221224336 3221214720 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21155 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 35.12
Current children cumulated vsize (Kb) 840776
One traced child (pid=17077) exited with status: 0
New thread pid=17078

[startup+50.0062 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 17078
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18234 3 1 0 4429 50 0 0 17 0 11 0 1802353908 860954624 21539 4294967295 134512640 134569956 3221224336 3221214632 1131417575 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21539 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 44.79
Current children cumulated vsize (Kb) 840776

[startup+60.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 17078
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18247 3 1 0 5408 51 0 0 19 0 11 0 1802353908 860954624 21664 4294967295 134512640 134569956 3221224336 3221214736 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21664 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 54.59
Current children cumulated vsize (Kb) 840776

[startup+70.0078 s]
Raw data (loadavg): 1.03 1.00 0.92 3/66 17078
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18257 3 1 0 6391 52 0 0 23 0 11 0 1802353908 860954624 21658 4294967295 134512640 134569956 3221224336 3221214712 1131395894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21658 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 64.43
Current children cumulated vsize (Kb) 840776

[startup+80.0096 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 17078
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18267 3 1 0 7374 52 0 0 16 0 11 0 1802353908 860954624 21700 4294967295 134512640 134569956 3221224336 3221214616 1131410976 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21700 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 74.26
Current children cumulated vsize (Kb) 840776

[startup+90.0095 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 17078
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18277 3 1 0 8361 53 0 0 18 0 11 0 1802353908 860954624 21730 4294967295 134512640 134569956 3221224336 3221214716 1131411720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21730 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 84.14
Current children cumulated vsize (Kb) 840776
One traced child (pid=17078) exited with status: 0
New thread pid=17079

[startup+100.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 17079
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18286 3 1 0 9346 53 0 0 25 0 11 0 1802353908 860954624 21759 4294967295 134512640 134569956 3221224336 3221214716 1131411714 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21759 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 93.99
Current children cumulated vsize (Kb) 840776

[startup+110.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 17079
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18296 3 1 0 10331 54 0 0 24 0 11 0 1802353908 860954624 21784 4294967295 134512640 134569956 3221224336 3221214616 1131411002 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21784 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (Kb) 840776

[startup+120.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 17079
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18305 3 1 0 11316 54 0 0 19 0 11 0 1802353908 860954624 21807 4294967295 134512640 134569956 3221224336 3221214720 1131385762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21807 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 113.7
Current children cumulated vsize (Kb) 840776

[startup+130.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 17079
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18315 3 1 0 12301 55 0 0 25 0 11 0 1802353908 860954624 21839 4294967295 134512640 134569956 3221224336 3221214720 1131385832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21839 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 123.56
Current children cumulated vsize (Kb) 840776
One traced child (pid=17079) exited with status: 0
New thread pid=17080
One traced child (pid=17080) exited with status: 0
New thread pid=17081

[startup+140.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18325 3 1 0 13285 55 0 1 24 0 11 0 1802353908 860954624 21871 4294967295 134512640 134569956 3221224336 3221214720 1131385808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21871 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 133.41
Current children cumulated vsize (Kb) 840776

[startup+150.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18334 3 1 0 14272 55 0 1 21 0 11 0 1802353908 860954624 21893 4294967295 134512640 134569956 3221224336 3221214704 1131348544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21893 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 143.28
Current children cumulated vsize (Kb) 840776

[startup+160.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18344 3 1 0 15257 56 0 1 25 0 11 0 1802353908 860954624 21920 4294967295 134512640 134569956 3221224336 3221214720 1131385772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 21920 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 153.14
Current children cumulated vsize (Kb) 840776

[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18353 3 1 0 16245 57 0 1 21 0 11 0 1802353908 860954624 21939 4294967295 134512640 134569956 3221224336 3221214712 1131395894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21939 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 163.03
Current children cumulated vsize (Kb) 840776

[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18363 3 1 0 17232 57 0 1 17 0 11 0 1802353908 860954624 21973 4294967295 134512640 134569956 3221224336 3221214616 1131411698 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21973 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 172.9
Current children cumulated vsize (Kb) 840776

[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18372 3 1 0 18221 57 0 1 20 0 11 0 1802353908 860954624 21988 4294967295 134512640 134569956 3221224336 3221214632 1131418318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 21988 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 182.79
Current children cumulated vsize (Kb) 840776

[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18381 3 1 0 19211 58 0 1 25 0 11 0 1802353908 860954624 22004 4294967295 134512640 134569956 3221224336 3221214384 1131733199 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22004 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 192.7
Current children cumulated vsize (Kb) 840776

[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18391 3 1 0 20199 58 0 1 18 0 11 0 1802353908 860954624 22021 4294967295 134512640 134569956 3221224336 3221214760 1131497584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22021 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 202.58
Current children cumulated vsize (Kb) 840776

[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18400 3 1 0 21186 58 0 1 25 0 11 0 1802353908 860954624 22029 4294967295 134512640 134569956 3221224336 3221214760 1131496995 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22029 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 212.45
Current children cumulated vsize (Kb) 840776

[startup+230.019 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18410 3 1 0 22174 59 0 1 25 0 11 0 1802353908 860954624 22049 4294967295 134512640 134569956 3221224336 3221214720 1131385708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22049 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (Kb) 840776

[startup+240.019 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18419 3 1 0 23162 60 0 1 20 0 11 0 1802353908 860954624 22062 4294967295 134512640 134569956 3221224336 3221214704 1131348681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22062 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 232.23
Current children cumulated vsize (Kb) 840776

[startup+250.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18428 3 1 0 24150 60 0 1 25 0 11 0 1802353908 860954624 22082 4294967295 134512640 134569956 3221224336 3221214720 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22082 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 242.11
Current children cumulated vsize (Kb) 840776

[startup+260.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18438 3 1 0 25137 61 0 1 25 0 11 0 1802353908 860954624 22103 4294967295 134512640 134569956 3221224336 3221214632 1131417699 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22103 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 251.99
Current children cumulated vsize (Kb) 840776

[startup+270.021 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18447 3 1 0 26126 61 0 1 21 0 11 0 1802353908 860954624 22116 4294967295 134512640 134569956 3221224336 3221214756 1131385420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22116 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 261.88
Current children cumulated vsize (Kb) 840776

[startup+280.022 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18456 3 1 0 27113 61 0 1 25 0 11 0 1802353908 860954624 22132 4294967295 134512640 134569956 3221224336 3221214496 1131381501 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22132 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 271.75
Current children cumulated vsize (Kb) 840776

[startup+290.023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18466 3 1 0 28100 61 0 1 18 0 11 0 1802353908 860954624 22148 4294967295 134512640 134569956 3221224336 3221214704 1131348544 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22148 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 281.62
Current children cumulated vsize (Kb) 840776

[startup+300.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18475 3 1 0 29088 62 0 1 21 0 11 0 1802353908 860954624 22167 4294967295 134512640 134569956 3221224336 3221214616 1131410935 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22167 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 291.51
Current children cumulated vsize (Kb) 840776

[startup+310.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18484 3 1 0 30076 62 0 1 24 0 11 0 1802353908 860954624 22181 4294967295 134512640 134569956 3221224336 3221214704 1131348561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22181 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 301.39
Current children cumulated vsize (Kb) 840776

[startup+320.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18494 3 1 0 31063 62 0 1 25 0 11 0 1802353908 860954624 22200 4294967295 134512640 134569956 3221224336 3221214696 1131516784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22200 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 311.26
Current children cumulated vsize (Kb) 840776

[startup+330.026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18503 3 1 0 32050 63 0 1 21 0 11 0 1802353908 860954624 22218 4294967295 134512640 134569956 3221224336 3221214760 1131496653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22218 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 321.14
Current children cumulated vsize (Kb) 840776

[startup+340.027 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18512 3 1 0 33038 63 0 1 24 0 11 0 1802353908 860954624 22248 4294967295 134512640 134569956 3221224336 3221214632 1131417496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22248 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 331.02
Current children cumulated vsize (Kb) 840776

[startup+350.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18522 3 1 0 34025 63 0 1 25 0 11 0 1802353908 860954624 22263 4294967295 134512640 134569956 3221224336 3221214720 1131385755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22263 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 340.89
Current children cumulated vsize (Kb) 840776

[startup+360.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18531 3 1 0 35012 64 0 1 25 0 11 0 1802353908 860954624 22277 4294967295 134512640 134569956 3221224336 3221214632 1131417513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22277 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 350.77
Current children cumulated vsize (Kb) 840776

[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18540 3 1 0 36001 64 0 1 25 0 11 0 1802353908 860954624 22302 4294967295 134512640 134569956 3221224336 3221214632 1131360540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22302 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 360.66
Current children cumulated vsize (Kb) 840776

[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18550 3 1 0 36988 65 0 1 25 0 11 0 1802353908 860954624 22319 4294967295 134512640 134569956 3221224336 3221214712 1131395894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22319 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 370.54
Current children cumulated vsize (Kb) 840776

[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18559 3 1 0 37977 65 0 1 25 0 11 0 1802353908 860954624 22333 4294967295 134512640 134569956 3221224336 3221214720 1131385698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22333 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 380.43
Current children cumulated vsize (Kb) 840776

[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18568 3 1 0 38965 66 0 1 25 0 11 0 1802353908 860954624 22344 4294967295 134512640 134569956 3221224336 3221214152 1085759286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22344 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 390.32
Current children cumulated vsize (Kb) 840776

[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18578 3 1 0 39953 67 0 1 17 0 11 0 1802353908 860954624 22365 4294967295 134512640 134569956 3221224336 3221214704 1131348544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22365 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 400.21
Current children cumulated vsize (Kb) 840776

[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18587 3 1 0 40942 67 0 1 20 0 11 0 1802353908 860954624 22378 4294967295 134512640 134569956 3221224336 3221214720 1131385708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22378 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 410.1
Current children cumulated vsize (Kb) 840776

[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18596 3 1 0 41930 68 0 1 24 0 11 0 1802353908 860954624 22389 4294967295 134512640 134569956 3221224336 3221214632 1131360532 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22389 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 840776

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18606 3 1 0 42917 69 0 1 25 0 11 0 1802353908 860954624 22402 4294967295 134512640 134569956 3221224336 3221214712 1131395894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22402 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 429.87
Current children cumulated vsize (Kb) 840776

[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18615 3 1 0 43905 69 0 1 25 0 11 0 1802353908 860954624 22412 4294967295 134512640 134569956 3221224336 3221214760 1131496845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22412 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 439.75
Current children cumulated vsize (Kb) 840776

[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18624 3 1 0 44893 70 0 1 25 0 11 0 1802353908 860954624 22424 4294967295 134512640 134569956 3221224336 3221214704 1131348544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22424 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 449.64
Current children cumulated vsize (Kb) 840776

[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18634 3 1 0 45880 71 0 1 16 0 11 0 1802353908 860954624 22442 4294967295 134512640 134569956 3221224336 3221214632 1131417513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22442 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 459.52
Current children cumulated vsize (Kb) 840776

[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18643 3 1 0 46869 71 0 1 25 0 11 0 1802353908 860954624 22455 4294967295 134512640 134569956 3221224336 3221214632 1131417553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22455 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 469.41
Current children cumulated vsize (Kb) 840776

[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18652 3 1 0 47857 71 0 1 21 0 11 0 1802353908 860954624 22468 4294967295 134512640 134569956 3221224336 3221214720 1131385446 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22468 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 479.29
Current children cumulated vsize (Kb) 840776

[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18661 3 1 0 48846 72 0 1 24 0 11 0 1802353908 860954624 22477 4294967295 134512640 134569956 3221224336 3221214632 1131417687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22477 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 489.19
Current children cumulated vsize (Kb) 840776

[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18671 3 1 0 49835 72 0 1 18 0 11 0 1802353908 860954624 22489 4294967295 134512640 134569956 3221224336 3221214144 1085806742 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22489 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 499.08
Current children cumulated vsize (Kb) 840776

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18680 3 1 0 50823 72 0 1 25 0 11 0 1802353908 860954624 22500 4294967295 134512640 134569956 3221224336 3221214632 1131418846 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22500 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 508.96
Current children cumulated vsize (Kb) 840776

[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18689 3 1 0 51812 72 0 1 24 0 11 0 1802353908 860954624 22511 4294967295 134512640 134569956 3221224336 3221214720 1131385832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22511 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 518.85
Current children cumulated vsize (Kb) 840776

[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18699 3 1 0 52799 73 0 1 17 0 11 0 1802353908 860954624 22530 4294967295 134512640 134569956 3221224336 3221214736 1131462257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22530 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 528.73
Current children cumulated vsize (Kb) 840776

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18708 3 1 0 53788 74 0 1 25 0 11 0 1802353908 860954624 22540 4294967295 134512640 134569956 3221224336 3221214720 1131385708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22540 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 538.63
Current children cumulated vsize (Kb) 840776

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18717 3 1 0 54776 74 0 1 22 0 11 0 1802353908 860954624 22550 4294967295 134512640 134569956 3221224336 3221214632 1131418318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22550 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 548.51
Current children cumulated vsize (Kb) 840776

[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18726 3 1 0 55765 74 0 1 25 0 11 0 1802353908 860954624 22560 4294967295 134512640 134569956 3221224336 3221214632 1131417458 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22560 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 558.4
Current children cumulated vsize (Kb) 840776

[startup+580.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18736 3 1 0 56754 74 0 1 18 0 11 0 1802353908 860954624 22571 4294967295 134512640 134569956 3221224336 3221214496 1131730126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22571 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 568.29
Current children cumulated vsize (Kb) 840776

[startup+590.049 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18745 3 1 0 57743 75 0 1 21 0 11 0 1802353908 860954624 22582 4294967295 134512640 134569956 3221224336 3221214712 1131395894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22582 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 578.19
Current children cumulated vsize (Kb) 840776

[startup+600.051 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18754 3 1 0 58731 75 0 1 25 0 11 0 1802353908 860954624 22592 4294967295 134512640 134569956 3221224336 3221214616 1131411009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22592 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 588.07
Current children cumulated vsize (Kb) 840776

[startup+610.052 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18764 3 1 0 59719 76 0 1 25 0 11 0 1802353908 860954624 22602 4294967295 134512640 134569956 3221224336 3221214704 1131348544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22602 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 597.96
Current children cumulated vsize (Kb) 840776

[startup+620.052 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18773 3 1 0 60708 76 0 1 25 0 11 0 1802353908 860954624 22611 4294967295 134512640 134569956 3221224336 3221214760 1131497127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22611 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 607.85
Current children cumulated vsize (Kb) 840776

[startup+630.054 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18782 3 1 0 61697 76 0 1 22 0 11 0 1802353908 860954624 22622 4294967295 134512640 134569956 3221224336 3221214632 1131417525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22622 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 617.74
Current children cumulated vsize (Kb) 840776

[startup+640.054 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18792 3 1 0 62685 76 0 1 24 0 11 0 1802353908 860954624 22631 4294967295 134512640 134569956 3221224336 3221214680 1131497117 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22631 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 627.62
Current children cumulated vsize (Kb) 840776

[startup+650.055 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18802 3 1 0 63673 76 0 1 25 0 11 0 1802353908 860954624 22643 4294967295 134512640 134569956 3221224336 3221214552 1131359521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22643 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 637.5
Current children cumulated vsize (Kb) 840776

[startup+660.056 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18811 3 1 0 64661 77 0 1 25 0 11 0 1802353908 860954624 22652 4294967295 134512640 134569956 3221224336 3221214640 1131385647 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22652 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 647.39
Current children cumulated vsize (Kb) 840776

[startup+670.057 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18820 3 1 0 65649 78 0 1 22 0 11 0 1802353908 860954624 22655 4294967295 134512640 134569956 3221224336 3221214640 1131385827 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22655 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 657.28
Current children cumulated vsize (Kb) 840776

[startup+680.058 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18830 3 1 0 66637 78 0 1 24 0 11 0 1802353908 860954624 22666 4294967295 134512640 134569956 3221224336 3221214552 1131417703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22666 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 667.16
Current children cumulated vsize (Kb) 840776

[startup+690.059 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18839 3 1 0 67625 79 0 1 25 0 11 0 1802353908 860954624 22676 4294967295 134512640 134569956 3221224336 3221214680 1131496856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22676 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 677.05
Current children cumulated vsize (Kb) 840776

[startup+700.059 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18848 3 1 0 68614 79 0 1 25 0 11 0 1802353908 860954624 22685 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22685 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 686.94
Current children cumulated vsize (Kb) 840776

[startup+710.061 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18857 3 1 0 69602 79 0 1 25 0 11 0 1802353908 860954624 22697 4294967295 134512640 134569956 3221224336 3221214680 1131497594 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22697 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 696.82
Current children cumulated vsize (Kb) 840776

[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18866 3 1 0 70591 80 0 1 25 0 11 0 1802353908 860954624 22706 4294967295 134512640 134569956 3221224336 3221214552 1131417496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22706 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 706.72
Current children cumulated vsize (Kb) 840776

[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18876 3 1 0 71578 80 0 1 25 0 11 0 1802353908 860954624 22715 4294967295 134512640 134569956 3221224336 3221214424 1131637892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22715 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 716.59
Current children cumulated vsize (Kb) 840776

[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18885 3 1 0 72567 81 0 1 20 0 11 0 1802353908 860954624 22720 4294967295 134512640 134569956 3221224336 3221214624 1131348544 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22720 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 726.49
Current children cumulated vsize (Kb) 840776

[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18894 3 1 0 73555 81 0 1 23 0 11 0 1802353908 860954624 22731 4294967295 134512640 134569956 3221224336 3221214608 1131489708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22731 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 736.37
Current children cumulated vsize (Kb) 840776

[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18904 3 1 0 74542 82 0 1 25 0 11 0 1802353908 860954624 22741 4294967295 134512640 134569956 3221224336 3221214552 1131417372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22741 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 746.25
Current children cumulated vsize (Kb) 840776

[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18913 3 1 0 75530 82 0 1 25 0 11 0 1802353908 860954624 22751 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22751 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 756.13
Current children cumulated vsize (Kb) 840776

[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18922 3 1 0 76517 82 0 1 25 0 11 0 1802353908 860954624 22762 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22762 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 766
Current children cumulated vsize (Kb) 840776

[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18931 3 1 0 77504 83 0 1 25 0 11 0 1802353908 860954624 22777 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22777 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 775.88
Current children cumulated vsize (Kb) 840776

[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18940 3 1 0 78491 83 0 1 25 0 11 0 1802353908 860954624 22781 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22781 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 785.75
Current children cumulated vsize (Kb) 840776

[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18950 3 1 0 79477 84 0 1 25 0 11 0 1802353908 860954624 22803 4294967295 134512640 134569956 3221224336 3221214636 1131410919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22803 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 795.62
Current children cumulated vsize (Kb) 840776

[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18959 3 1 0 80465 84 0 1 25 0 11 0 1802353908 860954624 22821 4294967295 134512640 134569956 3221224336 3221214676 1131462185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22821 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 805.5
Current children cumulated vsize (Kb) 840776

[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18968 3 1 0 81452 85 0 1 22 0 11 0 1802353908 860954624 22834 4294967295 134512640 134569956 3221224336 3221214624 1131348706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22834 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 815.38
Current children cumulated vsize (Kb) 840776

[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18977 3 1 0 82439 85 0 1 25 0 11 0 1802353908 860954624 22844 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22844 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 825.25
Current children cumulated vsize (Kb) 840776

[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18987 3 1 0 83425 86 0 1 25 0 11 0 1802353908 860954624 22852 4294967295 134512640 134569956 3221224336 3221214552 1131417593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22852 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 835.12
Current children cumulated vsize (Kb) 840776

[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 18996 3 1 0 84412 86 0 1 25 0 11 0 1802353908 860954624 22869 4294967295 134512640 134569956 3221224336 3221214680 1131497686 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22869 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 844.99
Current children cumulated vsize (Kb) 840776

[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19005 3 1 0 85400 86 0 1 25 0 11 0 1802353908 860954624 22887 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22887 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 854.87
Current children cumulated vsize (Kb) 840776

[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19014 3 1 0 86386 86 0 1 25 0 11 0 1802353908 860954624 22901 4294967295 134512640 134569956 3221224336 3221214552 1131417427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22901 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 864.73
Current children cumulated vsize (Kb) 840776

[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19024 3 1 0 87372 87 0 1 25 0 11 0 1802353908 860954624 22905 4294967295 134512640 134569956 3221224336 3221214640 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22905 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 874.6
Current children cumulated vsize (Kb) 840776

[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19033 3 1 0 88360 88 0 1 25 0 11 0 1802353908 860954624 22919 4294967295 134512640 134569956 3221224336 3221214680 1131497430 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22919 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (Kb) 840776

[startup+910.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19042 3 1 0 89348 88 0 1 25 0 11 0 1802353908 860954624 22930 4294967295 134512640 134569956 3221224336 3221214624 1131348561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22930 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 894.37
Current children cumulated vsize (Kb) 840776

[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19051 3 1 0 90335 88 0 1 25 0 11 0 1802353908 860954624 22940 4294967295 134512640 134569956 3221224336 3221214552 1131417667 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22940 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 904.24
Current children cumulated vsize (Kb) 840776

[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19061 3 1 0 91321 89 0 1 25 0 11 0 1802353908 860954624 22944 4294967295 134512640 134569956 3221224336 3221214624 1131348720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22944 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 914.11
Current children cumulated vsize (Kb) 840776

[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19070 3 1 0 92309 89 0 1 25 0 11 0 1802353908 860954624 22960 4294967295 134512640 134569956 3221224336 3221214552 1131417496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22960 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (Kb) 840776

[startup+950.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19079 3 1 0 93297 89 0 1 25 0 11 0 1802353908 860954624 22970 4294967295 134512640 134569956 3221224336 3221214624 1131348544 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22970 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 933.87
Current children cumulated vsize (Kb) 840776

[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19089 3 1 0 94284 89 0 1 17 0 11 0 1802353908 860954624 22978 4294967295 134512640 134569956 3221224336 3221214552 1131418035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 22978 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 943.74
Current children cumulated vsize (Kb) 840776

[startup+970.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19098 3 1 0 95272 90 0 1 18 0 11 0 1802353908 860954624 22982 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22982 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 953.63
Current children cumulated vsize (Kb) 840776

[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19107 3 1 0 96260 90 0 1 22 0 11 0 1802353908 860954624 22993 4294967295 134512640 134569956 3221224336 3221214640 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 22993 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 963.51
Current children cumulated vsize (Kb) 840776

[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19117 3 1 0 97246 90 0 1 24 0 11 0 1802353908 860954624 23001 4294967295 134512640 134569956 3221224336 3221214680 1131497777 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23001 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 973.37
Current children cumulated vsize (Kb) 840776

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19126 3 1 0 98234 91 0 1 25 0 11 0 1802353908 860954624 23006 4294967295 134512640 134569956 3221224336 3221214640 1131385433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23006 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 983.26
Current children cumulated vsize (Kb) 840776

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19135 3 1 0 99222 91 0 1 21 0 11 0 1802353908 860954624 23016 4294967295 134512640 134569956 3221224336 3221214472 1131729970 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23016 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 993.14
Current children cumulated vsize (Kb) 840776

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19144 3 1 0 100209 91 0 1 25 0 11 0 1802353908 860954624 23026 4294967295 134512640 134569956 3221224336 3221214640 1131385433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23026 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1003.01
Current children cumulated vsize (Kb) 840776

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19154 3 1 0 101193 92 0 1 16 0 11 0 1802353908 860954624 23038 4294967295 134512640 134569956 3221224336 3221214552 1131360532 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23038 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1012.86
Current children cumulated vsize (Kb) 840776

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19163 3 1 0 102180 93 0 1 25 0 11 0 1802353908 860954624 23042 4294967295 134512640 134569956 3221224336 3221214672 1131554753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23042 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1022.74
Current children cumulated vsize (Kb) 840776

[startup+1050.09 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19172 3 1 0 103168 93 0 1 21 0 11 0 1802353908 860954624 23054 4294967295 134512640 134569956 3221224336 3221214552 1131360532 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23054 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1032.62
Current children cumulated vsize (Kb) 840776

[startup+1060.09 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19181 3 1 0 104156 93 0 1 25 0 11 0 1802353908 860954624 23064 4294967295 134512640 134569956 3221224336 3221214624 1131348549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23064 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1042.5
Current children cumulated vsize (Kb) 840776

[startup+1070.09 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19191 3 1 0 105143 93 0 1 16 0 11 0 1802353908 860954624 23068 4294967295 134512640 134569956 3221224336 3221214552 1131417941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23068 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1052.37
Current children cumulated vsize (Kb) 840776

[startup+1080.09 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19200 3 1 0 106131 94 0 1 25 0 11 0 1802353908 860954624 23077 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23077 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (Kb) 840776

[startup+1090.09 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19209 3 1 0 107118 95 0 1 25 0 11 0 1802353908 860954624 23085 4294967295 134512640 134569956 3221224336 3221214552 1131418008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23085 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1072.14
Current children cumulated vsize (Kb) 840776

[startup+1100.09 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19218 3 1 0 108106 95 0 1 25 0 11 0 1802353908 860954624 23089 4294967295 134512640 134569956 3221224336 3221214472 1131519052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23089 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1082.02
Current children cumulated vsize (Kb) 840776

[startup+1110.1 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19228 3 1 0 109092 96 0 1 25 0 11 0 1802353908 860954624 23097 4294967295 134512640 134569956 3221224336 3221214552 1131417703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23097 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1091.89
Current children cumulated vsize (Kb) 840776

[startup+1120.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19237 3 1 0 110080 96 0 1 20 0 11 0 1802353908 860954624 23105 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23105 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1101.77
Current children cumulated vsize (Kb) 840776

[startup+1130.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19246 3 1 0 111067 96 0 1 25 0 11 0 1802353908 860954624 23111 4294967295 134512640 134569956 3221224336 3221214552 1131418255 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23111 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1111.64
Current children cumulated vsize (Kb) 840776

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19256 3 1 0 112053 97 0 1 25 0 11 0 1802353908 860954624 23119 4294967295 134512640 134569956 3221224336 3221214088 1131702472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23119 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1121.51
Current children cumulated vsize (Kb) 840776

[startup+1150.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19265 3 1 0 113040 97 0 1 25 0 11 0 1802353908 860954624 23127 4294967295 134512640 134569956 3221224336 3221214636 1131411714 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23127 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1131.38
Current children cumulated vsize (Kb) 840776

[startup+1160.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19274 3 1 0 114028 98 0 1 25 0 11 0 1802353908 860954624 23131 4294967295 134512640 134569956 3221224336 3221214632 1131414212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23131 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1141.27
Current children cumulated vsize (Kb) 840776

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19283 3 1 0 115016 98 0 1 25 0 11 0 1802353908 860954624 23138 4294967295 134512640 134569956 3221224336 3221214640 1131385647 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23138 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1151.15
Current children cumulated vsize (Kb) 840776

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19293 3 1 0 116001 99 0 1 25 0 11 0 1802353908 860954624 23147 4294967295 134512640 134569956 3221224336 3221214608 1131489609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23147 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1161.01
Current children cumulated vsize (Kb) 840776

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19302 3 1 0 116989 99 0 1 20 0 11 0 1802353908 860954624 23151 4294967295 134512640 134569956 3221224336 3221214552 1131417375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23151 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1170.89
Current children cumulated vsize (Kb) 840776

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19311 3 1 0 117977 99 0 1 25 0 11 0 1802353908 860954624 23159 4294967295 134512640 134569956 3221224336 3221214640 1131385832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23159 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1180.77
Current children cumulated vsize (Kb) 840776

[startup+1210.1 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19320 3 1 0 118964 99 0 1 25 0 11 0 1802353908 860954624 23162 4294967295 134512640 134569956 3221224336 3221214552 1131418986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17061/statm): 210194 23162 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1190.64
Current children cumulated vsize (Kb) 840776

[startup+1220.1 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19330 3 1 0 119951 100 0 1 17 0 11 0 1802353908 860954624 23172 4294967295 134512640 134569956 3221224336 3221214552 1131417513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23172 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1200.52
Current children cumulated vsize (Kb) 840776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 17081
Raw data (/proc/17061/stat): 17061 (java) R 17060 17061 31778 0 -1 0 19330 3 1 0 119951 100 0 1 17 0 11 0 1802353908 860954624 23172 4294967295 134512640 134569956 3221224336 3221214640 1131385832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17061/statm): 210194 23172 13129 16 0 210178 0
[pid=17061] vsize: 840776
Current children cumulated CPU time (s) 1200.52
Current children cumulated vsize (Kb) 840776

Sending SIGTERM to -17061
Sleeping 2 seconds
New thread pid=17083
New thread pid=17084
One traced child (pid=17084) exited with status: 0
One traced child (pid=17070) exited with status: 0
One traced child (pid=17065) exited with status: 0
One traced child (pid=17062) exited with status: 143
One traced child (pid=17064) exited with status: 143
One traced child (pid=17066) exited with status: 143
One traced child (pid=17069) exited with status: 143
One traced child (pid=17067) exited with status: 143
One traced child (pid=17063) exited with status: 143
One traced child (pid=17081) exited with status: 143
One traced child (pid=17068) exited with status: 143
One traced child (pid=17083) exited with status: 143
One traced child (pid=17061) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.38
CPU time (s): 1229.67
CPU user time (s): 1227.75
CPU system time (s): 1.91971
CPU usage (%): 100.761
Max. virtual memory (cumulated for all children) (Kb): 840776

Verifier Data

Verifier:	OK	-30