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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
MD5SUMff4c2c4c9f15b8f5e44f85b64f7c2f83
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 87110089
Optimality of the best value was proved NO
Number of terms in the objective function 2976
Biggest coefficient in the objective function 412316860416
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 35253236940736
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 412316860416
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 35253236940736
Number of bits of the biggest sum of numbers46
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1247.6
Number of variables2976
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint31
Maximum length of a constraint360

Trace number 7282

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        872308 kB
Buffers:         28028 kB
Cached:         105924 kB
SwapCached:       1164 kB
Active:          31684 kB
Inactive:       105060 kB
HighTotal:      131008 kB
HighFree:        25928 kB
LowTotal:       903652 kB
LowFree:        846380 kB
SwapTotal:     2097892 kB
SwapFree:      2096244 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19928 kB
Committed_AS:    64340 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 10:49:30 (client local time) WITH STATUS 143 IN 1247.6 SECONDS
stats: 6565 0 1247.6 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/wulflinc31/normalized-mps-v2-20-10-bal8x12.opb
c reading problem ... done. Time 4.054 ms.
c #vars     2976
c #constraints  136
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=           129450158 		Current CPU time: 24.23 ms
c CURRENT OPTIMUM=            87110089 		Current CPU time: 114.58 ms
c starts		: 7
c conflicts		: 1100
c decisions		: 11414
c propagations		: 43813
c inspects		: 436567
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1099
c root simplifications	: 46
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 3916
c speed (decisions/second)	: 10.175925653513923
c non guided choices	2457
c random choices	0
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 X7_bit0 X7_bit1 X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 X9_bit_10 X9_bit_9 X9_bit_8 X9_bit_7 X9_bit_6 X9_bit_5 X9_bit_4 X9_bit_3 X9_bit_2 X9_bit_1 X9_bit0 X9_bit1 X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 X13_bit0 -X13_bit1 X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 -X16_bit1 X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 -X19_bit_8 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 X20_bit1 -X20_bit2 X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 X26_bit_2 X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X27_bit_10 -X27_bit_9 -X27_bit_8 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit13 -X27_bit14 -X27_bit15 -X27_bit16 -X27_bit17 -X27_bit18 -X27_bit19 -X28_bit_10 -X28_bit_9 -X28_bit_8 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 X30_bit2 X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 -X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 X36_bit_3 -X36_bit_2 X36_bit_1 X36_bit0 X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 X38_bit_10 X38_bit_9 X38_bit_8 X38_bit_7 X38_bit_6 X38_bit_5 X38_bit_4 X38_bit_3 X38_bit_2 X38_bit_1 X38_bit0 X38_bit1 X38_bit2 X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X40_bit_10 -X40_bit_9 -X40_bit_8 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit13 -X40_bit14 -X40_bit15 -X40_bit16 -X40_bit17 -X40_bit18 -X40_bit19 X41_bit_10 -X41_bit_9 -X41_bit_8 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 X41_bit_3 X41_bit_2 X41_bit_1 X41_bit0 X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X41_bit17 -X41_bit18 -X41_bit19 X42_bit_10 X42_bit_9 X42_bit_8 X42_bit_7 X42_bit_6 X42_bit_5 X42_bit_4 X42_bit_3 X42_bit_2 X42_bit_1 X42_bit0 -X42_bit1 -X42_bit2 X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X42_bit17 -X42_bit18 -X42_bit19 X43_bit_10 -X43_bit_9 -X43_bit_8 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 X43_bit_1 X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X43_bit17 -X43_bit18 -X43_bit19 -X44_bit_10 -X44_bit_9 -X44_bit_8 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X44_bit17 -X44_bit18 -X44_bit19 -X45_bit_10 -X45_bit_9 -X45_bit_8 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X45_bit17 -X45_bit18 -X45_bit19 -X46_bit_10 -X46_bit_9 -X46_bit_8 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit13 -X46_bit14 -X46_bit15 -X46_bit16 -X46_bit17 -X46_bit18 -X46_bit19 -X47_bit_10 -X47_bit_9 -X47_bit_8 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit13 -X47_bit14 -X47_bit15 -X47_bit16 -X47_bit17 -X47_bit18 -X47_bit19 -X48_bit_10 -X48_bit_9 -X48_bit_8 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit13 -X48_bit14 -X48_bit15 -X48_bit16 -X48_bit17 -X48_bit18 -X48_bit19 -X49_bit_10 -X49_bit_9 -X49_bit_8 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 X49_bit1 -X49_bit2 X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit13 -X49_bit14 -X49_bit15 -X49_bit16 -X49_bit17 -X49_bit18 -X49_bit19 -X50_bit_10 -X50_bit_9 -X50_bit_8 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit13 -X50_bit14 -X50_bit15 -X50_bit16 -X50_bit17 -X50_bit18 -X50_bit19 -X51_bit_10 -X51_bit_9 -X51_bit_8 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 X51_bit0 X51_bit1 X51_bit2 X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X51_bit17 -X51_bit18 -X51_bit19 -X52_bit_10 -X52_bit_9 -X52_bit_8 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X52_bit17 -X52_bit18 -X52_bit19 -X53_bit_10 -X53_bit_9 -X53_bit_8 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X53_bit17 -X53_bit18 -X53_bit19 -X54_bit_10 -X54_bit_9 -X54_bit_8 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X54_bit17 -X54_bit18 -X54_bit19 -X55_bit_10 -X55_bit_9 -X55_bit_8 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -X55_bit17 -X55_bit18 -X55_bit19 -X56_bit_10 -X56_bit_9 -X56_bit_8 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit13 -X56_bit14 -X56_bit15 -X56_bit16 -X56_bit17 -X56_bit18 -X56_bit19 -X57_bit_10 -X57_bit_9 -X57_bit_8 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit13 -X57_bit14 -X57_bit15 -X57_bit16 -X57_bit17 -X57_bit18 -X57_bit19 -X58_bit_10 -X58_bit_9 -X58_bit_8 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit13 -X58_bit14 -X58_bit15 -X58_bit16 -X58_bit17 -X58_bit18 -X58_bit19 -X59_bit_10 -X59_bit_9 -X59_bit_8 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit13 -X59_bit14 -X59_bit15 -X59_bit16 -X59_bit17 -X59_bit18 -X59_bit19 -X60_bit_10 -X60_bit_9 -X60_bit_8 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit13 -X60_bit14 -X60_bit15 -X60_bit16 -X60_bit17 -X60_bit18 -X60_bit19 -X61_bit_10 -X61_bit_9 -X61_bit_8 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit13 -X61_bit14 -X61_bit15 -X61_bit16 -X61_bit17 -X61_bit18 -X61_bit19 X62_bit_10 -X62_bit_9 -X62_bit_8 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 X62_bit_1 X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit13 -X62_bit14 -X62_bit15 -X62_bit16 -X62_bit17 -X62_bit18 -X62_bit19 -X63_bit_10 -X63_bit_9 -X63_bit_8 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit13 -X63_bit14 -X63_bit15 -X63_bit16 -X63_bit17 -X63_bit18 -X63_bit19 -X64_bit_10 -X64_bit_9 -X64_bit_8 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit13 -X64_bit14 -X64_bit15 -X64_bit16 -X64_bit17 -X64_bit18 -X64_bit19 -X65_bit_10 -X65_bit_9 -X65_bit_8 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit13 -X65_bit14 -X65_bit15 -X65_bit16 -X65_bit17 -X65_bit18 -X65_bit19 -X66_bit_10 -X66_bit_9 -X66_bit_8 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit13 -X66_bit14 -X66_bit15 -X66_bit16 -X66_bit17 -X66_bit18 -X66_bit19 -X67_bit_10 X67_bit_9 X67_bit_8 X67_bit_7 X67_bit_6 X67_bit_5 X67_bit_4 X67_bit_3 X67_bit_2 -X67_bit_1 X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit13 -X67_bit14 -X67_bit15 -X67_bit16 -X67_bit17 -X67_bit18 -X67_bit19 -X68_bit_10 -X68_bit_9 -X68_bit_8 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit13 -X68_bit14 -X68_bit15 -X68_bit16 -X68_bit17 -X68_bit18 -X68_bit19 X69_bit_10 -X69_bit_9 -X69_bit_8 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit13 -X69_bit14 -X69_bit15 -X69_bit16 -X69_bit17 -X69_bit18 -X69_bit19 -X70_bit_10 -X70_bit_9 -X70_bit_8 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 X70_bit1 -X70_bit2 X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit13 -X70_bit14 -X70_bit15 -X70_bit16 -X70_bit17 -X70_bit18 -X70_bit19 -X71_bit_10 -X71_bit_9 -X71_bit_8 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 X71_bit0 -X71_bit1 X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit13 -X71_bit14 -X71_bit15 -X71_bit16 -X71_bit17 -X71_bit18 -X71_bit19 -X72_bit_10 -X72_bit_9 -X72_bit_8 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit13 -X72_bit14 -X72_bit15 -X72_bit16 -X72_bit17 -X72_bit18 -X72_bit19 -X73_bit_10 -X73_bit_9 -X73_bit_8 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit13 -X73_bit14 -X73_bit15 -X73_bit16 -X73_bit17 -X73_bit18 -X73_bit19 -X74_bit_10 -X74_bit_9 -X74_bit_8 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 X74_bit_2 X74_bit_1 X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit13 -X74_bit14 -X74_bit15 -X74_bit16 -X74_bit17 -X74_bit18 -X74_bit19 -X75_bit_10 -X75_bit_9 -X75_bit_8 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit13 -X75_bit14 -X75_bit15 -X75_bit16 -X75_bit17 -X75_bit18 -X75_bit19 -X76_bit_10 -X76_bit_9 -X76_bit_8 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit13 -X76_bit14 -X76_bit15 -X76_bit16 -X76_bit17 -X76_bit18 -X76_bit19 X77_bit_10 X77_bit_9 X77_bit_8 X77_bit_7 X77_bit_6 X77_bit_5 X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit13 -X77_bit14 -X77_bit15 -X77_bit16 -X77_bit17 -X77_bit18 -X77_bit19 X78_bit_10 -X78_bit_9 -X78_bit_8 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit13 -X78_bit14 -X78_bit15 -X78_bit16 -X78_bit17 -X78_bit18 -X78_bit19 -X79_bit_10 -X79_bit_9 -X79_bit_8 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit13 -X79_bit14 -X79_bit15 -X79_bit16 -X79_bit17 -X79_bit18 -X79_bit19 -X80_bit_10 -X80_bit_9 -X80_bit_8 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit13 -X80_bit14 -X80_bit15 -X80_bit16 -X80_bit17 -X80_bit18 -X80_bit19 -X81_bit_10 -X81_bit_9 -X81_bit_8 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit13 -X81_bit14 -X81_bit15 -X81_bit16 -X81_bit17 -X81_bit18 -X81_bit19 -X82_bit_10 -X82_bit_9 -X82_bit_8 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit13 -X82_bit14 -X82_bit15 -X82_bit16 -X82_bit17 -X82_bit18 -X82_bit19 -X83_bit_10 -X83_bit_9 -X83_bit_8 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X83_bit13 -X83_bit14 -X83_bit15 -X83_bit16 -X83_bit17 -X83_bit18 -X83_bit19 -X84_bit_10 -X84_bit_9 -X84_bit_8 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit13 -X84_bit14 -X84_bit15 -X84_bit16 -X84_bit17 -X84_bit18 -X84_bit19 -X85_bit_10 -X85_bit_9 -X85_bit_8 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit13 -X85_bit14 -X85_bit15 -X85_bit16 -X85_bit17 -X85_bit18 -X85_bit19 -X86_bit_10 -X86_bit_9 -X86_bit_8 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit13 -X86_bit14 -X86_bit15 -X86_bit16 -X86_bit17 -X86_bit18 -X86_bit19 -X87_bit_10 -X87_bit_9 -X87_bit_8 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit13 -X87_bit14 -X87_bit15 -X87_bit16 -X87_bit17 -X87_bit18 -X87_bit19 -X88_bit_10 -X88_bit_9 -X88_bit_8 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit13 -X88_bit14 -X88_bit15 -X88_bit16 -X88_bit17 -X88_bit18 -X88_bit19 -X89_bit_10 -X89_bit_9 -X89_bit_8 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit13 -X89_bit14 -X89_bit15 -X89_bit16 -X89_bit17 -X89_bit18 -X89_bit19 -X90_bit_10 -X90_bit_9 -X90_bit_8 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit13 -X90_bit14 -X90_bit15 -X90_bit16 -X90_bit17 -X90_bit18 -X90_bit19 -X91_bit_10 -X91_bit_9 -X91_bit_8 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit13 -X91_bit14 -X91_bit15 -X91_bit16 -X91_bit17 -X91_bit18 -X91_bit19 -X92_bit_10 -X92_bit_9 -X92_bit_8 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 X92_bit0 -X92_bit1 -X92_bit2 X92_bit3 X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit13 -X92_bit14 -X92_bit15 -X92_bit16 -X92_bit17 -X92_bit18 -X92_bit19 -X93_bit_10 -X93_bit_9 -X93_bit_8 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit13 -X93_bit14 -X93_bit15 -X93_bit16 -X93_bit17 -X93_bit18 -X93_bit19 -X94_bit_10 -X94_bit_9 -X94_bit_8 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit13 -X94_bit14 -X94_bit15 -X94_bit16 -X94_bit17 -X94_bit18 -X94_bit19 -X95_bit_10 -X95_bit_9 -X95_bit_8 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit13 -X95_bit14 -X95_bit15 -X95_bit16 -X95_bit17 -X95_bit18 -X95_bit19 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 -Y8_bit0 Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 Y24_bit0 -Y25_bit0 Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 Y38_bit0 -Y39_bit0 -Y40_bit0 Y41_bit0 Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 Y49_bit0 -Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 -Y68_bit0 Y69_bit0 Y70_bit0 Y71_bit0 Y72_bit0 -Y73_bit0 Y74_bit0 -Y75_bit0 -Y76_bit0 Y77_bit0 Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 -Y90_bit0 -Y91_bit0 Y92_bit0 -Y93_bit0 -Y94_bit0 -Y95_bit0 
c objective function=87110089
c Total CPU time (ms) : 1236.639

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/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1857780503 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 39 3 38 16 0 23 0
[pid=7486] 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/7486
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=7487
New thread pid=7488
New thread pid=7489
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=7490
New thread pid=7491
New thread pid=7492
New thread pid=7493
New thread pid=7494
New thread pid=7495
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/wulflinc31/normalized-mps-v2-20-10-bal8x12.opb
New thread pid=7496

[startup+10.015 s]
Raw data (loadavg): 0.61 0.66 0.83 2/67 7496
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 11478 0 81 0 454 42 0 0 19 0 11 0 1857780503 860577792 13393 4294967295 134512640 134569956 3221224336 3221214520 1131434028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210102 13397 13129 16 0 210086 0
[pid=7486] vsize: 840408
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (Kb) 840408

[startup+20.016 s]
Raw data (loadavg): 0.67 0.67 0.83 2/67 7496
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18065 0 81 0 1351 57 0 0 19 0 11 0 1857780503 860348416 21177 4294967295 134512640 134569956 3221224336 3221214640 1131553360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 21177 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (Kb) 840184
One traced child (pid=7496) exited with status: 0
New thread pid=7497

[startup+30.0169 s]
Raw data (loadavg): 0.72 0.68 0.83 2/67 7497
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18119 4 84 0 2232 58 0 0 21 0 11 0 1857780503 860348416 21295 4294967295 134512640 134569956 3221224336 3221214544 1131433239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 21295 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 22.9
Current children cumulated vsize (Kb) 840184

[startup+40.0169 s]
Raw data (loadavg): 0.76 0.69 0.83 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18130 4 84 0 3140 59 0 0 18 0 11 0 1857780503 860348416 21946 4294967295 134512640 134569956 3221224336 3221214544 1131433954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 21946 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (Kb) 840184

[startup+50.0188 s]
Raw data (loadavg): 0.80 0.70 0.83 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) S 7485 7486 9102 0 -1 0 18142 4 84 0 4108 60 0 0 17 0 11 0 1857780503 860348416 22004 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22004 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 41.68
Current children cumulated vsize (Kb) 840184

[startup+60.0198 s]
Raw data (loadavg): 0.83 0.71 0.83 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18154 4 84 0 5082 60 0 0 25 0 11 0 1857780503 860348416 22145 4294967295 134512640 134569956 3221224336 3221214496 1131442339 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22145 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 51.42
Current children cumulated vsize (Kb) 840184

[startup+70.0196 s]
Raw data (loadavg): 0.86 0.72 0.83 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18161 4 84 0 6061 60 0 0 25 0 11 0 1857780503 860348416 22179 4294967295 134512640 134569956 3221224336 3221214544 1131433185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22179 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 61.21
Current children cumulated vsize (Kb) 840184

[startup+80.0206 s]
Raw data (loadavg): 0.88 0.72 0.84 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18173 4 84 0 7038 61 0 0 25 0 11 0 1857780503 860348416 22214 4294967295 134512640 134569956 3221224336 3221214544 1131433697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22214 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 70.99
Current children cumulated vsize (Kb) 840184

[startup+90.0205 s]
Raw data (loadavg): 0.90 0.73 0.84 2/67 7499
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18185 4 84 0 8017 61 0 0 19 0 11 0 1857780503 860348416 22227 4294967295 134512640 134569956 3221224336 3221214820 1131408035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22227 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 80.78
Current children cumulated vsize (Kb) 840184

[startup+100.021 s]
Raw data (loadavg): 0.91 0.74 0.84 2/67 7501
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18196 4 84 0 9000 62 0 0 25 0 11 0 1857780503 860348416 22312 4294967295 134512640 134569956 3221224336 3221214688 1131585261 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22312 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 90.62
Current children cumulated vsize (Kb) 840184

[startup+110.022 s]
Raw data (loadavg): 0.92 0.75 0.84 2/67 7501
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18207 4 84 0 9988 62 0 0 20 0 11 0 1857780503 860348416 22324 4294967295 134512640 134569956 3221224336 3221214636 1131434392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22324 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 100.5
Current children cumulated vsize (Kb) 840184
One traced child (pid=7497) exited with status: 0
New thread pid=7502

[startup+120.023 s]
Raw data (loadavg): 0.94 0.76 0.84 2/67 7502
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18219 4 84 0 10976 63 0 0 18 0 11 0 1857780503 860348416 22338 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22338 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 110.39
Current children cumulated vsize (Kb) 840184

[startup+130.024 s]
Raw data (loadavg): 0.94 0.76 0.84 2/67 7502
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18230 4 84 0 11957 63 0 0 25 0 11 0 1857780503 860348416 22349 4294967295 134512640 134569956 3221224336 3221214640 1131556001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22349 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 120.2
Current children cumulated vsize (Kb) 840184

[startup+140.025 s]
Raw data (loadavg): 0.95 0.77 0.84 2/67 7502
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18241 4 84 0 12937 64 0 0 24 0 11 0 1857780503 860348416 22361 4294967295 134512640 134569956 3221224336 3221214800 1131408089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22361 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 840184

[startup+150.027 s]
Raw data (loadavg): 0.96 0.78 0.84 2/67 7502
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18252 4 84 0 13918 64 0 0 16 0 11 0 1857780503 860348416 22446 4294967295 134512640 134569956 3221224336 3221214640 1131554550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22446 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 139.82
Current children cumulated vsize (Kb) 840184

[startup+160.028 s]
Raw data (loadavg): 0.97 0.79 0.84 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18263 4 84 0 14908 64 0 0 25 0 11 0 1857780503 860348416 22467 4294967295 134512640 134569956 3221224336 3221214544 1131433132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22467 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 149.72
Current children cumulated vsize (Kb) 840184

[startup+170.029 s]
Raw data (loadavg): 0.97 0.79 0.84 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18272 4 84 0 15899 65 0 0 25 0 11 0 1857780503 860348416 22481 4294967295 134512640 134569956 3221224336 3221214368 1131478995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22481 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 840184

[startup+180.03 s]
Raw data (loadavg): 0.97 0.80 0.85 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18280 4 84 0 16889 65 0 0 25 0 11 0 1857780503 860348416 22490 4294967295 134512640 134569956 3221224336 3221214480 1131479147 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22490 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 169.54
Current children cumulated vsize (Kb) 840184

[startup+190.031 s]
Raw data (loadavg): 0.98 0.80 0.85 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18288 4 84 0 17883 65 0 0 19 0 11 0 1857780503 860348416 22502 4294967295 134512640 134569956 3221224336 3221214480 1131478893 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22502 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 179.48
Current children cumulated vsize (Kb) 840184

[startup+200.033 s]
Raw data (loadavg): 0.98 0.81 0.85 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18296 4 84 0 18877 65 0 0 17 0 11 0 1857780503 860348416 22505 4294967295 134512640 134569956 3221224336 3221214480 1131479105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22505 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 840184

[startup+210.034 s]
Raw data (loadavg): 0.98 0.82 0.85 2/67 7504
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18304 4 84 0 19863 66 0 0 25 0 11 0 1857780503 860348416 22505 4294967295 134512640 134569956 3221224336 3221214544 1131433954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22505 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 199.29
Current children cumulated vsize (Kb) 840184

[startup+220.035 s]
Raw data (loadavg): 0.99 0.82 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18315 4 84 0 20843 66 0 0 24 0 11 0 1857780503 860348416 22511 4294967295 134512640 134569956 3221224336 3221214544 1131433121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22511 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 209.09
Current children cumulated vsize (Kb) 840184

[startup+230.036 s]
Raw data (loadavg): 0.99 0.83 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18325 4 84 0 21824 66 0 0 17 0 11 0 1857780503 860348416 22518 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22518 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 218.9
Current children cumulated vsize (Kb) 840184

[startup+240.037 s]
Raw data (loadavg): 0.99 0.83 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18334 4 84 0 22811 67 0 0 25 0 11 0 1857780503 860348416 22601 4294967295 134512640 134569956 3221224336 3221214544 1131433697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22601 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 228.78
Current children cumulated vsize (Kb) 840184

[startup+250.038 s]
Raw data (loadavg): 0.99 0.84 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18340 4 84 0 23802 67 0 0 25 0 11 0 1857780503 860348416 22602 4294967295 134512640 134569956 3221224336 3221213656 1077123617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22602 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 238.69
Current children cumulated vsize (Kb) 840184

[startup+260.039 s]
Raw data (loadavg): 0.99 0.84 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18346 4 84 0 24793 67 0 0 25 0 11 0 1857780503 860348416 22609 4294967295 134512640 134569956 3221224336 3221214544 1131433550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22609 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 248.6
Current children cumulated vsize (Kb) 840184

[startup+270.04 s]
Raw data (loadavg): 0.99 0.85 0.85 2/67 7506
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18352 4 84 0 25777 68 0 0 25 0 11 0 1857780503 860348416 22609 4294967295 134512640 134569956 3221224336 3221214480 1131478938 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22609 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 258.45
Current children cumulated vsize (Kb) 840184

[startup+280.041 s]
Raw data (loadavg): 0.99 0.85 0.86 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18359 4 84 0 26755 68 0 0 25 0 11 0 1857780503 860348416 22618 4294967295 134512640 134569956 3221224336 3221214560 1131442373 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22618 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 268.23
Current children cumulated vsize (Kb) 840184

[startup+290.042 s]
Raw data (loadavg): 1.07 0.87 0.86 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) S 7485 7486 9102 0 -1 0 18365 4 84 0 27730 68 0 0 25 0 11 0 1857780503 860348416 22624 4294967295 134512640 134569956 3221224336 3221213224 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22624 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 277.98
Current children cumulated vsize (Kb) 840184

[startup+300.044 s]
Raw data (loadavg): 1.06 0.88 0.86 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18371 4 84 0 28704 69 0 0 25 0 11 0 1857780503 860348416 22679 4294967295 134512640 134569956 3221224336 3221214472 1131479147 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22679 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 287.73
Current children cumulated vsize (Kb) 840184

[startup+310.045 s]
Raw data (loadavg): 1.05 0.88 0.86 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18377 4 84 0 29676 69 0 0 23 0 11 0 1857780503 860348416 22757 4294967295 134512640 134569956 3221224336 3221214480 1131479147 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 22757 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 297.45
Current children cumulated vsize (Kb) 840184

[startup+320.046 s]
Raw data (loadavg): 1.04 0.88 0.86 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18387 4 84 0 30634 69 0 0 25 0 11 0 1857780503 860348416 22885 4294967295 134512640 134569956 3221224336 3221214512 1131753020 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 22885 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 307.03
Current children cumulated vsize (Kb) 840184

[startup+330.047 s]
Raw data (loadavg): 1.03 0.89 0.87 2/67 7508
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18398 4 84 0 31602 70 0 0 23 0 11 0 1857780503 860348416 23029 4294967295 134512640 134569956 3221224336 3221214544 1131433954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23029 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 316.72
Current children cumulated vsize (Kb) 840184

[startup+340.048 s]
Raw data (loadavg): 1.03 0.89 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18408 4 84 0 32584 70 0 0 24 0 11 0 1857780503 860348416 23162 4294967295 134512640 134569956 3221224336 3221214544 1131433861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 23162 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 326.54
Current children cumulated vsize (Kb) 840184

[startup+350.05 s]
Raw data (loadavg): 1.02 0.89 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18417 4 84 0 33569 71 0 0 25 0 11 0 1857780503 860348416 23179 4294967295 134512640 134569956 3221224336 3221214584 1131511495 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23179 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 336.4
Current children cumulated vsize (Kb) 840184

[startup+360.051 s]
Raw data (loadavg): 1.02 0.90 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18424 4 84 0 34552 71 0 0 25 0 11 0 1857780503 860348416 23189 4294967295 134512640 134569956 3221224336 3221214576 1131525523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23189 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 346.23
Current children cumulated vsize (Kb) 840184

[startup+370.051 s]
Raw data (loadavg): 1.02 0.90 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18432 4 84 0 35529 72 0 0 25 0 11 0 1857780503 860348416 23194 4294967295 134512640 134569956 3221224336 3221214640 1131555248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 23194 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 356.01
Current children cumulated vsize (Kb) 840184

[startup+380.052 s]
Raw data (loadavg): 1.01 0.90 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18439 4 84 0 36499 72 0 0 25 0 11 0 1857780503 860348416 23195 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23195 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 365.71
Current children cumulated vsize (Kb) 840184

[startup+390.053 s]
Raw data (loadavg): 1.01 0.90 0.87 2/67 7510
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18446 4 84 0 37468 72 0 0 25 0 11 0 1857780503 860348416 23265 4294967295 134512640 134569956 3221224336 3221214640 1131569808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23265 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 375.4
Current children cumulated vsize (Kb) 840184

[startup+400.053 s]
Raw data (loadavg): 1.01 0.91 0.87 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18454 4 84 0 38431 73 0 0 25 0 11 0 1857780503 860348416 23358 4294967295 134512640 134569956 3221224336 3221214544 1131433132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23358 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 385.04
Current children cumulated vsize (Kb) 840184

[startup+410.054 s]
Raw data (loadavg): 1.01 0.91 0.87 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18460 4 84 0 39402 73 0 0 25 0 11 0 1857780503 860348416 23436 4294967295 134512640 134569956 3221224336 3221214544 1131433550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 23436 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 394.75
Current children cumulated vsize (Kb) 840184

[startup+420.055 s]
Raw data (loadavg): 1.08 0.93 0.88 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18468 4 84 0 40362 74 0 0 16 0 11 0 1857780503 860348416 23546 4294967295 134512640 134569956 3221224336 3221214480 1131544602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 23546 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 404.36
Current children cumulated vsize (Kb) 840184

[startup+430.056 s]
Raw data (loadavg): 1.07 0.93 0.88 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18475 4 84 0 41327 74 0 0 25 0 11 0 1857780503 860348416 23631 4294967295 134512640 134569956 3221224336 3221214544 1131433857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23631 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 414.01
Current children cumulated vsize (Kb) 840184

[startup+440.057 s]
Raw data (loadavg): 1.06 0.93 0.88 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18482 4 84 0 42292 74 0 0 25 0 11 0 1857780503 860348416 23727 4294967295 134512640 134569956 3221224336 3221214480 1131480949 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23727 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 423.66
Current children cumulated vsize (Kb) 840184

[startup+450.059 s]
Raw data (loadavg): 1.05 0.94 0.88 2/67 7512
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18491 4 84 0 43251 74 0 0 20 0 11 0 1857780503 860348416 23848 4294967295 134512640 134569956 3221224336 3221214640 1131555195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 23848 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 433.25
Current children cumulated vsize (Kb) 840184

[startup+460.061 s]
Raw data (loadavg): 1.04 0.94 0.88 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18502 4 84 0 44212 75 0 0 25 0 11 0 1857780503 860348416 24004 4294967295 134512640 134569956 3221224336 3221214640 1131553295 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24004 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 442.87
Current children cumulated vsize (Kb) 840184

[startup+470.061 s]
Raw data (loadavg): 1.04 0.94 0.88 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18513 4 84 0 45186 76 0 0 25 0 11 0 1857780503 860348416 24144 4294967295 134512640 134569956 3221224336 3221214544 1131434081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24144 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 452.62
Current children cumulated vsize (Kb) 840184

[startup+480.062 s]
Raw data (loadavg): 1.03 0.94 0.89 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18524 4 84 0 46174 77 0 0 25 0 11 0 1857780503 860348416 24211 4294967295 134512640 134569956 3221224336 3221214544 1131433207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24211 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 462.51
Current children cumulated vsize (Kb) 840184

[startup+490.063 s]
Raw data (loadavg): 1.02 0.94 0.89 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18534 4 84 0 47165 77 0 0 25 0 11 0 1857780503 860348416 24230 4294967295 134512640 134569956 3221224336 3221214544 1131433328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24230 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 472.42
Current children cumulated vsize (Kb) 840184

[startup+500.064 s]
Raw data (loadavg): 1.02 0.94 0.89 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18546 4 84 0 48155 78 0 0 17 0 11 0 1857780503 860348416 24230 4294967295 134512640 134569956 3221224336 3221214640 1131553295 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24230 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 482.33
Current children cumulated vsize (Kb) 840184

[startup+510.065 s]
Raw data (loadavg): 1.02 0.94 0.89 2/67 7514
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18556 4 84 0 49146 78 0 0 25 0 11 0 1857780503 860348416 24231 4294967295 134512640 134569956 3221224336 3221214640 1131553360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24231 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (Kb) 840184

[startup+520.066 s]
Raw data (loadavg): 1.01 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18567 4 84 0 50136 79 0 0 22 0 11 0 1857780503 860348416 24244 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24244 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 502.15
Current children cumulated vsize (Kb) 840184

[startup+530.067 s]
Raw data (loadavg): 1.01 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18578 4 84 0 51128 80 0 0 25 0 11 0 1857780503 860348416 24248 4294967295 134512640 134569956 3221224336 3221214544 1131433497 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24248 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 512.08
Current children cumulated vsize (Kb) 840184

[startup+540.068 s]
Raw data (loadavg): 1.01 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18589 4 84 0 52119 80 0 0 20 0 11 0 1857780503 860348416 24255 4294967295 134512640 134569956 3221224336 3221214640 1131553360 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24255 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (Kb) 840184

[startup+550.069 s]
Raw data (loadavg): 1.01 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18599 4 84 0 53111 81 0 0 25 0 11 0 1857780503 860348416 24255 4294967295 134512640 134569956 3221224336 3221214544 1131433497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24255 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 531.92
Current children cumulated vsize (Kb) 840184

[startup+560.07 s]
Raw data (loadavg): 1.01 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18606 4 84 0 54100 81 0 0 25 0 11 0 1857780503 860348416 24256 4294967295 134512640 134569956 3221224336 3221214640 1131553087 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24256 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 541.81
Current children cumulated vsize (Kb) 840184

[startup+570.071 s]
Raw data (loadavg): 1.00 0.95 0.89 2/67 7516
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18612 4 84 0 55087 81 0 0 25 0 11 0 1857780503 860348416 24265 4294967295 134512640 134569956 3221224336 3221214536 1131445285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24265 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 551.68
Current children cumulated vsize (Kb) 840184

[startup+580.072 s]
Raw data (loadavg): 1.08 0.97 0.90 2/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18618 4 84 0 56067 82 0 0 25 0 11 0 1857780503 860348416 24268 4294967295 134512640 134569956 3221224336 3221214640 1131556077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24268 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 561.49
Current children cumulated vsize (Kb) 840184

[startup+590.073 s]
Raw data (loadavg): 1.07 0.97 0.90 2/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18624 4 84 0 57044 82 0 0 18 0 11 0 1857780503 860348416 24271 4294967295 134512640 134569956 3221224336 3221214488 1131373328 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24271 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 571.26
Current children cumulated vsize (Kb) 840184

[startup+600.075 s]
Raw data (loadavg): 1.06 0.97 0.90 2/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18630 4 84 0 58015 83 0 0 18 0 11 0 1857780503 860348416 24290 4294967295 134512640 134569956 3221224336 3221214568 1131739522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24290 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 580.98
Current children cumulated vsize (Kb) 840184

[startup+610.076 s]
Raw data (loadavg): 1.05 0.97 0.90 2/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18636 4 84 0 58984 83 0 0 25 0 11 0 1857780503 860348416 24380 4294967295 134512640 134569956 3221224336 3221214584 1131408089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24380 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 590.67
Current children cumulated vsize (Kb) 840184

[startup+620.076 s]
Raw data (loadavg): 1.04 0.97 0.90 3/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18642 4 84 0 59952 83 0 0 25 0 11 0 1857780503 860348416 24440 4294967295 134512640 134569956 3221224336 3221213808 1077124113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24440 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 600.35
Current children cumulated vsize (Kb) 840184

[startup+630.078 s]
Raw data (loadavg): 1.03 0.97 0.91 2/67 7518
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18648 4 84 0 60918 83 0 0 25 0 11 0 1857780503 860348416 24537 4294967295 134512640 134569956 3221224336 3221214576 1131525654 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24537 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 840184

[startup+640.079 s]
Raw data (loadavg): 1.03 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18654 4 84 0 61882 84 0 0 25 0 11 0 1857780503 860348416 24622 4294967295 134512640 134569956 3221224336 3221214576 1131525804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24622 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 619.66
Current children cumulated vsize (Kb) 840184

[startup+650.08 s]
Raw data (loadavg): 1.02 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18660 4 84 0 62848 84 0 0 25 0 11 0 1857780503 860348416 24706 4294967295 134512640 134569956 3221224336 3221214640 1131553360 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 24706 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 629.32
Current children cumulated vsize (Kb) 840184

[startup+660.081 s]
Raw data (loadavg): 1.02 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18666 4 84 0 63813 84 0 0 25 0 11 0 1857780503 860348416 24810 4294967295 134512640 134569956 3221224336 3221214576 1131525887 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24810 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 638.97
Current children cumulated vsize (Kb) 840184

[startup+670.082 s]
Raw data (loadavg): 1.02 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18672 4 84 0 64778 85 0 0 25 0 11 0 1857780503 860348416 24905 4294967295 134512640 134569956 3221224336 3221214480 1131479393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 24905 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 648.63
Current children cumulated vsize (Kb) 840184

[startup+680.083 s]
Raw data (loadavg): 1.01 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18678 4 84 0 65745 85 0 0 24 0 11 0 1857780503 860348416 25009 4294967295 134512640 134569956 3221224336 3221214576 1131525681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25009 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 658.3
Current children cumulated vsize (Kb) 840184

[startup+690.083 s]
Raw data (loadavg): 1.01 0.97 0.91 2/67 7520
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18684 4 84 0 66709 86 0 0 25 0 11 0 1857780503 860348416 25107 4294967295 134512640 134569956 3221224336 3221214572 1131513088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25107 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 667.95
Current children cumulated vsize (Kb) 840184

[startup+700.086 s]
Raw data (loadavg): 1.01 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18695 4 84 0 67650 86 0 0 24 0 11 0 1857780503 860348416 25272 4294967295 134512640 134569956 3221224336 3221214544 1131433944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25272 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 677.36
Current children cumulated vsize (Kb) 840184

[startup+710.086 s]
Raw data (loadavg): 1.01 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18705 4 84 0 68610 87 0 0 25 0 11 0 1857780503 860348416 25434 4294967295 134512640 134569956 3221224336 3221214544 1131433207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25434 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 686.97
Current children cumulated vsize (Kb) 840184

[startup+720.087 s]
Raw data (loadavg): 1.01 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18716 4 84 0 69586 87 0 0 25 0 11 0 1857780503 860348416 25629 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25629 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 696.73
Current children cumulated vsize (Kb) 840184

[startup+730.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18727 4 84 0 70574 88 0 0 18 0 11 0 1857780503 860348416 25663 4294967295 134512640 134569956 3221224336 3221214544 1131434028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25663 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 706.62
Current children cumulated vsize (Kb) 840184

[startup+740.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18738 4 84 0 71561 88 0 0 25 0 11 0 1857780503 860348416 25669 4294967295 134512640 134569956 3221224336 3221214640 1131553242 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25669 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 716.49
Current children cumulated vsize (Kb) 840184

[startup+750.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7522
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18749 4 84 0 72547 88 0 0 25 0 11 0 1857780503 860348416 25670 4294967295 134512640 134569956 3221224336 3221214640 1131555248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25670 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 726.35
Current children cumulated vsize (Kb) 840184

[startup+760.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18759 4 84 0 73535 89 0 0 25 0 11 0 1857780503 860348416 25709 4294967295 134512640 134569956 3221224336 3221214568 1131739650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25709 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 736.24
Current children cumulated vsize (Kb) 840184

[startup+770.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18768 4 84 0 74519 89 0 0 25 0 11 0 1857780503 860348416 25725 4294967295 134512640 134569956 3221224336 3221214544 1131433550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25725 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 746.08
Current children cumulated vsize (Kb) 840184

[startup+780.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18778 4 84 0 75500 90 0 0 25 0 11 0 1857780503 860348416 25727 4294967295 134512640 134569956 3221224336 3221214640 1131553071 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25727 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 755.9
Current children cumulated vsize (Kb) 840184

[startup+790.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18786 4 84 0 76480 90 0 0 25 0 11 0 1857780503 860348416 25728 4294967295 134512640 134569956 3221224336 3221214496 1131373681 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25728 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 765.7
Current children cumulated vsize (Kb) 840184

[startup+800.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18794 4 84 0 77460 90 0 0 24 0 11 0 1857780503 860348416 25797 4294967295 134512640 134569956 3221224336 3221214800 1131408089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25797 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 775.5
Current children cumulated vsize (Kb) 840184

[startup+810.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7524
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18800 4 84 0 78443 90 0 0 25 0 11 0 1857780503 860348416 25802 4294967295 134512640 134569956 3221224336 3221214480 1131478995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25802 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 785.33
Current children cumulated vsize (Kb) 840184

[startup+820.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18807 4 84 0 79420 91 0 0 25 0 11 0 1857780503 860348416 25809 4294967295 134512640 134569956 3221224336 3221214572 1131442384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 25809 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 795.11
Current children cumulated vsize (Kb) 840184

[startup+830.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18814 4 84 0 80393 91 0 0 19 0 11 0 1857780503 860348416 25864 4294967295 134512640 134569956 3221224336 3221214480 1131479132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25864 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 804.84
Current children cumulated vsize (Kb) 840184

[startup+840.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18821 4 84 0 81367 91 0 0 19 0 11 0 1857780503 860348416 25906 4294967295 134512640 134569956 3221224336 3221214392 1131716443 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25906 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 814.58
Current children cumulated vsize (Kb) 840184

[startup+850.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18827 4 84 0 82343 92 0 0 25 0 11 0 1857780503 860348416 25973 4294967295 134512640 134569956 3221224336 3221214568 1131513111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 25973 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 824.35
Current children cumulated vsize (Kb) 840184

[startup+860.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18834 4 84 0 83315 92 0 0 25 0 11 0 1857780503 860348416 26052 4294967295 134512640 134569956 3221224336 3221214480 1131543744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26052 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 834.07
Current children cumulated vsize (Kb) 840184

[startup+870.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7526
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18841 4 84 0 84286 92 0 0 25 0 11 0 1857780503 860348416 26125 4294967295 134512640 134569956 3221224336 3221214576 1131525523 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 26125 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 843.78
Current children cumulated vsize (Kb) 840184

[startup+880.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18848 4 84 0 85257 93 0 0 25 0 11 0 1857780503 860348416 26185 4294967295 134512640 134569956 3221224336 3221214576 1131525654 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26185 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 853.5
Current children cumulated vsize (Kb) 840184

[startup+890.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18855 4 84 0 86227 93 0 0 18 0 11 0 1857780503 860348416 26251 4294967295 134512640 134569956 3221224336 3221214584 1131511586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 26251 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 863.2
Current children cumulated vsize (Kb) 840184

[startup+900.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18862 4 84 0 87195 93 0 0 17 0 11 0 1857780503 860348416 26342 4294967295 134512640 134569956 3221224336 3221214640 1131556065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 26342 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 872.88
Current children cumulated vsize (Kb) 840184

[startup+910.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18869 4 84 0 88164 93 0 0 24 0 11 0 1857780503 860348416 26439 4294967295 134512640 134569956 3221224336 3221214544 1131433121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26439 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 882.57
Current children cumulated vsize (Kb) 840184

[startup+920.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18876 4 84 0 89131 94 0 0 25 0 11 0 1857780503 860348416 26499 4294967295 134512640 134569956 3221224336 3221214576 1131525987 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26499 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 892.25
Current children cumulated vsize (Kb) 840184

[startup+930.106 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7528
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18883 4 84 0 90098 94 0 0 25 0 11 0 1857780503 860348416 26571 4294967295 134512640 134569956 3221224336 3221214544 1131433755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 26571 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 901.92
Current children cumulated vsize (Kb) 840184

[startup+940.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18890 4 84 0 91063 94 0 0 25 0 11 0 1857780503 860348416 26675 4294967295 134512640 134569956 3221224336 3221214532 1131057164 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 26675 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 911.57
Current children cumulated vsize (Kb) 840184

[startup+950.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18897 4 84 0 92029 94 0 0 25 0 11 0 1857780503 860348416 26748 4294967295 134512640 134569956 3221224336 3221214576 1131525466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26748 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 921.23
Current children cumulated vsize (Kb) 840184

[startup+960.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18905 4 84 0 92992 94 0 0 25 0 11 0 1857780503 860348416 26860 4294967295 134512640 134569956 3221224336 3221214576 1131525645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26860 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 930.86
Current children cumulated vsize (Kb) 840184

[startup+970.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18911 4 84 0 93966 95 0 0 25 0 11 0 1857780503 860348416 26944 4294967295 134512640 134569956 3221224336 3221214576 1131525804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 26944 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 940.61
Current children cumulated vsize (Kb) 840184

[startup+980.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18918 4 84 0 94935 95 0 0 25 0 11 0 1857780503 860348416 27023 4294967295 134512640 134569956 3221224336 3221214640 1131553299 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27023 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 950.3
Current children cumulated vsize (Kb) 840184

[startup+990.111 s]
Raw data (loadavg): 1.00 0.97 0.91 3/67 7530
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18925 4 84 0 95905 95 0 0 21 0 11 0 1857780503 860348416 27113 4294967295 134512640 134569956 3221224336 3221214624 1131725349 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27113 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 960
Current children cumulated vsize (Kb) 840184

[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18932 4 84 0 96875 95 0 0 23 0 11 0 1857780503 860348416 27198 4294967295 134512640 134569956 3221224336 3221214480 1131479132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27198 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 969.7
Current children cumulated vsize (Kb) 840184

[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18939 4 84 0 97844 95 0 0 24 0 11 0 1857780503 860348416 27266 4294967295 134512640 134569956 3221224336 3221214544 1131433357 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27266 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 979.39
Current children cumulated vsize (Kb) 840184

[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18945 4 84 0 98818 96 0 0 25 0 11 0 1857780503 860348416 27321 4294967295 134512640 134569956 3221224336 3221214544 1131433535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27321 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 989.14
Current children cumulated vsize (Kb) 840184

[startup+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.91 3/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18953 4 84 0 99782 96 0 0 24 0 11 0 1857780503 860348416 27425 4294967295 134512640 134569956 3221224336 3221214328 1078035388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27425 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 998.78
Current children cumulated vsize (Kb) 840184

[startup+1040.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18961 4 84 0 100750 96 0 0 25 0 11 0 1857780503 860348416 27500 4294967295 134512640 134569956 3221224336 3221214464 1131433207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27500 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1008.46
Current children cumulated vsize (Kb) 840184

[startup+1050.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7532
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18972 4 84 0 101704 96 0 0 24 0 11 0 1857780503 860348416 27621 4294967295 134512640 134569956 3221224336 3221214464 1131433132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27621 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1018
Current children cumulated vsize (Kb) 840184

[startup+1060.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18981 4 84 0 102677 97 0 0 18 0 11 0 1857780503 860348416 27743 4294967295 134512640 134569956 3221224336 3221214408 1131479037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27743 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1027.74
Current children cumulated vsize (Kb) 840184

[startup+1070.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18988 4 84 0 103659 97 0 0 25 0 11 0 1857780503 860348416 27821 4294967295 134512640 134569956 3221224336 3221214416 1131479132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27821 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1037.56
Current children cumulated vsize (Kb) 840184

[startup+1080.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 18995 4 84 0 104640 98 0 0 25 0 11 0 1857780503 860348416 27868 4294967295 134512640 134569956 3221224336 3221214416 1131479198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27868 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1047.38
Current children cumulated vsize (Kb) 840184

[startup+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19002 4 84 0 105617 99 0 0 23 0 11 0 1857780503 860348416 27883 4294967295 134512640 134569956 3221224336 3221214560 1131554418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 27883 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1057.16
Current children cumulated vsize (Kb) 840184

[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19009 4 84 0 106588 99 0 0 25 0 11 0 1857780503 860348416 27891 4294967295 134512640 134569956 3221224336 3221214416 1131478845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27891 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1066.87
Current children cumulated vsize (Kb) 840184

[startup+1110.12 s]
Raw data (loadavg): 1.07 0.99 0.91 2/67 7534
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19016 4 84 0 107554 99 0 0 25 0 11 0 1857780503 860348416 27946 4294967295 134512640 134569956 3221224336 3221214416 1131478993 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 27946 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1076.53
Current children cumulated vsize (Kb) 840184

[startup+1120.12 s]
Raw data (loadavg): 1.06 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19023 4 84 0 108521 100 0 0 25 0 11 0 1857780503 860348416 28030 4294967295 134512640 134569956 3221224336 3221214464 1131433689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28030 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1086.21
Current children cumulated vsize (Kb) 840184

[startup+1130.12 s]
Raw data (loadavg): 1.05 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19030 4 84 0 109487 100 0 0 25 0 11 0 1857780503 860348416 28121 4294967295 134512640 134569956 3221224336 3221214512 1131525723 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28121 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1095.87
Current children cumulated vsize (Kb) 840184

[startup+1140.12 s]
Raw data (loadavg): 1.04 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19037 4 84 0 110453 101 0 0 25 0 11 0 1857780503 860348416 28212 4294967295 134512640 134569956 3221224336 3221214464 1131434045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28212 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1105.54
Current children cumulated vsize (Kb) 840184

[startup+1150.13 s]
Raw data (loadavg): 1.04 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19044 4 84 0 111421 101 0 0 24 0 11 0 1857780503 860348416 28289 4294967295 134512640 134569956 3221224336 3221214464 1131433178 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 28289 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1115.22
Current children cumulated vsize (Kb) 840184

[startup+1160.13 s]
Raw data (loadavg): 1.03 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19051 4 84 0 112387 102 0 0 24 0 11 0 1857780503 860348416 28374 4294967295 134512640 134569956 3221224336 3221214416 1131544291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 28374 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1124.89
Current children cumulated vsize (Kb) 840184

[startup+1170.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/67 7536
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19058 4 84 0 113352 102 0 0 25 0 11 0 1857780503 860348416 28463 4294967295 134512640 134569956 3221224336 3221214512 1131525804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28463 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1134.54
Current children cumulated vsize (Kb) 840184

[startup+1180.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19065 4 84 0 114317 103 0 0 25 0 11 0 1857780503 860348416 28547 4294967295 134512640 134569956 3221224336 3221214464 1131433207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 28547 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1144.2
Current children cumulated vsize (Kb) 840184

[startup+1190.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19072 4 84 0 115282 103 0 0 25 0 11 0 1857780503 860348416 28631 4294967295 134512640 134569956 3221224336 3221214472 1131408095 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28631 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1153.85
Current children cumulated vsize (Kb) 840184

[startup+1200.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19079 4 84 0 116249 104 0 0 25 0 11 0 1857780503 860348416 28722 4294967295 134512640 134569956 3221224336 3221214464 1131433774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 28722 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1163.53
Current children cumulated vsize (Kb) 840184

[startup+1210.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19086 4 84 0 117214 104 0 0 25 0 11 0 1857780503 860348416 28818 4294967295 134512640 134569956 3221224336 3221214464 1131433132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 28818 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1173.18
Current children cumulated vsize (Kb) 840184

[startup+1220.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19093 4 84 0 118180 104 0 0 25 0 11 0 1857780503 860348416 28907 4294967295 134512640 134569956 3221224336 3221214320 1131753053 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7486/statm): 210046 28907 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1182.84
Current children cumulated vsize (Kb) 840184

[startup+1230.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7538
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19100 4 84 0 119148 104 0 0 25 0 11 0 1857780503 860348416 29001 4294967295 134512640 134569956 3221224336 3221214416 1131545631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 29001 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1192.52
Current children cumulated vsize (Kb) 840184

[startup+1240.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7540
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19107 4 84 0 120114 105 0 0 25 0 11 0 1857780503 860348416 29081 4294967295 134512640 134569956 3221224336 3221214520 1131511484 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 29081 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1202.19
Current children cumulated vsize (Kb) 840184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/67 7540
Raw data (/proc/7486/stat): 7486 (java) R 7485 7486 9102 0 -1 0 19107 4 84 0 120114 105 0 0 25 0 11 0 1857780503 860348416 29081 4294967295 134512640 134569956 3221224336 3221214416 1131545506 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7486/statm): 210046 29081 13129 16 0 210030 0
[pid=7486] vsize: 840184
Current children cumulated CPU time (s) 1202.19
Current children cumulated vsize (Kb) 840184

Sending SIGTERM to -7486
Sleeping 2 seconds
New thread pid=7542
New thread pid=7543
One traced child (pid=7543) exited with status: 0
One traced child (pid=7495) exited with status: 0
One traced child (pid=7490) exited with status: 0
One traced child (pid=7487) exited with status: 143
One traced child (pid=7489) exited with status: 143
One traced child (pid=7488) exited with status: 143
One traced child (pid=7491) exited with status: 143
One traced child (pid=7494) exited with status: 143
One traced child (pid=7492) exited with status: 143
One traced child (pid=7502) exited with status: 143
One traced child (pid=7493) exited with status: 143
One traced child (pid=7542) exited with status: 143
One traced child (pid=7486) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.52
CPU time (s): 1247.6
CPU user time (s): 1245.58
CPU system time (s): 2.01969
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (Kb): 840408

Verifier Data

Verifier:	OK	87110089