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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
MD5SUM133d42fd76e8bbd92509939943f41498
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 398336
Optimality of the best value was proved NO
Number of terms in the objective function 2100
Biggest coefficient in the objective function 4718592
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 539671039
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 4718592
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 539671039
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables2100
Total number of constraints120
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 constraints120
Minimum length of a constraint21
Maximum length of a constraint200

Trace number 8901

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-20 19:55:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6936 boxname=wulflinc24 idbench=1076 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 6936
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        813068 kB
Buffers:         33460 kB
Cached:         160200 kB
SwapCached:        820 kB
Active:          75652 kB
Inactive:       120692 kB
HighTotal:      131008 kB
HighFree:         2296 kB
LowTotal:       903652 kB
LowFree:        810772 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            19608 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 20:15:51 (client local time) WITH STATUS 143 IN 1228.26 SECONDS
stats: 6936 0 1228.26 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/wulflinc24/normalized-mps-v2-13-7-ran10x10a.opb
c reading problem ... done. Time 2.849 ms.
c #vars     2100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              613282 		Current CPU time: 19.55 ms
c CURRENT OPTIMUM=              490985 		Current CPU time: 34.24 ms
c starts		: 5
c conflicts		: 395
c decisions		: 24347
c propagations		: 55428
c inspects		: 1381727
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 395
c root simplifications	: 248
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 17437
c speed (decisions/second)	: 20.554022373298597
c non guided choices	3422
c random choices	0
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 X4_bit_7 X4_bit_6 X4_bit_5 X4_bit_4 X4_bit_3 X4_bit_2 -X4_bit_1 X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 X7_bit_1 X7_bit0 -X7_bit1 X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 X14_bit_7 X14_bit_6 X14_bit_5 -X14_bit_4 -X14_bit_3 X14_bit_2 X14_bit_1 X14_bit0 X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 X17_bit_7 -X17_bit_6 -X17_bit_5 X17_bit_4 X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 X22_bit1 X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 X48_bit0 X48_bit1 X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 X49_bit0 -X49_bit1 X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 X59_bit0 X59_bit1 -X59_bit2 X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 X66_bit0 X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 X73_bit1 X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 X74_bit_5 X74_bit_4 X74_bit_3 X74_bit_2 X74_bit_1 X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 X84_bit_7 X84_bit_6 X84_bit_5 X84_bit_4 X84_bit_3 -X84_bit_2 X84_bit_1 X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 X87_bit_2 -X87_bit_1 X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 X90_bit0 X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 X94_bit_7 X94_bit_6 X94_bit_5 X94_bit_4 X94_bit_3 X94_bit_2 X94_bit_1 X94_bit0 X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 -Y18_bit0 -Y19_bit0 Y20_bit0 -Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 Y48_bit0 Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 Y65_bit0 Y66_bit0 -Y67_bit0 Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 Y73_bit0 Y74_bit0 -Y75_bit0 -Y76_bit0 Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 Y82_bit0 Y83_bit0 Y84_bit0 -Y85_bit0 -Y86_bit0 Y87_bit0 -Y88_bit0 -Y89_bit0 Y90_bit0 Y91_bit0 -Y92_bit0 -Y93_bit0 Y94_bit0 -Y95_bit0 -Y96_bit0 Y97_bit0 -Y98_bit0 -Y99_bit0 
c objective function=490985
c Total CPU time (ms) : 1219.038

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/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1861221822 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 39 3 38 16 0 23 0
[pid=23306] 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/23306
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=23307
New thread pid=23308
New thread pid=23309
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=23310
New thread pid=23311
New thread pid=23312
New thread pid=23313
New thread pid=23314
New thread pid=23315
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/wulflinc24/normalized-mps-v2-13-7-ran10x10a.opb
New thread pid=23316

[startup+10.0021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23316
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18179 0 1 0 645 48 0 0 21 0 11 0 1861221822 861392896 20979 4294967295 134512640 134569956 3221224336 3221214672 1131472924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 210301 20979 13129 16 0 210285 0
[pid=23306] vsize: 841204
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (Kb) 841204

[startup+20.0018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23316
Raw data (/proc/23306/stat): 23306 (java) S 23305 23306 20728 0 -1 0 18190 0 1 0 1580 48 0 0 25 0 11 0 1861221822 859000832 20574 4294967295 134512640 134569956 3221224336 3221213312 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209717 20574 13129 16 0 209701 0
[pid=23306] vsize: 838868
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (Kb) 838868
One traced child (pid=23316) exited with status: 0
New thread pid=23317

[startup+30.0025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23317
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18248 4 1 0 2511 49 0 0 25 0 11 0 1861221822 858935296 20759 4294967295 134512640 134569956 3221224336 3221214672 1131472943 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209701 20759 13129 16 0 209685 0
[pid=23306] vsize: 838804
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (Kb) 838804
One traced child (pid=23317) exited with status: 0
New thread pid=23318

[startup+40.0032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18258 4 1 0 3440 50 0 0 25 0 11 0 1861221822 858902528 21268 4294967295 134512640 134569956 3221224336 3221214760 1131528245 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21268 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 34.9
Current children cumulated vsize (Kb) 838772

[startup+50.0029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18269 4 1 0 4410 50 0 0 18 0 11 0 1861221822 858902528 21341 4294967295 134512640 134569956 3221224336 3221214712 1131356945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21341 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 44.6
Current children cumulated vsize (Kb) 838772

[startup+60.0036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18279 4 1 0 5387 50 0 0 25 0 11 0 1861221822 858902528 21435 4294967295 134512640 134569956 3221224336 3221214672 1131473183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21435 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 54.37
Current children cumulated vsize (Kb) 838772

[startup+70.0043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18288 4 1 0 6358 51 0 0 25 0 11 0 1861221822 860393472 21789 4294967295 134512640 134569956 3221224336 3221214488 1131592595 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 210057 21789 13129 16 0 210041 0
[pid=23306] vsize: 840228
Current children cumulated CPU time (s) 64.09
Current children cumulated vsize (Kb) 840228

[startup+80.005 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18300 4 1 0 7336 51 0 0 25 0 11 0 1861221822 859922432 21774 4294967295 134512640 134569956 3221224336 3221214672 1131473187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209942 21774 13129 16 0 209926 0
[pid=23306] vsize: 839768
Current children cumulated CPU time (s) 73.87
Current children cumulated vsize (Kb) 839768

[startup+90.0057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18310 4 1 0 8318 52 0 0 25 0 11 0 1861221822 858902528 21558 4294967295 134512640 134569956 3221224336 3221214672 1131472686 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21558 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 83.7
Current children cumulated vsize (Kb) 838772

[startup+100.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18320 4 1 0 9295 52 0 0 24 0 11 0 1861221822 858902528 21582 4294967295 134512640 134569956 3221224336 3221214480 1131538130 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21582 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (Kb) 838772

[startup+110.007 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18331 4 1 0 10260 53 0 0 24 0 11 0 1861221822 858902528 21643 4294967295 134512640 134569956 3221224336 3221214520 1131617272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 21643 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 103.13
Current children cumulated vsize (Kb) 838772

[startup+120.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18338 4 1 0 11233 53 0 0 25 0 11 0 1861221822 858902528 21681 4294967295 134512640 134569956 3221224336 3221214656 1131473416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21681 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 112.86
Current children cumulated vsize (Kb) 838772

[startup+130.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18349 4 1 0 12193 54 0 0 25 0 11 0 1861221822 858902528 21767 4294967295 134512640 134569956 3221224336 3221214432 1131538173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 21767 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 122.47
Current children cumulated vsize (Kb) 838772

[startup+140.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18358 4 1 0 13173 54 0 0 25 0 11 0 1861221822 858902528 21916 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21916 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 132.27
Current children cumulated vsize (Kb) 838772

[startup+150.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18368 4 1 0 14151 55 0 0 25 0 11 0 1861221822 858902528 21980 4294967295 134512640 134569956 3221224336 3221214744 1131528208 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21980 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 142.06
Current children cumulated vsize (Kb) 838772

[startup+160.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18377 4 1 0 15131 56 0 0 25 0 11 0 1861221822 858902528 21990 4294967295 134512640 134569956 3221224336 3221214656 1131472541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 21990 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 151.87
Current children cumulated vsize (Kb) 838772

[startup+170.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18387 4 1 0 16109 56 0 0 19 0 11 0 1861221822 858902528 22038 4294967295 134512640 134569956 3221224336 3221214656 1131472943 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22038 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (Kb) 838772

[startup+180.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18397 4 1 0 17094 56 0 0 25 0 11 0 1861221822 858902528 22111 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22111 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 171.5
Current children cumulated vsize (Kb) 838772

[startup+190.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18407 4 1 0 18083 56 0 0 25 0 11 0 1861221822 858902528 22125 4294967295 134512640 134569956 3221224336 3221214656 1131473151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22125 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 181.39
Current children cumulated vsize (Kb) 838772

[startup+200.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18417 4 1 0 19073 56 0 0 25 0 11 0 1861221822 858902528 22146 4294967295 134512640 134569956 3221224336 3221214656 1131473135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22146 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 191.29
Current children cumulated vsize (Kb) 838772

[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18427 4 1 0 20062 57 0 0 18 0 11 0 1861221822 858902528 22164 4294967295 134512640 134569956 3221224336 3221214656 1131472655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22164 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 201.19
Current children cumulated vsize (Kb) 838772

[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18437 4 1 0 21053 57 0 0 25 0 11 0 1861221822 858902528 22183 4294967295 134512640 134569956 3221224336 3221214656 1131473151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22183 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 211.1
Current children cumulated vsize (Kb) 838772

[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18447 4 1 0 22043 58 0 0 25 0 11 0 1861221822 858902528 22195 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22195 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 221.01
Current children cumulated vsize (Kb) 838772

[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18457 4 1 0 23034 58 0 0 21 0 11 0 1861221822 858902528 22206 4294967295 134512640 134569956 3221224336 3221214696 1131357037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22206 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 230.92
Current children cumulated vsize (Kb) 838772

[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18467 4 1 0 24024 59 0 0 25 0 11 0 1861221822 858902528 22220 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22220 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 240.83
Current children cumulated vsize (Kb) 838772

[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18477 4 1 0 25015 60 0 0 25 0 11 0 1861221822 858902528 22231 4294967295 134512640 134569956 3221224336 3221214720 1131492337 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22231 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 250.75
Current children cumulated vsize (Kb) 838772

[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23318
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18487 4 1 0 26005 60 0 0 24 0 11 0 1861221822 858902528 22242 4294967295 134512640 134569956 3221224336 3221214568 1131374482 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22242 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 260.65
Current children cumulated vsize (Kb) 838772

[startup+280.016 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18498 4 1 0 26990 62 0 0 16 0 11 0 1861221822 858902528 22254 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22254 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 270.52
Current children cumulated vsize (Kb) 838772

[startup+290.018 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18508 4 1 0 27981 63 0 0 19 0 11 0 1861221822 858902528 22273 4294967295 134512640 134569956 3221224336 3221214744 1131528545 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22273 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 280.44
Current children cumulated vsize (Kb) 838772

[startup+300.018 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18518 4 1 0 28972 63 0 0 25 0 11 0 1861221822 858902528 22285 4294967295 134512640 134569956 3221224336 3221214696 1131356928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22285 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 290.35
Current children cumulated vsize (Kb) 838772

[startup+310.019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18529 4 1 0 29962 63 0 0 25 0 11 0 1861221822 858902528 22292 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22292 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 300.25
Current children cumulated vsize (Kb) 838772

[startup+320.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18539 4 1 0 30953 64 0 0 25 0 11 0 1861221822 858902528 22305 4294967295 134512640 134569956 3221224336 3221214656 1131473473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22305 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 310.17
Current children cumulated vsize (Kb) 838772

[startup+330.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18549 4 1 0 31944 64 0 0 25 0 11 0 1861221822 858902528 22316 4294967295 134512640 134569956 3221224336 3221214696 1131356945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22316 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 320.08
Current children cumulated vsize (Kb) 838772

[startup+340.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 23373
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18560 4 1 0 32934 64 0 0 25 0 11 0 1861221822 858902528 22327 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22327 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 838772

[startup+350.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18570 4 1 0 33924 65 0 0 17 0 11 0 1861221822 858902528 22334 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22334 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 339.89
Current children cumulated vsize (Kb) 838772

[startup+360.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18580 4 1 0 34916 65 0 0 19 0 11 0 1861221822 858902528 22344 4294967295 134512640 134569956 3221224336 3221214656 1131472744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22344 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 838772

[startup+370.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18590 4 1 0 35907 66 0 0 25 0 11 0 1861221822 858902528 22351 4294967295 134512640 134569956 3221224336 3221214532 1131537836 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22351 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 359.73
Current children cumulated vsize (Kb) 838772

[startup+380.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18600 4 1 0 36898 66 0 0 25 0 11 0 1861221822 858902528 22358 4294967295 134512640 134569956 3221224336 3221214168 1131718231 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22358 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 369.64
Current children cumulated vsize (Kb) 838772

[startup+390.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18610 4 1 0 37889 66 0 0 22 0 11 0 1861221822 858902528 22368 4294967295 134512640 134569956 3221224336 3221214656 1131472624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22368 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 379.55
Current children cumulated vsize (Kb) 838772

[startup+400.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18621 4 1 0 38879 66 0 0 17 0 11 0 1861221822 858902528 22376 4294967295 134512640 134569956 3221224336 3221214568 1131374464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22376 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 389.45
Current children cumulated vsize (Kb) 838772

[startup+410.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18631 4 1 0 39871 67 0 0 25 0 11 0 1861221822 858902528 22387 4294967295 134512640 134569956 3221224336 3221214696 1131356949 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22387 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 399.38
Current children cumulated vsize (Kb) 838772

[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18641 4 1 0 40861 68 0 0 20 0 11 0 1861221822 858902528 22394 4294967295 134512640 134569956 3221224336 3221214656 1131473151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22394 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 409.29
Current children cumulated vsize (Kb) 838772

[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18651 4 1 0 41852 68 0 0 25 0 11 0 1861221822 858902528 22401 4294967295 134512640 134569956 3221224336 3221214744 1131527259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22401 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 419.2
Current children cumulated vsize (Kb) 838772

[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18662 4 1 0 42843 68 0 0 25 0 11 0 1861221822 858902528 22412 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22412 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 429.11
Current children cumulated vsize (Kb) 838772

[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18672 4 1 0 43834 69 0 0 20 0 11 0 1861221822 858902528 22420 4294967295 134512640 134569956 3221224336 3221214656 1131472970 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22420 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 439.03
Current children cumulated vsize (Kb) 838772

[startup+460.031 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18682 4 1 0 44824 69 0 0 25 0 11 0 1861221822 858902528 22427 4294967295 134512640 134569956 3221224336 3221214656 1131473045 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22427 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 448.93
Current children cumulated vsize (Kb) 838772

[startup+470.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18693 4 1 0 45813 69 0 0 25 0 11 0 1861221822 858902528 22435 4294967295 134512640 134569956 3221224336 3221214656 1131472609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22435 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 458.82
Current children cumulated vsize (Kb) 838772

[startup+480.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18703 4 1 0 46801 70 0 0 17 0 11 0 1861221822 858902528 22444 4294967295 134512640 134569956 3221224336 3221214696 1131356945 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22444 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 468.71
Current children cumulated vsize (Kb) 838772

[startup+490.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18713 4 1 0 47789 70 0 0 19 0 11 0 1861221822 858902528 22469 4294967295 134512640 134569956 3221224336 3221214656 1131472927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22469 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 478.59
Current children cumulated vsize (Kb) 838772

[startup+500.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18723 4 1 0 48779 70 0 0 25 0 11 0 1861221822 858902528 22478 4294967295 134512640 134569956 3221224336 3221214696 1131356928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22478 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 838772

[startup+510.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18733 4 1 0 49770 71 0 0 25 0 11 0 1861221822 858902528 22494 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22494 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 498.41
Current children cumulated vsize (Kb) 838772

[startup+520.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18744 4 1 0 50761 71 0 0 25 0 11 0 1861221822 858902528 22505 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22505 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 508.32
Current children cumulated vsize (Kb) 838772

[startup+530.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18754 4 1 0 51752 72 0 0 19 0 11 0 1861221822 858902528 22512 4294967295 134512640 134569956 3221224336 3221214656 1131473504 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22512 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 518.24
Current children cumulated vsize (Kb) 838772

[startup+540.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18764 4 1 0 52743 73 0 0 25 0 11 0 1861221822 858902528 22519 4294967295 134512640 134569956 3221224336 3221214696 1131357084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22519 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 528.16
Current children cumulated vsize (Kb) 838772

[startup+550.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18775 4 1 0 53733 73 0 0 17 0 11 0 1861221822 858902528 22526 4294967295 134512640 134569956 3221224336 3221214740 1131472524 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22526 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 538.06
Current children cumulated vsize (Kb) 838772

[startup+560.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18785 4 1 0 54725 74 0 0 20 0 11 0 1861221822 858902528 22534 4294967295 134512640 134569956 3221224336 3221214656 1131472605 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22534 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 547.99
Current children cumulated vsize (Kb) 838772

[startup+570.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18795 4 1 0 55716 74 0 0 25 0 11 0 1861221822 858902528 22541 4294967295 134512640 134569956 3221224336 3221214656 1131472927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22541 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 557.9
Current children cumulated vsize (Kb) 838772

[startup+580.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18806 4 1 0 56706 75 0 0 25 0 11 0 1861221822 858902528 22548 4294967295 134512640 134569956 3221224336 3221214656 1131472746 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22548 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 567.81
Current children cumulated vsize (Kb) 838772

[startup+590.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18816 4 1 0 57698 75 0 0 19 0 11 0 1861221822 858902528 22551 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22551 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 577.73
Current children cumulated vsize (Kb) 838772

[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23377
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18826 4 1 0 58688 76 0 0 25 0 11 0 1861221822 858902528 22557 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22557 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 587.64
Current children cumulated vsize (Kb) 838772

[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) S 23305 23306 20728 0 -1 0 18836 4 1 0 59679 76 0 0 16 0 11 0 1861221822 858902528 22565 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22565 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 597.55
Current children cumulated vsize (Kb) 838772

[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18847 4 1 0 60670 77 0 0 18 0 11 0 1861221822 858902528 22572 4294967295 134512640 134569956 3221224336 3221214652 1131374432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22572 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 838772

[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18857 4 1 0 61661 77 0 0 25 0 11 0 1861221822 858902528 22579 4294967295 134512640 134569956 3221224336 3221214696 1131356928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22579 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 617.38
Current children cumulated vsize (Kb) 838772

[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18867 4 1 0 62651 77 0 0 25 0 11 0 1861221822 858902528 22586 4294967295 134512640 134569956 3221224336 3221214696 1131356933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22586 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 627.28
Current children cumulated vsize (Kb) 838772

[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18878 4 1 0 63641 78 0 0 25 0 11 0 1861221822 858902528 22592 4294967295 134512640 134569956 3221224336 3221214656 1131473128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22592 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 637.19
Current children cumulated vsize (Kb) 838772

[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18888 4 1 0 64633 78 0 0 20 0 11 0 1861221822 858902528 22596 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22596 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 647.11
Current children cumulated vsize (Kb) 838772

[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18898 4 1 0 65625 79 0 0 25 0 11 0 1861221822 858902528 22603 4294967295 134512640 134569956 3221224336 3221214536 1131483040 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22603 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 657.04
Current children cumulated vsize (Kb) 838772

[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18909 4 1 0 66616 79 0 0 25 0 11 0 1861221822 858902528 22610 4294967295 134512640 134569956 3221224336 3221214744 1131528391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22610 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 666.95
Current children cumulated vsize (Kb) 838772

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18919 4 1 0 67607 79 0 0 21 0 11 0 1861221822 858902528 22617 4294967295 134512640 134569956 3221224336 3221214656 1131473034 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22617 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 676.86
Current children cumulated vsize (Kb) 838772

[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18929 4 1 0 68599 80 0 0 25 0 11 0 1861221822 858902528 22620 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22620 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 686.79
Current children cumulated vsize (Kb) 838772

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18940 4 1 0 69589 80 0 0 18 0 11 0 1861221822 858902528 22627 4294967295 134512640 134569956 3221224336 3221214696 1131356945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22627 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 696.69
Current children cumulated vsize (Kb) 838772

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18950 4 1 0 70581 80 0 0 25 0 11 0 1861221822 858902528 22633 4294967295 134512640 134569956 3221224336 3221214656 1131473210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22633 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 706.61
Current children cumulated vsize (Kb) 838772

[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18960 4 1 0 71570 81 0 0 25 0 11 0 1861221822 858902528 22640 4294967295 134512640 134569956 3221224336 3221214256 1085806294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22640 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 716.51
Current children cumulated vsize (Kb) 838772

[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18971 4 1 0 72560 81 0 0 17 0 11 0 1861221822 858902528 22644 4294967295 134512640 134569956 3221224336 3221214256 1076697590 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22644 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 726.41
Current children cumulated vsize (Kb) 838772

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18980 4 1 0 73550 82 0 0 25 0 11 0 1861221822 858902528 22659 4294967295 134512640 134569956 3221224336 3221214744 1131528245 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22659 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 736.32
Current children cumulated vsize (Kb) 838772

[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 18990 4 1 0 74539 82 0 0 25 0 11 0 1861221822 858902528 22667 4294967295 134512640 134569956 3221224336 3221214696 1131356972 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22667 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 746.21
Current children cumulated vsize (Kb) 838772

[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19001 4 1 0 75528 82 0 0 25 0 11 0 1861221822 858902528 22671 4294967295 134512640 134569956 3221224336 3221214656 1131472624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22671 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 756.1
Current children cumulated vsize (Kb) 838772

[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19011 4 1 0 76518 83 0 0 18 0 11 0 1861221822 858902528 22694 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22694 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 766.01
Current children cumulated vsize (Kb) 838772

[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19021 4 1 0 77509 83 0 0 25 0 11 0 1861221822 858902528 22698 4294967295 134512640 134569956 3221224336 3221214520 1131583441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22698 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 775.92
Current children cumulated vsize (Kb) 838772

[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19031 4 1 0 78497 83 0 0 25 0 11 0 1861221822 858902528 22704 4294967295 134512640 134569956 3221224336 3221214744 1131527660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22704 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 785.8
Current children cumulated vsize (Kb) 838772

[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19040 4 1 0 79486 84 0 0 24 0 11 0 1861221822 858902528 22708 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22708 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 795.7
Current children cumulated vsize (Kb) 838772

[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19050 4 1 0 80475 84 0 0 25 0 11 0 1861221822 858902528 22717 4294967295 134512640 134569956 3221224336 3221214696 1131357037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22717 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 805.59
Current children cumulated vsize (Kb) 838772

[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19061 4 1 0 81462 85 0 0 17 0 11 0 1861221822 858902528 22742 4294967295 134512640 134569956 3221224336 3221214656 1131472835 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22742 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 815.47
Current children cumulated vsize (Kb) 838772

[startup+840.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19071 4 1 0 82451 85 0 0 25 0 11 0 1861221822 858902528 22758 4294967295 134512640 134569956 3221224336 3221214656 1131473489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22758 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 825.36
Current children cumulated vsize (Kb) 838772

[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19081 4 1 0 83440 86 0 0 25 0 11 0 1861221822 858902528 22769 4294967295 134512640 134569956 3221224336 3221214656 1131473483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22769 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 835.26
Current children cumulated vsize (Kb) 838772

[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19092 4 1 0 84428 88 0 0 25 0 11 0 1861221822 858902528 22779 4294967295 134512640 134569956 3221224336 3221214656 1131472878 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22779 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 845.16
Current children cumulated vsize (Kb) 838772

[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19102 4 1 0 85417 89 0 0 19 0 11 0 1861221822 858902528 22786 4294967295 134512640 134569956 3221224336 3221214616 1131216819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22786 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 855.06
Current children cumulated vsize (Kb) 838772

[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19112 4 1 0 86407 89 0 0 25 0 11 0 1861221822 858902528 22790 4294967295 134512640 134569956 3221224336 3221214744 1131527660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22790 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 864.96
Current children cumulated vsize (Kb) 838772

[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19123 4 1 0 87397 90 0 0 25 0 11 0 1861221822 858902528 22797 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22797 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 874.87
Current children cumulated vsize (Kb) 838772

[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19133 4 1 0 88386 90 0 0 25 0 11 0 1861221822 858902528 22804 4294967295 134512640 134569956 3221224336 3221214656 1131473555 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22804 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 884.76
Current children cumulated vsize (Kb) 838772

[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19143 4 1 0 89376 91 0 0 25 0 11 0 1861221822 858902528 22808 4294967295 134512640 134569956 3221224336 3221214568 1131374456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22808 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 894.67
Current children cumulated vsize (Kb) 838772

[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19154 4 1 0 90365 92 0 0 25 0 11 0 1861221822 858902528 22815 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22815 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 904.57
Current children cumulated vsize (Kb) 838772

[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19164 4 1 0 91355 93 0 0 25 0 11 0 1861221822 858902528 22818 4294967295 134512640 134569956 3221224336 3221214508 1131378480 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22818 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 914.48
Current children cumulated vsize (Kb) 838772

[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19175 4 1 0 92345 93 0 0 17 0 11 0 1861221822 858902528 22825 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22825 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (Kb) 838772

[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19185 4 1 0 93335 94 0 0 25 0 11 0 1861221822 858902528 22833 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22833 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 934.29
Current children cumulated vsize (Kb) 838772

[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19195 4 1 0 94324 94 0 0 25 0 11 0 1861221822 858902528 22837 4294967295 134512640 134569956 3221224336 3221214740 1131357154 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22837 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 944.18
Current children cumulated vsize (Kb) 838772

[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19205 4 1 0 95313 95 0 0 18 0 11 0 1861221822 858902528 22845 4294967295 134512640 134569956 3221224336 3221214264 1078904465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22845 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 954.08
Current children cumulated vsize (Kb) 838772

[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19215 4 1 0 96302 95 0 0 25 0 11 0 1861221822 858902528 22850 4294967295 134512640 134569956 3221224336 3221214744 1131528440 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22850 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 963.97
Current children cumulated vsize (Kb) 838772

[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19225 4 1 0 97290 95 0 0 25 0 11 0 1861221822 858902528 22859 4294967295 134512640 134569956 3221224336 3221214744 1131527429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22859 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 973.85
Current children cumulated vsize (Kb) 838772

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19236 4 1 0 98278 96 0 0 16 0 11 0 1861221822 858902528 22875 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22875 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 983.74
Current children cumulated vsize (Kb) 838772

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19246 4 1 0 99268 96 0 0 25 0 11 0 1861221822 858902528 22885 4294967295 134512640 134569956 3221224336 3221214656 1131472556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22885 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 993.64
Current children cumulated vsize (Kb) 838772

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19256 4 1 0 100255 97 0 0 20 0 11 0 1861221822 858902528 22888 4294967295 134512640 134569956 3221224336 3221214656 1131473109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22888 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1003.52
Current children cumulated vsize (Kb) 838772

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19266 4 1 0 101244 97 0 0 24 0 11 0 1861221822 858902528 22898 4294967295 134512640 134569956 3221224336 3221214656 1131473365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22898 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1013.41
Current children cumulated vsize (Kb) 838772

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19277 4 1 0 102231 97 0 0 17 0 11 0 1861221822 858902528 22914 4294967295 134512640 134569956 3221224336 3221214744 1131527640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22914 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1023.28
Current children cumulated vsize (Kb) 838772

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19287 4 1 0 103219 98 0 0 25 0 11 0 1861221822 858902528 22937 4294967295 134512640 134569956 3221224336 3221214656 1131472541 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22937 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1033.17
Current children cumulated vsize (Kb) 838772

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19297 4 1 0 104209 98 0 0 25 0 11 0 1861221822 858902528 22943 4294967295 134512640 134569956 3221224336 3221214656 1131472985 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22943 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1043.07
Current children cumulated vsize (Kb) 838772

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19308 4 1 0 105198 99 0 0 17 0 11 0 1861221822 858902528 22952 4294967295 134512640 134569956 3221224336 3221214656 1131473193 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22952 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1052.97
Current children cumulated vsize (Kb) 838772

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19318 4 1 0 106188 100 0 0 25 0 11 0 1861221822 858902528 22956 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22956 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1062.88
Current children cumulated vsize (Kb) 838772

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19328 4 1 0 107178 100 0 0 25 0 11 0 1861221822 858902528 22959 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22959 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1072.78
Current children cumulated vsize (Kb) 838772

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19339 4 1 0 108168 101 0 0 25 0 11 0 1861221822 858902528 22967 4294967295 134512640 134569956 3221224336 3221214656 1131473248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22967 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1082.69
Current children cumulated vsize (Kb) 838772

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19349 4 1 0 109158 101 0 0 25 0 11 0 1861221822 858902528 22971 4294967295 134512640 134569956 3221224336 3221214696 1131356928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22971 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1092.59
Current children cumulated vsize (Kb) 838772

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19360 4 1 0 110146 102 0 0 25 0 11 0 1861221822 858902528 22976 4294967295 134512640 134569956 3221224336 3221214696 1131356933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22976 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1102.48
Current children cumulated vsize (Kb) 838772

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19370 4 1 0 111137 102 0 0 25 0 11 0 1861221822 858902528 22983 4294967295 134512640 134569956 3221224336 3221214656 1131472734 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22983 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1112.39
Current children cumulated vsize (Kb) 838772

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19380 4 1 0 112126 103 0 0 25 0 11 0 1861221822 858902528 22987 4294967295 134512640 134569956 3221224336 3221214656 1131473092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22987 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (Kb) 838772

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19390 4 1 0 113116 103 0 0 25 0 11 0 1861221822 858902528 22991 4294967295 134512640 134569956 3221224336 3221214656 1131472605 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 22991 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1132.19
Current children cumulated vsize (Kb) 838772

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19401 4 1 0 114104 104 0 0 25 0 11 0 1861221822 858902528 22997 4294967295 134512640 134569956 3221224336 3221214656 1131472861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 22997 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1142.08
Current children cumulated vsize (Kb) 838772

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19411 4 1 0 115094 104 0 0 25 0 11 0 1861221822 858902528 23003 4294967295 134512640 134569956 3221224336 3221214656 1131472545 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23003 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1151.98
Current children cumulated vsize (Kb) 838772

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19421 4 1 0 116084 104 0 0 20 0 11 0 1861221822 858902528 23015 4294967295 134512640 134569956 3221224336 3221214784 1131378521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23306/statm): 209693 23015 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1161.88
Current children cumulated vsize (Kb) 838772

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19431 4 1 0 117074 104 0 0 25 0 11 0 1861221822 858902528 23021 4294967295 134512640 134569956 3221224336 3221214656 1131473449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23021 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1171.78
Current children cumulated vsize (Kb) 838772

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19442 4 1 0 118063 105 0 0 17 0 11 0 1861221822 858902528 23025 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23025 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (Kb) 838772

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19452 4 1 0 119052 105 0 0 25 0 11 0 1861221822 858902528 23028 4294967295 134512640 134569956 3221224336 3221214656 1131472904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23028 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1191.57
Current children cumulated vsize (Kb) 838772

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19462 4 1 0 120041 105 0 0 25 0 11 0 1861221822 858902528 23034 4294967295 134512640 134569956 3221224336 3221214656 1131472981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23034 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1201.46
Current children cumulated vsize (Kb) 838772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 23379
Raw data (/proc/23306/stat): 23306 (java) R 23305 23306 20728 0 -1 0 19462 4 1 0 120041 105 0 0 25 0 11 0 1861221822 858902528 23034 4294967295 134512640 134569956 3221224336 3221214696 1131356945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23306/statm): 209693 23034 13129 16 0 209677 0
[pid=23306] vsize: 838772
Current children cumulated CPU time (s) 1201.46
Current children cumulated vsize (Kb) 838772

Sending SIGTERM to -23306
Sleeping 2 seconds
New thread pid=23381
New thread pid=23382
One traced child (pid=23382) exited with status: 0
One traced child (pid=23315) exited with status: 0
One traced child (pid=23310) exited with status: 0
One traced child (pid=23307) exited with status: 143
One traced child (pid=23308) exited with status: 143
One traced child (pid=23309) exited with status: 143
One traced child (pid=23311) exited with status: 143
One traced child (pid=23314) exited with status: 143
One traced child (pid=23313) exited with status: 143
One traced child (pid=23318) exited with status: 143
One traced child (pid=23312) exited with status: 143
One traced child (pid=23381) exited with status: 143
One traced child (pid=23306) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.4
CPU time (s): 1228.26
CPU user time (s): 1226.18
CPU system time (s): 2.08468
CPU usage (%): 100.644
Max. virtual memory (cumulated for all children) (Kb): 841204

Verifier Data

Verifier:	OK	490985