Some explanations

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

General information on the benchmark

Namemps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
MD5SUMdf23206734a7a5ecc1a5d03632e7fa81
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 344750
Optimality of the best value was proved YES
Number of terms in the objective function 90
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 15032909794
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 15032909794
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark30.9553
Number of variables90
Total number of constraints6
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 constraints6
Minimum length of a constraint15
Maximum length of a constraint90

Trace number 7392

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-20 11:33:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6643 boxname=wulflinc4 idbench=783 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  df23206734a7a5ecc1a5d03632e7fa81  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-maros.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-maros.opb
IDLAUNCH: 6643
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        820052 kB
Buffers:         34080 kB
Cached:         154152 kB
SwapCached:        876 kB
Active:          97732 kB
Inactive:        93076 kB
HighTotal:      131008 kB
HighFree:         1568 kB
LowTotal:       903652 kB
LowFree:        818484 kB
SwapTotal:     2097136 kB
SwapFree:      2095644 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            18180 kB
Committed_AS:    72324 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 11:54:11 (client local time) WITH STATUS 143 IN 1226.91 SECONDS
stats: 6643 0 1226.91 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/wulflinc4/normalized-mps-v2-20-10-maros.opb
c reading problem ... done. Time 0.263 ms.
c #vars     90
c #constraints  6
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              460800 		Current CPU time: 0.78 ms
c CURRENT OPTIMUM=              405495 		Current CPU time: 2.15 ms
c CURRENT OPTIMUM=              389120 		Current CPU time: 2.56 ms
c CURRENT OPTIMUM=              372736 		Current CPU time: 3.02 ms
c CURRENT OPTIMUM=              372727 		Current CPU time: 3.42 ms
c CURRENT OPTIMUM=              372718 		Current CPU time: 4.03 ms
c CURRENT OPTIMUM=              372709 		Current CPU time: 4.56 ms
c CURRENT OPTIMUM=              372700 		Current CPU time: 5.52 ms
c CURRENT OPTIMUM=              372691 		Current CPU time: 6.11 ms
c CURRENT OPTIMUM=              372682 		Current CPU time: 6.55 ms
c CURRENT OPTIMUM=              372673 		Current CPU time: 6.82 ms
c CURRENT OPTIMUM=              372664 		Current CPU time: 7.16 ms
c CURRENT OPTIMUM=              372655 		Current CPU time: 7.48 ms
c CURRENT OPTIMUM=              372646 		Current CPU time: 7.90 ms
c CURRENT OPTIMUM=              372637 		Current CPU time: 8.28 ms
c CURRENT OPTIMUM=              372628 		Current CPU time: 8.68 ms
c CURRENT OPTIMUM=              372619 		Current CPU time: 9.09 ms
c CURRENT OPTIMUM=              372610 		Current CPU time: 9.53 ms
c CURRENT OPTIMUM=              372601 		Current CPU time: 9.94 ms
c CURRENT OPTIMUM=              372592 		Current CPU time: 10.40 ms
c CURRENT OPTIMUM=              372583 		Current CPU time: 10.87 ms
c CURRENT OPTIMUM=              372574 		Current CPU time: 11.37 ms
c CURRENT OPTIMUM=              372565 		Current CPU time: 11.87 ms
c CURRENT OPTIMUM=              372556 		Current CPU time: 12.42 ms
c CURRENT OPTIMUM=              372547 		Current CPU time: 12.95 ms
c CURRENT OPTIMUM=              372538 		Current CPU time: 13.54 ms
c CURRENT OPTIMUM=              372529 		Current CPU time: 14.15 ms
c CURRENT OPTIMUM=              372520 		Current CPU time: 14.75 ms
c CURRENT OPTIMUM=              372511 		Current CPU time: 15.41 ms
c CURRENT OPTIMUM=              372502 		Current CPU time: 16.07 ms
c CURRENT OPTIMUM=              372493 		Current CPU time: 16.73 ms
c CURRENT OPTIMUM=              372484 		Current CPU time: 17.43 ms
c CURRENT OPTIMUM=              372475 		Current CPU time: 18.15 ms
c CURRENT OPTIMUM=              372466 		Current CPU time: 18.86 ms
c CURRENT OPTIMUM=              372457 		Current CPU time: 19.61 ms
c CURRENT OPTIMUM=              372448 		Current CPU time: 20.38 ms
c CURRENT OPTIMUM=              372439 		Current CPU time: 21.18 ms
c CURRENT OPTIMUM=              372430 		Current CPU time: 22.03 ms
c CURRENT OPTIMUM=              372421 		Current CPU time: 22.90 ms
c CURRENT OPTIMUM=              372412 		Current CPU time: 23.76 ms
c CURRENT OPTIMUM=              372403 		Current CPU time: 24.63 ms
c CURRENT OPTIMUM=              372394 		Current CPU time: 25.53 ms
c CURRENT OPTIMUM=              372385 		Current CPU time: 26.46 ms
c CURRENT OPTIMUM=              372376 		Current CPU time: 27.39 ms
c CURRENT OPTIMUM=              372367 		Current CPU time: 28.37 ms
c CURRENT OPTIMUM=              372358 		Current CPU time: 29.36 ms
c CURRENT OPTIMUM=              372349 		Current CPU time: 30.35 ms
c CURRENT OPTIMUM=              372340 		Current CPU time: 31.39 ms
c CURRENT OPTIMUM=              372331 		Current CPU time: 32.43 ms
c CURRENT OPTIMUM=              372322 		Current CPU time: 33.48 ms
c CURRENT OPTIMUM=              372313 		Current CPU time: 34.56 ms
c CURRENT OPTIMUM=              372304 		Current CPU time: 35.65 ms
c CURRENT OPTIMUM=              372295 		Current CPU time: 36.77 ms
c CURRENT OPTIMUM=              372286 		Current CPU time: 37.92 ms
c CURRENT OPTIMUM=              372277 		Current CPU time: 39.08 ms
c CURRENT OPTIMUM=              372268 		Current CPU time: 40.25 ms
c CURRENT OPTIMUM=              372259 		Current CPU time: 41.46 ms
c CURRENT OPTIMUM=              372250 		Current CPU time: 42.67 ms
c CURRENT OPTIMUM=              372241 		Current CPU time: 43.90 ms
c CURRENT OPTIMUM=              372232 		Current CPU time: 45.14 ms
c CURRENT OPTIMUM=              372223 		Current CPU time: 46.41 ms
c CURRENT OPTIMUM=              372214 		Current CPU time: 47.70 ms
c CURRENT OPTIMUM=              372205 		Current CPU time: 49.00 ms
c CURRENT OPTIMUM=              372196 		Current CPU time: 50.34 ms
c CURRENT OPTIMUM=              372187 		Current CPU time: 51.68 ms
c CURRENT OPTIMUM=              372178 		Current CPU time: 53.05 ms
c CURRENT OPTIMUM=              372169 		Current CPU time: 54.41 ms
c CURRENT OPTIMUM=              372160 		Current CPU time: 55.79 ms
c CURRENT OPTIMUM=              372151 		Current CPU time: 57.23 ms
c CURRENT OPTIMUM=              372142 		Current CPU time: 58.69 ms
c CURRENT OPTIMUM=              372133 		Current CPU time: 60.18 ms
c CURRENT OPTIMUM=              372124 		Current CPU time: 61.68 ms
c CURRENT OPTIMUM=              372115 		Current CPU time: 63.21 ms
c CURRENT OPTIMUM=              372106 		Current CPU time: 64.76 ms
c CURRENT OPTIMUM=              372097 		Current CPU time: 66.31 ms
c CURRENT OPTIMUM=              372088 		Current CPU time: 67.88 ms
c CURRENT OPTIMUM=              372079 		Current CPU time: 69.49 ms
c CURRENT OPTIMUM=              372070 		Current CPU time: 71.10 ms
c CURRENT OPTIMUM=              372061 		Current CPU time: 72.74 ms
c CURRENT OPTIMUM=              372052 		Current CPU time: 74.37 ms
c CURRENT OPTIMUM=              372043 		Current CPU time: 76.04 ms
c CURRENT OPTIMUM=              372034 		Current CPU time: 77.74 ms
c CURRENT OPTIMUM=              372025 		Current CPU time: 79.46 ms
c CURRENT OPTIMUM=              372016 		Current CPU time: 81.17 ms
c CURRENT OPTIMUM=              372007 		Current CPU time: 82.94 ms
c CURRENT OPTIMUM=              371998 		Current CPU time: 84.72 ms
c CURRENT OPTIMUM=              371989 		Current CPU time: 86.51 ms
c CURRENT OPTIMUM=              371980 		Current CPU time: 88.33 ms
c CURRENT OPTIMUM=              371971 		Current CPU time: 90.15 ms
c CURRENT OPTIMUM=              371962 		Current CPU time: 92.00 ms
c CURRENT OPTIMUM=              371953 		Current CPU time: 93.85 ms
c CURRENT OPTIMUM=              371944 		Current CPU time: 95.73 ms
c CURRENT OPTIMUM=              371935 		Current CPU time: 97.65 ms
c CURRENT OPTIMUM=              371926 		Current CPU time: 99.58 ms
c CURRENT OPTIMUM=              371917 		Current CPU time: 101.53 ms
c CURRENT OPTIMUM=              371908 		Current CPU time: 103.48 ms
c CURRENT OPTIMUM=              371899 		Current CPU time: 105.46 ms
c CURRENT OPTIMUM=              371890 		Current CPU time: 107.45 ms
c CURRENT OPTIMUM=              371881 		Current CPU time: 109.47 ms
c CURRENT OPTIMUM=              371872 		Current CPU time: 111.48 ms
c CURRENT OPTIMUM=              371863 		Current CPU time: 113.60 ms
c CURRENT OPTIMUM=              371854 		Current CPU time: 115.68 ms
c CURRENT OPTIMUM=              371845 		Current CPU time: 117.80 ms
c CURRENT OPTIMUM=              371836 		Current CPU time: 119.93 ms
c CURRENT OPTIMUM=              371827 		Current CPU time: 122.08 ms
c CURRENT OPTIMUM=              371818 		Current CPU time: 124.24 ms
c CURRENT OPTIMUM=              371809 		Current CPU time: 126.43 ms
c CURRENT OPTIMUM=              371800 		Current CPU time: 128.63 ms
c CURRENT OPTIMUM=              371791 		Current CPU time: 130.87 ms
c CURRENT OPTIMUM=              371782 		Current CPU time: 133.13 ms
c CURRENT OPTIMUM=              371773 		Current CPU time: 135.39 ms
c CURRENT OPTIMUM=              371764 		Current CPU time: 137.66 ms
c CURRENT OPTIMUM=              371755 		Current CPU time: 139.95 ms
c CURRENT OPTIMUM=              371746 		Current CPU time: 142.26 ms
c CURRENT OPTIMUM=              371737 		Current CPU time: 144.59 ms
c CURRENT OPTIMUM=              371728 		Current CPU time: 146.92 ms
c CURRENT OPTIMUM=              371719 		Current CPU time: 149.32 ms
c CURRENT OPTIMUM=              371710 		Current CPU time: 151.72 ms
c CURRENT OPTIMUM=              371701 		Current CPU time: 154.15 ms
c CURRENT OPTIMUM=              371692 		Current CPU time: 156.59 ms
c CURRENT OPTIMUM=              371683 		Current CPU time: 159.06 ms
c CURRENT OPTIMUM=              371674 		Current CPU time: 161.53 ms
c CURRENT OPTIMUM=              371665 		Current CPU time: 164.01 ms
c CURRENT OPTIMUM=              371656 		Current CPU time: 166.48 ms
c CURRENT OPTIMUM=              371647 		Current CPU time: 169.01 ms
c CURRENT OPTIMUM=              371638 		Current CPU time: 171.57 ms
c CURRENT OPTIMUM=              371629 		Current CPU time: 174.16 ms
c CURRENT OPTIMUM=              371620 		Current CPU time: 176.73 ms
c CURRENT OPTIMUM=              371611 		Current CPU time: 179.33 ms
c CURRENT OPTIMUM=              371602 		Current CPU time: 181.95 ms
c CURRENT OPTIMUM=              371593 		Current CPU time: 184.55 ms
c CURRENT OPTIMUM=              371584 		Current CPU time: 187.17 ms
c CURRENT OPTIMUM=              371575 		Current CPU time: 189.93 ms
c CURRENT OPTIMUM=              371566 		Current CPU time: 192.66 ms
c CURRENT OPTIMUM=              371557 		Current CPU time: 195.44 ms
c CURRENT OPTIMUM=              371548 		Current CPU time: 198.22 ms
c CURRENT OPTIMUM=              371539 		Current CPU time: 201.02 ms
c CURRENT OPTIMUM=              371530 		Current CPU time: 203.84 ms
c CURRENT OPTIMUM=              371521 		Current CPU time: 206.67 ms
c CURRENT OPTIMUM=              371512 		Current CPU time: 209.51 ms
c CURRENT OPTIMUM=              371503 		Current CPU time: 212.41 ms
c CURRENT OPTIMUM=              371494 		Current CPU time: 215.31 ms
c CURRENT OPTIMUM=              371485 		Current CPU time: 218.22 ms
c CURRENT OPTIMUM=              371476 		Current CPU time: 221.10 ms
c CURRENT OPTIMUM=              371467 		Current CPU time: 224.06 ms
c CURRENT OPTIMUM=              371458 		Current CPU time: 227.01 ms
c CURRENT OPTIMUM=              371449 		Current CPU time: 229.98 ms
c CURRENT OPTIMUM=              371440 		Current CPU time: 232.97 ms
c CURRENT OPTIMUM=              371431 		Current CPU time: 236.02 ms
c CURRENT OPTIMUM=              371422 		Current CPU time: 239.07 ms
c CURRENT OPTIMUM=              371413 		Current CPU time: 242.15 ms
c CURRENT OPTIMUM=              371404 		Current CPU time: 245.24 ms
c CURRENT OPTIMUM=              371395 		Current CPU time: 248.38 ms
c CURRENT OPTIMUM=              371386 		Current CPU time: 251.50 ms
c CURRENT OPTIMUM=              371377 		Current CPU time: 254.62 ms
c CURRENT OPTIMUM=              371368 		Current CPU time: 257.76 ms
c CURRENT OPTIMUM=              371359 		Current CPU time: 260.95 ms
c CURRENT OPTIMUM=              371350 		Current CPU time: 264.14 ms
c CURRENT OPTIMUM=              371341 		Current CPU time: 267.37 ms
c CURRENT OPTIMUM=              371332 		Current CPU time: 270.59 ms
c CURRENT OPTIMUM=              371323 		Current CPU time: 273.85 ms
c CURRENT OPTIMUM=              371314 		Current CPU time: 277.11 ms
c CURRENT OPTIMUM=              371305 		Current CPU time: 280.39 ms
c CURRENT OPTIMUM=              371296 		Current CPU time: 283.67 ms
c CURRENT OPTIMUM=              371287 		Current CPU time: 287.03 ms
c CURRENT OPTIMUM=              371278 		Current CPU time: 290.43 ms
c CURRENT OPTIMUM=              371269 		Current CPU time: 293.81 ms
c CURRENT OPTIMUM=              371260 		Current CPU time: 297.19 ms
c CURRENT OPTIMUM=              371251 		Current CPU time: 300.65 ms
c CURRENT OPTIMUM=              371242 		Current CPU time: 304.12 ms
c CURRENT OPTIMUM=              371233 		Current CPU time: 307.58 ms
c CURRENT OPTIMUM=              371224 		Current CPU time: 311.05 ms
c CURRENT OPTIMUM=              371215 		Current CPU time: 314.58 ms
c CURRENT OPTIMUM=              371206 		Current CPU time: 318.09 ms
c CURRENT OPTIMUM=              371197 		Current CPU time: 321.62 ms
c CURRENT OPTIMUM=              371188 		Current CPU time: 325.18 ms
c CURRENT OPTIMUM=              371179 		Current CPU time: 328.76 ms
c CURRENT OPTIMUM=              371170 		Current CPU time: 332.35 ms
c CURRENT OPTIMUM=              371161 		Current CPU time: 335.93 ms
c CURRENT OPTIMUM=              371152 		Current CPU time: 339.53 ms
c CURRENT OPTIMUM=              371143 		Current CPU time: 343.23 ms
c CURRENT OPTIMUM=              371134 		Current CPU time: 346.92 ms
c CURRENT OPTIMUM=              371125 		Current CPU time: 350.62 ms
c CURRENT OPTIMUM=              371116 		Current CPU time: 354.31 ms
c CURRENT OPTIMUM=              371107 		Current CPU time: 358.07 ms
c CURRENT OPTIMUM=              371098 		Current CPU time: 361.81 ms
c CURRENT OPTIMUM=              371089 		Current CPU time: 365.59 ms
c CURRENT OPTIMUM=              371080 		Current CPU time: 369.34 ms
c CURRENT OPTIMUM=              371071 		Current CPU time: 373.16 ms
c CURRENT OPTIMUM=              371062 		Current CPU time: 377.00 ms
c CURRENT OPTIMUM=              371053 		Current CPU time: 380.86 ms
c CURRENT OPTIMUM=              371044 		Current CPU time: 384.73 ms
c CURRENT OPTIMUM=              371035 		Current CPU time: 388.61 ms
c CURRENT OPTIMUM=              371026 		Current CPU time: 392.52 ms
c CURRENT OPTIMUM=              371017 		Current CPU time: 396.45 ms
c CURRENT OPTIMUM=              371008 		Current CPU time: 400.37 ms
c CURRENT OPTIMUM=              370999 		Current CPU time: 404.41 ms
c CURRENT OPTIMUM=              370990 		Current CPU time: 408.47 ms
c CURRENT OPTIMUM=              370981 		Current CPU time: 412.52 ms
c CURRENT OPTIMUM=              370972 		Current CPU time: 416.57 ms
c CURRENT OPTIMUM=              370963 		Current CPU time: 420.70 ms
c CURRENT OPTIMUM=              370954 		Current CPU time: 424.78 ms
c CURRENT OPTIMUM=              370945 		Current CPU time: 428.89 ms
c CURRENT OPTIMUM=              370936 		Current CPU time: 432.99 ms
c CURRENT OPTIMUM=              370927 		Current CPU time: 437.17 ms
c CURRENT OPTIMUM=              370918 		Current CPU time: 441.34 ms
c CURRENT OPTIMUM=              370909 		Current CPU time: 445.55 ms
c CURRENT OPTIMUM=              370900 		Current CPU time: 449.70 ms
c CURRENT OPTIMUM=              370891 		Current CPU time: 453.94 ms
c CURRENT OPTIMUM=              370882 		Current CPU time: 458.15 ms
c CURRENT OPTIMUM=              370873 		Current CPU time: 462.41 ms
c CURRENT OPTIMUM=              370864 		Current CPU time: 466.65 ms
c CURRENT OPTIMUM=              370855 		Current CPU time: 470.98 ms
c CURRENT OPTIMUM=              370846 		Current CPU time: 475.30 ms
c CURRENT OPTIMUM=              370837 		Current CPU time: 479.67 ms
c CURRENT OPTIMUM=              370828 		Current CPU time: 484.01 ms
c CURRENT OPTIMUM=              370819 		Current CPU time: 488.41 ms
c CURRENT OPTIMUM=              370810 		Current CPU time: 492.79 ms
c CURRENT OPTIMUM=              370801 		Current CPU time: 497.21 ms
c CURRENT OPTIMUM=              370792 		Current CPU time: 501.61 ms
c CURRENT OPTIMUM=              370783 		Current CPU time: 506.10 ms
c CURRENT OPTIMUM=              370774 		Current CPU time: 510.57 ms
c CURRENT OPTIMUM=              370765 		Current CPU time: 515.07 ms
c CURRENT OPTIMUM=              370756 		Current CPU time: 519.54 ms
c CURRENT OPTIMUM=              370747 		Current CPU time: 524.06 ms
c CURRENT OPTIMUM=              370738 		Current CPU time: 528.56 ms
c CURRENT OPTIMUM=              370729 		Current CPU time: 533.10 ms
c CURRENT OPTIMUM=              370720 		Current CPU time: 537.65 ms
c CURRENT OPTIMUM=              370711 		Current CPU time: 542.32 ms
c CURRENT OPTIMUM=              370702 		Current CPU time: 546.97 ms
c CURRENT OPTIMUM=              370693 		Current CPU time: 551.66 ms
c CURRENT OPTIMUM=              370684 		Current CPU time: 556.35 ms
c CURRENT OPTIMUM=              370675 		Current CPU time: 561.09 ms
c CURRENT OPTIMUM=              370666 		Current CPU time: 565.81 ms
c CURRENT OPTIMUM=              370657 		Current CPU time: 570.52 ms
c CURRENT OPTIMUM=              370648 		Current CPU time: 575.24 ms
c CURRENT OPTIMUM=              370639 		Current CPU time: 580.04 ms
c CURRENT OPTIMUM=              370630 		Current CPU time: 584.83 ms
c CURRENT OPTIMUM=              370621 		Current CPU time: 589.65 ms
c CURRENT OPTIMUM=              370612 		Current CPU time: 594.45 ms
c CURRENT OPTIMUM=              370603 		Current CPU time: 599.29 ms
c CURRENT OPTIMUM=              370594 		Current CPU time: 604.14 ms
c CURRENT OPTIMUM=              370585 		Current CPU time: 609.00 ms
c CURRENT OPTIMUM=              370576 		Current CPU time: 613.84 ms
c CURRENT OPTIMUM=              370567 		Current CPU time: 618.79 ms
c CURRENT OPTIMUM=              370558 		Current CPU time: 623.72 ms
c CURRENT OPTIMUM=              370549 		Current CPU time: 628.68 ms
c CURRENT OPTIMUM=              370540 		Current CPU time: 633.64 ms
c CURRENT OPTIMUM=              370531 		Current CPU time: 638.64 ms
c CURRENT OPTIMUM=              370522 		Current CPU time: 643.63 ms
c CURRENT OPTIMUM=              370513 		Current CPU time: 648.63 ms
c CURRENT OPTIMUM=              370504 		Current CPU time: 653.61 ms
c CURRENT OPTIMUM=              370495 		Current CPU time: 658.66 ms
c CURRENT OPTIMUM=              370486 		Current CPU time: 663.73 ms
c CURRENT OPTIMUM=              370477 		Current CPU time: 668.81 ms
c CURRENT OPTIMUM=              370468 		Current CPU time: 673.91 ms
c CURRENT OPTIMUM=              370459 		Current CPU time: 679.02 ms
c CURRENT OPTIMUM=              370450 		Current CPU time: 684.13 ms
c CURRENT OPTIMUM=              370441 		Current CPU time: 689.26 ms
c CURRENT OPTIMUM=              370432 		Current CPU time: 694.40 ms
c CURRENT OPTIMUM=              370423 		Current CPU time: 699.74 ms
c CURRENT OPTIMUM=              370414 		Current CPU time: 705.10 ms
c CURRENT OPTIMUM=              370405 		Current CPU time: 710.48 ms
c CURRENT OPTIMUM=              370396 		Current CPU time: 715.82 ms
c CURRENT OPTIMUM=              370387 		Current CPU time: 721.23 ms
c CURRENT OPTIMUM=              370378 		Current CPU time: 726.65 ms
c CURRENT OPTIMUM=              370369 		Current CPU time: 732.08 ms
c CURRENT OPTIMUM=              370360 		Current CPU time: 737.49 ms
c CURRENT OPTIMUM=              370351 		Current CPU time: 742.98 ms
c CURRENT OPTIMUM=              370342 		Current CPU time: 748.46 ms
c CURRENT OPTIMUM=              370333 		Current CPU time: 753.95 ms
c CURRENT OPTIMUM=              370324 		Current CPU time: 759.44 ms
c CURRENT OPTIMUM=              370315 		Current CPU time: 764.98 ms
c CURRENT OPTIMUM=              370306 		Current CPU time: 770.50 ms
c CURRENT OPTIMUM=              370297 		Current CPU time: 776.04 ms
c CURRENT OPTIMUM=              370288 		Current CPU time: 781.59 ms
c CURRENT OPTIMUM=              370279 		Current CPU time: 787.26 ms
c CURRENT OPTIMUM=              370270 		Current CPU time: 792.90 ms
c CURRENT OPTIMUM=              370261 		Current CPU time: 798.56 ms
c CURRENT OPTIMUM=              370252 		Current CPU time: 804.22 ms
c CURRENT OPTIMUM=              370243 		Current CPU time: 809.91 ms
c CURRENT OPTIMUM=              370234 		Current CPU time: 815.61 ms
c CURRENT OPTIMUM=              370225 		Current CPU time: 821.32 ms
c CURRENT OPTIMUM=              370216 		Current CPU time: 827.04 ms
c CURRENT OPTIMUM=              370207 		Current CPU time: 832.84 ms
c CURRENT OPTIMUM=              370198 		Current CPU time: 838.61 ms
c CURRENT OPTIMUM=              370189 		Current CPU time: 844.40 ms
c CURRENT OPTIMUM=              370180 		Current CPU time: 850.19 ms
c CURRENT OPTIMUM=              370171 		Current CPU time: 856.04 ms
c CURRENT OPTIMUM=              370162 		Current CPU time: 861.85 ms
c CURRENT OPTIMUM=              370153 		Current CPU time: 867.71 ms
c CURRENT OPTIMUM=              370144 		Current CPU time: 873.51 ms
c CURRENT OPTIMUM=              370135 		Current CPU time: 879.50 ms
c CURRENT OPTIMUM=              370126 		Current CPU time: 885.49 ms
c CURRENT OPTIMUM=              370117 		Current CPU time: 891.48 ms
c CURRENT OPTIMUM=              370108 		Current CPU time: 897.48 ms
c CURRENT OPTIMUM=              370099 		Current CPU time: 903.49 ms
c CURRENT OPTIMUM=              370090 		Current CPU time: 909.51 ms
c CURRENT OPTIMUM=              370081 		Current CPU time: 915.55 ms
c CURRENT OPTIMUM=              370072 		Current CPU time: 921.57 ms
c CURRENT OPTIMUM=              370063 		Current CPU time: 927.70 ms
c CURRENT OPTIMUM=              370054 		Current CPU time: 933.78 ms
c CURRENT OPTIMUM=              370045 		Current CPU time: 939.92 ms
c CURRENT OPTIMUM=              370036 		Current CPU time: 946.01 ms
c CURRENT OPTIMUM=              370027 		Current CPU time: 952.16 ms
c CURRENT OPTIMUM=              370018 		Current CPU time: 958.31 ms
c CURRENT OPTIMUM=              370009 		Current CPU time: 964.47 ms
c CURRENT OPTIMUM=              370000 		Current CPU time: 970.62 ms
c CURRENT OPTIMUM=              369991 		Current CPU time: 976.91 ms
c CURRENT OPTIMUM=              369982 		Current CPU time: 983.17 ms
c CURRENT OPTIMUM=              369973 		Current CPU time: 989.45 ms
c CURRENT OPTIMUM=              369964 		Current CPU time: 995.74 ms
c CURRENT OPTIMUM=              369955 		Current CPU time: 1002.07 ms
c CURRENT OPTIMUM=              369946 		Current CPU time: 1008.39 ms
c CURRENT OPTIMUM=              369937 		Current CPU time: 1014.72 ms
c CURRENT OPTIMUM=              369928 		Current CPU time: 1021.03 ms
c CURRENT OPTIMUM=              369919 		Current CPU time: 1027.43 ms
c CURRENT OPTIMUM=              369910 		Current CPU time: 1033.82 ms
c CURRENT OPTIMUM=              369901 		Current CPU time: 1040.23 ms
c CURRENT OPTIMUM=              369892 		Current CPU time: 1046.62 ms
c CURRENT OPTIMUM=              369883 		Current CPU time: 1053.10 ms
c CURRENT OPTIMUM=              369874 		Current CPU time: 1059.54 ms
c CURRENT OPTIMUM=              369865 		Current CPU time: 1065.99 ms
c CURRENT OPTIMUM=              369856 		Current CPU time: 1072.44 ms
c CURRENT OPTIMUM=              369847 		Current CPU time: 1079.06 ms
c CURRENT OPTIMUM=              369838 		Current CPU time: 1085.68 ms
c CURRENT OPTIMUM=              369829 		Current CPU time: 1092.35 ms
c CURRENT OPTIMUM=              369820 		Current CPU time: 1098.98 ms
c CURRENT OPTIMUM=              369811 		Current CPU time: 1105.65 ms
c CURRENT OPTIMUM=              369802 		Current CPU time: 1112.30 ms
c CURRENT OPTIMUM=              369793 		Current CPU time: 1118.99 ms
c CURRENT OPTIMUM=              369784 		Current CPU time: 1125.66 ms
c CURRENT OPTIMUM=              369775 		Current CPU time: 1132.42 ms
c CURRENT OPTIMUM=              369766 		Current CPU time: 1139.19 ms
c CURRENT OPTIMUM=              369757 		Current CPU time: 1145.98 ms
c CURRENT OPTIMUM=              369748 		Current CPU time: 1152.73 ms
c CURRENT OPTIMUM=              369739 		Current CPU time: 1159.53 ms
c CURRENT OPTIMUM=              369730 		Current CPU time: 1166.35 ms
c CURRENT OPTIMUM=              369721 		Current CPU time: 1173.17 ms
c CURRENT OPTIMUM=              369712 		Current CPU time: 1179.97 ms
c CURRENT OPTIMUM=              369703 		Current CPU time: 1186.89 ms
c CURRENT OPTIMUM=              369694 		Current CPU time: 1193.81 ms
c CURRENT OPTIMUM=              369685 		Current CPU time: 1200.76 ms
c CURRENT OPTIMUM=              369676 		Current CPU time: 1207.66 ms
c CURRENT OPTIMUM=              369667 		Current CPU time: 1214.64 ms
c starts		: 346
c conflicts		: 350
c decisions		: 18718
c propagations		: 36402
c inspects		: 4530958
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 350
c root simplifications	: 694
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 18951
c speed (decisions/second)	: 4500.601106035105
c non guided choices	14881
c random choices	0
s SATISFIABLE
v VOL1_bit_10 VOL1_bit_9 -VOL1_bit_8 VOL1_bit_7 -VOL1_bit_6 VOL1_bit_5 -VOL1_bit_4 VOL1_bit_3 -VOL1_bit_2 VOL1_bit_1 VOL1_bit0 VOL1_bit1 -VOL1_bit2 VOL1_bit3 -VOL1_bit4 -VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 -VOL1_bit13 -VOL1_bit14 -VOL1_bit15 -VOL1_bit16 -VOL1_bit17 -VOL1_bit18 -VOL1_bit19 -VOL2_bit_10 -VOL2_bit_9 -VOL2_bit_8 -VOL2_bit_7 -VOL2_bit_6 -VOL2_bit_5 -VOL2_bit_4 -VOL2_bit_3 -VOL2_bit_2 -VOL2_bit_1 -VOL2_bit0 -VOL2_bit1 -VOL2_bit2 -VOL2_bit3 VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL2_bit13 -VOL2_bit14 -VOL2_bit15 -VOL2_bit16 -VOL2_bit17 -VOL2_bit18 -VOL2_bit19 -VOL3_bit_10 -VOL3_bit_9 -VOL3_bit_8 -VOL3_bit_7 -VOL3_bit_6 -VOL3_bit_5 -VOL3_bit_4 -VOL3_bit_3 -VOL3_bit_2 -VOL3_bit_1 -VOL3_bit0 VOL3_bit1 VOL3_bit2 -VOL3_bit3 VOL3_bit4 -VOL4_bit_10 -VOL4_bit_9 -VOL4_bit_8 -VOL4_bit_7 -VOL4_bit_6 -VOL4_bit_5 -VOL4_bit_4 -VOL4_bit_3 -VOL4_bit_2 -VOL4_bit_1 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 
c objective function=369667
c Total CPU time (ms) : 1218.803

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/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1799968966 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 39 3 38 16 0 23 0
[pid=12445] 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/12445
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=12446
New thread pid=12447
New thread pid=12448
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=12449
New thread pid=12450
New thread pid=12451
New thread pid=12452
New thread pid=12453
New thread pid=12454
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/wulflinc4/normalized-mps-v2-20-10-maros.opb
New thread pid=12455
One traced child (pid=12455) exited with status: 0
New thread pid=12456
One traced child (pid=12456) exited with status: 0
New thread pid=12457
One traced child (pid=12457) exited with status: 0
New thread pid=12458
One traced child (pid=12458) exited with status: 0
New thread pid=12459
One traced child (pid=12459) exited with status: 0
New thread pid=12460
One traced child (pid=12460) exited with status: 0
New thread pid=12461
One traced child (pid=12461) exited with status: 0
New thread pid=12462
New thread pid=12463
One traced child (pid=12462) exited with status: 0
One traced child (pid=12463) exited with status: 0
New thread pid=12464
One traced child (pid=12464) exited with status: 0
New thread pid=12465
One traced child (pid=12465) exited with status: 0
New thread pid=12466
One traced child (pid=12466) exited with status: 0
New thread pid=12467
One traced child (pid=12467) exited with status: 0
New thread pid=12468
One traced child (pid=12468) exited with status: 0
New thread pid=12469
One traced child (pid=12469) exited with status: 0
New thread pid=12470
One traced child (pid=12470) exited with status: 0
New thread pid=12471

[startup+10.003 s]
Raw data (loadavg): 0.97 1.00 1.00 3/66 12471
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18226 9 1 0 736 51 0 0 25 0 11 0 1799968966 871313408 22694 4294967295 134512640 134569956 3221224336 3221214472 1131064590 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 212723 22694 13129 16 0 212707 0
[pid=12445] vsize: 850892
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (Kb) 850892
One traced child (pid=12471) exited with status: 0
New thread pid=12472
One traced child (pid=12472) exited with status: 0
New thread pid=12473
One traced child (pid=12473) exited with status: 0
New thread pid=12474
One traced child (pid=12474) exited with status: 0
New thread pid=12475
One traced child (pid=12475) exited with status: 0
New thread pid=12476
One traced child (pid=12476) exited with status: 0
New thread pid=12477
One traced child (pid=12477) exited with status: 0
New thread pid=12478
One traced child (pid=12478) exited with status: 0
New thread pid=12479
One traced child (pid=12479) exited with status: 0
New thread pid=12480
One traced child (pid=12480) exited with status: 0
New thread pid=12481
One traced child (pid=12481) exited with status: 0
New thread pid=12482
One traced child (pid=12482) exited with status: 0
New thread pid=12483
One traced child (pid=12483) exited with status: 0
New thread pid=12484
One traced child (pid=12484) exited with status: 0
New thread pid=12485
One traced child (pid=12485) exited with status: 0
New thread pid=12486
One traced child (pid=12486) exited with status: 0
New thread pid=12487
One traced child (pid=12487) exited with status: 0
New thread pid=12488

[startup+20.0029 s]
Raw data (loadavg): 0.97 1.00 1.00 2/66 12488
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18237 9 1 0 1704 52 1 2 25 0 11 0 1799968966 866164736 21498 4294967295 134512640 134569956 3221224336 3221214592 1131456168 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21498 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (Kb) 845864
One traced child (pid=12488) exited with status: 0
New thread pid=12489
One traced child (pid=12489) exited with status: 0
New thread pid=12490
One traced child (pid=12490) exited with status: 0
New thread pid=12491
One traced child (pid=12491) exited with status: 0
New thread pid=12492
One traced child (pid=12492) exited with status: 0
New thread pid=12493
One traced child (pid=12493) exited with status: 0
New thread pid=12494
One traced child (pid=12494) exited with status: 0
New thread pid=12495
One traced child (pid=12495) exited with status: 0
New thread pid=12496
One traced child (pid=12496) exited with status: 0
New thread pid=12497
One traced child (pid=12497) exited with status: 0
New thread pid=12498
One traced child (pid=12498) exited with status: 0
New thread pid=12499
One traced child (pid=12499) exited with status: 0
New thread pid=12500

[startup+30.0037 s]
Raw data (loadavg): 0.98 1.00 1.00 2/66 12500
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18248 9 1 0 2668 54 1 3 24 0 11 0 1799968966 866164736 21578 4294967295 134512640 134569956 3221224336 3221214592 1131447553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 21578 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 27.26
Current children cumulated vsize (Kb) 845864
One traced child (pid=12500) exited with status: 0
New thread pid=12501
One traced child (pid=12501) exited with status: 0
New thread pid=12502
One traced child (pid=12502) exited with status: 0
New thread pid=12503
One traced child (pid=12503) exited with status: 0
New thread pid=12504
One traced child (pid=12504) exited with status: 0
New thread pid=12505
One traced child (pid=12505) exited with status: 0
New thread pid=12506
One traced child (pid=12506) exited with status: 0
New thread pid=12507
One traced child (pid=12507) exited with status: 0
New thread pid=12508
One traced child (pid=12508) exited with status: 0
New thread pid=12509

[startup+40.0046 s]
Raw data (loadavg): 0.98 1.00 1.00 2/66 12509
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18258 9 1 0 3638 55 1 4 22 0 11 0 1799968966 866164736 21756 4294967295 134512640 134569956 3221224336 3221214664 1131450873 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21756 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 36.98
Current children cumulated vsize (Kb) 845864
One traced child (pid=12509) exited with status: 0
New thread pid=12510
One traced child (pid=12510) exited with status: 0
New thread pid=12511
One traced child (pid=12511) exited with status: 0
New thread pid=12512
One traced child (pid=12512) exited with status: 0
New thread pid=12513
One traced child (pid=12513) exited with status: 0
New thread pid=12514
One traced child (pid=12514) exited with status: 0
New thread pid=12515
One traced child (pid=12515) exited with status: 0
New thread pid=12516
One traced child (pid=12516) exited with status: 0
New thread pid=12517

[startup+50.0044 s]
Raw data (loadavg): 0.98 1.00 1.00 2/66 12517
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18269 9 1 0 4618 56 2 4 25 0 11 0 1799968966 866164736 21813 4294967295 134512640 134569956 3221224336 3221214664 1131454244 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21813 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 46.8
Current children cumulated vsize (Kb) 845864
One traced child (pid=12517) exited with status: 0
New thread pid=12518
One traced child (pid=12518) exited with status: 0
New thread pid=12519
One traced child (pid=12519) exited with status: 0
New thread pid=12520
One traced child (pid=12520) exited with status: 0
New thread pid=12521
One traced child (pid=12521) exited with status: 0
New thread pid=12522
One traced child (pid=12522) exited with status: 0
New thread pid=12523
One traced child (pid=12523) exited with status: 0
New thread pid=12524
One traced child (pid=12524) exited with status: 0
New thread pid=12525

[startup+60.0043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/66 12525
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18279 9 1 0 5598 57 2 5 16 0 11 0 1799968966 866164736 21857 4294967295 134512640 134569956 3221224336 3221214648 1131359491 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21857 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (Kb) 845864
One traced child (pid=12525) exited with status: 0
New thread pid=12526
One traced child (pid=12526) exited with status: 0
New thread pid=12527
One traced child (pid=12527) exited with status: 0
New thread pid=12528
One traced child (pid=12528) exited with status: 0
New thread pid=12529
One traced child (pid=12529) exited with status: 0
New thread pid=12530
One traced child (pid=12530) exited with status: 0
New thread pid=12531

[startup+70.0042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/66 12531
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18288 10 1 0 6582 58 2 5 25 0 11 0 1799968966 866164736 21900 4294967295 134512640 134569956 3221224336 3221214664 1131457198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21900 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 66.47
Current children cumulated vsize (Kb) 845864
One traced child (pid=12531) exited with status: 0
New thread pid=12532
One traced child (pid=12532) exited with status: 0
New thread pid=12533
One traced child (pid=12533) exited with status: 0
New thread pid=12534
One traced child (pid=12534) exited with status: 0
New thread pid=12535
One traced child (pid=12535) exited with status: 0
New thread pid=12536
One traced child (pid=12536) exited with status: 0
New thread pid=12537

[startup+80.0051 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 12537
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18299 10 1 0 7568 58 2 5 25 0 11 0 1799968966 866164736 21924 4294967295 134512640 134569956 3221224336 3221214664 1131447553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 21924 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 76.33
Current children cumulated vsize (Kb) 845864
One traced child (pid=12537) exited with status: 0
New thread pid=12538
One traced child (pid=12538) exited with status: 0
New thread pid=12539
One traced child (pid=12539) exited with status: 0
New thread pid=12540
One traced child (pid=12540) exited with status: 0
New thread pid=12541
One traced child (pid=12541) exited with status: 0
New thread pid=12542
One traced child (pid=12542) exited with status: 0
New thread pid=12543

[startup+90.0059 s]
Raw data (loadavg): 1.13 1.03 1.01 2/66 12543
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18310 10 1 0 8553 60 3 5 18 0 11 0 1799968966 866164736 21946 4294967295 134512640 134569956 3221224336 3221214664 1131452704 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 21946 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 86.21
Current children cumulated vsize (Kb) 845864
One traced child (pid=12543) exited with status: 0
New thread pid=12544
One traced child (pid=12544) exited with status: 0
New thread pid=12545
One traced child (pid=12545) exited with status: 0
New thread pid=12546
One traced child (pid=12546) exited with status: 0
New thread pid=12547
One traced child (pid=12547) exited with status: 0
New thread pid=12548

[startup+100.006 s]
Raw data (loadavg): 1.11 1.03 1.01 3/66 12548
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18321 10 1 0 9540 60 3 6 25 0 11 0 1799968966 866164736 21966 4294967295 134512640 134569956 3221224336 3221214188 1079394305 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 21966 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 96.09
Current children cumulated vsize (Kb) 845864
One traced child (pid=12548) exited with status: 0
New thread pid=12549
One traced child (pid=12549) exited with status: 0
New thread pid=12550
One traced child (pid=12550) exited with status: 0
New thread pid=12551
One traced child (pid=12551) exited with status: 0
New thread pid=12552
One traced child (pid=12552) exited with status: 0
New thread pid=12553

[startup+110.007 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 12553
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18331 10 1 0 10526 61 3 6 25 0 11 0 1799968966 866164736 21983 4294967295 134512640 134569956 3221224336 3221214664 1131453493 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 21983 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 105.96
Current children cumulated vsize (Kb) 845864
One traced child (pid=12553) exited with status: 0
New thread pid=12554
One traced child (pid=12554) exited with status: 0
New thread pid=12555
One traced child (pid=12555) exited with status: 0
New thread pid=12556
One traced child (pid=12556) exited with status: 0
New thread pid=12557
One traced child (pid=12557) exited with status: 0
New thread pid=12558

[startup+120.008 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 12558
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18342 10 1 0 11509 61 4 6 25 0 11 0 1799968966 866164736 22003 4294967295 134512640 134569956 3221224336 3221214664 1131457206 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22003 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 115.8
Current children cumulated vsize (Kb) 845864
One traced child (pid=12558) exited with status: 0
New thread pid=12559
One traced child (pid=12559) exited with status: 0
New thread pid=12560
One traced child (pid=12560) exited with status: 0
New thread pid=12561
One traced child (pid=12561) exited with status: 0
New thread pid=12562
One traced child (pid=12562) exited with status: 0
New thread pid=12563

[startup+130.008 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 12563
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18353 10 1 0 12494 62 4 7 25 0 11 0 1799968966 866164736 22021 4294967295 134512640 134569956 3221224336 3221214664 1131453668 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22021 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 125.67
Current children cumulated vsize (Kb) 845864
One traced child (pid=12563) exited with status: 0
New thread pid=12564
One traced child (pid=12564) exited with status: 0
New thread pid=12565
One traced child (pid=12565) exited with status: 0
New thread pid=12566
One traced child (pid=12566) exited with status: 0
New thread pid=12567

[startup+140.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 12567
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18364 10 1 0 13480 63 4 7 25 0 11 0 1799968966 866164736 22072 4294967295 134512640 134569956 3221224336 3221214576 1131328972 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22072 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 135.54
Current children cumulated vsize (Kb) 845864
One traced child (pid=12567) exited with status: 0
New thread pid=12568
One traced child (pid=12568) exited with status: 0
New thread pid=12569
One traced child (pid=12569) exited with status: 0
New thread pid=12570
One traced child (pid=12570) exited with status: 0
New thread pid=12571

[startup+150.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 12571
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18374 10 1 0 14469 63 4 7 23 0 11 0 1799968966 866164736 22086 4294967295 134512640 134569956 3221224336 3221214664 1131456118 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22086 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 145.43
Current children cumulated vsize (Kb) 845864
One traced child (pid=12571) exited with status: 0
New thread pid=12572
One traced child (pid=12572) exited with status: 0
New thread pid=12573
One traced child (pid=12573) exited with status: 0
New thread pid=12574
One traced child (pid=12574) exited with status: 0
New thread pid=12575

[startup+160.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 12575
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18385 10 1 0 15456 64 4 7 25 0 11 0 1799968966 866164736 22100 4294967295 134512640 134569956 3221224336 3221214664 1131452440 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22100 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 155.31
Current children cumulated vsize (Kb) 845864
One traced child (pid=12575) exited with status: 0
New thread pid=12576
One traced child (pid=12576) exited with status: 0
New thread pid=12577
One traced child (pid=12577) exited with status: 0
New thread pid=12578
One traced child (pid=12578) exited with status: 0
New thread pid=12579

[startup+170.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12579
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18396 10 1 0 16443 65 5 7 25 0 11 0 1799968966 866164736 22113 4294967295 134512640 134569956 3221224336 3221214664 1131461552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22113 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 165.2
Current children cumulated vsize (Kb) 845864
One traced child (pid=12579) exited with status: 0
New thread pid=12580
One traced child (pid=12580) exited with status: 0
New thread pid=12581
One traced child (pid=12581) exited with status: 0
New thread pid=12582
One traced child (pid=12582) exited with status: 0
New thread pid=12583

[startup+180.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12583
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18407 10 1 0 17430 66 5 8 25 0 11 0 1799968966 866164736 22126 4294967295 134512640 134569956 3221224336 3221214624 1131319254 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22126 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 175.09
Current children cumulated vsize (Kb) 845864
One traced child (pid=12583) exited with status: 0
New thread pid=12584
One traced child (pid=12584) exited with status: 0
New thread pid=12585
One traced child (pid=12585) exited with status: 0
New thread pid=12586
One traced child (pid=12586) exited with status: 0
New thread pid=12587

[startup+190.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12587
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18418 10 1 0 18416 66 5 8 25 0 11 0 1799968966 866164736 22140 4294967295 134512640 134569956 3221224336 3221214664 1131453439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22140 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 184.95
Current children cumulated vsize (Kb) 845864
One traced child (pid=12587) exited with status: 0
New thread pid=12588
One traced child (pid=12588) exited with status: 0
New thread pid=12589
One traced child (pid=12589) exited with status: 0
New thread pid=12590
One traced child (pid=12590) exited with status: 0
New thread pid=12591

[startup+200.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12591
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18429 10 1 0 19403 67 6 8 16 0 11 0 1799968966 866164736 22154 4294967295 134512640 134569956 3221224336 3221214664 1131460724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22154 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 194.84
Current children cumulated vsize (Kb) 845864
One traced child (pid=12591) exited with status: 0
New thread pid=12592
One traced child (pid=12592) exited with status: 0
New thread pid=12593
One traced child (pid=12593) exited with status: 0
New thread pid=12594

[startup+210.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12594
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18439 10 1 0 20392 68 6 9 23 0 11 0 1799968966 866164736 22163 4294967295 134512640 134569956 3221224336 3221214664 1131456122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22163 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 204.75
Current children cumulated vsize (Kb) 845864
One traced child (pid=12594) exited with status: 0
New thread pid=12595
One traced child (pid=12595) exited with status: 0
New thread pid=12596
One traced child (pid=12596) exited with status: 0
New thread pid=12597
One traced child (pid=12597) exited with status: 0
New thread pid=12598

[startup+220.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12598
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18450 10 1 0 21380 68 6 9 21 0 11 0 1799968966 866164736 22175 4294967295 134512640 134569956 3221224336 3221214576 1131324988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22175 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 214.63
Current children cumulated vsize (Kb) 845864
One traced child (pid=12598) exited with status: 0
New thread pid=12599
One traced child (pid=12599) exited with status: 0
New thread pid=12600
One traced child (pid=12600) exited with status: 0
New thread pid=12601

[startup+230.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12601
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18461 10 1 0 22368 69 6 9 25 0 11 0 1799968966 866164736 22187 4294967295 134512640 134569956 3221224336 3221214664 1131461527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22187 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 224.52
Current children cumulated vsize (Kb) 845864
One traced child (pid=12601) exited with status: 0
New thread pid=12602
One traced child (pid=12602) exited with status: 0
New thread pid=12603
One traced child (pid=12603) exited with status: 0
New thread pid=12604

[startup+240.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12604
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18472 10 1 0 23356 70 6 9 18 0 11 0 1799968966 866164736 22197 4294967295 134512640 134569956 3221224336 3221214664 1131447936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22197 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 234.41
Current children cumulated vsize (Kb) 845864
One traced child (pid=12604) exited with status: 0
New thread pid=12605
One traced child (pid=12605) exited with status: 0
New thread pid=12606
One traced child (pid=12606) exited with status: 0
New thread pid=12607
One traced child (pid=12607) exited with status: 0
New thread pid=12608

[startup+250.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12608
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18483 10 1 0 24343 71 6 10 17 0 11 0 1799968966 866164736 22207 4294967295 134512640 134569956 3221224336 3221214664 1131449727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22207 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 244.3
Current children cumulated vsize (Kb) 845864
One traced child (pid=12608) exited with status: 0
New thread pid=12609
One traced child (pid=12609) exited with status: 0
New thread pid=12610
One traced child (pid=12610) exited with status: 0
New thread pid=12611

[startup+260.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12611
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18494 10 1 0 25331 72 6 10 16 0 11 0 1799968966 866164736 22217 4294967295 134512640 134569956 3221224336 3221214664 1131454585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22217 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 254.19
Current children cumulated vsize (Kb) 845864
One traced child (pid=12611) exited with status: 0
New thread pid=12612
One traced child (pid=12612) exited with status: 0
New thread pid=12613
One traced child (pid=12613) exited with status: 0
New thread pid=12614

[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12614
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18504 10 1 0 26320 73 7 10 23 0 11 0 1799968966 866164736 22226 4294967295 134512640 134569956 3221224336 3221214664 1131449793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22226 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 264.1
Current children cumulated vsize (Kb) 845864
One traced child (pid=12614) exited with status: 0
New thread pid=12615
One traced child (pid=12615) exited with status: 0
New thread pid=12616
One traced child (pid=12616) exited with status: 0
New thread pid=12617

[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12617
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18515 10 1 0 27308 74 7 11 21 0 11 0 1799968966 866164736 22234 4294967295 134512640 134569956 3221224336 3221214664 1131452460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22234 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 274
Current children cumulated vsize (Kb) 845864
One traced child (pid=12617) exited with status: 0
New thread pid=12618
One traced child (pid=12618) exited with status: 0
New thread pid=12619
One traced child (pid=12619) exited with status: 0
New thread pid=12620

[startup+290.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12620
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18527 10 1 0 28296 75 7 11 20 0 11 0 1799968966 866164736 22245 4294967295 134512640 134569956 3221224336 3221214664 1131458682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22245 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 283.89
Current children cumulated vsize (Kb) 845864
One traced child (pid=12620) exited with status: 0
New thread pid=12621
One traced child (pid=12621) exited with status: 0
New thread pid=12622
One traced child (pid=12622) exited with status: 0
New thread pid=12623

[startup+300.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12623
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18538 10 1 0 29284 76 7 11 25 0 11 0 1799968966 866164736 22254 4294967295 134512640 134569956 3221224336 3221214664 1131448769 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22254 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 293.78
Current children cumulated vsize (Kb) 845864
One traced child (pid=12623) exited with status: 0
New thread pid=12624
One traced child (pid=12624) exited with status: 0
New thread pid=12625
One traced child (pid=12625) exited with status: 0
New thread pid=12626

[startup+310.021 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 12626
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18549 10 1 0 30272 76 8 11 17 0 11 0 1799968966 866164736 22262 4294967295 134512640 134569956 3221224336 3221214664 1131452456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22262 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 303.67
Current children cumulated vsize (Kb) 845864
One traced child (pid=12626) exited with status: 0
New thread pid=12627
One traced child (pid=12627) exited with status: 0
New thread pid=12628
One traced child (pid=12628) exited with status: 0
New thread pid=12629

[startup+320.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 12629
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18560 10 1 0 31260 77 8 11 25 0 11 0 1799968966 866164736 22271 4294967295 134512640 134569956 3221224336 3221214664 1131452475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22271 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 313.56
Current children cumulated vsize (Kb) 845864
One traced child (pid=12629) exited with status: 0
New thread pid=12630
One traced child (pid=12630) exited with status: 0
New thread pid=12631

[startup+330.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 12631
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18570 10 1 0 32250 77 8 11 25 0 11 0 1799968966 866164736 22280 4294967295 134512640 134569956 3221224336 3221214664 1131456262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22280 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (Kb) 845864
One traced child (pid=12631) exited with status: 0
New thread pid=12632
One traced child (pid=12632) exited with status: 0
New thread pid=12633
One traced child (pid=12633) exited with status: 0
New thread pid=12634

[startup+340.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 12634
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18581 10 1 0 33239 77 8 12 25 0 11 0 1799968966 866164736 22288 4294967295 134512640 134569956 3221224336 3221214664 1131448884 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22288 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 333.36
Current children cumulated vsize (Kb) 845864
One traced child (pid=12634) exited with status: 0
New thread pid=12635
One traced child (pid=12635) exited with status: 0
New thread pid=12636
One traced child (pid=12636) exited with status: 0
New thread pid=12637

[startup+350.024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 12637
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18592 10 1 0 34226 78 8 12 25 0 11 0 1799968966 866164736 22297 4294967295 134512640 134569956 3221224336 3221214664 1131463030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22297 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 343.24
Current children cumulated vsize (Kb) 845864
One traced child (pid=12637) exited with status: 0
New thread pid=12638
One traced child (pid=12638) exited with status: 0
New thread pid=12639
One traced child (pid=12639) exited with status: 0
New thread pid=12640

[startup+360.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12640
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18603 10 1 0 35214 78 8 12 21 0 11 0 1799968966 866164736 22304 4294967295 134512640 134569956 3221224336 3221214664 1131449793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22304 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 353.12
Current children cumulated vsize (Kb) 845864
One traced child (pid=12640) exited with status: 0
New thread pid=12641
One traced child (pid=12641) exited with status: 0
New thread pid=12642

[startup+370.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12642
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18614 10 1 0 36202 79 8 12 25 0 11 0 1799968966 866164736 22313 4294967295 134512640 134569956 3221224336 3221214576 1131328906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22313 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 363.01
Current children cumulated vsize (Kb) 845864
One traced child (pid=12642) exited with status: 0
New thread pid=12643
One traced child (pid=12643) exited with status: 0
New thread pid=12644
One traced child (pid=12644) exited with status: 0
New thread pid=12645

[startup+380.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12645
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18624 10 1 0 37190 80 8 12 25 0 11 0 1799968966 866164736 22323 4294967295 134512640 134569956 3221224336 3221214664 1131456161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22323 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 372.9
Current children cumulated vsize (Kb) 845864
One traced child (pid=12645) exited with status: 0
New thread pid=12646
One traced child (pid=12646) exited with status: 0
New thread pid=12647
One traced child (pid=12647) exited with status: 0
New thread pid=12648

[startup+390.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12648
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18635 10 1 0 38174 80 9 13 25 0 11 0 1799968966 866164736 22332 4294967295 134512640 134569956 3221224336 3221214664 1131452475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22332 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 382.76
Current children cumulated vsize (Kb) 845864
One traced child (pid=12648) exited with status: 0
New thread pid=12649
One traced child (pid=12649) exited with status: 0
New thread pid=12650

[startup+400.027 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 12650
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18646 10 1 0 39157 81 9 13 19 0 11 0 1799968966 866164736 22341 4294967295 134512640 134569956 3221224336 3221214664 1131455024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22341 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 392.6
Current children cumulated vsize (Kb) 845864
One traced child (pid=12650) exited with status: 0
New thread pid=12651
One traced child (pid=12651) exited with status: 0
New thread pid=12652
One traced child (pid=12652) exited with status: 0
New thread pid=12653

[startup+410.028 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 12653
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18657 10 1 0 40138 82 9 13 25 0 11 0 1799968966 866164736 22357 4294967295 134512640 134569956 3221224336 3221214664 1131452253 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22357 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 402.42
Current children cumulated vsize (Kb) 845864
One traced child (pid=12653) exited with status: 0
New thread pid=12654
One traced child (pid=12654) exited with status: 0
New thread pid=12655

[startup+420.027 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 12655
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18668 10 1 0 41123 82 9 13 25 0 11 0 1799968966 866164736 22422 4294967295 134512640 134569956 3221224336 3221214664 1131452453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22422 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 412.27
Current children cumulated vsize (Kb) 845864
One traced child (pid=12655) exited with status: 0
New thread pid=12656
One traced child (pid=12656) exited with status: 0
New thread pid=12657

[startup+430.028 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 12657
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18678 10 1 0 42111 83 9 13 25 0 11 0 1799968966 866164736 22435 4294967295 134512640 134569956 3221224336 3221214664 1131453493 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22435 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 422.16
Current children cumulated vsize (Kb) 845864
One traced child (pid=12657) exited with status: 0
New thread pid=12658
One traced child (pid=12658) exited with status: 0
New thread pid=12659
One traced child (pid=12659) exited with status: 0
New thread pid=12660

[startup+440.029 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 12660
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18689 10 1 0 43098 83 9 13 25 0 11 0 1799968966 866164736 22444 4294967295 134512640 134569956 3221224336 3221214664 1131457140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22444 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 432.03
Current children cumulated vsize (Kb) 845864
One traced child (pid=12660) exited with status: 0
New thread pid=12661
One traced child (pid=12661) exited with status: 0
New thread pid=12662

[startup+450.029 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 12662
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18700 10 1 0 44086 84 9 14 25 0 11 0 1799968966 866164736 22451 4294967295 134512640 134569956 3221224336 3221214664 1131448904 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22451 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 441.93
Current children cumulated vsize (Kb) 845864
One traced child (pid=12662) exited with status: 0
New thread pid=12663
One traced child (pid=12663) exited with status: 0
New thread pid=12664
One traced child (pid=12664) exited with status: 0
New thread pid=12665

[startup+460.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12665
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18711 10 1 0 45073 85 9 14 18 0 11 0 1799968966 866164736 22459 4294967295 134512640 134569956 3221224336 3221214664 1131457920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22459 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 451.81
Current children cumulated vsize (Kb) 845864
One traced child (pid=12665) exited with status: 0
New thread pid=12666
One traced child (pid=12666) exited with status: 0
New thread pid=12667

[startup+470.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 12667
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18722 10 1 0 46060 85 9 14 25 0 11 0 1799968966 866164736 22466 4294967295 134512640 134569956 3221224336 3221214664 1131456175 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22466 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (Kb) 845864
One traced child (pid=12667) exited with status: 0
New thread pid=12668
One traced child (pid=12668) exited with status: 0
New thread pid=12669

[startup+480.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12669
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18733 10 1 0 47048 86 10 14 16 0 11 0 1799968966 866164736 22473 4294967295 134512640 134569956 3221224336 3221214664 1131456092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22473 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 471.58
Current children cumulated vsize (Kb) 845864
One traced child (pid=12669) exited with status: 0
New thread pid=12670
One traced child (pid=12670) exited with status: 0
New thread pid=12671
One traced child (pid=12671) exited with status: 0
New thread pid=12672

[startup+490.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 12672
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18743 10 1 0 48036 86 10 14 19 0 11 0 1799968966 866164736 22479 4294967295 134512640 134569956 3221224336 3221214664 1131452529 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22479 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 481.46
Current children cumulated vsize (Kb) 845864
One traced child (pid=12672) exited with status: 0
New thread pid=12673
One traced child (pid=12673) exited with status: 0
New thread pid=12674

[startup+500.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12674
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18754 10 1 0 49024 87 10 14 21 0 11 0 1799968966 866164736 22486 4294967295 134512640 134569956 3221224336 3221214664 1131452536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22486 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 491.35
Current children cumulated vsize (Kb) 845864
One traced child (pid=12674) exited with status: 0
New thread pid=12675
One traced child (pid=12675) exited with status: 0
New thread pid=12676

[startup+510.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12676
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18765 10 1 0 50010 88 10 15 25 0 11 0 1799968966 866164736 22491 4294967295 134512640 134569956 3221224336 3221214664 1131460156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22491 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 501.23
Current children cumulated vsize (Kb) 845864
One traced child (pid=12676) exited with status: 0
New thread pid=12677
One traced child (pid=12677) exited with status: 0
New thread pid=12678

[startup+520.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12678
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18776 10 1 0 50998 88 10 15 25 0 11 0 1799968966 866164736 22499 4294967295 134512640 134569956 3221224336 3221214576 1131329069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22499 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 511.11
Current children cumulated vsize (Kb) 845864
One traced child (pid=12678) exited with status: 0
New thread pid=12679
One traced child (pid=12679) exited with status: 0
New thread pid=12680
One traced child (pid=12680) exited with status: 0
New thread pid=12681

[startup+530.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12681
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18787 10 1 0 51986 89 10 15 25 0 11 0 1799968966 866164736 22506 4294967295 134512640 134569956 3221224336 3221214664 1131456161 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22506 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 521
Current children cumulated vsize (Kb) 845864
One traced child (pid=12681) exited with status: 0
New thread pid=12682
One traced child (pid=12682) exited with status: 0
New thread pid=12683

[startup+540.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 12683
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18797 10 1 0 52974 89 10 15 25 0 11 0 1799968966 866164736 22511 4294967295 134512640 134569956 3221224336 3221214664 1131460487 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22511 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 530.88
Current children cumulated vsize (Kb) 845864
One traced child (pid=12683) exited with status: 0
New thread pid=12684
One traced child (pid=12684) exited with status: 0
New thread pid=12685

[startup+550.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12685
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18808 10 1 0 53961 89 10 15 25 0 11 0 1799968966 866164736 22517 4294967295 134512640 134569956 3221224336 3221214664 1131453493 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22517 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 540.75
Current children cumulated vsize (Kb) 845864
One traced child (pid=12685) exited with status: 0
New thread pid=12686
One traced child (pid=12686) exited with status: 0
New thread pid=12687

[startup+560.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12687
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18819 10 1 0 54948 90 11 15 25 0 11 0 1799968966 866164736 22525 4294967295 134512640 134569956 3221224336 3221214576 1131328869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22525 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 550.64
Current children cumulated vsize (Kb) 845864
One traced child (pid=12687) exited with status: 0
New thread pid=12688
One traced child (pid=12688) exited with status: 0
New thread pid=12689

[startup+570.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12689
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18830 10 1 0 55935 90 11 15 25 0 11 0 1799968966 866164736 22532 4294967295 134512640 134569956 3221224336 3221214664 1131460059 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22532 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 560.51
Current children cumulated vsize (Kb) 845864
One traced child (pid=12689) exited with status: 0
New thread pid=12690
One traced child (pid=12690) exited with status: 0
New thread pid=12691

[startup+580.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12691
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18841 10 1 0 56923 91 11 16 17 0 11 0 1799968966 866164736 22537 4294967295 134512640 134569956 3221224336 3221214664 1131447844 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22537 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 570.41
Current children cumulated vsize (Kb) 845864
One traced child (pid=12691) exited with status: 0
New thread pid=12692
One traced child (pid=12692) exited with status: 0
New thread pid=12693

[startup+590.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12693
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18851 10 1 0 57911 92 11 16 25 0 11 0 1799968966 866164736 22543 4294967295 134512640 134569956 3221224336 3221214664 1131458797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22543 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 580.3
Current children cumulated vsize (Kb) 845864
One traced child (pid=12693) exited with status: 0
New thread pid=12694
One traced child (pid=12694) exited with status: 0
New thread pid=12695

[startup+600.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12695
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18862 10 1 0 58898 93 11 16 22 0 11 0 1799968966 866164736 22549 4294967295 134512640 134569956 3221224336 3221214664 1131456296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22549 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 590.18
Current children cumulated vsize (Kb) 845864
One traced child (pid=12695) exited with status: 0
New thread pid=12696
One traced child (pid=12696) exited with status: 0
New thread pid=12697

[startup+610.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12697
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18873 10 1 0 59885 93 11 16 25 0 11 0 1799968966 866164736 22555 4294967295 134512640 134569956 3221224336 3221214664 1131462706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22555 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 600.05
Current children cumulated vsize (Kb) 845864
One traced child (pid=12697) exited with status: 0
New thread pid=12698
One traced child (pid=12698) exited with status: 0
New thread pid=12699

[startup+620.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12699
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18884 10 1 0 60871 94 11 16 25 0 11 0 1799968966 866164736 22562 4294967295 134512640 134569956 3221224336 3221214664 1131460608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22562 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 609.92
Current children cumulated vsize (Kb) 845864
One traced child (pid=12699) exited with status: 0
New thread pid=12700
One traced child (pid=12700) exited with status: 0
New thread pid=12701
One traced child (pid=12701) exited with status: 0
New thread pid=12702

[startup+630.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12702
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18895 10 1 0 61857 95 11 16 18 0 11 0 1799968966 866164736 22568 4294967295 134512640 134569956 3221224336 3221214576 1131330044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22568 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 619.79
Current children cumulated vsize (Kb) 845864
One traced child (pid=12702) exited with status: 0
New thread pid=12703
One traced child (pid=12703) exited with status: 0
New thread pid=12704

[startup+640.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12704
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18906 10 1 0 62844 95 11 17 25 0 11 0 1799968966 866164736 22573 4294967295 134512640 134569956 3221224336 3221214664 1131452327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22573 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 629.67
Current children cumulated vsize (Kb) 845864
One traced child (pid=12704) exited with status: 0
New thread pid=12705
One traced child (pid=12705) exited with status: 0
New thread pid=12706

[startup+650.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12706
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18916 10 1 0 63832 96 11 17 25 0 11 0 1799968966 866164736 22579 4294967295 134512640 134569956 3221224336 3221214664 1131460646 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22579 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 639.56
Current children cumulated vsize (Kb) 845864
One traced child (pid=12706) exited with status: 0
New thread pid=12707
One traced child (pid=12707) exited with status: 0
New thread pid=12708

[startup+660.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12708
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18927 10 1 0 64819 96 12 17 23 0 11 0 1799968966 866164736 22585 4294967295 134512640 134569956 3221224336 3221214664 1131452622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22585 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 649.44
Current children cumulated vsize (Kb) 845864
One traced child (pid=12708) exited with status: 0
New thread pid=12709

[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12709
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18938 10 1 0 65806 97 12 17 25 0 11 0 1799968966 866164736 22591 4294967295 134512640 134569956 3221224336 3221214664 1131460073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22591 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 659.32
Current children cumulated vsize (Kb) 845864
One traced child (pid=12709) exited with status: 0
New thread pid=12710
One traced child (pid=12710) exited with status: 0
New thread pid=12711

[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12711
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18949 10 1 0 66793 97 12 17 20 0 11 0 1799968966 866164736 22596 4294967295 134512640 134569956 3221224336 3221214664 1131457216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22596 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 669.19
Current children cumulated vsize (Kb) 845864
One traced child (pid=12711) exited with status: 0
New thread pid=12712
One traced child (pid=12712) exited with status: 0
New thread pid=12713

[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12713
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18960 10 1 0 67780 99 12 17 25 0 11 0 1799968966 866164736 22602 4294967295 134512640 134569956 3221224336 3221214664 1131452453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22602 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 679.08
Current children cumulated vsize (Kb) 845864
One traced child (pid=12713) exited with status: 0
New thread pid=12714
One traced child (pid=12714) exited with status: 0
New thread pid=12715

[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12715
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18971 10 1 0 68767 99 12 17 25 0 11 0 1799968966 866164736 22608 4294967295 134512640 134569956 3221224336 3221214576 1131329660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22608 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 688.95
Current children cumulated vsize (Kb) 845864
One traced child (pid=12715) exited with status: 0
New thread pid=12716
One traced child (pid=12716) exited with status: 0
New thread pid=12717

[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12717
Raw data (/proc/12445/stat): 12445 (java) S 12444 12445 6847 0 -1 0 18982 10 1 0 69753 100 12 17 25 0 11 0 1799968966 866164736 22614 4294967295 134512640 134569956 3221224336 3221213304 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22614 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 698.82
Current children cumulated vsize (Kb) 845864
One traced child (pid=12717) exited with status: 0
New thread pid=12718
One traced child (pid=12718) exited with status: 0
New thread pid=12719

[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12719
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 18992 10 1 0 70742 101 13 17 25 0 11 0 1799968966 866164736 22619 4294967295 134512640 134569956 3221224336 3221214664 1131462623 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22619 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 708.73
Current children cumulated vsize (Kb) 845864
One traced child (pid=12719) exited with status: 0
New thread pid=12720
One traced child (pid=12720) exited with status: 0
New thread pid=12721

[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12721
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19003 10 1 0 71729 102 13 17 21 0 11 0 1799968966 866164736 22623 4294967295 134512640 134569956 3221224336 3221214792 1131372505 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22623 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 718.61
Current children cumulated vsize (Kb) 845864
One traced child (pid=12721) exited with status: 0
New thread pid=12722
One traced child (pid=12722) exited with status: 0
New thread pid=12723

[startup+740.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 12723
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19014 10 1 0 72716 102 13 18 25 0 11 0 1799968966 866164736 22629 4294967295 134512640 134569956 3221224336 3221214664 1131452453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22629 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 728.49
Current children cumulated vsize (Kb) 845864
One traced child (pid=12723) exited with status: 0
New thread pid=12724
One traced child (pid=12724) exited with status: 0
New thread pid=12725

[startup+750.048 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 12725
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19025 10 1 0 73703 102 13 18 18 0 11 0 1799968966 866164736 22635 4294967295 134512640 134569956 3221224336 3221214576 1131328734 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22635 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 738.36
Current children cumulated vsize (Kb) 845864
One traced child (pid=12725) exited with status: 0
New thread pid=12726

[startup+760.048 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 12726
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19036 10 1 0 74689 103 13 18 25 0 11 0 1799968966 866164736 22641 4294967295 134512640 134569956 3221224336 3221214576 1131328717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22641 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 748.23
Current children cumulated vsize (Kb) 845864
One traced child (pid=12726) exited with status: 0
New thread pid=12727
One traced child (pid=12727) exited with status: 0
New thread pid=12728

[startup+770.049 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 12728
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19046 10 1 0 75676 104 13 18 24 0 11 0 1799968966 866164736 22645 4294967295 134512640 134569956 3221224336 3221214664 1131460608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22645 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 758.11
Current children cumulated vsize (Kb) 845864
One traced child (pid=12728) exited with status: 0
New thread pid=12729
One traced child (pid=12729) exited with status: 0
New thread pid=12730

[startup+780.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 12730
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19057 10 1 0 76663 104 13 18 25 0 11 0 1799968966 866164736 22651 4294967295 134512640 134569956 3221224336 3221214664 1131460130 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22651 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 767.98
Current children cumulated vsize (Kb) 845864
One traced child (pid=12730) exited with status: 0
New thread pid=12731
One traced child (pid=12731) exited with status: 0
New thread pid=12732

[startup+790.051 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 12732
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19068 10 1 0 77650 104 13 18 25 0 11 0 1799968966 866164736 22657 4294967295 134512640 134569956 3221224336 3221214664 1131452475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22657 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 777.85
Current children cumulated vsize (Kb) 845864
One traced child (pid=12732) exited with status: 0
New thread pid=12733
One traced child (pid=12733) exited with status: 0
New thread pid=12734

[startup+800.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12734
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19079 10 1 0 78637 105 13 18 25 0 11 0 1799968966 866164736 22661 4294967295 134512640 134569956 3221224336 3221214576 1131324581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22661 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 787.73
Current children cumulated vsize (Kb) 845864
One traced child (pid=12734) exited with status: 0
New thread pid=12735

[startup+810.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12735
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19090 10 1 0 79624 105 13 18 25 0 11 0 1799968966 866164736 22667 4294967295 134512640 134569956 3221224336 3221214664 1131458778 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22667 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 797.6
Current children cumulated vsize (Kb) 845864
One traced child (pid=12735) exited with status: 0
New thread pid=12736
One traced child (pid=12736) exited with status: 0
New thread pid=12737

[startup+820.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12737
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19101 10 1 0 80611 106 13 18 25 0 11 0 1799968966 866164736 22672 4294967295 134512640 134569956 3221224336 3221214664 1131452460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22672 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 807.48
Current children cumulated vsize (Kb) 845864
One traced child (pid=12737) exited with status: 0
New thread pid=12738
One traced child (pid=12738) exited with status: 0
New thread pid=12739

[startup+830.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12739
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19111 10 1 0 81599 106 13 19 25 0 11 0 1799968966 866164736 22677 4294967295 134512640 134569956 3221224336 3221214664 1131448757 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22677 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 817.37
Current children cumulated vsize (Kb) 845864
One traced child (pid=12739) exited with status: 0
New thread pid=12740
One traced child (pid=12740) exited with status: 0
New thread pid=12741

[startup+840.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12741
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19122 10 1 0 82585 107 13 19 23 0 11 0 1799968966 866164736 22681 4294967295 134512640 134569956 3221224336 3221214664 1131449793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22681 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 827.24
Current children cumulated vsize (Kb) 845864
One traced child (pid=12741) exited with status: 0
New thread pid=12742

[startup+850.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12742
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19133 10 1 0 83572 107 13 19 25 0 11 0 1799968966 866164736 22688 4294967295 134512640 134569956 3221224336 3221214664 1131449793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22688 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 837.11
Current children cumulated vsize (Kb) 845864
One traced child (pid=12742) exited with status: 0
New thread pid=12743
One traced child (pid=12743) exited with status: 0
New thread pid=12744

[startup+860.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 12744
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19144 10 1 0 84558 108 13 19 25 0 11 0 1799968966 866164736 22693 4294967295 134512640 134569956 3221224336 3221214664 1131452453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22693 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 846.98
Current children cumulated vsize (Kb) 845864
One traced child (pid=12744) exited with status: 0
New thread pid=12745
One traced child (pid=12745) exited with status: 0
New thread pid=12746

[startup+870.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 12746
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19155 10 1 0 85545 109 13 19 18 0 11 0 1799968966 866164736 22698 4294967295 134512640 134569956 3221224336 3221214664 1131460466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22698 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 856.86
Current children cumulated vsize (Kb) 845864
One traced child (pid=12746) exited with status: 0
New thread pid=12747

[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12747
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19166 10 1 0 86531 110 14 19 25 0 11 0 1799968966 866164736 22702 4294967295 134512640 134569956 3221224336 3221214664 1131456189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22702 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 866.74
Current children cumulated vsize (Kb) 845864
One traced child (pid=12747) exited with status: 0
New thread pid=12748
One traced child (pid=12748) exited with status: 0
New thread pid=12749

[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12749
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19176 10 1 0 87518 111 14 19 23 0 11 0 1799968966 866164736 22708 4294967295 134512640 134569956 3221224336 3221214664 1131452294 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22708 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 876.62
Current children cumulated vsize (Kb) 845864
One traced child (pid=12749) exited with status: 0
New thread pid=12750
One traced child (pid=12750) exited with status: 0
New thread pid=12751

[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12751
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19187 10 1 0 88505 111 14 19 22 0 11 0 1799968966 866164736 22712 4294967295 134512640 134569956 3221224336 3221214664 1131460582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22712 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 886.49
Current children cumulated vsize (Kb) 845864
One traced child (pid=12751) exited with status: 0
New thread pid=12752

[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12752
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19198 10 1 0 89491 112 14 19 25 0 11 0 1799968966 866164736 22718 4294967295 134512640 134569956 3221224336 3221214664 1131453493 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22718 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 896.36
Current children cumulated vsize (Kb) 845864
One traced child (pid=12752) exited with status: 0
New thread pid=12753
One traced child (pid=12753) exited with status: 0
New thread pid=12754

[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12754
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19209 10 1 0 90476 113 14 20 25 0 11 0 1799968966 866164736 22722 4294967295 134512640 134569956 3221224336 3221214664 1131452460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22722 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 906.23
Current children cumulated vsize (Kb) 845864
One traced child (pid=12754) exited with status: 0
New thread pid=12755
One traced child (pid=12755) exited with status: 0
New thread pid=12756

[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12756
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19220 10 1 0 91463 113 14 20 25 0 11 0 1799968966 866164736 22728 4294967295 134512640 134569956 3221224336 3221214664 1131456201 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22728 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 916.1
Current children cumulated vsize (Kb) 845864
One traced child (pid=12756) exited with status: 0
New thread pid=12757

[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12757
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19231 10 1 0 92449 114 14 20 24 0 11 0 1799968966 866164736 22732 4294967295 134512640 134569956 3221224336 3221214664 1131462687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22732 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 925.97
Current children cumulated vsize (Kb) 845864
One traced child (pid=12757) exited with status: 0
New thread pid=12758
One traced child (pid=12758) exited with status: 0
New thread pid=12759

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12759
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19241 10 1 0 93437 114 14 20 25 0 11 0 1799968966 866164736 22736 4294967295 134512640 134569956 3221224336 3221214576 1131328869 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22736 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 935.85
Current children cumulated vsize (Kb) 845864
One traced child (pid=12759) exited with status: 0
New thread pid=12760
One traced child (pid=12760) exited with status: 0
New thread pid=12761

[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12761
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19252 10 1 0 94423 115 14 20 25 0 11 0 1799968966 866164736 22741 4294967295 134512640 134569956 3221224336 3221214664 1131456161 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22741 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 945.72
Current children cumulated vsize (Kb) 845864
One traced child (pid=12761) exited with status: 0
New thread pid=12762

[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12762
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19263 10 1 0 95409 116 14 20 19 0 11 0 1799968966 866164736 22745 4294967295 134512640 134569956 3221224336 3221214576 1131329660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22745 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 955.59
Current children cumulated vsize (Kb) 845864
One traced child (pid=12762) exited with status: 0
New thread pid=12763
One traced child (pid=12763) exited with status: 0
New thread pid=12764

[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12764
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19274 10 1 0 96394 117 15 20 18 0 11 0 1799968966 866164736 22751 4294967295 134512640 134569956 3221224336 3221214664 1131452688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22751 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 965.46
Current children cumulated vsize (Kb) 845864
One traced child (pid=12764) exited with status: 0
New thread pid=12765

[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12765
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19285 10 1 0 97381 117 15 20 25 0 11 0 1799968966 866164736 22755 4294967295 134512640 134569956 3221224336 3221214664 1131458815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22755 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 975.33
Current children cumulated vsize (Kb) 845864
One traced child (pid=12765) exited with status: 0
New thread pid=12766
One traced child (pid=12766) exited with status: 0
New thread pid=12767

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12767
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19295 10 1 0 98368 118 15 21 25 0 11 0 1799968966 866164736 22759 4294967295 134512640 134569956 3221224336 3221214664 1131461729 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22759 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 985.22
Current children cumulated vsize (Kb) 845864
One traced child (pid=12767) exited with status: 0
New thread pid=12768
One traced child (pid=12768) exited with status: 0
New thread pid=12769

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12769
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19306 10 1 0 99353 119 15 21 25 0 11 0 1799968966 866164736 22765 4294967295 134512640 134569956 3221224336 3221214576 1131328921 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22765 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 995.08
Current children cumulated vsize (Kb) 845864
One traced child (pid=12769) exited with status: 0
New thread pid=12770

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12770
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19317 10 1 0 100340 119 15 21 19 0 11 0 1799968966 866164736 22770 4294967295 134512640 134569956 3221224336 3221214664 1131461699 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22770 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1004.95
Current children cumulated vsize (Kb) 845864
One traced child (pid=12770) exited with status: 0
New thread pid=12771
One traced child (pid=12771) exited with status: 0
New thread pid=12772

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12772
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19328 10 1 0 101327 120 15 21 25 0 11 0 1799968966 866164736 22774 4294967295 134512640 134569956 3221224336 3221214664 1131459051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22774 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1014.83
Current children cumulated vsize (Kb) 845864
One traced child (pid=12772) exited with status: 0
New thread pid=12773

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12773
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19339 10 1 0 102313 120 15 21 25 0 11 0 1799968966 866164736 22778 4294967295 134512640 134569956 3221224336 3221214664 1131449994 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22778 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1024.69
Current children cumulated vsize (Kb) 845864
One traced child (pid=12773) exited with status: 0
New thread pid=12774
One traced child (pid=12774) exited with status: 0
New thread pid=12775

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12775
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19350 10 1 0 103299 121 15 21 24 0 11 0 1799968966 866164736 22782 4294967295 134512640 134569956 3221224336 3221214664 1131448938 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22782 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1034.56
Current children cumulated vsize (Kb) 845864
One traced child (pid=12775) exited with status: 0
New thread pid=12776

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12776
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19360 10 1 0 104286 121 15 21 25 0 11 0 1799968966 866164736 22787 4294967295 134512640 134569956 3221224336 3221214664 1131452475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22787 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1044.43
Current children cumulated vsize (Kb) 845864
One traced child (pid=12776) exited with status: 0
New thread pid=12777
One traced child (pid=12777) exited with status: 0
New thread pid=12778

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12778
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19371 10 1 0 105271 121 15 21 25 0 11 0 1799968966 866164736 22791 4294967295 134512640 134569956 3221224336 3221214664 1131460515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22791 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1054.28
Current children cumulated vsize (Kb) 845864
One traced child (pid=12778) exited with status: 0
New thread pid=12779

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12779
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19382 10 1 0 106259 122 15 21 25 0 11 0 1799968966 866164736 22797 4294967295 134512640 134569956 3221224336 3221214664 1131452294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22797 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1064.17
Current children cumulated vsize (Kb) 845864
One traced child (pid=12779) exited with status: 0
New thread pid=12780
One traced child (pid=12780) exited with status: 0
New thread pid=12781

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12781
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19393 10 1 0 107244 122 16 21 25 0 11 0 1799968966 866164736 22801 4294967295 134512640 134569956 3221224336 3221214664 1131456175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22801 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1074.03
Current children cumulated vsize (Kb) 845864
One traced child (pid=12781) exited with status: 0
New thread pid=12782

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12782
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19404 10 1 0 108230 123 16 21 17 0 11 0 1799968966 866164736 22805 4294967295 134512640 134569956 3221224336 3221214664 1131448793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22805 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1083.9
Current children cumulated vsize (Kb) 845864
One traced child (pid=12782) exited with status: 0
New thread pid=12783
One traced child (pid=12783) exited with status: 0
New thread pid=12784

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12784
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19414 10 1 0 109217 124 16 21 23 0 11 0 1799968966 866164736 22810 4294967295 134512640 134569956 3221224336 3221214664 1131456235 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22810 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1093.78
Current children cumulated vsize (Kb) 845864
One traced child (pid=12784) exited with status: 0
New thread pid=12785

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12785
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19425 10 1 0 110203 124 16 21 22 0 11 0 1799968966 866164736 22814 4294967295 134512640 134569956 3221224336 3221214664 1131447867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22814 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1103.64
Current children cumulated vsize (Kb) 845864
One traced child (pid=12785) exited with status: 0
New thread pid=12786
One traced child (pid=12786) exited with status: 0
New thread pid=12787

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12787
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19436 10 1 0 111190 125 16 21 25 0 11 0 1799968966 866164736 22818 4294967295 134512640 134569956 3221224336 3221214664 1131454220 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22818 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1113.52
Current children cumulated vsize (Kb) 845864
One traced child (pid=12787) exited with status: 0
New thread pid=12788

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12788
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19447 10 1 0 112176 126 16 21 25 0 11 0 1799968966 866164736 22823 4294967295 134512640 134569956 3221224336 3221214664 1131452460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22823 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1123.39
Current children cumulated vsize (Kb) 845864
One traced child (pid=12788) exited with status: 0
New thread pid=12789
One traced child (pid=12789) exited with status: 0
New thread pid=12790

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12790
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19458 10 1 0 113161 126 16 22 25 0 11 0 1799968966 866164736 22827 4294967295 134512640 134569956 3221224336 3221214664 1131458797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22827 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1133.25
Current children cumulated vsize (Kb) 845864
One traced child (pid=12790) exited with status: 0
New thread pid=12791

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12791
Raw data (/proc/12445/stat): 12445 (java) S 12444 12445 6847 0 -1 0 19469 10 1 0 114147 127 16 22 25 0 11 0 1799968966 866164736 22831 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22831 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1143.12
Current children cumulated vsize (Kb) 845864
One traced child (pid=12791) exited with status: 0
New thread pid=12792
One traced child (pid=12792) exited with status: 0
New thread pid=12793

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12793
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19479 10 1 0 115134 128 16 22 22 0 11 0 1799968966 866164736 22836 4294967295 134512640 134569956 3221224336 3221214664 1131457854 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22836 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1153
Current children cumulated vsize (Kb) 845864
One traced child (pid=12793) exited with status: 0
New thread pid=12794

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12794
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19490 10 1 0 116120 129 16 22 25 0 11 0 1799968966 866164736 22840 4294967295 134512640 134569956 3221224336 3221214664 1131460112 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22840 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1162.87
Current children cumulated vsize (Kb) 845864
One traced child (pid=12794) exited with status: 0
New thread pid=12795
One traced child (pid=12795) exited with status: 0
New thread pid=12796

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12796
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19501 10 1 0 117105 129 16 22 25 0 11 0 1799968966 866164736 22844 4294967295 134512640 134569956 3221224336 3221214664 1131449948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22844 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1172.72
Current children cumulated vsize (Kb) 845864
One traced child (pid=12796) exited with status: 0
New thread pid=12797

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12797
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19512 10 1 0 118091 130 16 22 25 0 11 0 1799968966 866164736 22848 4294967295 134512640 134569956 3221224336 3221214664 1131447867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22848 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1182.59
Current children cumulated vsize (Kb) 845864
One traced child (pid=12797) exited with status: 0
New thread pid=12798
One traced child (pid=12798) exited with status: 0
New thread pid=12799

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12799
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19522 10 1 0 119077 130 16 22 24 0 11 0 1799968966 866164736 22851 4294967295 134512640 134569956 3221224336 3221214664 1131447867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12445/statm): 211466 22851 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1192.45
Current children cumulated vsize (Kb) 845864
One traced child (pid=12799) exited with status: 0
New thread pid=12800

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12800
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19533 10 1 0 120063 131 16 22 25 0 11 0 1799968966 866164736 22856 4294967295 134512640 134569956 3221224336 3221214664 1131447867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22856 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 845864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12800
Raw data (/proc/12445/stat): 12445 (java) R 12444 12445 6847 0 -1 0 19533 10 1 0 120063 131 16 22 25 0 11 0 1799968966 866164736 22856 4294967295 134512640 134569956 3221224336 3221214664 1131461640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12445/statm): 211466 22856 13129 16 0 211450 0
[pid=12445] vsize: 845864
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 845864

Sending SIGTERM to -12445
Sleeping 2 seconds
New thread pid=12802
New thread pid=12803
One traced child (pid=12803) exited with status: 0
One traced child (pid=12454) exited with status: 0
One traced child (pid=12449) exited with status: 0
One traced child (pid=12446) exited with status: 143
One traced child (pid=12802) exited with status: 143
One traced child (pid=12447) exited with status: 143
One traced child (pid=12450) exited with status: 143
One traced child (pid=12452) exited with status: 143
One traced child (pid=12451) exited with status: 143
One traced child (pid=12453) exited with status: 143
One traced child (pid=12448) exited with status: 143
One traced child (pid=12800) exited with status: 143
One traced child (pid=12445) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.16
CPU time (s): 1226.91
CPU user time (s): 1224.06
CPU system time (s): 2.85157
CPU usage (%): 100.553
Max. virtual memory (cumulated for all children) (Kb): 850892

Verifier Data

Verifier:	OK	369667