Some explanations

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

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb
MD5SUM7713e9174526352f04e3c528ca3ecb01
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 440
Biggest coefficient in the objective function 14050918400
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 198838131525
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 76598476800
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 770522270100
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1238.79
Number of variables1660
Total number of constraints74
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 constraints74
Minimum length of a constraint20
Maximum length of a constraint520

Trace number 7406

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        833356 kB
Buffers:         27040 kB
Cached:         144664 kB
SwapCached:        744 kB
Active:          62984 kB
Inactive:       111396 kB
HighTotal:      131008 kB
HighFree:         5264 kB
LowTotal:       903652 kB
LowFree:        828092 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            21316 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 11:59:32 (client local time) WITH STATUS 143 IN 1238.79 SECONDS
stats: 6655 0 1238.79 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb
c reading problem ... done. Time 2.583 ms.
c #vars     1660
c #constraints  114
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 5.80 ms
c starts		: 12
c conflicts		: 13596
c decisions		: 15105
c propagations		: 64060
c inspects		: 4399285
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 13596
c root simplifications	: 14
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 14809
c speed (decisions/second)	: 12.35135243425082
c non guided choices	14874
c random choices	0
s SATISFIABLE
v -V1_bit_7 -V1_bit_6 -V1_bit_5 -V1_bit_4 -V1_bit_3 -V1_bit_2 -V1_bit_1 -V1_bit0 -V1_bit1 -V1_bit2 -V1_bit3 -V1_bit4 -V1_bit5 -V1_bit6 -V1_bit7 -V1_bit8 -V1_bit9 -V1_bit10 -V1_bit11 -V1_bit12 -V2_bit_7 -V2_bit_6 -V2_bit_5 -V2_bit_4 -V2_bit_3 -V2_bit_2 -V2_bit_1 -V2_bit0 -V2_bit1 -V2_bit2 -V2_bit3 -V2_bit4 -V2_bit5 -V2_bit6 -V2_bit7 -V2_bit8 -V2_bit9 -V2_bit10 -V2_bit11 -V2_bit12 -V8_bit_7 -V8_bit_6 -V8_bit_5 -V8_bit_4 -V8_bit_3 -V8_bit_2 -V8_bit_1 -V8_bit0 -V8_bit1 -V8_bit2 -V8_bit3 -V8_bit4 -V8_bit5 -V8_bit6 -V8_bit7 -V8_bit8 -V8_bit9 -V8_bit10 -V8_bit11 -V8_bit12 -V13_bit_7 -V13_bit_6 -V13_bit_5 -V13_bit_4 -V13_bit_3 -V13_bit_2 -V13_bit_1 -V13_bit0 -V13_bit1 -V13_bit2 -V13_bit3 -V13_bit4 -V13_bit5 -V13_bit6 -V13_bit7 -V13_bit8 -V13_bit9 -V13_bit10 -V13_bit11 -V13_bit12 -V15_bit_7 -V15_bit_6 -V15_bit_5 -V15_bit_4 -V15_bit_3 -V15_bit_2 -V15_bit_1 -V15_bit0 -V15_bit1 -V15_bit2 -V15_bit3 -V15_bit4 -V15_bit5 -V15_bit6 -V15_bit7 -V15_bit8 -V15_bit9 -V15_bit10 -V15_bit11 -V15_bit12 -V16_bit_7 -V16_bit_6 -V16_bit_5 -V16_bit_4 -V16_bit_3 -V16_bit_2 -V16_bit_1 -V16_bit0 -V16_bit1 -V16_bit2 -V16_bit3 -V16_bit4 -V16_bit5 -V16_bit6 -V16_bit7 -V16_bit8 -V16_bit9 -V16_bit10 -V16_bit11 -V16_bit12 -V17_bit_7 -V17_bit_6 -V17_bit_5 -V17_bit_4 -V17_bit_3 -V17_bit_2 -V17_bit_1 -V17_bit0 -V17_bit1 -V17_bit2 -V17_bit3 -V17_bit4 -V17_bit5 -V17_bit6 -V17_bit7 -V17_bit8 -V17_bit9 -V17_bit10 -V17_bit11 -V17_bit12 -V18_bit_7 -V18_bit_6 -V18_bit_5 -V18_bit_4 -V18_bit_3 -V18_bit_2 -V18_bit_1 -V18_bit0 -V18_bit1 -V18_bit2 -V18_bit3 -V18_bit4 -V18_bit5 -V18_bit6 -V18_bit7 -V18_bit8 -V18_bit9 -V18_bit10 -V18_bit11 -V18_bit12 -V23_bit_7 -V23_bit_6 -V23_bit_5 -V23_bit_4 -V23_bit_3 -V23_bit_2 -V23_bit_1 -V23_bit0 -V23_bit1 -V23_bit2 -V23_bit3 -V23_bit4 -V23_bit5 -V23_bit6 -V23_bit7 -V23_bit8 -V23_bit9 -V23_bit10 -V23_bit11 -V23_bit12 -V24_bit_7 -V24_bit_6 -V24_bit_5 -V24_bit_4 -V24_bit_3 -V24_bit_2 -V24_bit_1 -V24_bit0 -V24_bit1 -V24_bit2 -V24_bit3 -V24_bit4 -V24_bit5 -V24_bit6 -V24_bit7 -V24_bit8 -V24_bit9 -V24_bit10 -V24_bit11 -V24_bit12 -V37_bit_7 -V37_bit_6 -V37_bit_5 -V37_bit_4 -V37_bit_3 -V37_bit_2 -V37_bit_1 -V37_bit0 -V37_bit1 -V37_bit2 -V37_bit3 -V37_bit4 -V37_bit5 -V37_bit6 -V37_bit7 -V37_bit8 -V37_bit9 -V37_bit10 -V37_bit11 -V37_bit12 -V45_bit_7 -V45_bit_6 -V45_bit_5 -V45_bit_4 -V45_bit_3 -V45_bit_2 -V45_bit_1 -V45_bit0 -V45_bit1 -V45_bit2 -V45_bit3 -V45_bit4 -V45_bit5 -V45_bit6 -V45_bit7 -V45_bit8 -V45_bit9 -V45_bit10 -V45_bit11 -V45_bit12 -V53_bit_7 -V53_bit_6 -V53_bit_5 -V53_bit_4 -V53_bit_3 -V53_bit_2 -V53_bit_1 -V53_bit0 -V53_bit1 -V53_bit2 -V53_bit3 -V53_bit4 -V53_bit5 -V53_bit6 -V53_bit7 -V53_bit8 -V53_bit9 -V53_bit10 -V53_bit11 -V53_bit12 -V57_bit_7 -V57_bit_6 -V57_bit_5 -V57_bit_4 -V57_bit_3 -V57_bit_2 -V57_bit_1 -V57_bit0 -V57_bit1 -V57_bit2 -V57_bit3 -V57_bit4 -V57_bit5 -V57_bit6 -V57_bit7 -V57_bit8 -V57_bit9 -V57_bit10 -V57_bit11 -V57_bit12 -V60_bit_7 -V60_bit_6 -V60_bit_5 -V60_bit_4 -V60_bit_3 -V60_bit_2 -V60_bit_1 -V60_bit0 -V60_bit1 -V60_bit2 -V60_bit3 -V60_bit4 -V60_bit5 -V60_bit6 -V60_bit7 -V60_bit8 -V60_bit9 -V60_bit10 -V60_bit11 -V60_bit12 -V63_bit_7 -V63_bit_6 -V63_bit_5 -V63_bit_4 -V63_bit_3 -V63_bit_2 -V63_bit_1 -V63_bit0 -V63_bit1 -V63_bit2 -V63_bit3 -V63_bit4 -V63_bit5 -V63_bit6 -V63_bit7 -V63_bit8 -V63_bit9 -V63_bit10 -V63_bit11 -V63_bit12 -V70_bit_7 -V70_bit_6 -V70_bit_5 -V70_bit_4 -V70_bit_3 -V70_bit_2 -V70_bit_1 -V70_bit0 -V70_bit1 -V70_bit2 -V70_bit3 -V70_bit4 -V70_bit5 -V70_bit6 -V70_bit7 -V70_bit8 -V70_bit9 -V70_bit10 -V70_bit11 -V70_bit12 -V77_bit_7 -V77_bit_6 -V77_bit_5 -V77_bit_4 -V77_bit_3 -V77_bit_2 -V77_bit_1 -V77_bit0 -V77_bit1 -V77_bit2 -V77_bit3 -V77_bit4 -V77_bit5 -V77_bit6 -V77_bit7 -V77_bit8 -V77_bit9 -V77_bit10 -V77_bit11 -V77_bit12 -V79_bit_7 -V79_bit_6 -V79_bit_5 -V79_bit_4 -V79_bit_3 -V79_bit_2 -V79_bit_1 -V79_bit0 -V79_bit1 -V79_bit2 -V79_bit3 -V79_bit4 -V79_bit5 -V79_bit6 -V79_bit7 -V79_bit8 -V79_bit9 -V79_bit10 -V79_bit11 -V79_bit12 -V80_bit_7 -V80_bit_6 -V80_bit_5 -V80_bit_4 -V80_bit_3 -V80_bit_2 -V80_bit_1 -V80_bit0 -V80_bit1 -V80_bit2 -V80_bit3 -V80_bit4 -V80_bit5 -V80_bit6 -V80_bit7 -V80_bit8 -V80_bit9 -V80_bit10 -V80_bit11 -V80_bit12 -V82_bit_7 -V82_bit_6 -V82_bit_5 -V82_bit_4 -V82_bit_3 -V82_bit_2 -V82_bit_1 -V82_bit0 -V82_bit1 -V82_bit2 -V82_bit3 -V82_bit4 -V82_bit5 -V82_bit6 -V82_bit7 -V82_bit8 -V82_bit9 -V82_bit10 -V82_bit11 -V82_bit12 -V83_bit_7 -V83_bit_6 -V83_bit_5 -V83_bit_4 -V83_bit_3 -V83_bit_2 -V83_bit_1 -V83_bit0 -V83_bit1 -V83_bit2 -V83_bit3 -V83_bit4 -V83_bit5 -V83_bit6 -V83_bit7 -V83_bit8 -V83_bit9 -V83_bit10 -V83_bit11 -V83_bit12 -V4_bit_7 -V4_bit_6 -V4_bit_5 -V4_bit_4 -V4_bit_3 -V4_bit_2 -V4_bit_1 -V4_bit0 -V4_bit1 -V4_bit2 -V4_bit3 -V4_bit4 -V4_bit5 -V4_bit6 -V4_bit7 -V4_bit8 -V4_bit9 -V4_bit10 -V4_bit11 -V4_bit12 -V3_bit_7 -V3_bit_6 -V3_bit_5 -V3_bit_4 -V3_bit_3 -V3_bit_2 -V3_bit_1 -V3_bit0 -V3_bit1 -V3_bit2 -V3_bit3 -V3_bit4 -V3_bit5 -V3_bit6 -V3_bit7 -V3_bit8 -V3_bit9 -V3_bit10 -V3_bit11 -V3_bit12 -V5_bit_7 -V5_bit_6 -V5_bit_5 -V5_bit_4 -V5_bit_3 -V5_bit_2 -V5_bit_1 -V5_bit0 -V5_bit1 -V5_bit2 -V5_bit3 -V5_bit4 -V5_bit5 -V5_bit6 -V5_bit7 -V5_bit8 -V5_bit9 -V5_bit10 -V5_bit11 -V5_bit12 -V6_bit_7 -V6_bit_6 -V6_bit_5 -V6_bit_4 -V6_bit_3 -V6_bit_2 -V6_bit_1 -V6_bit0 -V6_bit1 -V6_bit2 -V6_bit3 -V6_bit4 -V6_bit5 -V6_bit6 -V6_bit7 -V6_bit8 -V6_bit9 -V6_bit10 -V6_bit11 -V6_bit12 -V7_bit_7 -V7_bit_6 -V7_bit_5 -V7_bit_4 -V7_bit_3 -V7_bit_2 -V7_bit_1 -V7_bit0 -V7_bit1 -V7_bit2 -V7_bit3 -V7_bit4 -V7_bit5 -V7_bit6 -V7_bit7 -V7_bit8 -V7_bit9 -V7_bit10 -V7_bit11 -V7_bit12 -V26_bit_7 -V26_bit_6 -V26_bit_5 -V26_bit_4 -V26_bit_3 -V26_bit_2 -V26_bit_1 -V26_bit0 -V26_bit1 -V26_bit2 -V26_bit3 -V26_bit4 -V26_bit5 -V26_bit6 -V26_bit7 -V26_bit8 -V26_bit9 -V26_bit10 -V26_bit11 -V26_bit12 -V27_bit_7 -V27_bit_6 -V27_bit_5 -V27_bit_4 -V27_bit_3 -V27_bit_2 -V27_bit_1 -V27_bit0 -V27_bit1 -V27_bit2 -V27_bit3 -V27_bit4 -V27_bit5 -V27_bit6 -V27_bit7 -V27_bit8 -V27_bit9 -V27_bit10 -V27_bit11 -V27_bit12 -V35_bit_7 -V35_bit_6 -V35_bit_5 -V35_bit_4 -V35_bit_3 -V35_bit_2 -V35_bit_1 -V35_bit0 -V35_bit1 -V35_bit2 -V35_bit3 -V35_bit4 -V35_bit5 -V35_bit6 -V35_bit7 -V35_bit8 -V35_bit9 -V35_bit10 -V35_bit11 -V35_bit12 -V43_bit_7 -V43_bit_6 -V43_bit_5 -V43_bit_4 -V43_bit_3 -V43_bit_2 -V43_bit_1 -V43_bit0 -V43_bit1 -V43_bit2 -V43_bit3 -V43_bit4 -V43_bit5 -V43_bit6 -V43_bit7 -V43_bit8 -V43_bit9 -V43_bit10 -V43_bit11 -V43_bit12 -V51_bit_7 -V51_bit_6 -V51_bit_5 -V51_bit_4 -V51_bit_3 -V51_bit_2 -V51_bit_1 -V51_bit0 -V51_bit1 -V51_bit2 -V51_bit3 -V51_bit4 -V51_bit5 -V51_bit6 -V51_bit7 -V51_bit8 -V51_bit9 -V51_bit10 -V51_bit11 -V51_bit12 -V56_bit_7 -V56_bit_6 -V56_bit_5 -V56_bit_4 -V56_bit_3 -V56_bit_2 -V56_bit_1 -V56_bit0 -V56_bit1 -V56_bit2 -V56_bit3 -V56_bit4 -V56_bit5 -V56_bit6 -V56_bit7 -V56_bit8 -V56_bit9 -V56_bit10 -V56_bit11 -V56_bit12 -V73_bit_7 -V73_bit_6 -V73_bit_5 -V73_bit_4 -V73_bit_3 -V73_bit_2 -V73_bit_1 -V73_bit0 -V73_bit1 -V73_bit2 -V73_bit3 -V73_bit4 -V73_bit5 -V73_bit6 -V73_bit7 -V73_bit8 -V73_bit9 -V73_bit10 -V73_bit11 -V73_bit12 -V28_bit_7 -V28_bit_6 -V28_bit_5 -V28_bit_4 -V28_bit_3 -V28_bit_2 -V28_bit_1 -V28_bit0 -V28_bit1 -V28_bit2 -V28_bit3 -V28_bit4 -V28_bit5 -V28_bit6 -V28_bit7 -V28_bit8 -V28_bit9 -V28_bit10 -V28_bit11 -V28_bit12 -V38_bit_7 -V38_bit_6 -V38_bit_5 -V38_bit_4 -V38_bit_3 -V38_bit_2 -V38_bit_1 -V38_bit0 -V38_bit1 -V38_bit2 -V38_bit3 -V38_bit4 -V38_bit5 -V38_bit6 -V38_bit7 -V38_bit8 -V38_bit9 -V38_bit10 -V38_bit11 -V38_bit12 -V46_bit_7 -V46_bit_6 -V46_bit_5 -V46_bit_4 -V46_bit_3 -V46_bit_2 -V46_bit_1 -V46_bit0 -V46_bit1 -V46_bit2 -V46_bit3 -V46_bit4 -V46_bit5 -V46_bit6 -V46_bit7 -V46_bit8 -V46_bit9 -V46_bit10 -V46_bit11 -V46_bit12 -V58_bit_7 -V58_bit_6 -V58_bit_5 -V58_bit_4 -V58_bit_3 -V58_bit_2 -V58_bit_1 -V58_bit0 -V58_bit1 -V58_bit2 -V58_bit3 -V58_bit4 -V58_bit5 -V58_bit6 -V58_bit7 -V58_bit8 -V58_bit9 -V58_bit10 -V58_bit11 -V58_bit12 -V59_bit_7 -V59_bit_6 -V59_bit_5 -V59_bit_4 -V59_bit_3 -V59_bit_2 -V59_bit_1 -V59_bit0 -V59_bit1 -V59_bit2 -V59_bit3 -V59_bit4 -V59_bit5 -V59_bit6 -V59_bit7 -V59_bit8 -V59_bit9 -V59_bit10 -V59_bit11 -V59_bit12 -V21_bit_7 -V21_bit_6 -V21_bit_5 -V21_bit_4 -V21_bit_3 -V21_bit_2 -V21_bit_1 -V21_bit0 -V21_bit1 -V21_bit2 -V21_bit3 -V21_bit4 -V21_bit5 -V21_bit6 -V21_bit7 -V21_bit8 -V21_bit9 -V21_bit10 -V21_bit11 -V21_bit12 -V22_bit_7 -V22_bit_6 -V22_bit_5 -V22_bit_4 -V22_bit_3 -V22_bit_2 -V22_bit_1 -V22_bit0 -V22_bit1 -V22_bit2 -V22_bit3 -V22_bit4 -V22_bit5 -V22_bit6 -V22_bit7 -V22_bit8 -V22_bit9 -V22_bit10 -V22_bit11 -V22_bit12 -V72_bit_7 -V72_bit_6 -V72_bit_5 -V72_bit_4 -V72_bit_3 -V72_bit_2 -V72_bit_1 -V72_bit0 -V72_bit1 -V72_bit2 -V72_bit3 -V72_bit4 -V72_bit5 -V72_bit6 -V72_bit7 -V72_bit8 -V72_bit9 -V72_bit10 -V72_bit11 -V72_bit12 -V11_bit_7 -V11_bit_6 -V11_bit_5 -V11_bit_4 -V11_bit_3 -V11_bit_2 -V11_bit_1 -V11_bit0 -V11_bit1 -V11_bit2 -V11_bit3 -V11_bit4 -V11_bit5 -V11_bit6 -V11_bit7 -V11_bit8 -V11_bit9 -V11_bit10 -V11_bit11 -V11_bit12 -V12_bit_7 -V12_bit_6 -V12_bit_5 -V12_bit_4 -V12_bit_3 -V12_bit_2 -V12_bit_1 -V12_bit0 -V12_bit1 -V12_bit2 -V12_bit3 -V12_bit4 -V12_bit5 -V12_bit6 -V12_bit7 -V12_bit8 -V12_bit9 -V12_bit10 -V12_bit11 -V12_bit12 -V9_bit_7 -V9_bit_6 -V9_bit_5 -V9_bit_4 -V9_bit_3 -V9_bit_2 -V9_bit_1 -V9_bit0 -V9_bit1 -V9_bit2 -V9_bit3 -V9_bit4 -V9_bit5 -V9_bit6 -V9_bit7 -V9_bit8 -V9_bit9 -V9_bit10 -V9_bit11 -V9_bit12 -V10_bit_7 -V10_bit_6 -V10_bit_5 -V10_bit_4 -V10_bit_3 -V10_bit_2 -V10_bit_1 -V10_bit0 -V10_bit1 -V10_bit2 -V10_bit3 -V10_bit4 -V10_bit5 -V10_bit6 -V10_bit7 -V10_bit8 -V10_bit9 -V10_bit10 -V10_bit11 -V10_bit12 -V14_bit_7 -V14_bit_6 -V14_bit_5 -V14_bit_4 -V14_bit_3 -V14_bit_2 -V14_bit_1 -V14_bit0 -V14_bit1 -V14_bit2 -V14_bit3 -V14_bit4 -V14_bit5 -V14_bit6 -V14_bit7 -V14_bit8 -V14_bit9 -V14_bit10 -V14_bit11 -V14_bit12 -V30_bit_7 -V30_bit_6 -V30_bit_5 -V30_bit_4 -V30_bit_3 -V30_bit_2 -V30_bit_1 -V30_bit0 -V30_bit1 -V30_bit2 -V30_bit3 -V30_bit4 -V30_bit5 -V30_bit6 -V30_bit7 -V30_bit8 -V30_bit9 -V30_bit10 -V30_bit11 -V30_bit12 -V40_bit_7 -V40_bit_6 -V40_bit_5 -V40_bit_4 -V40_bit_3 -V40_bit_2 -V40_bit_1 -V40_bit0 -V40_bit1 -V40_bit2 -V40_bit3 -V40_bit4 -V40_bit5 -V40_bit6 -V40_bit7 -V40_bit8 -V40_bit9 -V40_bit10 -V40_bit11 -V40_bit12 -V48_bit_7 -V48_bit_6 -V48_bit_5 -V48_bit_4 -V48_bit_3 -V48_bit_2 -V48_bit_1 -V48_bit0 -V48_bit1 -V48_bit2 -V48_bit3 -V48_bit4 -V48_bit5 -V48_bit6 -V48_bit7 -V48_bit8 -V48_bit9 -V48_bit10 -V48_bit11 -V48_bit12 -V31_bit_7 -V31_bit_6 -V31_bit_5 -V31_bit_4 -V31_bit_3 -V31_bit_2 -V31_bit_1 -V31_bit0 -V31_bit1 -V31_bit2 -V31_bit3 -V31_bit4 -V31_bit5 -V31_bit6 -V31_bit7 -V31_bit8 -V31_bit9 -V31_bit10 -V31_bit11 -V31_bit12 -V41_bit_7 -V41_bit_6 -V41_bit_5 -V41_bit_4 -V41_bit_3 -V41_bit_2 -V41_bit_1 -V41_bit0 -V41_bit1 -V41_bit2 -V41_bit3 -V41_bit4 -V41_bit5 -V41_bit6 -V41_bit7 -V41_bit8 -V41_bit9 -V41_bit10 -V41_bit11 -V41_bit12 -V49_bit_7 -V49_bit_6 -V49_bit_5 -V49_bit_4 -V49_bit_3 -V49_bit_2 -V49_bit_1 -V49_bit0 -V49_bit1 -V49_bit2 -V49_bit3 -V49_bit4 -V49_bit5 -V49_bit6 -V49_bit7 -V49_bit8 -V49_bit9 -V49_bit10 -V49_bit11 -V49_bit12 -V29_bit_7 -V29_bit_6 -V29_bit_5 -V29_bit_4 -V29_bit_3 -V29_bit_2 -V29_bit_1 -V29_bit0 -V29_bit1 -V29_bit2 -V29_bit3 -V29_bit4 -V29_bit5 -V29_bit6 -V29_bit7 -V29_bit8 -V29_bit9 -V29_bit10 -V29_bit11 -V29_bit12 -V39_bit_7 -V39_bit_6 -V39_bit_5 -V39_bit_4 -V39_bit_3 -V39_bit_2 -V39_bit_1 -V39_bit0 -V39_bit1 -V39_bit2 -V39_bit3 -V39_bit4 -V39_bit5 -V39_bit6 -V39_bit7 -V39_bit8 -V39_bit9 -V39_bit10 -V39_bit11 -V39_bit12 -V47_bit_7 -V47_bit_6 -V47_bit_5 -V47_bit_4 -V47_bit_3 -V47_bit_2 -V47_bit_1 -V47_bit0 -V47_bit1 -V47_bit2 -V47_bit3 -V47_bit4 -V47_bit5 -V47_bit6 -V47_bit7 -V47_bit8 -V47_bit9 -V47_bit10 -V47_bit11 -V47_bit12 -V76_bit_7 -V76_bit_6 -V76_bit_5 -V76_bit_4 -V76_bit_3 -V76_bit_2 -V76_bit_1 -V76_bit0 -V76_bit1 -V76_bit2 -V76_bit3 -V76_bit4 -V76_bit5 -V76_bit6 -V76_bit7 -V76_bit8 -V76_bit9 -V76_bit10 -V76_bit11 -V76_bit12 -V25_bit_7 -V25_bit_6 -V25_bit_5 -V25_bit_4 -V25_bit_3 -V25_bit_2 -V25_bit_1 -V25_bit0 -V25_bit1 -V25_bit2 -V25_bit3 -V25_bit4 -V25_bit5 -V25_bit6 -V25_bit7 -V25_bit8 -V25_bit9 -V25_bit10 -V25_bit11 -V25_bit12 -V75_bit_7 -V75_bit_6 -V75_bit_5 -V75_bit_4 -V75_bit_3 -V75_bit_2 -V75_bit_1 -V75_bit0 -V75_bit1 -V75_bit2 -V75_bit3 -V75_bit4 -V75_bit5 -V75_bit6 -V75_bit7 -V75_bit8 -V75_bit9 -V75_bit10 -V75_bit11 -V75_bit12 -V54_bit_7 -V54_bit_6 -V54_bit_5 -V54_bit_4 -V54_bit_3 -V54_bit_2 -V54_bit_1 -V54_bit0 -V54_bit1 -V54_bit2 -V54_bit3 -V54_bit4 -V54_bit5 -V54_bit6 -V54_bit7 -V54_bit8 -V54_bit9 -V54_bit10 -V54_bit11 -V54_bit12 -V19_bit_7 -V19_bit_6 -V19_bit_5 -V19_bit_4 -V19_bit_3 -V19_bit_2 -V19_bit_1 -V19_bit0 -V19_bit1 -V19_bit2 -V19_bit3 -V19_bit4 -V19_bit5 -V19_bit6 -V19_bit7 -V19_bit8 -V19_bit9 -V19_bit10 -V19_bit11 -V19_bit12 -V20_bit_7 -V20_bit_6 -V20_bit_5 -V20_bit_4 -V20_bit_3 -V20_bit_2 -V20_bit_1 -V20_bit0 -V20_bit1 -V20_bit2 -V20_bit3 -V20_bit4 -V20_bit5 -V20_bit6 -V20_bit7 -V20_bit8 -V20_bit9 -V20_bit10 -V20_bit11 -V20_bit12 -V32_bit_7 -V32_bit_6 -V32_bit_5 -V32_bit_4 -V32_bit_3 -V32_bit_2 -V32_bit_1 -V32_bit0 -V32_bit1 -V32_bit2 -V32_bit3 -V32_bit4 -V32_bit5 -V32_bit6 -V32_bit7 -V32_bit8 -V32_bit9 -V32_bit10 -V32_bit11 -V32_bit12 -V42_bit_7 -V42_bit_6 -V42_bit_5 -V42_bit_4 -V42_bit_3 -V42_bit_2 -V42_bit_1 -V42_bit0 -V42_bit1 -V42_bit2 -V42_bit3 -V42_bit4 -V42_bit5 -V42_bit6 -V42_bit7 -V42_bit8 -V42_bit9 -V42_bit10 -V42_bit11 -V42_bit12 -V50_bit_7 -V50_bit_6 -V50_bit_5 -V50_bit_4 -V50_bit_3 -V50_bit_2 -V50_bit_1 -V50_bit0 -V50_bit1 -V50_bit2 -V50_bit3 -V50_bit4 -V50_bit5 -V50_bit6 -V50_bit7 -V50_bit8 -V50_bit9 -V50_bit10 -V50_bit11 -V50_bit12 -V69_bit_7 -V69_bit_6 -V69_bit_5 -V69_bit_4 -V69_bit_3 -V69_bit_2 -V69_bit_1 -V69_bit0 -V69_bit1 -V69_bit2 -V69_bit3 -V69_bit4 -V69_bit5 -V69_bit6 -V69_bit7 -V69_bit8 -V69_bit9 -V69_bit10 -V69_bit11 -V69_bit12 -V68_bit_7 -V68_bit_6 -V68_bit_5 -V68_bit_4 -V68_bit_3 -V68_bit_2 -V68_bit_1 -V68_bit0 -V68_bit1 -V68_bit2 -V68_bit3 -V68_bit4 -V68_bit5 -V68_bit6 -V68_bit7 -V68_bit8 -V68_bit9 -V68_bit10 -V68_bit11 -V68_bit12 -V62_bit_7 -V62_bit_6 -V62_bit_5 -V62_bit_4 -V62_bit_3 -V62_bit_2 -V62_bit_1 -V62_bit0 -V62_bit1 -V62_bit2 -V62_bit3 -V62_bit4 -V62_bit5 -V62_bit6 -V62_bit7 -V62_bit8 -V62_bit9 -V62_bit10 -V62_bit11 -V62_bit12 -V33_bit_7 -V33_bit_6 -V33_bit_5 -V33_bit_4 -V33_bit_3 -V33_bit_2 -V33_bit_1 -V33_bit0 -V33_bit1 -V33_bit2 -V33_bit3 -V33_bit4 -V33_bit5 -V33_bit6 -V33_bit7 -V33_bit8 -V33_bit9 -V33_bit10 -V33_bit11 -V33_bit12 -V34_bit_7 -V34_bit_6 -V34_bit_5 -V34_bit_4 -V34_bit_3 -V34_bit_2 -V34_bit_1 -V34_bit0 -V34_bit1 -V34_bit2 -V34_bit3 -V34_bit4 -V34_bit5 -V34_bit6 -V34_bit7 -V34_bit8 -V34_bit9 -V34_bit10 -V34_bit11 -V34_bit12 -V61_bit_7 -V61_bit_6 -V61_bit_5 -V61_bit_4 -V61_bit_3 -V61_bit_2 -V61_bit_1 -V61_bit0 -V61_bit1 -V61_bit2 -V61_bit3 -V61_bit4 -V61_bit5 -V61_bit6 -V61_bit7 -V61_bit8 -V61_bit9 -V61_bit10 -V61_bit11 -V61_bit12 -V64_bit_7 -V64_bit_6 -V64_bit_5 -V64_bit_4 -V64_bit_3 -V64_bit_2 -V64_bit_1 -V64_bit0 -V64_bit1 -V64_bit2 -V64_bit3 -V64_bit4 -V64_bit5 -V64_bit6 -V64_bit7 -V64_bit8 -V64_bit9 -V64_bit10 -V64_bit11 -V64_bit12 -V65_bit_7 -V65_bit_6 -V65_bit_5 -V65_bit_4 -V65_bit_3 -V65_bit_2 -V65_bit_1 -V65_bit0 -V65_bit1 -V65_bit2 -V65_bit3 -V65_bit4 -V65_bit5 -V65_bit6 -V65_bit7 -V65_bit8 -V65_bit9 -V65_bit10 -V65_bit11 -V65_bit12 -V66_bit_7 -V66_bit_6 -V66_bit_5 -V66_bit_4 -V66_bit_3 -V66_bit_2 -V66_bit_1 -V66_bit0 -V66_bit1 -V66_bit2 -V66_bit3 -V66_bit4 -V66_bit5 -V66_bit6 -V66_bit7 -V66_bit8 -V66_bit9 -V66_bit10 -V66_bit11 -V66_bit12 -V67_bit_7 -V67_bit_6 -V67_bit_5 -V67_bit_4 -V67_bit_3 -V67_bit_2 -V67_bit_1 -V67_bit0 -V67_bit1 -V67_bit2 -V67_bit3 -V67_bit4 -V67_bit5 -V67_bit6 -V67_bit7 -V67_bit8 -V67_bit9 -V67_bit10 -V67_bit11 -V67_bit12 -V55_bit_7 -V55_bit_6 -V55_bit_5 -V55_bit_4 -V55_bit_3 -V55_bit_2 -V55_bit_1 -V55_bit0 -V55_bit1 -V55_bit2 -V55_bit3 -V55_bit4 -V55_bit5 -V55_bit6 -V55_bit7 -V55_bit8 -V55_bit9 -V55_bit10 -V55_bit11 -V55_bit12 -V71_bit_7 -V71_bit_6 -V71_bit_5 -V71_bit_4 -V71_bit_3 -V71_bit_2 -V71_bit_1 -V71_bit0 -V71_bit1 -V71_bit2 -V71_bit3 -V71_bit4 -V71_bit5 -V71_bit6 -V71_bit7 -V71_bit8 -V71_bit9 -V71_bit10 -V71_bit11 -V71_bit12 -V78_bit_7 -V78_bit_6 -V78_bit_5 -V78_bit_4 -V78_bit_3 -V78_bit_2 -V78_bit_1 -V78_bit0 -V78_bit1 -V78_bit2 -V78_bit3 -V78_bit4 -V78_bit5 -V78_bit6 -V78_bit7 -V78_bit8 -V78_bit9 -V78_bit10 -V78_bit11 -V78_bit12 -V74_bit_7 -V74_bit_6 -V74_bit_5 -V74_bit_4 -V74_bit_3 -V74_bit_2 -V74_bit_1 -V74_bit0 -V74_bit1 -V74_bit2 -V74_bit3 -V74_bit4 -V74_bit5 -V74_bit6 -V74_bit7 -V74_bit8 -V74_bit9 -V74_bit10 -V74_bit11 -V74_bit12 -V81_bit_7 -V81_bit_6 -V81_bit_5 -V81_bit_4 -V81_bit_3 -V81_bit_2 -V81_bit_1 -V81_bit0 -V81_bit1 -V81_bit2 -V81_bit3 -V81_bit4 -V81_bit5 -V81_bit6 -V81_bit7 -V81_bit8 -V81_bit9 -V81_bit10 -V81_bit11 -V81_bit12 -V36_bit_7 -V36_bit_6 -V36_bit_5 -V36_bit_4 -V36_bit_3 -V36_bit_2 -V36_bit_1 -V36_bit0 -V36_bit1 -V36_bit2 -V36_bit3 -V36_bit4 -V36_bit5 -V36_bit6 -V36_bit7 -V36_bit8 -V36_bit9 -V36_bit10 -V36_bit11 -V36_bit12 -V44_bit_7 -V44_bit_6 -V44_bit_5 -V44_bit_4 -V44_bit_3 -V44_bit_2 -V44_bit_1 -V44_bit0 -V44_bit1 -V44_bit2 -V44_bit3 -V44_bit4 -V44_bit5 -V44_bit6 -V44_bit7 -V44_bit8 -V44_bit9 -V44_bit10 -V44_bit11 -V44_bit12 -V52_bit_7 -V52_bit_6 -V52_bit_5 -V52_bit_4 -V52_bit_3 -V52_bit_2 -V52_bit_1 -V52_bit0 -V52_bit1 -V52_bit2 -V52_bit3 -V52_bit4 -V52_bit5 -V52_bit6 -V52_bit7 -V52_bit8 -V52_bit9 -V52_bit10 -V52_bit11 -V52_bit12 
c objective function=0
c Total CPU time (ms) : 1228.973

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/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800004624 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 39 3 38 16 0 23 0
[pid=10615] 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/10615
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=10616
New thread pid=10617
New thread pid=10618
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=10619
New thread pid=10620
New thread pid=10621
New thread pid=10622
New thread pid=10623
New thread pid=10624
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb
New thread pid=10625
One traced child (pid=10625) exited with status: 0
New thread pid=10626

[startup+10.0021 s]
Raw data (loadavg): 1.23 1.05 0.75 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18195 4 1 0 720 49 0 0 25 0 11 0 1800004624 858578944 20397 4294967295 134512640 134569956 3221224336 3221214552 1131359815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 209614 20397 13129 16 0 209598 0
[pid=10615] vsize: 838456
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (Kb) 838456

[startup+20.0019 s]
Raw data (loadavg): 1.26 1.06 0.76 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18206 4 1 0 1568 50 0 0 25 0 11 0 1800004624 861016064 22017 4294967295 134512640 134569956 3221224336 3221214552 1131359808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 22017 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 16.18
Current children cumulated vsize (Kb) 840836

[startup+30.0027 s]
Raw data (loadavg): 1.22 1.06 0.76 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18211 4 1 0 2527 50 0 0 25 0 11 0 1800004624 861016064 22703 4294967295 134512640 134569956 3221224336 3221214160 1131670364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 22703 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (Kb) 840836

[startup+40.0035 s]
Raw data (loadavg): 1.19 1.06 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18218 4 1 0 3487 51 0 0 25 0 11 0 1800004624 861016064 23192 4294967295 134512640 134569956 3221224336 3221214104 1131670396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 23192 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (Kb) 840836

[startup+50.0043 s]
Raw data (loadavg): 1.16 1.06 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18224 4 1 0 4438 51 0 0 25 0 11 0 1800004624 861016064 23632 4294967295 134512640 134569956 3221224336 3221214792 1131667613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 23632 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 44.89
Current children cumulated vsize (Kb) 840836

[startup+60.0042 s]
Raw data (loadavg): 1.13 1.05 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18229 4 1 0 5403 51 0 0 25 0 11 0 1800004624 861016064 24027 4294967295 134512640 134569956 3221224336 3221214204 1131670372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 24027 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 54.54
Current children cumulated vsize (Kb) 840836

[startup+70.006 s]
Raw data (loadavg): 1.11 1.05 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18233 4 1 0 6361 51 0 0 25 0 11 0 1800004624 861016064 24483 4294967295 134512640 134569956 3221224336 3221214520 1131458790 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 24483 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 64.12
Current children cumulated vsize (Kb) 840836

[startup+80.0068 s]
Raw data (loadavg): 1.10 1.05 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18237 4 1 0 7330 51 0 0 25 0 11 0 1800004624 861016064 24803 4294967295 134512640 134569956 3221224336 3221214792 1131667273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 24803 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 73.81
Current children cumulated vsize (Kb) 840836

[startup+90.0066 s]
Raw data (loadavg): 1.08 1.05 0.77 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18242 4 1 0 8291 52 0 0 17 0 11 0 1800004624 861016064 25260 4294967295 134512640 134569956 3221224336 3221214520 1131458139 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 25260 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 83.43
Current children cumulated vsize (Kb) 840836

[startup+100.007 s]
Raw data (loadavg): 1.07 1.05 0.78 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18245 4 1 0 9260 52 0 0 25 0 11 0 1800004624 861016064 25561 4294967295 134512640 134569956 3221224336 3221213912 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 25561 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 93.12
Current children cumulated vsize (Kb) 840836

[startup+110.008 s]
Raw data (loadavg): 1.06 1.04 0.78 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18248 4 1 0 10230 52 0 0 25 0 11 0 1800004624 861016064 25759 4294967295 134512640 134569956 3221224336 3221214152 1131670375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 25759 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 102.82
Current children cumulated vsize (Kb) 840836

[startup+120.008 s]
Raw data (loadavg): 1.05 1.04 0.78 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18251 4 1 0 11198 52 0 0 25 0 11 0 1800004624 861016064 26067 4294967295 134512640 134569956 3221224336 3221214048 1131670344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 26067 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 112.5
Current children cumulated vsize (Kb) 840836

[startup+130.009 s]
Raw data (loadavg): 1.04 1.04 0.78 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18255 4 1 0 12158 52 0 0 25 0 11 0 1800004624 861016064 26275 4294967295 134512640 134569956 3221224336 3221214280 1131560264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 26275 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 122.1
Current children cumulated vsize (Kb) 840836

[startup+140.01 s]
Raw data (loadavg): 1.03 1.04 0.78 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18257 4 1 0 13136 52 0 0 25 0 11 0 1800004624 861016064 26479 4294967295 134512640 134569956 3221224336 3221214040 1131670402 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 26479 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 131.88
Current children cumulated vsize (Kb) 840836

[startup+150.011 s]
Raw data (loadavg): 1.03 1.04 0.79 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18260 4 1 0 14104 52 0 0 25 0 11 0 1800004624 861016064 26801 4294967295 134512640 134569956 3221224336 3221214616 1131504918 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 26801 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 141.56
Current children cumulated vsize (Kb) 840836

[startup+160.011 s]
Raw data (loadavg): 1.02 1.03 0.79 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18263 4 1 0 15082 53 0 0 25 0 11 0 1800004624 861016064 27009 4294967295 134512640 134569956 3221224336 3221214616 1131506899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 27009 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 151.35
Current children cumulated vsize (Kb) 840836

[startup+170.011 s]
Raw data (loadavg): 1.02 1.03 0.79 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18266 4 1 0 16050 53 0 0 25 0 11 0 1800004624 861016064 27310 4294967295 134512640 134569956 3221224336 3221214264 1131670396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 27310 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (Kb) 840836

[startup+180.012 s]
Raw data (loadavg): 1.02 1.03 0.79 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18268 4 1 0 17029 53 0 0 25 0 11 0 1800004624 861016064 27549 4294967295 134512640 134569956 3221224336 3221214048 1131670344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 27549 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 170.82
Current children cumulated vsize (Kb) 840836

[startup+190.013 s]
Raw data (loadavg): 1.01 1.03 0.79 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18270 4 1 0 18007 53 0 0 25 0 11 0 1800004624 861016064 27649 4294967295 134512640 134569956 3221224336 3221214792 1131667468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 27649 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 180.6
Current children cumulated vsize (Kb) 840836

[startup+200.014 s]
Raw data (loadavg): 1.01 1.03 0.80 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18273 4 1 0 18973 53 0 0 25 0 11 0 1800004624 861016064 28029 4294967295 134512640 134569956 3221224336 3221214520 1131457836 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 28029 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 190.26
Current children cumulated vsize (Kb) 840836

[startup+210.014 s]
Raw data (loadavg): 1.01 1.03 0.80 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18275 4 1 0 19953 54 0 0 25 0 11 0 1800004624 861016064 28122 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 28122 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (Kb) 840836

[startup+220.014 s]
Raw data (loadavg): 1.01 1.03 0.80 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18278 4 1 0 20921 54 0 0 25 0 11 0 1800004624 861016064 28339 4294967295 134512640 134569956 3221224336 3221214616 1131504751 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 28339 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 209.75
Current children cumulated vsize (Kb) 840836

[startup+230.015 s]
Raw data (loadavg): 1.00 1.02 0.80 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18280 4 1 0 21900 54 0 0 25 0 11 0 1800004624 861016064 28533 4294967295 134512640 134569956 3221224336 3221213992 1131670364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 28533 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 219.54
Current children cumulated vsize (Kb) 840836

[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 0.80 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18282 4 1 0 22880 54 0 0 25 0 11 0 1800004624 861016064 28730 4294967295 134512640 134569956 3221224336 3221214584 1131673975 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 28730 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 229.34
Current children cumulated vsize (Kb) 840836

[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 0.81 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18284 4 1 0 23857 54 0 0 25 0 11 0 1800004624 861016064 28917 4294967295 134512640 134569956 3221224336 3221213944 1131671473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 28917 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 239.11
Current children cumulated vsize (Kb) 840836

[startup+260.017 s]
Raw data (loadavg): 1.00 1.02 0.81 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18287 4 1 0 24824 54 0 0 16 0 11 0 1800004624 861016064 29211 4294967295 134512640 134569956 3221224336 3221214432 1131670249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 29211 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 248.78
Current children cumulated vsize (Kb) 840836

[startup+270.016 s]
Raw data (loadavg): 1.00 1.02 0.81 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18289 4 1 0 25801 55 0 0 16 0 11 0 1800004624 861016064 29378 4294967295 134512640 134569956 3221224336 3221214160 1131671494 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 29378 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 258.56
Current children cumulated vsize (Kb) 840836

[startup+280.017 s]
Raw data (loadavg): 1.00 1.02 0.81 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18290 4 1 0 26789 55 0 0 25 0 11 0 1800004624 861016064 29546 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 29546 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 268.44
Current children cumulated vsize (Kb) 840836

[startup+290.017 s]
Raw data (loadavg): 1.00 1.02 0.81 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18292 4 1 0 27766 55 0 0 25 0 11 0 1800004624 861016064 29782 4294967295 134512640 134569956 3221224336 3221214376 1131670354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 29782 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 278.21
Current children cumulated vsize (Kb) 840836

[startup+300.018 s]
Raw data (loadavg): 1.00 1.02 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18294 4 1 0 28746 55 0 0 25 0 11 0 1800004624 861016064 29901 4294967295 134512640 134569956 3221224336 3221214616 1131506128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 29901 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 288.01
Current children cumulated vsize (Kb) 840836

[startup+310.019 s]
Raw data (loadavg): 1.00 1.02 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18296 4 1 0 29724 56 0 0 25 0 11 0 1800004624 861016064 30163 4294967295 134512640 134569956 3221224336 3221214368 1131670408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 30163 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 297.8
Current children cumulated vsize (Kb) 840836

[startup+320.018 s]
Raw data (loadavg): 1.00 1.02 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18298 4 1 0 30702 56 0 0 25 0 11 0 1800004624 861016064 30373 4294967295 134512640 134569956 3221224336 3221214104 1131671452 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 30373 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 307.58
Current children cumulated vsize (Kb) 840836

[startup+330.019 s]
Raw data (loadavg): 1.00 1.01 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18300 4 1 0 31682 56 0 0 25 0 11 0 1800004624 861016064 30574 4294967295 134512640 134569956 3221224336 3221214776 1131681593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 30574 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 317.38
Current children cumulated vsize (Kb) 840836

[startup+340.02 s]
Raw data (loadavg): 1.00 1.01 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18302 4 1 0 32661 56 0 0 25 0 11 0 1800004624 861016064 30790 4294967295 134512640 134569956 3221224336 3221214520 1131458407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 30790 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 327.17
Current children cumulated vsize (Kb) 840836

[startup+350.021 s]
Raw data (loadavg): 1.00 1.01 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18304 4 1 0 33641 57 0 0 18 0 11 0 1800004624 861016064 30887 4294967295 134512640 134569956 3221224336 3221213984 1131670408 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 30887 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 336.98
Current children cumulated vsize (Kb) 840836

[startup+360.022 s]
Raw data (loadavg): 1.00 1.01 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18305 4 1 0 34629 57 0 0 25 0 11 0 1800004624 861016064 30993 4294967295 134512640 134569956 3221224336 3221214216 1131671349 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 30993 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 346.86
Current children cumulated vsize (Kb) 840836

[startup+370.021 s]
Raw data (loadavg): 1.00 1.01 0.82 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18307 4 1 0 35607 57 0 0 25 0 11 0 1800004624 861016064 31245 4294967295 134512640 134569956 3221224336 3221214440 1131671473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 31245 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 356.64
Current children cumulated vsize (Kb) 840836

[startup+380.022 s]
Raw data (loadavg): 1.00 1.01 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18309 4 1 0 36587 57 0 0 25 0 11 0 1800004624 861016064 31352 4294967295 134512640 134569956 3221224336 3221214184 1085806278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 31352 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 366.44
Current children cumulated vsize (Kb) 840836

[startup+390.023 s]
Raw data (loadavg): 1.00 1.01 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18311 4 1 0 37565 57 0 0 25 0 11 0 1800004624 861016064 31546 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 31546 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 376.22
Current children cumulated vsize (Kb) 840836

[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18313 4 1 0 38543 57 0 0 25 0 11 0 1800004624 861016064 31719 4294967295 134512640 134569956 3221224336 3221213988 1131672576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 31719 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 386
Current children cumulated vsize (Kb) 840836

[startup+410.025 s]
Raw data (loadavg): 1.00 1.01 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18315 4 1 0 39523 58 0 0 25 0 11 0 1800004624 861016064 31810 4294967295 134512640 134569956 3221224336 3221214268 1085759248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 31810 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 395.81
Current children cumulated vsize (Kb) 840836

[startup+420.025 s]
Raw data (loadavg): 1.00 1.01 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18317 4 1 0 40502 58 0 0 25 0 11 0 1800004624 861016064 32043 4294967295 134512640 134569956 3221224336 3221214328 1131671494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 32043 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 405.6
Current children cumulated vsize (Kb) 840836

[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18319 4 1 0 41483 58 0 0 25 0 11 0 1800004624 861016064 32138 4294967295 134512640 134569956 3221224336 3221214044 1131370656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 32138 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 415.41
Current children cumulated vsize (Kb) 840836

[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18321 4 1 0 42463 58 0 0 25 0 11 0 1800004624 861016064 32302 4294967295 134512640 134569956 3221224336 3221213992 1131670354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 32302 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 425.21
Current children cumulated vsize (Kb) 840836

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18325 4 1 0 43448 58 0 0 25 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214544 1131670189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 435.06
Current children cumulated vsize (Kb) 840836

[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18327 4 1 0 44431 58 0 0 18 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214312 1131672597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 444.89
Current children cumulated vsize (Kb) 840836

[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18328 4 1 0 45421 58 0 0 25 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214152 1131670396 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 454.79
Current children cumulated vsize (Kb) 840836

[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18330 4 1 0 46400 59 0 0 25 0 11 0 1800004624 861016064 32552 4294967295 134512640 134569956 3221224336 3221214320 1131670388 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 32552 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 464.59
Current children cumulated vsize (Kb) 840836

[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18332 4 1 0 47378 59 0 0 22 0 11 0 1800004624 861016064 32785 4294967295 134512640 134569956 3221224336 3221214316 1131672608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 32785 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 474.37
Current children cumulated vsize (Kb) 840836

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18334 4 1 0 48358 59 0 0 25 0 11 0 1800004624 861016064 33032 4294967295 134512640 134569956 3221224336 3221214520 1131458413 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 33032 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 484.17
Current children cumulated vsize (Kb) 840836

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18336 4 1 0 49338 59 0 0 25 0 11 0 1800004624 861016064 33137 4294967295 134512640 134569956 3221224336 3221214320 1131670249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 33137 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 493.97
Current children cumulated vsize (Kb) 840836

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18338 4 1 0 50318 60 0 0 25 0 11 0 1800004624 861016064 33426 4294967295 134512640 134569956 3221224336 3221214016 1085806332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 33426 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 503.78
Current children cumulated vsize (Kb) 840836

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18340 4 1 0 51298 60 0 0 25 0 11 0 1800004624 861016064 33672 4294967295 134512640 134569956 3221224336 3221213992 1131670336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 33672 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 513.58
Current children cumulated vsize (Kb) 840836

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18342 4 1 0 52278 61 0 0 25 0 11 0 1800004624 861016064 33768 4294967295 134512640 134569956 3221224336 3221214144 1131670408 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 33768 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 523.39
Current children cumulated vsize (Kb) 840836

[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18344 4 1 0 53259 62 0 0 25 0 11 0 1800004624 861016064 33945 4294967295 134512640 134569956 3221224336 3221214264 1131670249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 33945 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 533.21
Current children cumulated vsize (Kb) 840836

[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18346 4 1 0 54241 62 0 0 25 0 11 0 1800004624 861016064 34109 4294967295 134512640 134569956 3221224336 3221214240 1085806334 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 34109 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 543.03
Current children cumulated vsize (Kb) 840836

[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18348 4 1 0 55222 63 0 0 25 0 11 0 1800004624 861016064 34238 4294967295 134512640 134569956 3221224336 3221214352 1131639889 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 34238 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 552.85
Current children cumulated vsize (Kb) 840836

[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18350 4 1 0 56203 63 0 0 25 0 11 0 1800004624 861016064 34448 4294967295 134512640 134569956 3221224336 3221214584 1131673916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 34448 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (Kb) 840836

[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18352 4 1 0 57184 63 0 0 25 0 11 0 1800004624 861016064 34612 4294967295 134512640 134569956 3221224336 3221213992 1131670396 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 34612 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 572.47
Current children cumulated vsize (Kb) 840836

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18354 4 1 0 58164 63 0 0 25 0 11 0 1800004624 861016064 34703 4294967295 134512640 134569956 3221224336 3221214504 1131581076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 34703 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (Kb) 840836

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18356 4 1 0 59144 64 0 0 25 0 11 0 1800004624 861016064 34846 4294967295 134512640 134569956 3221224336 3221213988 1131672579 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 34846 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 592.08
Current children cumulated vsize (Kb) 840836

[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18358 4 1 0 60125 64 0 0 25 0 11 0 1800004624 861016064 35020 4294967295 134512640 134569956 3221224336 3221214520 1131458097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 35020 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 601.89
Current children cumulated vsize (Kb) 840836

[startup+630.04 s]
Raw data (loadavg): 1.07 1.02 0.85 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18360 4 1 0 61105 64 0 0 25 0 11 0 1800004624 861016064 35186 4294967295 134512640 134569956 3221224336 3221214088 1131672594 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 35186 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 611.69
Current children cumulated vsize (Kb) 840836

[startup+640.04 s]
Raw data (loadavg): 1.06 1.02 0.86 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18362 4 1 0 62085 65 0 0 25 0 11 0 1800004624 861016064 35343 4294967295 134512640 134569956 3221224336 3221214248 1131673704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 35343 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 621.5
Current children cumulated vsize (Kb) 840836

[startup+650.041 s]
Raw data (loadavg): 1.13 1.03 0.86 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18365 4 1 0 63057 65 0 0 25 0 11 0 1800004624 861016064 35479 4294967295 134512640 134569956 3221224336 3221214528 1131458399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 35479 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 631.22
Current children cumulated vsize (Kb) 840836

[startup+660.042 s]
Raw data (loadavg): 1.11 1.03 0.86 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18367 4 1 0 64038 65 0 0 25 0 11 0 1800004624 861016064 35638 4294967295 134512640 134569956 3221224336 3221214384 1131671462 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 35638 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 641.03
Current children cumulated vsize (Kb) 840836

[startup+670.042 s]
Raw data (loadavg): 1.09 1.03 0.86 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18369 4 1 0 65019 65 0 0 25 0 11 0 1800004624 861016064 35791 4294967295 134512640 134569956 3221224336 3221214152 1131670375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 35791 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 650.84
Current children cumulated vsize (Kb) 840836

[startup+680.042 s]
Raw data (loadavg): 1.08 1.03 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18372 4 1 0 65993 65 0 0 25 0 11 0 1800004624 861016064 35927 4294967295 134512640 134569956 3221224336 3221214436 1131671440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 35927 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 660.58
Current children cumulated vsize (Kb) 840836

[startup+690.043 s]
Raw data (loadavg): 1.07 1.03 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18374 4 1 0 66974 66 0 0 25 0 11 0 1800004624 861016064 36072 4294967295 134512640 134569956 3221224336 3221213856 1085759268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 36072 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 670.4
Current children cumulated vsize (Kb) 840836

[startup+700.043 s]
Raw data (loadavg): 1.06 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18376 4 1 0 67956 66 0 0 25 0 11 0 1800004624 861016064 36215 4294967295 134512640 134569956 3221224336 3221214600 1131530569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 36215 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 680.22
Current children cumulated vsize (Kb) 840836

[startup+710.043 s]
Raw data (loadavg): 1.05 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18378 4 1 0 68938 66 0 0 25 0 11 0 1800004624 861016064 36344 4294967295 134512640 134569956 3221224336 3221214184 1085806281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 36344 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 690.04
Current children cumulated vsize (Kb) 840836

[startup+720.043 s]
Raw data (loadavg): 1.04 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18381 4 1 0 69911 67 0 0 18 0 11 0 1800004624 861016064 36550 4294967295 134512640 134569956 3221224336 3221214600 1131358815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 36550 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 699.78
Current children cumulated vsize (Kb) 840836

[startup+730.044 s]
Raw data (loadavg): 1.03 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18383 4 1 0 70891 67 0 0 25 0 11 0 1800004624 861016064 36717 4294967295 134512640 134569956 3221224336 3221214544 1131670186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 36717 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 709.58
Current children cumulated vsize (Kb) 840836

[startup+740.045 s]
Raw data (loadavg): 1.03 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18385 4 1 0 71873 67 0 0 25 0 11 0 1800004624 861016064 36837 4294967295 134512640 134569956 3221224336 3221214600 1131530465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 36837 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 719.4
Current children cumulated vsize (Kb) 840836

[startup+750.045 s]
Raw data (loadavg): 1.02 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18388 4 1 0 72846 68 0 0 25 0 11 0 1800004624 861016064 37035 4294967295 134512640 134569956 3221224336 3221214536 1131672599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 37035 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 729.14
Current children cumulated vsize (Kb) 840836

[startup+760.046 s]
Raw data (loadavg): 1.02 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18390 4 1 0 73829 68 0 0 25 0 11 0 1800004624 861016064 37167 4294967295 134512640 134569956 3221224336 3221214248 1131673980 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 37167 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 738.97
Current children cumulated vsize (Kb) 840836

[startup+770.046 s]
Raw data (loadavg): 1.02 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18393 4 1 0 74802 68 0 0 24 0 11 0 1800004624 861016064 37304 4294967295 134512640 134569956 3221224336 3221214544 1131670186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 37304 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 748.7
Current children cumulated vsize (Kb) 840836

[startup+780.047 s]
Raw data (loadavg): 1.01 1.02 0.87 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18395 4 1 0 75782 68 0 0 25 0 11 0 1800004624 861016064 37453 4294967295 134512640 134569956 3221224336 3221214616 1131505040 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 37453 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 758.5
Current children cumulated vsize (Kb) 840836

[startup+790.048 s]
Raw data (loadavg): 1.01 1.02 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18397 4 1 0 76764 68 0 0 25 0 11 0 1800004624 861016064 37587 4294967295 134512640 134569956 3221224336 3221214520 1131458425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 37587 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 768.32
Current children cumulated vsize (Kb) 840836

[startup+800.048 s]
Raw data (loadavg): 1.01 1.02 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18400 4 1 0 77738 68 0 0 25 0 11 0 1800004624 861016064 37761 4294967295 134512640 134569956 3221224336 3221214544 1131670249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 37761 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 778.06
Current children cumulated vsize (Kb) 840836

[startup+810.049 s]
Raw data (loadavg): 1.01 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18403 4 1 0 78713 68 0 0 25 0 11 0 1800004624 861016064 37946 4294967295 134512640 134569956 3221224336 3221214352 1131639601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 37946 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 787.81
Current children cumulated vsize (Kb) 840836

[startup+820.049 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18405 4 1 0 79696 69 0 0 25 0 11 0 1800004624 861016064 38059 4294967295 134512640 134569956 3221224336 3221214520 1131457937 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 38059 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 797.65
Current children cumulated vsize (Kb) 840836

[startup+830.05 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18407 4 1 0 80679 69 0 0 25 0 11 0 1800004624 861016064 38213 4294967295 134512640 134569956 3221224336 3221214424 1131670408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 38213 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 807.48
Current children cumulated vsize (Kb) 840836

[startup+840.051 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18409 4 1 0 81662 69 0 0 25 0 11 0 1800004624 861016064 38289 4294967295 134512640 134569956 3221224336 3221214384 1131614133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 38289 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 817.31
Current children cumulated vsize (Kb) 840836

[startup+850.052 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18411 4 1 0 82643 69 0 0 25 0 11 0 1800004624 861016064 38456 4294967295 134512640 134569956 3221224336 3221213800 1085806297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 38456 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 827.12
Current children cumulated vsize (Kb) 840836

[startup+860.051 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18414 4 1 0 83616 69 0 0 25 0 11 0 1800004624 861016064 38658 4294967295 134512640 134569956 3221224336 3221213884 1131671448 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 38658 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 836.85
Current children cumulated vsize (Kb) 840836

[startup+870.052 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18416 4 1 0 84598 70 0 0 25 0 11 0 1800004624 861016064 38734 4294967295 134512640 134569956 3221224336 3221214148 1131672576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 38734 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 846.68
Current children cumulated vsize (Kb) 840836

[startup+880.053 s]
Raw data (loadavg): 1.00 1.01 0.88 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18418 4 1 0 85579 70 0 0 25 0 11 0 1800004624 861016064 38855 4294967295 134512640 134569956 3221224336 3221214152 1131670396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 38855 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 856.49
Current children cumulated vsize (Kb) 840836

[startup+890.053 s]
Raw data (loadavg): 1.00 1.01 0.89 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18421 4 1 0 86552 70 0 0 24 0 11 0 1800004624 861016064 39057 4294967295 134512640 134569956 3221224336 3221214792 1131667613 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 39057 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 866.22
Current children cumulated vsize (Kb) 840836

[startup+900.055 s]
Raw data (loadavg): 1.08 1.02 0.89 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18422 4 1 0 87541 71 0 0 25 0 11 0 1800004624 861016064 39155 4294967295 134512640 134569956 3221224336 3221214152 1131670320 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 39155 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 876.12
Current children cumulated vsize (Kb) 840836

[startup+910.055 s]
Raw data (loadavg): 1.07 1.02 0.89 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) S 10614 10615 31778 0 -1 0 18423 4 1 0 88521 71 0 0 25 0 11 0 1800004624 861016064 39368 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 39370 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 885.92
Current children cumulated vsize (Kb) 840836

[startup+920.055 s]
Raw data (loadavg): 1.06 1.02 0.89 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18425 4 1 0 89509 71 0 0 25 0 11 0 1800004624 861016064 39487 4294967295 134512640 134569956 3221224336 3221214352 1085806297 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 39487 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 895.8
Current children cumulated vsize (Kb) 840836

[startup+930.056 s]
Raw data (loadavg): 1.05 1.02 0.89 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18426 4 1 0 90498 71 0 0 25 0 11 0 1800004624 861016064 39592 4294967295 134512640 134569956 3221224336 3221214264 1131670364 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 39592 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 905.69
Current children cumulated vsize (Kb) 840836

[startup+940.057 s]
Raw data (loadavg): 1.04 1.02 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18428 4 1 0 91477 71 0 0 25 0 11 0 1800004624 861016064 39824 4294967295 134512640 134569956 3221224336 3221214184 1085806269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 39824 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 915.48
Current children cumulated vsize (Kb) 840836

[startup+950.058 s]
Raw data (loadavg): 1.03 1.02 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18429 4 1 0 92467 71 0 0 25 0 11 0 1800004624 861016064 39880 4294967295 134512640 134569956 3221224336 3221214528 1131409863 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 39880 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 925.38
Current children cumulated vsize (Kb) 840836

[startup+960.058 s]
Raw data (loadavg): 1.03 1.02 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18431 4 1 0 93445 72 0 0 25 0 11 0 1800004624 861016064 40056 4294967295 134512640 134569956 3221224336 3221214016 1085806301 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 40056 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 935.17
Current children cumulated vsize (Kb) 840836

[startup+970.059 s]
Raw data (loadavg): 1.02 1.02 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18432 4 1 0 94433 72 0 0 25 0 11 0 1800004624 861016064 40247 4294967295 134512640 134569956 3221224336 3221214616 1131505040 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 40247 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 945.05
Current children cumulated vsize (Kb) 840836

[startup+980.06 s]
Raw data (loadavg): 1.02 1.01 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18434 4 1 0 95413 72 0 0 16 0 11 0 1800004624 861016064 40349 4294967295 134512640 134569956 3221224336 3221214096 1131670375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 40349 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 954.85
Current children cumulated vsize (Kb) 840836

[startup+990.061 s]
Raw data (loadavg): 1.02 1.01 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18435 4 1 0 96403 72 0 0 25 0 11 0 1800004624 861016064 40457 4294967295 134512640 134569956 3221224336 3221214144 1131670408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 40457 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 964.75
Current children cumulated vsize (Kb) 840836

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.01 0.90 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18437 4 1 0 97383 72 0 0 25 0 11 0 1800004624 861016064 40651 4294967295 134512640 134569956 3221224336 3221214512 1131445195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 40651 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 974.55
Current children cumulated vsize (Kb) 840836

[startup+1010.06 s]
Raw data (loadavg): 1.16 1.04 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18439 4 1 0 98364 72 0 0 25 0 11 0 1800004624 861016064 40827 4294967295 134512640 134569956 3221224336 3221214040 1131670315 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 40827 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 984.36
Current children cumulated vsize (Kb) 840836

[startup+1020.06 s]
Raw data (loadavg): 1.13 1.04 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18440 4 1 0 99354 72 0 0 25 0 11 0 1800004624 861016064 40934 4294967295 134512640 134569956 3221224336 3221214520 1131458636 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 40934 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 994.26
Current children cumulated vsize (Kb) 840836

[startup+1030.06 s]
Raw data (loadavg): 1.11 1.04 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18442 4 1 0 100337 72 0 0 25 0 11 0 1800004624 861016064 41031 4294967295 134512640 134569956 3221224336 3221214520 1131445316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 41031 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1004.09
Current children cumulated vsize (Kb) 840836

[startup+1040.06 s]
Raw data (loadavg): 1.09 1.04 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18444 4 1 0 101319 73 0 0 25 0 11 0 1800004624 861016064 41220 4294967295 134512640 134569956 3221224336 3221214240 1085806281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 41220 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1013.92
Current children cumulated vsize (Kb) 840836

[startup+1050.06 s]
Raw data (loadavg): 1.08 1.04 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18446 4 1 0 102302 73 0 0 25 0 11 0 1800004624 861016064 41392 4294967295 134512640 134569956 3221224336 3221214096 1131670186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 41392 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1023.75
Current children cumulated vsize (Kb) 840836

[startup+1060.07 s]
Raw data (loadavg): 1.07 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18447 4 1 0 103293 74 0 0 25 0 11 0 1800004624 861016064 41464 4294967295 134512640 134569956 3221224336 3221214384 1131614693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 41464 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1033.67
Current children cumulated vsize (Kb) 840836

[startup+1070.07 s]
Raw data (loadavg): 1.06 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18449 4 1 0 104276 74 0 0 25 0 11 0 1800004624 861016064 41645 4294967295 134512640 134569956 3221224336 3221213800 1085806272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 41645 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1043.5
Current children cumulated vsize (Kb) 840836

[startup+1080.07 s]
Raw data (loadavg): 1.05 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18451 4 1 0 105259 74 0 0 25 0 11 0 1800004624 861016064 41816 4294967295 134512640 134569956 3221224336 3221214544 1131670396 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 41816 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1053.33
Current children cumulated vsize (Kb) 840836

[startup+1090.07 s]
Raw data (loadavg): 1.04 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18453 4 1 0 106242 74 0 0 24 0 11 0 1800004624 861016064 41995 4294967295 134512640 134569956 3221224336 3221214248 1131673968 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 41995 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1063.16
Current children cumulated vsize (Kb) 840836

[startup+1100.07 s]
Raw data (loadavg): 1.03 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18454 4 1 0 107233 75 0 0 25 0 11 0 1800004624 861016064 42072 4294967295 134512640 134569956 3221224336 3221214296 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42072 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1073.08
Current children cumulated vsize (Kb) 840836

[startup+1110.07 s]
Raw data (loadavg): 1.03 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18456 4 1 0 108217 75 0 0 25 0 11 0 1800004624 861016064 42235 4294967295 134512640 134569956 3221224336 3221213800 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42235 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1082.92
Current children cumulated vsize (Kb) 840836

[startup+1120.07 s]
Raw data (loadavg): 1.02 1.03 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18458 4 1 0 109199 75 0 0 25 0 11 0 1800004624 861016064 42471 4294967295 134512640 134569956 3221224336 3221213936 1131670181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42471 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1092.74
Current children cumulated vsize (Kb) 840836

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18460 4 1 0 110182 75 0 0 25 0 11 0 1800004624 861016064 42558 4294967295 134512640 134569956 3221224336 3221214520 1131458399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42558 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1102.57
Current children cumulated vsize (Kb) 840836

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18461 4 1 0 111173 75 0 0 25 0 11 0 1800004624 861016064 42633 4294967295 134512640 134569956 3221224336 3221213888 1131671586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42633 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1112.48
Current children cumulated vsize (Kb) 840836

[startup+1150.07 s]
Raw data (loadavg): 1.01 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18463 4 1 0 112156 76 0 0 25 0 11 0 1800004624 861016064 42816 4294967295 134512640 134569956 3221224336 3221214408 1085806307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 42816 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (Kb) 840836

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18466 4 1 0 113131 76 0 0 24 0 11 0 1800004624 861016064 43081 4294967295 134512640 134569956 3221224336 3221214256 1131672599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 43081 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1132.07
Current children cumulated vsize (Kb) 840836

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.02 0.91 3/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18468 4 1 0 114123 76 0 0 25 0 11 0 1800004624 861016064 43152 4294967295 134512640 134569956 3221224336 3221213352 1073952732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 43152 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1141.99
Current children cumulated vsize (Kb) 840836

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18470 4 1 0 115100 76 0 0 25 0 11 0 1800004624 861016064 43382 4294967295 134512640 134569956 3221224336 3221214520 1131458139 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 43382 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1151.76
Current children cumulated vsize (Kb) 840836

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18472 4 1 0 116084 76 0 0 25 0 11 0 1800004624 861016064 43484 4294967295 134512640 134569956 3221224336 3221214384 1131614610 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 43484 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (Kb) 840836

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18473 4 1 0 117076 76 0 0 25 0 11 0 1800004624 861016064 43571 4294967295 134512640 134569956 3221224336 3221214216 1131671452 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 43571 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1171.52
Current children cumulated vsize (Kb) 840836

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18475 4 1 0 118059 77 0 0 25 0 11 0 1800004624 861016064 43735 4294967295 134512640 134569956 3221224336 3221214260 1131672608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 43735 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1181.36
Current children cumulated vsize (Kb) 840836

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18476 4 1 0 119051 77 0 0 25 0 11 0 1800004624 861016064 43811 4294967295 134512640 134569956 3221224336 3221214040 1131670396 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10615/statm): 210209 43811 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1191.28
Current children cumulated vsize (Kb) 840836

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18478 4 1 0 120034 77 0 0 25 0 11 0 1800004624 861016064 44007 4294967295 134512640 134569956 3221224336 3221214432 1131670416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 44007 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1201.11
Current children cumulated vsize (Kb) 840836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.02 0.91 2/66 10626
Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18478 4 1 0 120034 77 0 0 25 0 11 0 1800004624 861016064 44007 4294967295 134512640 134569956 3221224336 3221214432 1131670416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10615/statm): 210209 44007 13129 16 0 210193 0
[pid=10615] vsize: 840836
Current children cumulated CPU time (s) 1201.11
Current children cumulated vsize (Kb) 840836

Sending SIGTERM to -10615
Sleeping 2 seconds
New thread pid=10628
New thread pid=10629
One traced child (pid=10629) exited with status: 0
One traced child (pid=10624) exited with status: 0
One traced child (pid=10619) exited with status: 0
One traced child (pid=10616) exited with status: 143
One traced child (pid=10617) exited with status: 143
One traced child (pid=10618) exited with status: 143
One traced child (pid=10623) exited with status: 143
One traced child (pid=10620) exited with status: 143
One traced child (pid=10621) exited with status: 143
One traced child (pid=10626) exited with status: 143
One traced child (pid=10628) exited with status: 143
One traced child (pid=10622) exited with status: 143
One traced child (pid=10615) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.4
CPU time (s): 1238.79
CPU user time (s): 1237.16
CPU system time (s): 1.63475
CPU usage (%): 100.682
Max. virtual memory (cumulated for all children) (Kb): 840836

Verifier Data

Verifier:	OK	0