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/miplib3/normalized-mps-v2-13-7-bell3a.opb
MD5SUM47799b7114cd9484def56bec40d7bc3d
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 benchmark1248.64
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 8828

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 19:10:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6861 boxname=wulflinc9 idbench=1001 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  47799b7114cd9484def56bec40d7bc3d  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 6861
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        796800 kB
Buffers:         38248 kB
Cached:         170080 kB
SwapCached:       1044 kB
Active:          81760 kB
Inactive:       129344 kB
HighTotal:      131008 kB
HighFree:         1232 kB
LowTotal:       903652 kB
LowFree:        795568 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21128 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 19:31:07 (client local time) WITH STATUS 143 IN 1248.64 SECONDS
stats: 6861 0 1248.64 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/wulflinc9/normalized-mps-v2-13-7-bell3a.opb
c reading problem ... done. Time 1.906 ms.
c #vars     1599
c #constraints  147
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     900486447555990 		Current CPU time: 37.92 ms
c CURRENT OPTIMUM=     893123930409085 		Current CPU time: 70.17 ms
c CURRENT OPTIMUM=     893109798760000 		Current CPU time: 84.31 ms
c CURRENT OPTIMUM=     893057776651365 		Current CPU time: 102.58 ms
c CURRENT OPTIMUM=     888131555506500 		Current CPU time: 110.69 ms
c CURRENT OPTIMUM=     879989130752500 		Current CPU time: 150.40 ms
c CURRENT OPTIMUM=     712637235104240 		Current CPU time: 181.19 ms
c CURRENT OPTIMUM=     712463317568920 		Current CPU time: 212.64 ms
c CURRENT OPTIMUM=     482654138101740 		Current CPU time: 389.32 ms
c CURRENT OPTIMUM=     296179256852480 		Current CPU time: 799.20 ms
c CURRENT OPTIMUM=     102084537121400 		Current CPU time: 923.25 ms
c CURRENT OPTIMUM=      53382149771675 		Current CPU time: 1041.13 ms
c CURRENT OPTIMUM=      51899169090340 		Current CPU time: 1114.85 ms
c CURRENT OPTIMUM=      43633148139800 		Current CPU time: 1181.63 ms
c starts		: 20
c conflicts		: 984
c decisions		: 42423
c propagations		: 88636
c inspects		: 1067910
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 984
c root simplifications	: 54
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 40993
c speed (decisions/second)	: 742.3486797207203
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) : 1238.982

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/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802723310 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 39 3 38 16 0 23 0
[pid=12452] 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/12452
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=12453
New thread pid=12454
New thread pid=12455
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=12456
New thread pid=12457
New thread pid=12458
New thread pid=12459
New thread pid=12460
New thread pid=12461
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/wulflinc9/normalized-mps-v2-13-7-bell3a.opb
New thread pid=12462

[startup+10.002 s]
Raw data (loadavg): 1.06 1.06 1.04 1/66 12462
Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18164 0 1 0 706 44 0 0 21 0 11 0 1802723310 859697152 20200 4294967295 134512640 134569956 3221224336 3221213672 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 20200 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (Kb) 839548

[startup+20.0025 s]
Raw data (loadavg): 1.05 1.06 1.03 2/66 12462
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18172 0 1 0 1635 44 0 0 25 0 11 0 1802723310 859697152 20841 4294967295 134512640 134569956 3221224336 3221214408 1131694018 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 20841 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 16.79
Current children cumulated vsize (Kb) 839548

[startup+30.0032 s]
Raw data (loadavg): 1.04 1.05 1.03 2/66 12462
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18180 0 1 0 2578 44 0 0 20 0 11 0 1802723310 859697152 21351 4294967295 134512640 134569956 3221224336 3221214536 1131436202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 21351 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (Kb) 839548
One traced child (pid=12462) exited with status: 0
New thread pid=12463

[startup+40.0041 s]
Raw data (loadavg): 1.03 1.05 1.03 3/66 12463
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18232 3 1 0 3526 45 0 0 22 0 11 0 1802723310 859697152 21545 4294967295 134512640 134569956 3221224336 3221214612 1131435212 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 21545 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 35.71
Current children cumulated vsize (Kb) 839548

[startup+50.0048 s]
Raw data (loadavg): 1.03 1.05 1.03 2/66 12463
Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18239 3 1 0 4471 45 0 0 25 0 11 0 1802723310 859697152 21978 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 21978 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 45.16
Current children cumulated vsize (Kb) 839548

[startup+60.0055 s]
Raw data (loadavg): 1.02 1.05 1.03 2/66 12463
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18245 3 1 0 5416 46 0 0 25 0 11 0 1802723310 859697152 22059 4294967295 134512640 134569956 3221224336 3221214184 1085806307 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 22059 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 54.62
Current children cumulated vsize (Kb) 839548

[startup+70.0063 s]
Raw data (loadavg): 1.02 1.05 1.03 3/66 12463
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18252 3 1 0 6347 46 0 0 18 0 11 0 1802723310 859697152 22312 4294967295 134512640 134569956 3221224336 3221214240 1131698308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 22312 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 63.93
Current children cumulated vsize (Kb) 839548
One traced child (pid=12463) exited with status: 0
New thread pid=12464

[startup+80.0071 s]
Raw data (loadavg): 1.02 1.04 1.03 2/66 12464
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18260 3 1 0 7270 47 0 0 18 0 11 0 1802723310 859697152 22523 4294967295 134512640 134569956 3221224336 3221214512 1131435492 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 22523 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 73.17
Current children cumulated vsize (Kb) 839548
One traced child (pid=12464) exited with status: 0
New thread pid=12465

[startup+90.0079 s]
Raw data (loadavg): 1.01 1.04 1.03 2/66 12465
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18267 3 1 0 8216 47 0 0 25 0 11 0 1802723310 859697152 22639 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 22639 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 82.63
Current children cumulated vsize (Kb) 839548

[startup+100.008 s]
Raw data (loadavg): 1.01 1.04 1.03 2/66 12465
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18275 3 1 0 9156 48 0 0 25 0 11 0 1802723310 859697152 22871 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 22871 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 92.04
Current children cumulated vsize (Kb) 839548
One traced child (pid=12465) exited with status: 0
New thread pid=12466

[startup+110.008 s]
Raw data (loadavg): 1.01 1.04 1.03 2/66 12466
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18282 3 1 0 10121 48 0 0 25 0 11 0 1802723310 859697152 23162 4294967295 134512640 134569956 3221224336 3221214552 1131435687 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23162 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (Kb) 839548
One traced child (pid=12466) exited with status: 0
New thread pid=12467

[startup+120.009 s]
Raw data (loadavg): 1.09 1.05 1.03 2/66 12467
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18289 3 1 0 11090 48 0 0 25 0 11 0 1802723310 859697152 23243 4294967295 134512640 134569956 3221224336 3221214464 1131399719 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23243 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 111.38
Current children cumulated vsize (Kb) 839548

[startup+130.01 s]
Raw data (loadavg): 1.07 1.05 1.03 2/66 12467
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18297 3 1 0 12054 49 0 0 25 0 11 0 1802723310 859697152 23383 4294967295 134512640 134569956 3221224336 3221214728 1131490736 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 23383 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 121.03
Current children cumulated vsize (Kb) 839548

[startup+140.011 s]
Raw data (loadavg): 1.14 1.07 1.03 2/66 12467
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18304 3 1 0 13022 49 0 0 24 0 11 0 1802723310 859697152 23413 4294967295 134512640 134569956 3221224336 3221214572 1131057272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 23413 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 130.71
Current children cumulated vsize (Kb) 839548

[startup+150.011 s]
Raw data (loadavg): 1.12 1.06 1.03 2/66 12467
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18312 3 1 0 13988 50 0 0 17 0 11 0 1802723310 859697152 23486 4294967295 134512640 134569956 3221224336 3221214464 1131399713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23486 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 140.38
Current children cumulated vsize (Kb) 839548
One traced child (pid=12467) exited with status: 0
New thread pid=12468

[startup+160.011 s]
Raw data (loadavg): 1.10 1.06 1.03 2/66 12468
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18321 3 1 0 14952 50 0 0 25 0 11 0 1802723310 859697152 23566 4294967295 134512640 134569956 3221224336 3221214552 1131435327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 23566 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 839548

[startup+170.012 s]
Raw data (loadavg): 1.08 1.06 1.03 2/66 12468
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18330 3 1 0 15916 50 0 0 25 0 11 0 1802723310 859697152 23690 4294967295 134512640 134569956 3221224336 3221214624 1131440807 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 23690 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 839548

[startup+180.013 s]
Raw data (loadavg): 1.07 1.06 1.03 2/66 12468
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18337 3 1 0 16892 51 0 0 25 0 11 0 1802723310 859697152 23786 4294967295 134512640 134569956 3221224336 3221214552 1131436639 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23786 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 839548
One traced child (pid=12468) exited with status: 0
New thread pid=12469

[startup+190.014 s]
Raw data (loadavg): 1.06 1.05 1.03 2/66 12469
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18344 3 1 0 17869 51 0 0 25 0 11 0 1802723310 859697152 23851 4294967295 134512640 134569956 3221224336 3221214572 1131057186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23851 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 179.2
Current children cumulated vsize (Kb) 839548

[startup+200.014 s]
Raw data (loadavg): 1.05 1.05 1.03 2/66 12469
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18349 3 1 0 18853 51 0 0 25 0 11 0 1802723310 859697152 23876 4294967295 134512640 134569956 3221224336 3221214656 1131495108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 23876 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 189.04
Current children cumulated vsize (Kb) 839548

[startup+210.015 s]
Raw data (loadavg): 1.04 1.05 1.03 2/66 12469
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18356 3 1 0 19830 51 0 0 22 0 11 0 1802723310 859697152 23934 4294967295 134512640 134569956 3221224336 3221214596 1131696064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 23934 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 198.81
Current children cumulated vsize (Kb) 839548
One traced child (pid=12469) exited with status: 0
New thread pid=12470

[startup+220.016 s]
Raw data (loadavg): 1.12 1.06 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18364 3 1 0 20803 52 0 0 25 0 11 0 1802723310 859697152 24011 4294967295 134512640 134569956 3221224336 3221214552 1131436127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 24011 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 208.55
Current children cumulated vsize (Kb) 839548

[startup+230.017 s]
Raw data (loadavg): 1.10 1.06 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18373 3 1 0 21771 52 0 0 25 0 11 0 1802723310 859697152 24058 4294967295 134512640 134569956 3221224336 3221214656 1131495059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 24058 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 218.23
Current children cumulated vsize (Kb) 839548

[startup+240.017 s]
Raw data (loadavg): 1.08 1.06 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18380 3 1 0 22746 52 0 0 25 0 11 0 1802723310 859697152 24129 4294967295 134512640 134569956 3221224336 3221214668 1131448236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24129 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 227.98
Current children cumulated vsize (Kb) 839548

[startup+250.018 s]
Raw data (loadavg): 1.07 1.06 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18389 3 1 0 23713 52 0 0 25 0 11 0 1802723310 859697152 24168 4294967295 134512640 134569956 3221224336 3221214552 1131436124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24168 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 237.65
Current children cumulated vsize (Kb) 839548

[startup+260.019 s]
Raw data (loadavg): 1.06 1.05 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18396 3 1 0 24687 53 0 0 25 0 11 0 1802723310 859697152 24257 4294967295 134512640 134569956 3221224336 3221214304 1131694028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24257 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 247.4
Current children cumulated vsize (Kb) 839548

[startup+270.02 s]
Raw data (loadavg): 1.05 1.05 1.03 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18402 3 1 0 25667 53 0 0 25 0 11 0 1802723310 859697152 24344 4294967295 134512640 134569956 3221224336 3221214760 1131480163 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24344 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 257.2
Current children cumulated vsize (Kb) 839548

[startup+280.02 s]
Raw data (loadavg): 1.04 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18411 3 1 0 26617 53 0 0 21 0 11 0 1802723310 859697152 24394 4294967295 134512640 134569956 3221224336 3221214552 1131436076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24394 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 266.7
Current children cumulated vsize (Kb) 839548

[startup+290.021 s]
Raw data (loadavg): 1.03 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18419 3 1 0 27566 54 0 0 25 0 11 0 1802723310 859697152 24465 4294967295 134512640 134569956 3221224336 3221214608 1131406169 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24465 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 276.2
Current children cumulated vsize (Kb) 839548

[startup+300.022 s]
Raw data (loadavg): 1.03 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18426 3 1 0 28522 54 0 0 22 0 11 0 1802723310 859697152 24490 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 24490 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 285.76
Current children cumulated vsize (Kb) 839548

[startup+310.022 s]
Raw data (loadavg): 1.02 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18433 3 1 0 29476 55 0 0 25 0 11 0 1802723310 859697152 24569 4294967295 134512640 134569956 3221224336 3221214520 1131525461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 24569 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 295.31
Current children cumulated vsize (Kb) 839548

[startup+320.023 s]
Raw data (loadavg): 1.02 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18442 3 1 0 30436 55 0 0 21 0 11 0 1802723310 859697152 24895 4294967295 134512640 134569956 3221224336 3221214656 1131499439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 24895 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 304.91
Current children cumulated vsize (Kb) 839548

[startup+330.023 s]
Raw data (loadavg): 1.02 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18448 3 1 0 31409 56 0 0 25 0 11 0 1802723310 859697152 24989 4294967295 134512640 134569956 3221224336 3221214656 1131496176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 24989 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 314.65
Current children cumulated vsize (Kb) 839548

[startup+340.024 s]
Raw data (loadavg): 1.01 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18455 3 1 0 32376 57 0 0 17 0 11 0 1802723310 859697152 25020 4294967295 134512640 134569956 3221224336 3221214528 1131417321 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 25020 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 324.33
Current children cumulated vsize (Kb) 839548

[startup+350.025 s]
Raw data (loadavg): 1.01 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18461 3 1 0 33344 58 0 0 25 0 11 0 1802723310 859697152 25078 4294967295 134512640 134569956 3221224336 3221214576 1131406152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25078 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 334.02
Current children cumulated vsize (Kb) 839548

[startup+360.026 s]
Raw data (loadavg): 1.01 1.04 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18468 3 1 0 34303 58 0 0 19 0 11 0 1802723310 859697152 25111 4294967295 134512640 134569956 3221224336 3221214596 1131406139 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 25111 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 343.61
Current children cumulated vsize (Kb) 839548

[startup+370.026 s]
Raw data (loadavg): 1.08 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18474 3 1 0 35267 59 0 0 25 0 11 0 1802723310 859697152 25243 4294967295 134512640 134569956 3221224336 3221214520 1131521829 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25243 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 353.26
Current children cumulated vsize (Kb) 839548

[startup+380.027 s]
Raw data (loadavg): 1.07 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18479 3 1 0 36238 59 0 0 25 0 11 0 1802723310 859697152 25296 4294967295 134512640 134569956 3221224336 3221214480 1131720134 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 25296 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 362.97
Current children cumulated vsize (Kb) 839548

[startup+390.028 s]
Raw data (loadavg): 1.06 1.05 1.02 2/66 12470
Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18487 3 1 0 37198 59 0 0 25 0 11 0 1802723310 859697152 25384 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 25384 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 372.57
Current children cumulated vsize (Kb) 839548
One traced child (pid=12470) exited with status: 0
New thread pid=12471

[startup+400.033 s]
Raw data (loadavg): 1.05 1.04 1.02 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18494 3 1 0 38163 60 0 0 25 0 11 0 1802723310 859697152 25529 4294967295 134512640 134569956 3221224336 3221214552 1131435316 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25529 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 382.23
Current children cumulated vsize (Kb) 839548

[startup+410.033 s]
Raw data (loadavg): 1.04 1.04 1.02 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18500 3 1 0 39138 60 0 0 20 0 11 0 1802723310 859697152 25626 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 25626 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 391.98
Current children cumulated vsize (Kb) 839548

[startup+420.034 s]
Raw data (loadavg): 1.03 1.04 1.02 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18507 3 1 0 40113 61 0 0 25 0 11 0 1802723310 859697152 25747 4294967295 134512640 134569956 3221224336 3221214608 1131406169 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25747 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 401.74
Current children cumulated vsize (Kb) 839548

[startup+430.035 s]
Raw data (loadavg): 1.03 1.04 1.02 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18514 3 1 0 41085 61 0 0 25 0 11 0 1802723310 859697152 25782 4294967295 134512640 134569956 3221224336 3221214528 1131417077 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25782 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 411.46
Current children cumulated vsize (Kb) 839548

[startup+440.036 s]
Raw data (loadavg): 1.02 1.04 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18522 3 1 0 42050 61 0 0 25 0 11 0 1802723310 859697152 25823 4294967295 134512640 134569956 3221224336 3221214520 1131417626 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25823 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 421.11
Current children cumulated vsize (Kb) 839548

[startup+450.037 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18530 3 1 0 43011 62 0 0 25 0 11 0 1802723310 859697152 25875 4294967295 134512640 134569956 3221224336 3221214656 1131496180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25875 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 430.73
Current children cumulated vsize (Kb) 839548

[startup+460.037 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18539 3 1 0 43953 62 0 0 25 0 11 0 1802723310 859697152 25985 4294967295 134512640 134569956 3221224336 3221214656 1131496203 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 25985 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 440.15
Current children cumulated vsize (Kb) 839548

[startup+470.038 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18547 3 1 0 44912 62 0 0 25 0 11 0 1802723310 859697152 26116 4294967295 134512640 134569956 3221224336 3221214520 1131417198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 26116 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 449.74
Current children cumulated vsize (Kb) 839548

[startup+480.038 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18553 3 1 0 45883 63 0 0 25 0 11 0 1802723310 859697152 26159 4294967295 134512640 134569956 3221224336 3221214656 1131497086 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 26159 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 459.46
Current children cumulated vsize (Kb) 839548

[startup+490.04 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18559 3 1 0 46850 64 0 0 25 0 11 0 1802723310 859697152 26254 4294967295 134512640 134569956 3221224336 3221214552 1131435244 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26254 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 469.14
Current children cumulated vsize (Kb) 839548

[startup+500.04 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18566 3 1 0 47820 64 0 0 24 0 11 0 1802723310 859697152 26471 4294967295 134512640 134569956 3221224336 3221214760 1131480163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26471 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 478.84
Current children cumulated vsize (Kb) 839548

[startup+510.04 s]
Raw data (loadavg): 1.00 1.03 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18571 3 1 0 48796 64 0 0 17 0 11 0 1802723310 859697152 26474 4294967295 134512640 134569956 3221224336 3221214656 1131496958 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26474 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 488.6
Current children cumulated vsize (Kb) 839548

[startup+520.041 s]
Raw data (loadavg): 1.00 1.02 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18578 3 1 0 49756 64 0 0 23 0 11 0 1802723310 859697152 26479 4294967295 134512640 134569956 3221224336 3221214536 1131439517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26479 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 498.2
Current children cumulated vsize (Kb) 839548

[startup+530.041 s]
Raw data (loadavg): 1.00 1.02 1.01 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18586 3 1 0 50711 64 0 0 25 0 11 0 1802723310 859697152 26582 4294967295 134512640 134569956 3221224336 3221214272 1085759260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 26582 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 507.75
Current children cumulated vsize (Kb) 839548

[startup+540.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18592 3 1 0 51682 64 0 0 25 0 11 0 1802723310 859697152 26705 4294967295 134512640 134569956 3221224336 3221214352 1131698236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26705 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 517.46
Current children cumulated vsize (Kb) 839548

[startup+550.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18601 3 1 0 52646 65 0 0 22 0 11 0 1802723310 859697152 26902 4294967295 134512640 134569956 3221224336 3221214624 1131440783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 26902 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 527.11
Current children cumulated vsize (Kb) 839548

[startup+560.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18608 3 1 0 53625 66 0 0 16 0 11 0 1802723310 859697152 27028 4294967295 134512640 134569956 3221224336 3221214528 1131417463 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27028 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 536.91
Current children cumulated vsize (Kb) 839548

[startup+570.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18616 3 1 0 54606 66 0 0 24 0 11 0 1802723310 859697152 27055 4294967295 134512640 134569956 3221224336 3221214552 1131435755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27055 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 546.72
Current children cumulated vsize (Kb) 839548

[startup+580.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18623 3 1 0 55588 66 0 0 25 0 11 0 1802723310 859697152 27079 4294967295 134512640 134569956 3221224336 3221214552 1131435774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27079 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (Kb) 839548

[startup+590.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18631 3 1 0 56561 66 0 0 21 0 11 0 1802723310 859697152 27159 4294967295 134512640 134569956 3221224336 3221214616 1131492640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27159 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 566.27
Current children cumulated vsize (Kb) 839548

[startup+600.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18638 3 1 0 57539 67 0 0 25 0 11 0 1802723310 859697152 27159 4294967295 134512640 134569956 3221224336 3221214520 1131521131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27159 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 576.06
Current children cumulated vsize (Kb) 839548

[startup+610.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18645 3 1 0 58512 67 0 0 25 0 11 0 1802723310 859697152 27194 4294967295 134512640 134569956 3221224336 3221214552 1131435274 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27194 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 585.79
Current children cumulated vsize (Kb) 839548

[startup+620.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18653 3 1 0 59476 67 0 0 25 0 11 0 1802723310 859697152 27269 4294967295 134512640 134569956 3221224336 3221214560 1131430350 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27269 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 595.43
Current children cumulated vsize (Kb) 839548

[startup+630.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18661 3 1 0 60435 67 0 0 25 0 11 0 1802723310 859697152 27348 4294967295 134512640 134569956 3221224336 3221214528 1131417365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27348 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 605.02
Current children cumulated vsize (Kb) 839548

[startup+640.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18669 3 1 0 61393 68 0 0 25 0 11 0 1802723310 859697152 27389 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27389 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 614.61
Current children cumulated vsize (Kb) 839548

[startup+650.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18677 3 1 0 62348 68 0 0 25 0 11 0 1802723310 859697152 27496 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27496 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 624.16
Current children cumulated vsize (Kb) 839548

[startup+660.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18684 3 1 0 63309 68 0 0 25 0 11 0 1802723310 859697152 27616 4294967295 134512640 134569956 3221224336 3221214696 1131691212 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27616 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 633.77
Current children cumulated vsize (Kb) 839548

[startup+670.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18691 3 1 0 64274 68 0 0 25 0 11 0 1802723310 859697152 27756 4294967295 134512640 134569956 3221224336 3221214592 1131490733 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 27756 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 643.42
Current children cumulated vsize (Kb) 839548

[startup+680.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18698 3 1 0 65236 68 0 0 25 0 11 0 1802723310 859697152 27827 4294967295 134512640 134569956 3221224336 3221214592 1131490798 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27827 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 653.04
Current children cumulated vsize (Kb) 839548

[startup+690.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18705 3 1 0 66199 69 0 0 22 0 11 0 1802723310 859697152 27979 4294967295 134512640 134569956 3221224336 3221214552 1131435715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 27979 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 662.68
Current children cumulated vsize (Kb) 839548

[startup+700.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18713 3 1 0 67164 69 0 0 24 0 11 0 1802723310 859697152 28044 4294967295 134512640 134569956 3221224336 3221214552 1131435741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28044 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 672.33
Current children cumulated vsize (Kb) 839548

[startup+710.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18722 3 1 0 68124 69 0 0 18 0 11 0 1802723310 859697152 28150 4294967295 134512640 134569956 3221224336 3221214552 1131435858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28150 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 681.93
Current children cumulated vsize (Kb) 839548

[startup+720.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18730 3 1 0 69092 70 0 0 25 0 11 0 1802723310 859697152 28380 4294967295 134512640 134569956 3221224336 3221214552 1131435233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28380 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 691.62
Current children cumulated vsize (Kb) 839548

[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18735 3 1 0 70072 70 0 0 25 0 11 0 1802723310 859697152 28399 4294967295 134512640 134569956 3221224336 3221214552 1131435270 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28399 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 701.42
Current children cumulated vsize (Kb) 839548

[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18741 3 1 0 71045 70 0 0 25 0 11 0 1802723310 859697152 28399 4294967295 134512640 134569956 3221224336 3221214552 1131435782 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28399 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 711.15
Current children cumulated vsize (Kb) 839548

[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18749 3 1 0 72012 70 0 0 25 0 11 0 1802723310 859697152 28511 4294967295 134512640 134569956 3221224336 3221214552 1131435874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28511 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 720.82
Current children cumulated vsize (Kb) 839548

[startup+760.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18758 3 1 0 72981 70 0 0 25 0 11 0 1802723310 859697152 28589 4294967295 134512640 134569956 3221224336 3221214464 1131399717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28589 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 730.51
Current children cumulated vsize (Kb) 839548

[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18767 3 1 0 73960 71 0 0 21 0 11 0 1802723310 859697152 28690 4294967295 134512640 134569956 3221224336 3221214552 1131435932 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28690 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 740.31
Current children cumulated vsize (Kb) 839548

[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18777 3 1 0 74949 71 0 0 25 0 11 0 1802723310 859697152 28715 4294967295 134512640 134569956 3221224336 3221214552 1131435586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28715 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 750.2
Current children cumulated vsize (Kb) 839548

[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18786 3 1 0 75941 71 0 0 17 0 11 0 1802723310 859697152 28724 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28724 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 760.12
Current children cumulated vsize (Kb) 839548

[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12471
Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18794 3 1 0 76935 72 0 0 25 0 11 0 1802723310 859697152 28729 4294967295 134512640 134569956 3221224336 3221213384 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28729 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 839548
One traced child (pid=12471) exited with status: 0
New thread pid=12472

[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18801 3 1 0 77920 72 0 0 24 0 11 0 1802723310 859697152 28731 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28731 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 779.92
Current children cumulated vsize (Kb) 839548

[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18810 3 1 0 78903 73 0 0 25 0 11 0 1802723310 859697152 28733 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28733 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 789.76
Current children cumulated vsize (Kb) 839548

[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18819 3 1 0 79884 73 0 0 23 0 11 0 1802723310 859697152 28735 4294967295 134512640 134569956 3221224336 3221214656 1131496190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28735 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 799.57
Current children cumulated vsize (Kb) 839548

[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18829 3 1 0 80865 73 0 0 25 0 11 0 1802723310 859697152 28778 4294967295 134512640 134569956 3221224336 3221214528 1131417529 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28778 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 809.38
Current children cumulated vsize (Kb) 839548

[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18838 3 1 0 81853 74 0 0 22 0 11 0 1802723310 859697152 28797 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28797 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 819.27
Current children cumulated vsize (Kb) 839548

[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18846 3 1 0 82842 75 0 0 25 0 11 0 1802723310 859697152 28800 4294967295 134512640 134569956 3221224336 3221214552 1131694092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28800 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 829.17
Current children cumulated vsize (Kb) 839548

[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18853 3 1 0 83831 75 0 0 25 0 11 0 1802723310 859697152 28806 4294967295 134512640 134569956 3221224336 3221214216 1085806322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28806 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 839.06
Current children cumulated vsize (Kb) 839548

[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18861 3 1 0 84818 75 0 0 19 0 11 0 1802723310 859697152 28820 4294967295 134512640 134569956 3221224336 3221214552 1131435631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28820 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 848.93
Current children cumulated vsize (Kb) 839548

[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18870 3 1 0 85804 76 0 0 18 0 11 0 1802723310 859697152 28826 4294967295 134512640 134569956 3221224336 3221214552 1131435870 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28826 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 858.8
Current children cumulated vsize (Kb) 839548

[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18877 3 1 0 86788 76 0 0 25 0 11 0 1802723310 859697152 28844 4294967295 134512640 134569956 3221224336 3221214552 1131435712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28844 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 868.64
Current children cumulated vsize (Kb) 839548

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12472
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18883 3 1 0 87776 77 0 0 25 0 11 0 1802723310 859697152 28850 4294967295 134512640 134569956 3221224336 3221214552 1131436202 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28850 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 878.53
Current children cumulated vsize (Kb) 839548

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/66 12472
Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18887 3 1 0 88767 77 0 0 25 0 11 0 1802723310 859697152 28852 4294967295 134512640 134569956 3221224336 3221213636 1074594577 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28852 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 888.44
Current children cumulated vsize (Kb) 839548
One traced child (pid=12472) exited with status: 0
New thread pid=12473

[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18893 3 1 0 89751 78 0 0 24 0 11 0 1802723310 859697152 28853 4294967295 134512640 134569956 3221224336 3221214352 1085806307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28853 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 898.29
Current children cumulated vsize (Kb) 839548

[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18901 3 1 0 90731 79 0 0 21 0 11 0 1802723310 859697152 28880 4294967295 134512640 134569956 3221224336 3221214656 1131499421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28880 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (Kb) 839548

[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18909 3 1 0 91710 79 0 0 25 0 11 0 1802723310 859697152 28889 4294967295 134512640 134569956 3221224336 3221214656 1131499519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28889 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 917.89
Current children cumulated vsize (Kb) 839548

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18917 3 1 0 92688 80 0 0 25 0 11 0 1802723310 859697152 28906 4294967295 134512640 134569956 3221224336 3221214656 1131496176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28906 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 927.68
Current children cumulated vsize (Kb) 839548

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18923 3 1 0 93673 80 0 0 24 0 11 0 1802723310 859697152 28947 4294967295 134512640 134569956 3221224336 3221214656 1131495071 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28947 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 937.53
Current children cumulated vsize (Kb) 839548

[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18928 3 1 0 94660 81 0 0 25 0 11 0 1802723310 859697152 28948 4294967295 134512640 134569956 3221224336 3221214832 1131711479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28948 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 947.41
Current children cumulated vsize (Kb) 839548

[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18936 3 1 0 95639 81 0 0 25 0 11 0 1802723310 859697152 28981 4294967295 134512640 134569956 3221224336 3221214656 1131496136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 28981 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 957.2
Current children cumulated vsize (Kb) 839548

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18942 3 1 0 96624 82 0 0 25 0 11 0 1802723310 859697152 28999 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 28999 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 967.06
Current children cumulated vsize (Kb) 839548

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18948 3 1 0 97607 82 0 0 18 0 11 0 1802723310 859697152 29004 4294967295 134512640 134569956 3221224336 3221214552 1131435475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29004 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 976.89
Current children cumulated vsize (Kb) 839548

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18954 3 1 0 98590 82 0 0 19 0 11 0 1802723310 859697152 29026 4294967295 134512640 134569956 3221224336 3221214752 1131691000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29026 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 986.72
Current children cumulated vsize (Kb) 839548

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18961 3 1 0 99571 82 0 0 25 0 11 0 1802723310 859697152 29059 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29059 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 996.53
Current children cumulated vsize (Kb) 839548

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12473
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18968 3 1 0 100554 83 0 0 18 0 11 0 1802723310 859697152 29061 4294967295 134512640 134569956 3221224336 3221214552 1131435233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29061 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1006.37
Current children cumulated vsize (Kb) 839548
One traced child (pid=12473) exited with status: 0
New thread pid=12474

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18975 3 1 0 101535 83 0 0 25 0 11 0 1802723310 859697152 29098 4294967295 134512640 134569956 3221224336 3221214656 1131694908 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29098 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1016.18
Current children cumulated vsize (Kb) 839548

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18983 3 1 0 102514 84 0 0 23 0 11 0 1802723310 859697152 29134 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29134 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1025.98
Current children cumulated vsize (Kb) 839548

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18992 3 1 0 103491 84 0 0 25 0 11 0 1802723310 859697152 29146 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29146 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1035.75
Current children cumulated vsize (Kb) 839548

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19000 3 1 0 104470 85 0 0 25 0 11 0 1802723310 859697152 29153 4294967295 134512640 134569956 3221224336 3221214552 1131435341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29153 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1045.55
Current children cumulated vsize (Kb) 839548

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19008 3 1 0 105450 85 0 0 23 0 11 0 1802723310 859697152 29208 4294967295 134512640 134569956 3221224336 3221214552 1131435782 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29208 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1055.35
Current children cumulated vsize (Kb) 839548

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19016 3 1 0 106432 85 0 0 25 0 11 0 1802723310 859697152 29232 4294967295 134512640 134569956 3221224336 3221214552 1131435225 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29232 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1065.17
Current children cumulated vsize (Kb) 839548

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12474
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19024 3 1 0 107415 86 0 0 23 0 11 0 1802723310 859697152 29247 4294967295 134512640 134569956 3221224336 3221214656 1131694761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29247 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1075.01
Current children cumulated vsize (Kb) 839548
One traced child (pid=12474) exited with status: 0
New thread pid=12475

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 19033 3 1 0 108397 87 0 0 25 0 11 0 1802723310 859697152 29251 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29251 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1084.84
Current children cumulated vsize (Kb) 839548

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19040 3 1 0 109378 87 0 0 25 0 11 0 1802723310 859697152 29276 4294967295 134512640 134569956 3221224336 3221214480 1131720206 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29276 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1094.65
Current children cumulated vsize (Kb) 839548

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19049 3 1 0 110358 88 0 0 21 0 11 0 1802723310 859697152 29291 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29291 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1104.46
Current children cumulated vsize (Kb) 839548

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19058 3 1 0 111339 88 0 0 25 0 11 0 1802723310 859697152 29296 4294967295 134512640 134569956 3221224336 3221214352 1131698226 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29296 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1114.27
Current children cumulated vsize (Kb) 839548

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19067 3 1 0 112320 89 0 0 25 0 11 0 1802723310 859697152 29329 4294967295 134512640 134569956 3221224336 3221214656 1131495108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29329 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1124.09
Current children cumulated vsize (Kb) 839548

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19076 3 1 0 113305 89 0 0 19 0 11 0 1802723310 859697152 29359 4294967295 134512640 134569956 3221224336 3221214552 1131435576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29359 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1133.94
Current children cumulated vsize (Kb) 839548

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12475
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19084 3 1 0 114293 90 0 0 25 0 11 0 1802723310 859697152 29363 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29363 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1143.83
Current children cumulated vsize (Kb) 839548
One traced child (pid=12475) exited with status: 0
New thread pid=12476

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19092 3 1 0 115277 90 0 0 23 0 11 0 1802723310 859697152 29367 4294967295 134512640 134569956 3221224336 3221214552 1131435600 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29367 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1153.67
Current children cumulated vsize (Kb) 839548

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19101 3 1 0 116257 91 0 0 18 0 11 0 1802723310 859697152 29386 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29386 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1163.48
Current children cumulated vsize (Kb) 839548

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19110 3 1 0 117236 91 0 0 25 0 11 0 1802723310 859697152 29389 4294967295 134512640 134569956 3221224336 3221214552 1131435301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29389 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1173.27
Current children cumulated vsize (Kb) 839548

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19120 3 1 0 118211 92 0 0 25 0 11 0 1802723310 859697152 29426 4294967295 134512640 134569956 3221224336 3221214656 1131495007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12452/statm): 209887 29426 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1183.03
Current children cumulated vsize (Kb) 839548

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19129 3 1 0 119185 92 0 0 25 0 11 0 1802723310 859697152 29457 4294967295 134512640 134569956 3221224336 3221214656 1131496133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29457 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1192.77
Current children cumulated vsize (Kb) 839548

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19139 3 1 0 120152 92 0 0 17 0 11 0 1802723310 859697152 29466 4294967295 134512640 134569956 3221224336 3221214656 1131496252 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29466 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1202.44
Current children cumulated vsize (Kb) 839548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12476
Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19139 3 1 0 120152 92 0 0 17 0 11 0 1802723310 859697152 29466 4294967295 134512640 134569956 3221224336 3221214552 1131435344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12452/statm): 209887 29466 13129 16 0 209871 0
[pid=12452] vsize: 839548
Current children cumulated CPU time (s) 1202.44
Current children cumulated vsize (Kb) 839548

Sending SIGTERM to -12452
Sleeping 2 seconds
New thread pid=12478
New thread pid=12479
One traced child (pid=12479) exited with status: 0
One traced child (pid=12461) exited with status: 0
One traced child (pid=12456) exited with status: 0
One traced child (pid=12453) exited with status: 143
One traced child (pid=12454) exited with status: 143
One traced child (pid=12457) exited with status: 143
One traced child (pid=12460) exited with status: 143
One traced child (pid=12455) exited with status: 143
One traced child (pid=12459) exited with status: 143
One traced child (pid=12476) exited with status: 143
One traced child (pid=12458) exited with status: 143
One traced child (pid=12478) exited with status: 143
One traced child (pid=12452) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.37
CPU time (s): 1248.64
CPU user time (s): 1246.86
CPU system time (s): 1.78073
CPU usage (%): 100.666
Max. virtual memory (cumulated for all children) (Kb): 839548

Verifier Data

Verifier:	OK	43633148139800