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-bell3a.opb
MD5SUMd95da3ca5417070201766bede2d4ef9c
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 43633148139800
Optimality of the best value was proved NO
Number of terms in the objective function 1256
Biggest coefficient in the objective function 393216000000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 14511389815457650
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 393216000000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 14511389815457650
Number of bits of the biggest sum of numbers54
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1234.96
Number of variables1599
Total number of constraints194
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints133
Minimum length of a constraint1
Maximum length of a constraint131

Trace number 8719

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        831324 kB
Buffers:         31688 kB
Cached:         143200 kB
SwapCached:        756 kB
Active:          80504 kB
Inactive:        96948 kB
HighTotal:      131008 kB
HighFree:         7588 kB
LowTotal:       903652 kB
LowFree:        823736 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            20284 kB
Committed_AS:    64188 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:14:46 (client local time) WITH STATUS 143 IN 1234.96 SECONDS
stats: 6744 0 1234.96 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/wulflinc18/normalized-mps-v2-13-7-bell3a.opb
c reading problem ... done. Time 1.824 ms.
c #vars     1599
c #constraints  147
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     900486447555990 		Current CPU time: 40.34 ms
c CURRENT OPTIMUM=     893123930409085 		Current CPU time: 73.59 ms
c CURRENT OPTIMUM=     893109798760000 		Current CPU time: 88.01 ms
c CURRENT OPTIMUM=     893057776651365 		Current CPU time: 106.89 ms
c CURRENT OPTIMUM=     888131555506500 		Current CPU time: 115.13 ms
c CURRENT OPTIMUM=     879989130752500 		Current CPU time: 155.86 ms
c CURRENT OPTIMUM=     712637235104240 		Current CPU time: 187.66 ms
c CURRENT OPTIMUM=     712463317568920 		Current CPU time: 219.86 ms
c CURRENT OPTIMUM=     482654138101740 		Current CPU time: 399.60 ms
c CURRENT OPTIMUM=     296179256852480 		Current CPU time: 802.66 ms
c CURRENT OPTIMUM=     102084537121400 		Current CPU time: 925.29 ms
c CURRENT OPTIMUM=      53382149771675 		Current CPU time: 1043.94 ms
c CURRENT OPTIMUM=      51899169090340 		Current CPU time: 1118.46 ms
c CURRENT OPTIMUM=      43633148139800 		Current CPU time: 1186.21 ms
c starts		: 20
c conflicts		: 965
c decisions		: 42400
c propagations		: 88542
c inspects		: 1065201
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 965
c root simplifications	: 54
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 40970
c speed (decisions/second)	: 806.0683256972301
c non guided choices	13686
c random choices	0
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d9_bit0 -d10_bit0 -d12_bit0 -d13_bit0 -d15_bit0 -d16_bit0 -d17_bit0 -d20_bit0 -d21_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -h17_bit0 -h17_bit1 -h17_bit2 -h17_bit3 -h17_bit4 -h17_bit5 -h17_bit6 -h17_bit7 -h17_bit8 -h17_bit9 -h20_bit0 -h20_bit1 -h20_bit2 -h20_bit3 -h20_bit4 -h20_bit5 -h20_bit6 -h20_bit7 -h20_bit8 -h20_bit9 -h21_bit0 -h21_bit1 -h21_bit2 -h21_bit3 -h21_bit4 -h21_bit5 -h21_bit6 -h21_bit7 -h21_bit8 -h21_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 g3_bit0 g3_bit1 g3_bit2 g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 g4_bit0 g4_bit1 g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 g5_bit2 g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 g7_bit0 g7_bit1 g7_bit2 g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 g9_bit0 -g9_bit1 g9_bit2 g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 g10_bit0 g10_bit1 g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 -g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 g12_bit0 g12_bit1 g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g12_bit7 -g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 -g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 -g15_bit3 -g15_bit4 -g15_bit5 -g15_bit6 -g15_bit7 -g15_bit8 -g15_bit9 g16_bit0 g16_bit1 g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 -g16_bit7 -g16_bit8 -g16_bit9 -g17_bit0 g17_bit1 -g17_bit2 -g17_bit3 -g17_bit4 -g17_bit5 -g17_bit6 -g17_bit7 -g17_bit8 -g17_bit9 -g20_bit0 -g20_bit1 -g20_bit2 -g20_bit3 -g20_bit4 g20_bit5 g20_bit6 g20_bit7 -g20_bit8 -g20_bit9 -g21_bit0 -g21_bit1 g21_bit2 g21_bit3 -g21_bit4 -g21_bit5 -g21_bit6 -g21_bit7 -g21_bit8 -g21_bit9 a1_bit_7 a1_bit_6 a1_bit_5 a1_bit_4 a1_bit_3 a1_bit_2 a1_bit_1 a1_bit0 a1_bit1 -a1_bit2 -a1_bit3 -a1_bit4 a1_bit5 -a1_bit6 a1_bit7 -a1_bit8 a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 a2_bit_7 a2_bit_6 a2_bit_5 a2_bit_4 a2_bit_3 a2_bit_2 a2_bit_1 a2_bit0 a2_bit1 a2_bit2 a2_bit3 a2_bit4 a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 a3_bit_7 a3_bit_6 a3_bit_5 a3_bit_4 a3_bit_3 a3_bit_2 a3_bit_1 a3_bit0 a3_bit1 a3_bit2 a3_bit3 a3_bit4 a3_bit5 a3_bit6 a3_bit7 a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 a4_bit_7 a4_bit_6 a4_bit_5 a4_bit_4 a4_bit_3 a4_bit_2 a4_bit_1 a4_bit0 a4_bit1 a4_bit2 a4_bit3 a4_bit4 a4_bit5 a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 a5_bit_7 a5_bit_6 a5_bit_5 a5_bit_4 a5_bit_3 a5_bit_2 a5_bit_1 a5_bit0 a5_bit1 a5_bit2 a5_bit3 a5_bit4 a5_bit5 a5_bit6 a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 a6_bit1 a6_bit2 -a6_bit3 a6_bit4 -a6_bit5 -a6_bit6 a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 a8_bit1 -a8_bit2 a8_bit3 -a8_bit4 -a8_bit5 a8_bit6 a8_bit7 -a8_bit8 -a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 a9_bit2 a9_bit3 a9_bit4 a9_bit5 -a9_bit6 a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a10_bit_7 -a10_bit_6 a10_bit_5 a10_bit_4 a10_bit_3 a10_bit_2 a10_bit_1 a10_bit0 -a10_bit1 -a10_bit2 a10_bit3 a10_bit4 a10_bit5 -a10_bit6 a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 a11_bit1 -a11_bit2 -a11_bit3 a11_bit4 a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 a13_bit2 -a13_bit3 -a13_bit4 -a13_bit5 -a13_bit6 -a13_bit7 -a13_bit8 -a13_bit9 -a13_bit10 -a13_bit11 -a13_bit12 -a14_bit_7 -a14_bit_6 a14_bit_5 a14_bit_4 a14_bit_3 a14_bit_2 a14_bit_1 a14_bit0 a14_bit1 a14_bit2 a14_bit3 -a14_bit4 a14_bit5 -a14_bit6 -a14_bit7 a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 a15_bit2 -a15_bit3 -a15_bit4 a15_bit5 a15_bit6 -a15_bit7 -a15_bit8 -a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 -a17_bit1 -a17_bit2 -a17_bit3 -a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 -a17_bit12 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 -a18_bit1 a18_bit2 -a18_bit3 a18_bit4 -a18_bit5 -a18_bit6 -a18_bit7 -a18_bit8 -a18_bit9 -a18_bit10 -a18_bit11 -a18_bit12 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 -a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a20_bit_7 -a20_bit_6 -a20_bit_5 -a20_bit_4 -a20_bit_3 -a20_bit_2 -a20_bit_1 -a20_bit0 -a20_bit1 -a20_bit2 -a20_bit3 -a20_bit4 -a20_bit5 -a20_bit6 -a20_bit7 -a20_bit8 -a20_bit9 -a20_bit10 -a20_bit11 -a20_bit12 -a21_bit_7 -a21_bit_6 -a21_bit_5 -a21_bit_4 -a21_bit_3 -a21_bit_2 -a21_bit_1 -a21_bit0 -a21_bit1 -a21_bit2 -a21_bit3 -a21_bit4 -a21_bit5 -a21_bit6 -a21_bit7 -a21_bit8 -a21_bit9 -a21_bit10 -a21_bit11 -a21_bit12 -a22_bit_7 -a22_bit_6 -a22_bit_5 -a22_bit_4 -a22_bit_3 -a22_bit_2 -a22_bit_1 -a22_bit0 -a22_bit1 a22_bit2 -a22_bit3 -a22_bit4 a22_bit5 a22_bit6 -a22_bit7 -a22_bit8 -a22_bit9 -a22_bit10 -a22_bit11 -a22_bit12 -a23_bit_7 -a23_bit_6 -a23_bit_5 -a23_bit_4 -a23_bit_3 -a23_bit_2 -a23_bit_1 -a23_bit0 a23_bit1 -a23_bit2 -a23_bit3 a23_bit4 a23_bit5 -a23_bit6 -a23_bit7 -a23_bit8 -a23_bit9 -a23_bit10 -a23_bit11 -a23_bit12 b1_bit_7 b1_bit_6 b1_bit_5 b1_bit_4 b1_bit_3 b1_bit_2 b1_bit_1 b1_bit0 b1_bit1 b1_bit2 -b1_bit3 -b1_bit4 b1_bit5 b1_bit6 -b1_bit7 b1_bit8 b1_bit9 -b1_bit10 b1_bit11 -b1_bit12 b2_bit_7 b2_bit_6 b2_bit_5 b2_bit_4 b2_bit_3 b2_bit_2 b2_bit_1 b2_bit0 b2_bit1 b2_bit2 -b2_bit3 -b2_bit4 b2_bit5 b2_bit6 -b2_bit7 b2_bit8 b2_bit9 -b2_bit10 b2_bit11 -b2_bit12 b3_bit_7 b3_bit_6 b3_bit_5 b3_bit_4 b3_bit_3 b3_bit_2 b3_bit_1 b3_bit0 b3_bit1 b3_bit2 -b3_bit3 -b3_bit4 b3_bit5 b3_bit6 -b3_bit7 b3_bit8 b3_bit9 -b3_bit10 b3_bit11 -b3_bit12 b4_bit_7 b4_bit_6 b4_bit_5 b4_bit_4 b4_bit_3 b4_bit_2 b4_bit_1 b4_bit0 b4_bit1 b4_bit2 b4_bit3 b4_bit4 b4_bit5 b4_bit6 b4_bit7 b4_bit8 -b4_bit9 -b4_bit10 b4_bit11 -b4_bit12 b5_bit_7 b5_bit_6 b5_bit_5 b5_bit_4 b5_bit_3 b5_bit_2 b5_bit_1 b5_bit0 -b5_bit1 b5_bit2 -b5_bit3 b5_bit4 b5_bit5 b5_bit6 -b5_bit7 b5_bit8 -b5_bit9 -b5_bit10 b5_bit11 -b5_bit12 b6_bit_7 b6_bit_6 b6_bit_5 b6_bit_4 b6_bit_3 b6_bit_2 b6_bit_1 b6_bit0 b6_bit1 b6_bit2 -b6_bit3 b6_bit4 b6_bit5 -b6_bit6 b6_bit7 b6_bit8 -b6_bit9 b6_bit10 -b6_bit11 -b6_bit12 b7_bit_7 b7_bit_6 b7_bit_5 b7_bit_4 b7_bit_3 b7_bit_2 b7_bit_1 b7_bit0 b7_bit1 b7_bit2 b7_bit3 b7_bit4 -b7_bit5 b7_bit6 -b7_bit7 b7_bit8 b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 b8_bit_7 b8_bit_6 b8_bit_5 b8_bit_4 b8_bit_3 b8_bit_2 b8_bit_1 b8_bit0 b8_bit1 b8_bit2 -b8_bit3 b8_bit4 b8_bit5 -b8_bit6 -b8_bit7 b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 b9_bit_7 b9_bit_6 b9_bit_5 b9_bit_4 b9_bit_3 b9_bit_2 b9_bit_1 b9_bit0 b9_bit1 b9_bit2 -b9_bit3 b9_bit4 b9_bit5 -b9_bit6 -b9_bit7 b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 b10_bit2 b10_bit3 -b10_bit4 b10_bit5 -b10_bit6 b10_bit7 b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 b13_bit5 b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 b15_bit2 -b15_bit3 b15_bit4 b15_bit5 -b15_bit6 b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 b16_bit2 -b16_bit3 b16_bit4 b16_bit5 -b16_bit6 b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 b17_bit1 b17_bit2 b17_bit3 b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 -b17_bit12 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 -b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 -b18_bit7 -b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 -b18_bit12 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 b19_bit3 b19_bit4 -b19_bit5 b19_bit6 -b19_bit7 -b19_bit8 b19_bit9 -b19_bit10 -b19_bit11 -b19_bit12 -b20_bit_7 -b20_bit_6 -b20_bit_5 -b20_bit_4 -b20_bit_3 -b20_bit_2 -b20_bit_1 -b20_bit0 -b20_bit1 -b20_bit2 b20_bit3 b20_bit4 -b20_bit5 b20_bit6 -b20_bit7 -b20_bit8 b20_bit9 -b20_bit10 -b20_bit11 -b20_bit12 -b21_bit_7 -b21_bit_6 -b21_bit_5 -b21_bit_4 -b21_bit_3 -b21_bit_2 -b21_bit_1 -b21_bit0 -b21_bit1 -b21_bit2 b21_bit3 -b21_bit4 -b21_bit5 b21_bit6 b21_bit7 -b21_bit8 -b21_bit9 -b21_bit10 -b21_bit11 -b21_bit12 -b22_bit_7 -b22_bit_6 -b22_bit_5 -b22_bit_4 -b22_bit_3 -b22_bit_2 -b22_bit_1 -b22_bit0 -b22_bit1 -b22_bit2 -b22_bit3 -b22_bit4 -b22_bit5 -b22_bit6 -b22_bit7 -b22_bit8 -b22_bit9 -b22_bit10 -b22_bit11 -b22_bit12 -b23_bit_7 -b23_bit_6 -b23_bit_5 -b23_bit_4 -b23_bit_3 -b23_bit_2 -b23_bit_1 -b23_bit0 -b23_bit1 -b23_bit2 -b23_bit3 -b23_bit4 -b23_bit5 -b23_bit6 -b23_bit7 -b23_bit8 -b23_bit9 -b23_bit10 -b23_bit11 -b23_bit12 -c1_bit0 -c2_bit0 -c3_bit0 -c4_bit0 -c5_bit0 -c6_bit0 -c7_bit0 -c8_bit0 -c9_bit0 -c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 -c15_bit0 -c16_bit0 -c17_bit0 -c18_bit0 -c19_bit0 -c20_bit0 -c21_bit0 -c22_bit0 -c23_bit0 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f10_bit_7 -f10_bit_6 -f10_bit_5 -f10_bit_4 -f10_bit_3 -f10_bit_2 -f10_bit_1 -f10_bit0 -f10_bit1 -f10_bit2 f10_bit3 -f10_bit4 f10_bit5 -f10_bit6 f10_bit7 -f10_bit8 -f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 f12_bit2 -f12_bit3 -f12_bit4 f12_bit5 -f12_bit6 f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 f13_bit5 f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 -f15_bit10 -f15_bit11 -f15_bit12 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 f16_bit1 f16_bit2 -f16_bit3 f16_bit4 -f16_bit5 -f16_bit6 f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f17_bit_7 -f17_bit_6 -f17_bit_5 -f17_bit_4 -f17_bit_3 -f17_bit_2 -f17_bit_1 -f17_bit0 f17_bit1 f17_bit2 f17_bit3 f17_bit4 -f17_bit5 -f17_bit6 -f17_bit7 -f17_bit8 -f17_bit9 -f17_bit10 -f17_bit11 -f17_bit12 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 -f2_bit4 -f2_bit5 -f2_bit6 -f2_bit7 -f2_bit8 -f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f20_bit_7 -f20_bit_6 -f20_bit_5 -f20_bit_4 -f20_bit_3 -f20_bit_2 -f20_bit_1 -f20_bit0 -f20_bit1 -f20_bit2 f20_bit3 f20_bit4 -f20_bit5 f20_bit6 -f20_bit7 -f20_bit8 f20_bit9 -f20_bit10 -f20_bit11 -f20_bit12 -f21_bit_7 -f21_bit_6 -f21_bit_5 -f21_bit_4 -f21_bit_3 -f21_bit_2 -f21_bit_1 -f21_bit0 -f21_bit1 -f21_bit2 f21_bit3 -f21_bit4 -f21_bit5 f21_bit6 f21_bit7 -f21_bit8 -f21_bit9 -f21_bit10 -f21_bit11 -f21_bit12 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 f3_bit3 -f3_bit4 f3_bit5 f3_bit6 -f3_bit7 f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 f4_bit1 -f4_bit2 f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 f5_bit_7 f5_bit_6 f5_bit_5 f5_bit_4 f5_bit_3 f5_bit_2 f5_bit_1 f5_bit0 f5_bit1 f5_bit2 f5_bit3 f5_bit4 f5_bit5 f5_bit6 f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 -f5_bit11 -f5_bit12 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 f7_bit5 f7_bit6 -f7_bit7 f7_bit8 -f7_bit9 -f7_bit10 -f7_bit11 -f7_bit12 f9_bit_7 f9_bit_6 f9_bit_5 f9_bit_4 f9_bit_3 f9_bit_2 f9_bit_1 f9_bit0 f9_bit1 f9_bit2 -f9_bit3 f9_bit4 f9_bit5 -f9_bit6 -f9_bit7 f9_bit8 -f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 
c objective function=43633148139800
c Total CPU time (ms) : 1239.01

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/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860458602 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 39 3 38 16 0 23 0
[pid=3994] 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/3994
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=3995
New thread pid=3996
New thread pid=3997
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=3998
New thread pid=3999
New thread pid=4000
New thread pid=4001
New thread pid=4002
New thread pid=4003
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/wulflinc18/normalized-mps-v2-13-7-bell3a.opb
New thread pid=4004

[startup+10.0031 s]
Raw data (loadavg): 1.09 0.99 0.92 3/66 4004
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18174 0 1 0 596 51 0 0 17 0 11 0 1860458602 879329280 24626 4294967295 134512640 134569956 3221224336 3221214724 1131080224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 214680 24626 13129 16 0 214664 0
[pid=3994] vsize: 858720
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (Kb) 858720

[startup+20.004 s]
Raw data (loadavg): 1.07 0.99 0.92 2/66 4004
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18185 0 1 0 1506 52 0 0 23 0 11 0 1860458602 866041856 22259 4294967295 134512640 134569956 3221224336 3221214504 1131484234 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 22259 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 15.58
Current children cumulated vsize (Kb) 845744

[startup+30.0049 s]
Raw data (loadavg): 1.06 0.99 0.92 2/66 4004
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18193 0 1 0 2460 52 0 0 25 0 11 0 1860458602 866041856 22755 4294967295 134512640 134569956 3221224336 3221214264 1131727044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 22755 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (Kb) 845744

[startup+40.0059 s]
Raw data (loadavg): 1.05 0.99 0.92 2/66 4004
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18200 0 1 0 3404 52 0 0 25 0 11 0 1860458602 866041856 23004 4294967295 134512640 134569956 3221224336 3221214336 1131714367 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 23004 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 34.56
Current children cumulated vsize (Kb) 845744
One traced child (pid=4004) exited with status: 0
New thread pid=4005

[startup+50.0068 s]
Raw data (loadavg): 1.04 0.99 0.92 2/66 4005
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18252 4 1 0 4346 53 0 0 25 0 11 0 1860458602 866041856 23502 4294967295 134512640 134569956 3221224336 3221214560 1131467038 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 23502 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 43.99
Current children cumulated vsize (Kb) 845744

[startup+60.0077 s]
Raw data (loadavg): 1.04 0.99 0.92 2/66 4005
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18258 4 1 0 5294 53 0 0 17 0 11 0 1860458602 866041856 23520 4294967295 134512640 134569956 3221224336 3221214488 1131473055 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 23520 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 53.47
Current children cumulated vsize (Kb) 845744

[startup+70.0086 s]
Raw data (loadavg): 1.03 0.99 0.92 2/66 4005
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18264 4 1 0 6233 54 0 0 18 0 11 0 1860458602 866041856 23811 4294967295 134512640 134569956 3221224336 3221214560 1131618904 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 23811 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 62.87
Current children cumulated vsize (Kb) 845744
One traced child (pid=4005) exited with status: 0
New thread pid=4006

[startup+80.0096 s]
Raw data (loadavg): 1.02 0.99 0.92 2/66 4006
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18270 4 1 0 7174 55 0 0 22 0 11 0 1860458602 866041856 23954 4294967295 134512640 134569956 3221224336 3221214560 1131621347 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 23954 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 72.29
Current children cumulated vsize (Kb) 845744
One traced child (pid=4006) exited with status: 0
New thread pid=4007

[startup+90.0105 s]
Raw data (loadavg): 1.02 0.99 0.92 2/66 4007
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18277 4 1 0 8121 56 0 0 25 0 11 0 1860458602 866041856 24106 4294967295 134512640 134569956 3221224336 3221214560 1131617211 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24106 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 81.77
Current children cumulated vsize (Kb) 845744

[startup+100.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/66 4007
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18285 4 1 0 9055 56 0 0 25 0 11 0 1860458602 866041856 24304 4294967295 134512640 134569956 3221224336 3221214720 1131393113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24304 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 91.11
Current children cumulated vsize (Kb) 845744
One traced child (pid=4007) exited with status: 0
New thread pid=4008

[startup+110.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4008
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18292 4 1 0 10009 56 0 0 20 0 11 0 1860458602 866041856 24629 4294967295 134512640 134569956 3221224336 3221214560 1131618854 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24629 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (Kb) 845744
One traced child (pid=4008) exited with status: 0
New thread pid=4009

[startup+120.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4009
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18298 4 1 0 10983 57 0 0 17 0 11 0 1860458602 866041856 24735 4294967295 134512640 134569956 3221224336 3221214560 1131618737 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 24735 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 110.4
Current children cumulated vsize (Kb) 845744

[startup+130.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4009
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18306 4 1 0 11948 57 0 0 24 0 11 0 1860458602 866041856 24833 4294967295 134512640 134569956 3221224336 3221214720 1131393113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24833 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 120.05
Current children cumulated vsize (Kb) 845744

[startup+140.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4009
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18313 4 1 0 12917 58 0 0 25 0 11 0 1860458602 866041856 24934 4294967295 134512640 134569956 3221224336 3221214440 1131726229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24934 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 845744

[startup+150.018 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4009
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18319 4 1 0 13888 58 0 0 21 0 11 0 1860458602 866041856 24981 4294967295 134512640 134569956 3221224336 3221214464 1131468323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 24981 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 139.46
Current children cumulated vsize (Kb) 845744
One traced child (pid=4009) exited with status: 0
New thread pid=4010

[startup+160.019 s]
Raw data (loadavg): 1.00 0.99 0.92 3/66 4010
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18327 4 1 0 14856 59 0 0 22 0 11 0 1860458602 866041856 25039 4294967295 134512640 134569956 3221224336 3221214560 1131628323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25039 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 149.15
Current children cumulated vsize (Kb) 845744

[startup+170.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/66 4010
Raw data (/proc/3994/stat): 3994 (java) T 3993 3994 31027 0 -1 0 18336 4 1 0 15818 59 0 0 16 0 11 0 1860458602 866041856 25155 4294967295 134512640 134569956 3221224336 3221213584 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25155 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 158.77
Current children cumulated vsize (Kb) 845744

[startup+180.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4010
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18344 4 1 0 16789 59 0 0 25 0 11 0 1860458602 866041856 25274 4294967295 134512640 134569956 3221224336 3221214560 1131619735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25274 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 168.48
Current children cumulated vsize (Kb) 845744
One traced child (pid=4010) exited with status: 0
New thread pid=4011

[startup+190.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4011
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18350 4 1 0 17767 60 0 0 19 0 11 0 1860458602 866041856 25333 4294967295 134512640 134569956 3221224336 3221214560 1131615346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25333 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 178.27
Current children cumulated vsize (Kb) 845744

[startup+200.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4011
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18357 4 1 0 18744 60 0 0 25 0 11 0 1860458602 866041856 25408 4294967295 134512640 134569956 3221224336 3221214312 1131563137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25408 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 188.04
Current children cumulated vsize (Kb) 845744

[startup+210.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4011
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18362 4 1 0 19728 61 0 0 25 0 11 0 1860458602 866041856 25421 4294967295 134512640 134569956 3221224336 3221214360 1131482416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25421 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 197.89
Current children cumulated vsize (Kb) 845744

[startup+220.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4011
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18370 4 1 0 20702 62 0 0 22 0 11 0 1860458602 866041856 25486 4294967295 134512640 134569956 3221224336 3221214428 1131714418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25486 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 207.64
Current children cumulated vsize (Kb) 845744
One traced child (pid=4011) exited with status: 0
New thread pid=4012

[startup+230.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18377 4 1 0 21679 62 0 0 25 0 11 0 1860458602 866041856 25548 4294967295 134512640 134569956 3221224336 3221214560 1131631965 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25548 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 217.41
Current children cumulated vsize (Kb) 845744

[startup+240.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18386 4 1 0 22646 63 0 0 25 0 11 0 1860458602 866041856 25602 4294967295 134512640 134569956 3221224336 3221214560 1131615071 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25602 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (Kb) 845744

[startup+250.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18393 4 1 0 23621 63 0 0 24 0 11 0 1860458602 866041856 25662 4294967295 134512640 134569956 3221224336 3221214560 1131618724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25662 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 236.84
Current children cumulated vsize (Kb) 845744

[startup+260.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18403 4 1 0 24584 63 0 0 16 0 11 0 1860458602 866041856 25736 4294967295 134512640 134569956 3221224336 3221214560 1131629916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25736 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 246.47
Current children cumulated vsize (Kb) 845744

[startup+270.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18408 4 1 0 25565 63 0 0 25 0 11 0 1860458602 866041856 25812 4294967295 134512640 134569956 3221224336 3221214208 1131724628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25812 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 256.28
Current children cumulated vsize (Kb) 845744

[startup+280.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18415 4 1 0 26538 64 0 0 25 0 11 0 1860458602 866041856 25879 4294967295 134512640 134569956 3221224336 3221214560 1131620466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 25879 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 266.02
Current children cumulated vsize (Kb) 845744

[startup+290.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18424 4 1 0 27486 64 0 0 19 0 11 0 1860458602 866041856 25954 4294967295 134512640 134569956 3221224336 3221214560 1131618752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25954 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 275.5
Current children cumulated vsize (Kb) 845744

[startup+300.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18431 4 1 0 28440 64 0 0 21 0 11 0 1860458602 866041856 25997 4294967295 134512640 134569956 3221224336 3221214456 1131480300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 25997 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 285.04
Current children cumulated vsize (Kb) 845744

[startup+310.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18438 4 1 0 29395 65 0 0 25 0 11 0 1860458602 866041856 26024 4294967295 134512640 134569956 3221224336 3221214360 1131472948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26024 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 294.6
Current children cumulated vsize (Kb) 845744

[startup+320.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18445 4 1 0 30350 65 0 0 25 0 11 0 1860458602 866041856 26205 4294967295 134512640 134569956 3221224336 3221214352 1131473109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26205 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 304.15
Current children cumulated vsize (Kb) 845744

[startup+330.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18454 4 1 0 31313 66 0 0 20 0 11 0 1860458602 866041856 26427 4294967295 134512640 134569956 3221224336 3221214560 1131618794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26427 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 313.79
Current children cumulated vsize (Kb) 845744

[startup+340.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18460 4 1 0 32287 66 0 0 25 0 11 0 1860458602 866041856 26521 4294967295 134512640 134569956 3221224336 3221214560 1131619735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26521 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 323.53
Current children cumulated vsize (Kb) 845744

[startup+350.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4012
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18466 4 1 0 33259 66 0 0 25 0 11 0 1860458602 866041856 26558 4294967295 134512640 134569956 3221224336 3221214568 1131473258 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 26558 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 333.25
Current children cumulated vsize (Kb) 845744

[startup+360.038 s]
Raw data (loadavg): 1.00 0.99 0.92 4/69 4026
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18473 4 1 0 34220 67 0 0 25 0 11 0 1860458602 866041856 26616 4294967295 134512640 134569956 3221224336 3221214368 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26616 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 342.87
Current children cumulated vsize (Kb) 845744

[startup+370.038 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 4067
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18479 4 1 0 35176 75 0 0 25 0 11 0 1860458602 866041856 26649 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 26649 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 352.51
Current children cumulated vsize (Kb) 845744

[startup+380.039 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 4067
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18485 4 1 0 36139 75 0 0 25 0 11 0 1860458602 866041856 26781 4294967295 134512640 134569956 3221224336 3221214528 1131468323 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 26781 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 362.14
Current children cumulated vsize (Kb) 845744

[startup+390.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 4067
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18490 4 1 0 37111 75 0 0 25 0 11 0 1860458602 866041856 26834 4294967295 134512640 134569956 3221224336 3221214560 1131621184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 26834 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 371.86
Current children cumulated vsize (Kb) 845744

[startup+400.041 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 4067
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18497 4 1 0 38074 76 0 0 25 0 11 0 1860458602 866041856 26920 4294967295 134512640 134569956 3221224336 3221214560 1131626944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 26920 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 381.5
Current children cumulated vsize (Kb) 845744
One traced child (pid=4012) exited with status: 0
New thread pid=4068

[startup+410.042 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 4068
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18505 4 1 0 39036 76 0 0 16 0 11 0 1860458602 866041856 27067 4294967295 134512640 134569956 3221224336 3221214560 1131617231 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 27067 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 391.12
Current children cumulated vsize (Kb) 845744

[startup+420.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 4068
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18511 4 1 0 40010 76 0 0 25 0 11 0 1860458602 866041856 27164 4294967295 134512640 134569956 3221224336 3221214560 1131619735 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 27164 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 400.86
Current children cumulated vsize (Kb) 845744

[startup+430.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 4070
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18517 4 1 0 40988 77 0 0 25 0 11 0 1860458602 866041856 27267 4294967295 134512640 134569956 3221224336 3221214424 1131484212 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 27267 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 410.65
Current children cumulated vsize (Kb) 845744

[startup+440.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18525 4 1 0 41956 77 0 0 25 0 11 0 1860458602 866041856 27320 4294967295 134512640 134569956 3221224336 3221214528 1131468323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 27320 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 420.33
Current children cumulated vsize (Kb) 845744

[startup+450.046 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18532 4 1 0 42925 77 0 0 25 0 11 0 1860458602 866041856 27357 4294967295 134512640 134569956 3221224336 3221214472 1131388608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 27357 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 845744

[startup+460.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) S 3993 3994 31027 0 -1 0 18539 4 1 0 43887 78 0 0 25 0 11 0 1860458602 866041856 27409 4294967295 134512640 134569956 3221224336 3221213128 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 27409 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 439.65
Current children cumulated vsize (Kb) 845744

[startup+470.048 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18548 4 1 0 44835 79 0 0 23 0 11 0 1860458602 866041856 27523 4294967295 134512640 134569956 3221224336 3221214560 1131640418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 27523 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 449.14
Current children cumulated vsize (Kb) 845744

[startup+480.049 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18557 4 1 0 45788 79 0 0 17 0 11 0 1860458602 866041856 27639 4294967295 134512640 134569956 3221224336 3221214424 1131482028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 27639 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 458.67
Current children cumulated vsize (Kb) 845744

[startup+490.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18563 4 1 0 46758 79 0 0 25 0 11 0 1860458602 866041856 27697 4294967295 134512640 134569956 3221224336 3221214328 1131714376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 27697 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 468.37
Current children cumulated vsize (Kb) 845744

[startup+500.051 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18569 4 1 0 47727 79 0 0 23 0 11 0 1860458602 866041856 27753 4294967295 134512640 134569956 3221224336 3221214472 1131388600 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 27753 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 478.06
Current children cumulated vsize (Kb) 845744

[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18575 4 1 0 48699 79 0 0 17 0 11 0 1860458602 866041856 28009 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28009 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 487.78
Current children cumulated vsize (Kb) 845744

[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18581 4 1 0 49672 79 0 0 25 0 11 0 1860458602 866041856 28012 4294967295 134512640 134569956 3221224336 3221214120 1085806248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28012 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 497.51
Current children cumulated vsize (Kb) 845744

[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18588 4 1 0 50633 80 0 0 25 0 11 0 1860458602 866041856 28017 4294967295 134512640 134569956 3221224336 3221214560 1131631054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28017 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 507.13
Current children cumulated vsize (Kb) 845744

[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18596 4 1 0 51589 80 0 0 21 0 11 0 1860458602 866041856 28120 4294967295 134512640 134569956 3221224336 3221214560 1131615327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28120 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 516.69
Current children cumulated vsize (Kb) 845744

[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18603 4 1 0 52554 80 0 0 25 0 11 0 1860458602 866041856 28243 4294967295 134512640 134569956 3221224336 3221214120 1085806342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28243 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 526.34
Current children cumulated vsize (Kb) 845744

[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18611 4 1 0 53522 81 0 0 25 0 11 0 1860458602 866041856 28403 4294967295 134512640 134569956 3221224336 3221214424 1131473336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28403 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 536.03
Current children cumulated vsize (Kb) 845744

[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18618 4 1 0 54501 81 0 0 20 0 11 0 1860458602 866041856 28564 4294967295 134512640 134569956 3221224336 3221214416 1131473109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28564 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 545.82
Current children cumulated vsize (Kb) 845744

[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18626 4 1 0 55481 81 0 0 17 0 11 0 1860458602 866041856 28593 4294967295 134512640 134569956 3221224336 3221214560 1131618809 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28593 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 555.62
Current children cumulated vsize (Kb) 845744

[startup+590.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18634 4 1 0 56461 82 0 0 25 0 11 0 1860458602 866041856 28617 4294967295 134512640 134569956 3221224336 3221214424 1085806284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28617 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 565.43
Current children cumulated vsize (Kb) 845744

[startup+600.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18641 4 1 0 57438 82 0 0 25 0 11 0 1860458602 866041856 28667 4294967295 134512640 134569956 3221224336 3221214424 1131482479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28667 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 575.2
Current children cumulated vsize (Kb) 845744

[startup+610.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18648 4 1 0 58416 82 0 0 25 0 11 0 1860458602 866041856 28697 4294967295 134512640 134569956 3221224336 3221214416 1131473109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28697 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 584.98
Current children cumulated vsize (Kb) 845744

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18656 4 1 0 59386 83 0 0 22 0 11 0 1860458602 866041856 28732 4294967295 134512640 134569956 3221224336 3221214448 1131714364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28732 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 594.69
Current children cumulated vsize (Kb) 845744

[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18664 4 1 0 60350 83 0 0 17 0 11 0 1860458602 866041856 28807 4294967295 134512640 134569956 3221224336 3221214560 1131615265 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28807 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 604.33
Current children cumulated vsize (Kb) 845744

[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18672 4 1 0 61309 83 0 0 25 0 11 0 1860458602 866041856 28886 4294967295 134512640 134569956 3221224336 3221214424 1131482468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 28886 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 613.92
Current children cumulated vsize (Kb) 845744

[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18679 4 1 0 62273 83 0 0 21 0 11 0 1860458602 866041856 28927 4294967295 134512640 134569956 3221224336 3221214560 1131622122 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 28927 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 623.56
Current children cumulated vsize (Kb) 845744

[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4072
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18688 4 1 0 63222 84 0 0 20 0 11 0 1860458602 866041856 29034 4294967295 134512640 134569956 3221224336 3221214560 1131619912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29034 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 633.06
Current children cumulated vsize (Kb) 845744

[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18695 4 1 0 64183 85 0 0 25 0 11 0 1860458602 866041856 29154 4294967295 134512640 134569956 3221224336 3221214120 1085806289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 29154 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 642.68
Current children cumulated vsize (Kb) 845744

[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18702 4 1 0 65147 86 0 0 25 0 11 0 1860458602 866041856 29294 4294967295 134512640 134569956 3221224336 3221214528 1131468291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29294 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 652.33
Current children cumulated vsize (Kb) 845744

[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18709 4 1 0 66108 87 0 0 25 0 11 0 1860458602 866041856 29365 4294967295 134512640 134569956 3221224336 3221214416 1131474209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29365 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 661.95
Current children cumulated vsize (Kb) 845744

[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18716 4 1 0 67069 88 0 0 25 0 11 0 1860458602 866041856 29517 4294967295 134512640 134569956 3221224336 3221214560 1131617217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 29517 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 671.57
Current children cumulated vsize (Kb) 845744

[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18725 4 1 0 68029 89 0 0 25 0 11 0 1860458602 866041856 29600 4294967295 134512640 134569956 3221224336 3221214560 1131630842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29600 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 681.18
Current children cumulated vsize (Kb) 845744

[startup+720.071 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18734 4 1 0 68989 89 0 0 25 0 11 0 1860458602 866041856 29720 4294967295 134512640 134569956 3221224336 3221214560 1131615327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29720 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 690.78
Current children cumulated vsize (Kb) 845744

[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18743 4 1 0 69955 90 0 0 25 0 11 0 1860458602 866041856 29936 4294967295 134512640 134569956 3221224336 3221214560 1131621267 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29936 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 700.45
Current children cumulated vsize (Kb) 845744

[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18746 4 1 0 70942 90 0 0 25 0 11 0 1860458602 866041856 29937 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 29937 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 710.32
Current children cumulated vsize (Kb) 845744

[startup+750.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18754 4 1 0 71906 90 0 0 25 0 11 0 1860458602 866041856 29966 4294967295 134512640 134569956 3221224336 3221214560 1131619735 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 29966 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 719.96
Current children cumulated vsize (Kb) 845744

[startup+760.076 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18763 4 1 0 72870 91 0 0 19 0 11 0 1860458602 866041856 30049 4294967295 134512640 134569956 3221224336 3221214560 1131617368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30049 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 729.61
Current children cumulated vsize (Kb) 845744

[startup+770.076 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) S 3993 3994 31027 0 -1 0 18773 4 1 0 73840 91 0 0 25 0 11 0 1860458602 866041856 30133 4294967295 134512640 134569956 3221224336 3221213160 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30133 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 739.31
Current children cumulated vsize (Kb) 845744

[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 0.92 3/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18782 4 1 0 74824 92 0 0 22 0 11 0 1860458602 866041856 30250 4294967295 134512640 134569956 3221224336 3221214560 1131618873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30250 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 749.16
Current children cumulated vsize (Kb) 845744

[startup+790.078 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18792 4 1 0 75815 93 0 0 25 0 11 0 1860458602 866041856 30258 4294967295 134512640 134569956 3221224336 3221214560 1131628320 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30258 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 759.08
Current children cumulated vsize (Kb) 845744

[startup+800.078 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4074
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18802 4 1 0 76806 93 0 0 25 0 11 0 1860458602 866041856 30266 4294967295 134512640 134569956 3221224336 3221214560 1131617207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30266 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 768.99
Current children cumulated vsize (Kb) 845744
One traced child (pid=4068) exited with status: 0
New thread pid=4075

[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18809 4 1 0 77796 93 0 0 17 0 11 0 1860458602 866041856 30269 4294967295 134512640 134569956 3221224336 3221214560 1131620032 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30269 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 778.89
Current children cumulated vsize (Kb) 845744

[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18818 4 1 0 78778 93 0 0 25 0 11 0 1860458602 866041856 30270 4294967295 134512640 134569956 3221224336 3221214560 1131619735 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30270 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 788.71
Current children cumulated vsize (Kb) 845744

[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18828 4 1 0 79758 94 0 0 25 0 11 0 1860458602 866041856 30273 4294967295 134512640 134569956 3221224336 3221214560 1131628142 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30273 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 798.52
Current children cumulated vsize (Kb) 845744

[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18838 4 1 0 80738 94 0 0 17 0 11 0 1860458602 866041856 30315 4294967295 134512640 134569956 3221224336 3221214560 1131615327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30315 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 808.32
Current children cumulated vsize (Kb) 845744

[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18847 4 1 0 81725 95 0 0 25 0 11 0 1860458602 866041856 30335 4294967295 134512640 134569956 3221224336 3221214560 1131616274 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30335 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 818.2
Current children cumulated vsize (Kb) 845744

[startup+860.084 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18856 4 1 0 82714 95 0 0 25 0 11 0 1860458602 866041856 30337 4294967295 134512640 134569956 3221224336 3221214720 1131393113 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30337 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 828.09
Current children cumulated vsize (Kb) 845744

[startup+870.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18862 4 1 0 83704 96 0 0 25 0 11 0 1860458602 866041856 30343 4294967295 134512640 134569956 3221224336 3221214472 1131388645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30343 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 838
Current children cumulated vsize (Kb) 845744

[startup+880.086 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18871 4 1 0 84690 96 0 0 24 0 11 0 1860458602 866041856 30350 4294967295 134512640 134569956 3221224336 3221214560 1131618737 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30350 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 847.86
Current children cumulated vsize (Kb) 845744

[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18880 4 1 0 85677 96 0 0 25 0 11 0 1860458602 866041856 30363 4294967295 134512640 134569956 3221224336 3221214560 1131621196 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30363 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 857.73
Current children cumulated vsize (Kb) 845744

[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18887 4 1 0 86662 97 0 0 25 0 11 0 1860458602 866041856 30375 4294967295 134512640 134569956 3221224336 3221214560 1131618120 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30375 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 867.59
Current children cumulated vsize (Kb) 845744

[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18893 4 1 0 87650 97 0 0 25 0 11 0 1860458602 866041856 30388 4294967295 134512640 134569956 3221224336 3221214560 1131615327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30388 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 877.47
Current children cumulated vsize (Kb) 845744

[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4075
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18898 4 1 0 88639 98 0 0 25 0 11 0 1860458602 866041856 30390 4294967295 134512640 134569956 3221224336 3221214560 1131615327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30390 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 887.37
Current children cumulated vsize (Kb) 845744
One traced child (pid=4075) exited with status: 0
New thread pid=4076

[startup+930.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18903 4 1 0 89627 98 0 0 20 0 11 0 1860458602 866041856 30390 4294967295 134512640 134569956 3221224336 3221214560 1131630373 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30390 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 897.25
Current children cumulated vsize (Kb) 845744

[startup+940.092 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18911 4 1 0 90607 99 0 0 25 0 11 0 1860458602 866041856 30418 4294967295 134512640 134569956 3221224336 3221214560 1131615071 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30418 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 907.06
Current children cumulated vsize (Kb) 845744

[startup+950.093 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18918 4 1 0 91589 99 0 0 23 0 11 0 1860458602 866041856 30427 4294967295 134512640 134569956 3221224336 3221214560 1131615071 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30427 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 916.88
Current children cumulated vsize (Kb) 845744

[startup+960.094 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18926 4 1 0 92569 99 0 0 25 0 11 0 1860458602 866041856 30435 4294967295 134512640 134569956 3221224336 3221214560 1131714220 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30435 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 926.68
Current children cumulated vsize (Kb) 845744

[startup+970.094 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18933 4 1 0 93551 100 0 0 23 0 11 0 1860458602 866041856 30484 4294967295 134512640 134569956 3221224336 3221214560 1131621086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30484 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 936.51
Current children cumulated vsize (Kb) 845744

[startup+980.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18939 4 1 0 94536 100 0 0 24 0 11 0 1860458602 866041856 30485 4294967295 134512640 134569956 3221224336 3221214560 1131629814 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30485 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 946.36
Current children cumulated vsize (Kb) 845744

[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18946 4 1 0 95518 100 0 0 25 0 11 0 1860458602 866041856 30518 4294967295 134512640 134569956 3221224336 3221214560 1131627484 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30518 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 956.18
Current children cumulated vsize (Kb) 845744

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18952 4 1 0 96503 100 0 0 25 0 11 0 1860458602 866041856 30533 4294967295 134512640 134569956 3221224336 3221214544 1131721711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30533 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 966.03
Current children cumulated vsize (Kb) 845744

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18958 4 1 0 97486 101 0 0 18 0 11 0 1860458602 866041856 30541 4294967295 134512640 134569956 3221224336 3221214560 1131622239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30541 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 975.87
Current children cumulated vsize (Kb) 845744

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18963 4 1 0 98472 101 0 0 25 0 11 0 1860458602 866041856 30551 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30551 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 985.73
Current children cumulated vsize (Kb) 845744

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18970 4 1 0 99452 101 0 0 25 0 11 0 1860458602 866041856 30570 4294967295 134512640 134569956 3221224336 3221214560 1131616176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30570 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 995.53
Current children cumulated vsize (Kb) 845744

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4076
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18977 4 1 0 100435 102 0 0 25 0 11 0 1860458602 866041856 30597 4294967295 134512640 134569956 3221224336 3221214560 1131615346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30597 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1005.37
Current children cumulated vsize (Kb) 845744
One traced child (pid=4076) exited with status: 0
New thread pid=4077

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18985 4 1 0 101415 102 0 0 25 0 11 0 1860458602 866041856 30627 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30627 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1015.17
Current children cumulated vsize (Kb) 845744

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 18993 4 1 0 102395 102 0 0 25 0 11 0 1860458602 866041856 30665 4294967295 134512640 134569956 3221224336 3221214560 1131621267 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30665 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1024.97
Current children cumulated vsize (Kb) 845744

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19002 4 1 0 103373 103 0 0 16 0 11 0 1860458602 866041856 30682 4294967295 134512640 134569956 3221224336 3221214560 1131630170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30682 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1034.76
Current children cumulated vsize (Kb) 845744

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19009 4 1 0 104354 103 0 0 23 0 11 0 1860458602 866041856 30689 4294967295 134512640 134569956 3221224336 3221214560 1131621336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30689 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (Kb) 845744

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19017 4 1 0 105334 104 0 0 25 0 11 0 1860458602 866041856 30722 4294967295 134512640 134569956 3221224336 3221214560 1131630896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30722 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1054.38
Current children cumulated vsize (Kb) 845744

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19025 4 1 0 106315 104 0 0 25 0 11 0 1860458602 866041856 30756 4294967295 134512640 134569956 3221224336 3221214608 1131726229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30756 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1064.19
Current children cumulated vsize (Kb) 845744

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4077
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19033 4 1 0 107298 104 0 0 24 0 11 0 1860458602 866041856 30780 4294967295 134512640 134569956 3221224336 3221214432 1131721416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30780 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1074.02
Current children cumulated vsize (Kb) 845744
One traced child (pid=4077) exited with status: 0
New thread pid=4078

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19042 4 1 0 108279 105 0 0 18 0 11 0 1860458602 866041856 30788 4294967295 134512640 134569956 3221224336 3221214500 1131714340 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30788 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1083.84
Current children cumulated vsize (Kb) 845744

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19050 4 1 0 109262 105 0 0 20 0 11 0 1860458602 866041856 30812 4294967295 134512640 134569956 3221224336 3221213672 1131364505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30812 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1093.67
Current children cumulated vsize (Kb) 845744

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19058 4 1 0 110243 105 0 0 17 0 11 0 1860458602 866041856 30827 4294967295 134512640 134569956 3221224336 3221214560 1131633006 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30827 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1103.48
Current children cumulated vsize (Kb) 845744

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19067 4 1 0 111223 105 0 0 25 0 11 0 1860458602 866041856 30832 4294967295 134512640 134569956 3221224336 3221214560 1131618809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30832 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1113.28
Current children cumulated vsize (Kb) 845744

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19076 4 1 0 112203 106 0 0 25 0 11 0 1860458602 866041856 30866 4294967295 134512640 134569956 3221224336 3221214560 1131621157 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30866 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1123.09
Current children cumulated vsize (Kb) 845744

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19085 4 1 0 113186 106 0 0 24 0 11 0 1860458602 866041856 30894 4294967295 134512640 134569956 3221224336 3221214560 1131619912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 30894 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1132.92
Current children cumulated vsize (Kb) 845744

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4078
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19093 4 1 0 114174 107 0 0 25 0 11 0 1860458602 866041856 30900 4294967295 134512640 134569956 3221224336 3221214560 1131617876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30900 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1142.81
Current children cumulated vsize (Kb) 845744
One traced child (pid=4078) exited with status: 0
New thread pid=4079

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19100 4 1 0 115163 107 0 0 24 0 11 0 1860458602 866041856 30900 4294967295 134512640 134569956 3221224336 3221214560 1131617445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30900 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1152.7
Current children cumulated vsize (Kb) 845744

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19109 4 1 0 116142 107 0 0 20 0 11 0 1860458602 866041856 30912 4294967295 134512640 134569956 3221224336 3221214560 1131618717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30912 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1162.49
Current children cumulated vsize (Kb) 845744

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19118 4 1 0 117121 108 0 0 25 0 11 0 1860458602 866041856 30925 4294967295 134512640 134569956 3221224336 3221214560 1131615272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30925 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1172.29
Current children cumulated vsize (Kb) 845744

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19127 4 1 0 118101 108 0 0 20 0 11 0 1860458602 866041856 30928 4294967295 134512640 134569956 3221224336 3221214528 1131468448 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30928 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (Kb) 845744

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19136 4 1 0 119075 109 0 0 24 0 11 0 1860458602 866041856 30963 4294967295 134512640 134569956 3221224336 3221214560 1131627279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/3994/statm): 211436 30963 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1191.84
Current children cumulated vsize (Kb) 845744

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19146 4 1 0 120047 109 0 0 23 0 11 0 1860458602 866041856 31000 4294967295 134512640 134569956 3221224336 3221214560 1131617140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 31000 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1201.56
Current children cumulated vsize (Kb) 845744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 4079
Raw data (/proc/3994/stat): 3994 (java) R 3993 3994 31027 0 -1 0 19146 4 1 0 120047 109 0 0 23 0 11 0 1860458602 866041856 31000 4294967295 134512640 134569956 3221224336 3221214560 1131617140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/3994/statm): 211436 31000 13129 16 0 211420 0
[pid=3994] vsize: 845744
Current children cumulated CPU time (s) 1201.56
Current children cumulated vsize (Kb) 845744

Sending SIGTERM to -3994
Sleeping 2 seconds
New thread pid=4081
New thread pid=4082
One traced child (pid=4082) exited with status: 0
One traced child (pid=4003) exited with status: 0
One traced child (pid=3998) exited with status: 0
One traced child (pid=3995) exited with status: 143
One traced child (pid=3996) exited with status: 143
One traced child (pid=3997) exited with status: 143
One traced child (pid=4002) exited with status: 143
One traced child (pid=3999) exited with status: 143
One traced child (pid=4001) exited with status: 143
One traced child (pid=4079) exited with status: 143
One traced child (pid=4081) exited with status: 143
One traced child (pid=4000) exited with status: 143
One traced child (pid=3994) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.41
CPU time (s): 1234.96
CPU user time (s): 1233.21
CPU system time (s): 1.75073
CPU usage (%): 99.5612
Max. virtual memory (cumulated for all children) (Kb): 858720

Verifier Data

Verifier:	OK	43633148139800