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-ran10x10b.opb
MD5SUMc76102ddcf7f5ab3b2677033d320eaa3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 756736
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 502612132
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 4718592
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 502612132
Number of bits of the biggest sum of numbers29
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 8902

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        776008 kB
Buffers:         32640 kB
Cached:         199036 kB
SwapCached:        816 kB
Active:         104484 kB
Inactive:       129832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775756 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18600 kB
Committed_AS:    72364 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 20:18:17 (client local time) WITH STATUS 143 IN 1230.59 SECONDS
stats: 6937 0 1230.59 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/wulflinc3/normalized-mps-v2-13-7-ran10x10b.opb
c reading problem ... done. Time 2.702 ms.
c #vars     2100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1098967 		Current CPU time: 7.49 ms
c starts		: 5
c conflicts		: 576
c decisions		: 21600
c propagations		: 59310
c inspects		: 1530617
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 575
c root simplifications	: 234
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 13826
c speed (decisions/second)	: 17.832920396650383
c non guided choices	1142
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=1098967
c Total CPU time (ms) : 1219.043

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/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802996191 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 39 3 38 16 0 23 0
[pid=13942] 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/13942
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=13943
New thread pid=13944
New thread pid=13945
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=13946
New thread pid=13947
New thread pid=13948
New thread pid=13949
New thread pid=13950
New thread pid=13951
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/wulflinc3/normalized-mps-v2-13-7-ran10x10b.opb
New thread pid=13952
One traced child (pid=13952) exited with status: 0
New thread pid=13953

[startup+10.0021 s]
Raw data (loadavg): 1.17 1.03 1.01 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18155 4 1 0 728 48 0 0 19 0 11 0 1802996191 859582464 20686 4294967295 134512640 134569956 3221224336 3221214656 1131505331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 209859 20686 13129 16 0 209843 0
[pid=13942] vsize: 839436
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (Kb) 839436

[startup+20.003 s]
Raw data (loadavg): 1.21 1.05 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18165 4 1 0 1665 48 0 0 25 0 11 0 1802996191 858468352 20612 4294967295 134512640 134569956 3221224336 3221214656 1131505259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 209587 20612 13129 16 0 209571 0
[pid=13942] vsize: 838348
Current children cumulated CPU time (s) 17.13
Current children cumulated vsize (Kb) 838348

[startup+30.0038 s]
Raw data (loadavg): 1.25 1.06 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18176 4 1 0 2603 49 0 0 25 0 11 0 1802996191 858468352 20746 4294967295 134512640 134569956 3221224336 3221214704 1131356689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 209587 20746 13129 16 0 209571 0
[pid=13942] vsize: 838348
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (Kb) 838348

[startup+40.0046 s]
Raw data (loadavg): 1.29 1.08 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18186 4 1 0 3535 49 0 0 17 0 11 0 1802996191 858468352 20775 4294967295 134512640 134569956 3221224336 3221214368 1131591000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 209587 20775 13129 16 0 209571 0
[pid=13942] vsize: 838348
Current children cumulated CPU time (s) 35.84
Current children cumulated vsize (Kb) 838348

[startup+50.0055 s]
Raw data (loadavg): 1.25 1.07 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18196 4 1 0 4494 50 0 0 22 0 11 0 1802996191 860565504 21844 4294967295 134512640 134569956 3221224336 3221214456 1131653371 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210099 21844 13129 16 0 210083 0
[pid=13942] vsize: 840396
Current children cumulated CPU time (s) 45.44
Current children cumulated vsize (Kb) 840396

[startup+60.0053 s]
Raw data (loadavg): 1.21 1.07 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18206 4 1 0 5474 50 0 0 25 0 11 0 1802996191 859516928 21695 4294967295 134512640 134569956 3221224336 3221214820 1131385638 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 209843 21695 13129 16 0 209827 0
[pid=13942] vsize: 839372
Current children cumulated CPU time (s) 55.24
Current children cumulated vsize (Kb) 839372

[startup+70.0062 s]
Raw data (loadavg): 1.26 1.08 1.03 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18218 4 1 0 6448 51 0 0 25 0 11 0 1802996191 862662656 22410 4294967295 134512640 134569956 3221224336 3221214656 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210611 22410 13129 16 0 210595 0
[pid=13942] vsize: 842444
Current children cumulated CPU time (s) 64.99
Current children cumulated vsize (Kb) 842444

[startup+80.007 s]
Raw data (loadavg): 1.22 1.08 1.03 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18229 4 1 0 7422 51 0 0 25 0 11 0 1802996191 861614080 22187 4294967295 134512640 134569956 3221224336 3221214604 1131584088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22187 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 74.73
Current children cumulated vsize (Kb) 841420

[startup+90.0078 s]
Raw data (loadavg): 1.18 1.08 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18239 4 1 0 8400 52 0 0 22 0 11 0 1802996191 861614080 22221 4294967295 134512640 134569956 3221224336 3221214656 1131505753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22221 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 84.52
Current children cumulated vsize (Kb) 841420

[startup+100.009 s]
Raw data (loadavg): 1.15 1.07 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18248 4 1 0 9383 52 0 0 25 0 11 0 1802996191 861614080 22314 4294967295 134512640 134569956 3221224336 3221214496 1131593236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22314 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 94.35
Current children cumulated vsize (Kb) 841420

[startup+110.01 s]
Raw data (loadavg): 1.13 1.07 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18258 4 1 0 10369 53 0 0 25 0 11 0 1802996191 861614080 22339 4294967295 134512640 134569956 3221224336 3221214656 1131506130 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22339 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 104.22
Current children cumulated vsize (Kb) 841420

[startup+120.01 s]
Raw data (loadavg): 1.11 1.07 1.02 2/66 13953
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18269 4 1 0 11356 54 0 0 17 0 11 0 1802996191 861614080 22359 4294967295 134512640 134569956 3221224336 3221214656 1131505132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22359 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 114.1
Current children cumulated vsize (Kb) 841420

[startup+130.011 s]
Raw data (loadavg): 1.09 1.07 1.02 3/69 13989
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18279 4 1 0 12343 54 0 0 24 0 11 0 1802996191 861614080 22359 4294967295 134512640 134569956 3221224336 3221214656 1131505327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22359 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 123.97
Current children cumulated vsize (Kb) 841420

[startup+140.012 s]
Raw data (loadavg): 1.15 1.08 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18291 4 1 0 13322 55 0 0 25 0 11 0 1802996191 861614080 22417 4294967295 134512640 134569956 3221224336 3221214688 1131356704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22417 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 133.77
Current children cumulated vsize (Kb) 841420

[startup+150.013 s]
Raw data (loadavg): 1.13 1.08 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18302 4 1 0 14297 56 0 0 25 0 11 0 1802996191 861614080 22433 4294967295 134512640 134569956 3221224336 3221214736 1131527192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22433 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 143.53
Current children cumulated vsize (Kb) 841420

[startup+160.014 s]
Raw data (loadavg): 1.11 1.07 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18312 4 1 0 15273 56 0 0 17 0 11 0 1802996191 861614080 22458 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22458 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 153.29
Current children cumulated vsize (Kb) 841420

[startup+170.015 s]
Raw data (loadavg): 1.09 1.07 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18320 4 1 0 16256 56 0 0 25 0 11 0 1802996191 861614080 22584 4294967295 134512640 134569956 3221224336 3221214600 1131585377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22584 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 163.12
Current children cumulated vsize (Kb) 841420

[startup+180.014 s]
Raw data (loadavg): 1.08 1.07 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18329 4 1 0 17242 57 0 0 23 0 11 0 1802996191 861614080 22611 4294967295 134512640 134569956 3221224336 3221214688 1131356824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22611 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 172.99
Current children cumulated vsize (Kb) 841420

[startup+190.016 s]
Raw data (loadavg): 1.06 1.06 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18339 4 1 0 18227 57 0 0 25 0 11 0 1802996191 861614080 22634 4294967295 134512640 134569956 3221224336 3221214640 1131505461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22634 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 182.84
Current children cumulated vsize (Kb) 841420

[startup+200.017 s]
Raw data (loadavg): 1.05 1.06 1.02 2/66 14008
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18350 4 1 0 19210 58 0 0 25 0 11 0 1802996191 861614080 22646 4294967295 134512640 134569956 3221224336 3221214736 1131527816 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22646 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 192.68
Current children cumulated vsize (Kb) 841420

[startup+210.017 s]
Raw data (loadavg): 1.05 1.06 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18359 4 1 0 20198 58 0 0 25 0 11 0 1802996191 861614080 22692 4294967295 134512640 134569956 3221224336 3221214496 1131537720 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22692 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 202.56
Current children cumulated vsize (Kb) 841420

[startup+220.019 s]
Raw data (loadavg): 1.12 1.07 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18368 4 1 0 21186 58 0 0 22 0 11 0 1802996191 861614080 22717 4294967295 134512640 134569956 3221224336 3221214688 1131356669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22717 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 212.44
Current children cumulated vsize (Kb) 841420

[startup+230.02 s]
Raw data (loadavg): 1.10 1.07 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18378 4 1 0 22173 58 0 0 25 0 11 0 1802996191 861614080 22732 4294967295 134512640 134569956 3221224336 3221214736 1131526784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22732 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (Kb) 841420

[startup+240.02 s]
Raw data (loadavg): 1.08 1.07 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18389 4 1 0 23160 59 0 0 18 0 11 0 1802996191 861614080 22768 4294967295 134512640 134569956 3221224336 3221214736 1131527274 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22768 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 232.19
Current children cumulated vsize (Kb) 841420

[startup+250.021 s]
Raw data (loadavg): 1.07 1.06 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18399 4 1 0 24149 59 0 0 25 0 11 0 1802996191 861614080 22797 4294967295 134512640 134569956 3221224336 3221214656 1131517180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22797 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 242.08
Current children cumulated vsize (Kb) 841420

[startup+260.022 s]
Raw data (loadavg): 1.06 1.06 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18410 4 1 0 25138 59 0 0 16 0 11 0 1802996191 861614080 22812 4294967295 134512640 134569956 3221224336 3221214688 1131356714 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22812 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 251.97
Current children cumulated vsize (Kb) 841420

[startup+270.023 s]
Raw data (loadavg): 1.05 1.06 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18420 4 1 0 26129 59 0 0 19 0 11 0 1802996191 861614080 22827 4294967295 134512640 134569956 3221224336 3221214640 1131505279 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22827 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 261.88
Current children cumulated vsize (Kb) 841420

[startup+280.024 s]
Raw data (loadavg): 1.04 1.06 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18430 4 1 0 27120 60 0 0 25 0 11 0 1802996191 861614080 22837 4294967295 134512640 134569956 3221224336 3221214640 1131505707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22837 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 271.8
Current children cumulated vsize (Kb) 841420

[startup+290.026 s]
Raw data (loadavg): 1.04 1.05 1.02 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18440 4 1 0 28109 61 0 0 25 0 11 0 1802996191 861614080 22852 4294967295 134512640 134569956 3221224336 3221214496 1131593227 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22852 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (Kb) 841420

[startup+300.025 s]
Raw data (loadavg): 1.03 1.05 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18451 4 1 0 29097 61 0 0 25 0 11 0 1802996191 861614080 22865 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22865 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 291.58
Current children cumulated vsize (Kb) 841420

[startup+310.026 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18460 4 1 0 30088 61 0 0 25 0 11 0 1802996191 861614080 22878 4294967295 134512640 134569956 3221224336 3221214640 1131506186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22878 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 301.49
Current children cumulated vsize (Kb) 841420

[startup+320.027 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18471 4 1 0 31075 61 0 0 25 0 11 0 1802996191 861614080 22895 4294967295 134512640 134569956 3221224336 3221214640 1131506130 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22895 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 311.36
Current children cumulated vsize (Kb) 841420

[startup+330.028 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18481 4 1 0 32065 62 0 0 25 0 11 0 1802996191 861614080 22915 4294967295 134512640 134569956 3221224336 3221214640 1131505741 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22915 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 321.27
Current children cumulated vsize (Kb) 841420

[startup+340.029 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18492 4 1 0 33055 62 0 0 25 0 11 0 1802996191 861614080 22931 4294967295 134512640 134569956 3221224336 3221214688 1131356689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22931 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 331.17
Current children cumulated vsize (Kb) 841420

[startup+350.03 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18502 4 1 0 34046 63 0 0 25 0 11 0 1802996191 861614080 22943 4294967295 134512640 134569956 3221224336 3221214688 1131356714 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22943 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 341.09
Current children cumulated vsize (Kb) 841420

[startup+360.03 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18512 4 1 0 35036 63 0 0 25 0 11 0 1802996191 861614080 22951 4294967295 134512640 134569956 3221224336 3221214688 1131356824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22951 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 350.99
Current children cumulated vsize (Kb) 841420

[startup+370.031 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18522 4 1 0 36026 63 0 0 19 0 11 0 1802996191 861614080 22961 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 22961 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 360.89
Current children cumulated vsize (Kb) 841420

[startup+380.032 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18532 4 1 0 37015 64 0 0 18 0 11 0 1802996191 861614080 22975 4294967295 134512640 134569956 3221224336 3221214640 1131505181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22975 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 370.79
Current children cumulated vsize (Kb) 841420

[startup+390.033 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18542 4 1 0 38006 64 0 0 25 0 11 0 1802996191 861614080 22985 4294967295 134512640 134569956 3221224336 3221214732 1131505100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22985 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 380.7
Current children cumulated vsize (Kb) 841420

[startup+400.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18552 4 1 0 38998 64 0 0 21 0 11 0 1802996191 861614080 22999 4294967295 134512640 134569956 3221224336 3221214600 1131585326 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 22999 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 390.62
Current children cumulated vsize (Kb) 841420

[startup+410.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18562 4 1 0 39987 65 0 0 25 0 11 0 1802996191 861614080 23006 4294967295 134512640 134569956 3221224336 3221214640 1131505830 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23006 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 400.52
Current children cumulated vsize (Kb) 841420

[startup+420.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18571 4 1 0 40979 65 0 0 24 0 11 0 1802996191 861614080 23016 4294967295 134512640 134569956 3221224336 3221214496 1131591146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23016 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 410.44
Current children cumulated vsize (Kb) 841420

[startup+430.036 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18579 4 1 0 41971 66 0 0 24 0 11 0 1802996191 861614080 23019 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23019 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 420.37
Current children cumulated vsize (Kb) 841420

[startup+440.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18588 4 1 0 42958 66 0 0 25 0 11 0 1802996191 861614080 23038 4294967295 134512640 134569956 3221224336 3221214688 1131356689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23038 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 430.24
Current children cumulated vsize (Kb) 841420

[startup+450.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18598 4 1 0 43945 67 0 0 25 0 11 0 1802996191 861614080 23049 4294967295 134512640 134569956 3221224336 3221214688 1131356781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23049 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 440.12
Current children cumulated vsize (Kb) 841420

[startup+460.04 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18608 4 1 0 44932 67 0 0 20 0 11 0 1802996191 861614080 23062 4294967295 134512640 134569956 3221224336 3221214608 1131582288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23062 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 841420

[startup+470.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18618 4 1 0 45920 68 0 0 22 0 11 0 1802996191 861614080 23105 4294967295 134512640 134569956 3221224336 3221214736 1131527728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23105 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 459.88
Current children cumulated vsize (Kb) 841420

[startup+480.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18628 4 1 0 46910 68 0 0 25 0 11 0 1802996191 861614080 23119 4294967295 134512640 134569956 3221224336 3221214688 1131356672 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23119 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 469.78
Current children cumulated vsize (Kb) 841420

[startup+490.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14012
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18637 4 1 0 47899 69 0 0 25 0 11 0 1802996191 861614080 23126 4294967295 134512640 134569956 3221224336 3221214640 1131506116 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23126 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 479.68
Current children cumulated vsize (Kb) 841420

[startup+500.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18647 4 1 0 48886 69 0 0 25 0 11 0 1802996191 861614080 23137 4294967295 134512640 134569956 3221224336 3221214688 1131356677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23137 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 489.55
Current children cumulated vsize (Kb) 841420

[startup+510.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18657 4 1 0 49872 70 0 0 25 0 11 0 1802996191 861614080 23156 4294967295 134512640 134569956 3221224336 3221214736 1131527273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23156 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 499.42
Current children cumulated vsize (Kb) 841420

[startup+520.046 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18668 4 1 0 50859 71 0 0 25 0 11 0 1802996191 861614080 23188 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23188 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 509.3
Current children cumulated vsize (Kb) 841420

[startup+530.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18677 4 1 0 51851 72 0 0 22 0 11 0 1802996191 861614080 23203 4294967295 134512640 134569956 3221224336 3221214640 1131505533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23203 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 519.23
Current children cumulated vsize (Kb) 841420

[startup+540.048 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18687 4 1 0 52841 72 0 0 25 0 11 0 1802996191 861614080 23210 4294967295 134512640 134569956 3221224336 3221214688 1131356693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23210 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 529.13
Current children cumulated vsize (Kb) 841420

[startup+550.049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18694 4 1 0 53834 72 0 0 23 0 11 0 1802996191 861614080 23218 4294967295 134512640 134569956 3221224336 3221214640 1131505545 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23218 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 539.06
Current children cumulated vsize (Kb) 841420

[startup+560.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18704 4 1 0 54820 73 0 0 25 0 11 0 1802996191 861614080 23227 4294967295 134512640 134569956 3221224336 3221214496 1131593227 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23227 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 841420

[startup+570.051 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18714 4 1 0 55806 73 0 0 25 0 11 0 1802996191 861614080 23236 4294967295 134512640 134569956 3221224336 3221214584 1131384848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23236 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 558.79
Current children cumulated vsize (Kb) 841420

[startup+580.052 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18724 4 1 0 56792 73 0 0 25 0 11 0 1802996191 861614080 23274 4294967295 134512640 134569956 3221224336 3221214496 1131537303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23274 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 568.65
Current children cumulated vsize (Kb) 841420

[startup+590.054 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18731 4 1 0 57784 73 0 0 25 0 11 0 1802996191 861614080 23292 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23292 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 578.57
Current children cumulated vsize (Kb) 841420

[startup+600.054 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18741 4 1 0 58771 74 0 0 25 0 11 0 1802996191 861614080 23306 4294967295 134512640 134569956 3221224336 3221214580 1131385653 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23306 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 588.45
Current children cumulated vsize (Kb) 841420

[startup+610.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18751 4 1 0 59757 75 0 0 25 0 11 0 1802996191 861614080 23313 4294967295 134512640 134569956 3221224336 3221214640 1131505132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23313 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 598.32
Current children cumulated vsize (Kb) 841420

[startup+620.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18761 4 1 0 60742 76 0 0 25 0 11 0 1802996191 861614080 23341 4294967295 134512640 134569956 3221224336 3221214688 1131356669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23341 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 608.18
Current children cumulated vsize (Kb) 841420

[startup+630.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18769 4 1 0 61733 76 0 0 18 0 11 0 1802996191 861614080 23366 4294967295 134512640 134569956 3221224336 3221214640 1131505624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23366 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 618.09
Current children cumulated vsize (Kb) 841420

[startup+640.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18778 4 1 0 62720 76 0 0 25 0 11 0 1802996191 861614080 23380 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23380 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 627.96
Current children cumulated vsize (Kb) 841420

[startup+650.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18788 4 1 0 63706 77 0 0 25 0 11 0 1802996191 861614080 23387 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23387 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 637.83
Current children cumulated vsize (Kb) 841420

[startup+660.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18798 4 1 0 64692 77 0 0 25 0 11 0 1802996191 861614080 23403 4294967295 134512640 134569956 3221224336 3221214732 1131506409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23403 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 647.69
Current children cumulated vsize (Kb) 841420

[startup+670.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18807 4 1 0 65681 78 0 0 25 0 11 0 1802996191 861614080 23437 4294967295 134512640 134569956 3221224336 3221214480 1131338873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23437 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 657.59
Current children cumulated vsize (Kb) 841420

[startup+680.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18815 4 1 0 66670 78 0 0 22 0 11 0 1802996191 861614080 23453 4294967295 134512640 134569956 3221224336 3221214640 1131505585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23453 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 667.48
Current children cumulated vsize (Kb) 841420

[startup+690.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18825 4 1 0 67657 79 0 0 25 0 11 0 1802996191 861614080 23460 4294967295 134512640 134569956 3221224336 3221214688 1131356689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23460 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 677.36
Current children cumulated vsize (Kb) 841420

[startup+700.062 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18835 4 1 0 68642 79 0 0 19 0 11 0 1802996191 861614080 23464 4294967295 134512640 134569956 3221224336 3221214732 1131495632 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23464 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 687.21
Current children cumulated vsize (Kb) 841420

[startup+710.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18845 4 1 0 69629 79 0 0 25 0 11 0 1802996191 861614080 23509 4294967295 134512640 134569956 3221224336 3221214496 1131590924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23509 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 697.08
Current children cumulated vsize (Kb) 841420

[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18852 4 1 0 70621 80 0 0 25 0 11 0 1802996191 861614080 23513 4294967295 134512640 134569956 3221224336 3221214640 1131505150 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23513 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 707.01
Current children cumulated vsize (Kb) 841420

[startup+730.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) S 13941 13942 31915 0 -1 0 18862 4 1 0 71606 81 0 0 25 0 11 0 1802996191 861614080 23530 4294967295 134512640 134569956 3221224336 3221213384 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23530 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 716.87
Current children cumulated vsize (Kb) 841420

[startup+740.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18872 4 1 0 72592 81 0 0 25 0 11 0 1802996191 861614080 23538 4294967295 134512640 134569956 3221224336 3221214496 1131537604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23538 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 726.73
Current children cumulated vsize (Kb) 841420

[startup+750.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18882 4 1 0 73578 82 0 0 25 0 11 0 1802996191 861614080 23561 4294967295 134512640 134569956 3221224336 3221214688 1131356746 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23561 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 736.6
Current children cumulated vsize (Kb) 841420

[startup+760.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18891 4 1 0 74566 82 0 0 25 0 11 0 1802996191 861614080 23590 4294967295 134512640 134569956 3221224336 3221214576 1131584052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23590 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 746.48
Current children cumulated vsize (Kb) 841420

[startup+770.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18900 4 1 0 75554 83 0 0 17 0 11 0 1802996191 861614080 23603 4294967295 134512640 134569956 3221224336 3221214844 1131415779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23603 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 756.37
Current children cumulated vsize (Kb) 841420

[startup+780.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18909 4 1 0 76542 83 0 0 25 0 11 0 1802996191 861614080 23610 4294967295 134512640 134569956 3221224336 3221214640 1131505150 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23610 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 766.25
Current children cumulated vsize (Kb) 841420

[startup+790.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18919 4 1 0 77527 84 0 0 25 0 11 0 1802996191 861614080 23613 4294967295 134512640 134569956 3221224336 3221214736 1131526989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23613 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 776.11
Current children cumulated vsize (Kb) 841420

[startup+800.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18929 4 1 0 78513 84 0 0 22 0 11 0 1802996191 861614080 23666 4294967295 134512640 134569956 3221224336 3221214736 1131526821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23666 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 785.97
Current children cumulated vsize (Kb) 841420

[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18938 4 1 0 79503 84 0 0 25 0 11 0 1802996191 861614080 23672 4294967295 134512640 134569956 3221224336 3221214640 1131505651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23672 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 795.87
Current children cumulated vsize (Kb) 841420

[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18947 4 1 0 80491 84 0 0 25 0 11 0 1802996191 861614080 23687 4294967295 134512640 134569956 3221224336 3221214640 1131506080 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23687 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 805.75
Current children cumulated vsize (Kb) 841420

[startup+830.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18956 4 1 0 81477 85 0 0 20 0 11 0 1802996191 861614080 23694 4294967295 134512640 134569956 3221224336 3221214640 1131505793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23694 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 815.62
Current children cumulated vsize (Kb) 841420

[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18966 4 1 0 82463 86 0 0 25 0 11 0 1802996191 861614080 23701 4294967295 134512640 134569956 3221224336 3221214688 1131356697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23701 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 825.49
Current children cumulated vsize (Kb) 841420

[startup+850.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18976 4 1 0 83450 86 0 0 25 0 11 0 1802996191 861614080 23744 4294967295 134512640 134569956 3221224336 3221214632 1131537651 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23744 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 835.36
Current children cumulated vsize (Kb) 841420

[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18985 4 1 0 84440 87 0 0 23 0 11 0 1802996191 861614080 23748 4294967295 134512640 134569956 3221224336 3221214496 1131592520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23748 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 845.27
Current children cumulated vsize (Kb) 841420

[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 18993 4 1 0 85430 87 0 0 25 0 11 0 1802996191 861614080 23762 4294967295 134512640 134569956 3221224336 3221214736 1131527284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23762 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 855.17
Current children cumulated vsize (Kb) 841420

[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19003 4 1 0 86417 87 0 0 25 0 11 0 1802996191 861614080 23771 4294967295 134512640 134569956 3221224336 3221214640 1131505162 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23771 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 865.04
Current children cumulated vsize (Kb) 841420

[startup+890.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19013 4 1 0 87401 88 0 0 25 0 11 0 1802996191 861614080 23775 4294967295 134512640 134569956 3221224336 3221214640 1131505134 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23775 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 874.89
Current children cumulated vsize (Kb) 841420

[startup+900.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19023 4 1 0 88387 89 0 0 25 0 11 0 1802996191 861614080 23821 4294967295 134512640 134569956 3221224336 3221214640 1131506144 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23821 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 884.76
Current children cumulated vsize (Kb) 841420

[startup+910.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19033 4 1 0 89377 89 0 0 17 0 11 0 1802996191 861614080 23826 4294967295 134512640 134569956 3221224336 3221214784 1131385689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23826 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 894.66
Current children cumulated vsize (Kb) 841420

[startup+920.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19040 4 1 0 90368 89 0 0 24 0 11 0 1802996191 861614080 23839 4294967295 134512640 134569956 3221224336 3221214496 1131537472 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23839 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 904.57
Current children cumulated vsize (Kb) 841420

[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19050 4 1 0 91354 90 0 0 21 0 11 0 1802996191 861614080 23845 4294967295 134512640 134569956 3221224336 3221214640 1131506090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23845 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 914.44
Current children cumulated vsize (Kb) 841420

[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19060 4 1 0 92340 90 0 0 25 0 11 0 1802996191 861614080 23849 4294967295 134512640 134569956 3221224336 3221214640 1131505636 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23849 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (Kb) 841420

[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19070 4 1 0 93325 91 0 0 19 0 11 0 1802996191 861614080 23875 4294967295 134512640 134569956 3221224336 3221214784 1131385689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23875 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 934.16
Current children cumulated vsize (Kb) 841420

[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19080 4 1 0 94314 91 0 0 25 0 11 0 1802996191 861614080 23902 4294967295 134512640 134569956 3221224336 3221214640 1131505121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23902 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 944.05
Current children cumulated vsize (Kb) 841420

[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19089 4 1 0 95304 92 0 0 24 0 11 0 1802996191 861614080 23917 4294967295 134512640 134569956 3221224336 3221214688 1131356797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23917 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 953.96
Current children cumulated vsize (Kb) 841420

[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19097 4 1 0 96295 92 0 0 25 0 11 0 1802996191 861614080 23921 4294967295 134512640 134569956 3221224336 3221214688 1131356672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23921 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 963.87
Current children cumulated vsize (Kb) 841420

[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19106 4 1 0 97282 92 0 0 25 0 11 0 1802996191 861614080 23924 4294967295 134512640 134569956 3221224336 3221214640 1131505767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23924 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 973.74
Current children cumulated vsize (Kb) 841420

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19116 4 1 0 98267 93 0 0 25 0 11 0 1802996191 861614080 23933 4294967295 134512640 134569956 3221224336 3221214640 1131506063 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23933 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 983.6
Current children cumulated vsize (Kb) 841420

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19127 4 1 0 99252 93 0 0 25 0 11 0 1802996191 861614080 23954 4294967295 134512640 134569956 3221224336 3221214640 1131505526 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 23954 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 993.45
Current children cumulated vsize (Kb) 841420

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19137 4 1 0 100240 93 0 0 17 0 11 0 1802996191 861614080 23991 4294967295 134512640 134569956 3221224336 3221214348 1131712140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 23991 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1003.33
Current children cumulated vsize (Kb) 841420

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19147 4 1 0 101228 94 0 0 21 0 11 0 1802996191 861614080 24000 4294967295 134512640 134569956 3221224336 3221214640 1131506024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24000 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1013.22
Current children cumulated vsize (Kb) 841420

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19157 4 1 0 102218 94 0 0 25 0 11 0 1802996191 861614080 24004 4294967295 134512640 134569956 3221224336 3221214640 1131505331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24004 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1023.12
Current children cumulated vsize (Kb) 841420

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19167 4 1 0 103207 94 0 0 25 0 11 0 1802996191 861614080 24012 4294967295 134512640 134569956 3221224336 3221214640 1131505749 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24012 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1033.01
Current children cumulated vsize (Kb) 841420

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19178 4 1 0 104194 95 0 0 25 0 11 0 1802996191 861614080 24016 4294967295 134512640 134569956 3221224336 3221214784 1131385689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24016 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1042.89
Current children cumulated vsize (Kb) 841420

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19188 4 1 0 105183 95 0 0 19 0 11 0 1802996191 861614080 24023 4294967295 134512640 134569956 3221224336 3221214640 1131505132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24023 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1052.78
Current children cumulated vsize (Kb) 841420

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19198 4 1 0 106173 95 0 0 24 0 11 0 1802996191 861614080 24029 4294967295 134512640 134569956 3221224336 3221214640 1131505793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24029 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1062.68
Current children cumulated vsize (Kb) 841420

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19209 4 1 0 107161 96 0 0 17 0 11 0 1802996191 861614080 24036 4294967295 134512640 134569956 3221224336 3221214688 1131356677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24036 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1072.57
Current children cumulated vsize (Kb) 841420

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19219 4 1 0 108150 96 0 0 25 0 11 0 1802996191 861614080 24046 4294967295 134512640 134569956 3221224336 3221214640 1131505545 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24046 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1082.46
Current children cumulated vsize (Kb) 841420

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19230 4 1 0 109138 96 0 0 17 0 11 0 1802996191 861614080 24051 4294967295 134512640 134569956 3221224336 3221214496 1131592497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24051 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1092.34
Current children cumulated vsize (Kb) 841420

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19239 4 1 0 110129 97 0 0 17 0 11 0 1802996191 861614080 24055 4294967295 134512640 134569956 3221224336 3221214736 1131527271 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24055 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1102.26
Current children cumulated vsize (Kb) 841420

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19247 4 1 0 111119 98 0 0 18 0 11 0 1802996191 861614080 24058 4294967295 134512640 134569956 3221224336 3221214496 1131537628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24058 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1112.17
Current children cumulated vsize (Kb) 841420

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19256 4 1 0 112107 98 0 0 25 0 11 0 1802996191 861614080 24065 4294967295 134512640 134569956 3221224336 3221214688 1131356693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24065 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (Kb) 841420

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19266 4 1 0 113092 98 0 0 23 0 11 0 1802996191 861614080 24068 4294967295 134512640 134569956 3221224336 3221214640 1131505506 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24068 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1131.9
Current children cumulated vsize (Kb) 841420

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19277 4 1 0 114076 99 0 0 25 0 11 0 1802996191 861614080 24094 4294967295 134512640 134569956 3221224336 3221214736 1131527074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24094 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1141.75
Current children cumulated vsize (Kb) 841420

[startup+1170.11 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19287 4 1 0 115064 99 0 0 20 0 11 0 1802996191 861614080 24121 4294967295 134512640 134569956 3221224336 3221214736 1131527738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24121 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1151.63
Current children cumulated vsize (Kb) 841420

[startup+1180.11 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19297 4 1 0 116052 100 0 0 25 0 11 0 1802996191 861614080 24132 4294967295 134512640 134569956 3221224336 3221214640 1131505125 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24132 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (Kb) 841420

[startup+1190.11 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19308 4 1 0 117040 101 0 0 25 0 11 0 1802996191 861614080 24136 4294967295 134512640 134569956 3221224336 3221214640 1131505259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24136 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1171.41
Current children cumulated vsize (Kb) 841420

[startup+1200.11 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19318 4 1 0 118027 101 0 0 25 0 11 0 1802996191 861614080 24144 4294967295 134512640 134569956 3221224336 3221214640 1131505614 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13942/statm): 210355 24144 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1181.28
Current children cumulated vsize (Kb) 841420

[startup+1210.11 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19327 4 1 0 119015 102 0 0 25 0 11 0 1802996191 861614080 24149 4294967295 134512640 134569956 3221224336 3221214640 1131506388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24149 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1191.17
Current children cumulated vsize (Kb) 841420

[startup+1220.12 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19335 4 1 0 120001 103 0 0 19 0 11 0 1802996191 861614080 24157 4294967295 134512640 134569956 3221224336 3221214496 1131591383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24157 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1201.04
Current children cumulated vsize (Kb) 841420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.12 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 14014
Raw data (/proc/13942/stat): 13942 (java) R 13941 13942 31915 0 -1 0 19335 4 1 0 120001 103 0 0 19 0 11 0 1802996191 861614080 24157 4294967295 134512640 134569956 3221224336 3221214604 1131510409 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13942/statm): 210355 24157 13129 16 0 210339 0
[pid=13942] vsize: 841420
Current children cumulated CPU time (s) 1201.04
Current children cumulated vsize (Kb) 841420

Sending SIGTERM to -13942
Sleeping 2 seconds
New thread pid=14016
New thread pid=14017
One traced child (pid=14017) exited with status: 0
One traced child (pid=13951) exited with status: 0
One traced child (pid=13946) exited with status: 0
One traced child (pid=13943) exited with status: 143
One traced child (pid=13944) exited with status: 143
One traced child (pid=13945) exited with status: 143
One traced child (pid=13950) exited with status: 143
One traced child (pid=13947) exited with status: 143
One traced child (pid=13948) exited with status: 143
One traced child (pid=13953) exited with status: 143
One traced child (pid=13949) exited with status: 143
One traced child (pid=14016) exited with status: 143
One traced child (pid=13942) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.4
CPU time (s): 1230.59
CPU user time (s): 1228.52
CPU system time (s): 2.07568
CPU usage (%): 100.835
Max. virtual memory (cumulated for all children) (Kb): 842444

Verifier Data

Verifier:	OK	1098967