Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.92 | 1787.49 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb |
MD5SUM | ec9bba2d2c31efcadc0a4a76a4815e08 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 9216 |
Best CPU time to get the best result obtained on this benchmark | 1323.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9216 |
Optimality of the best value was proved | YES |
Number of variables | 8600 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 600 |
Number of constraints which are cardinality constraints (but not clauses) | 120 |
Number of constraints which are nor clauses,nor cardinality constraints | 2086 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 5400 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 193273528140 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 193273528140 |
Number of bits of the biggest sum of numbers | 38 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node46/43163-1149306317/instance-43163-1149306317.opb 0.22 c reading problem ... 2.35 c ... done. Time 2.134 ms. 2.35 c #vars 8600 2.35 c #constraints 3042 1787.35 c starts : 9 1787.35 c conflicts : 6979 1787.35 c decisions : 69023 1787.35 c propagations : 814035 1787.35 c inspects : 13508932 1787.35 c learnt literals : 0 1787.35 c learnt binary clauses : 0 1787.35 c learnt ternary clauses : 0 1787.35 c learnt clauses : 6978 1787.35 c root simplifications : 0 1787.35 c removed literals (reason simplification) : 0 1787.35 c reason swapping (by a shorter reason) : 0 1787.35 c Calls to reduceDB : 0 1787.35 c speed (decisions/second) : 38.67304876839369 1787.35 c non guided choices 621 1787.35 s UNKNOWN 1787.35 c Total wall clock time (ms): 1787.132
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-43163-1149306317 -o ROOT/results/node46/solver-43163-1149306317 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node46/43163-1149306317/instance-43163-1149306317.opb 169303255 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.92 3/64 6521 /proc/meminfo: memFree=1567368/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1784 CPUtime=0 /proc/6521/stat : 6521 (java) D 6519 6521 6475 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 110788544 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/6521/statm: 446 137 102 14 0 91 0 [startup+10.0024 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1407336/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=12.27 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 50264 0 1 0 1201 26 0 0 17 0 13 0 110788544 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071702520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 41767 1909 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.11 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 2318 0 0 0 10 1 0 0 16 0 13 0 110788547 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.1 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 1604 0 0 0 9 1 0 0 17 0 13 0 110788547 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 17 0 0 0 0 0 0 0 15 0 13 0 110788550 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.28 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4326 0 0 0 126 2 0 0 17 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.8 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 178 2 0 0 16 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 110788811 1762672640 41767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (Kb) 1721360 [startup+20.0094 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1386280/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=22.36 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 56078 0 1 0 2206 30 0 0 18 0 13 0 110788544 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 47082 1909 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.19 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 4556 0 0 0 16 3 0 0 16 0 13 0 110788547 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.16 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 4097 0 0 0 14 2 0 0 16 0 13 0 110788547 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 110788550 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.28 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4326 0 0 0 126 2 0 0 16 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.81 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 179 2 0 0 17 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 110788811 1762672640 47082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.36 Current children cumulated vsize (Kb) 1721360 [startup+30.0165 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1384808/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=32.4 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 56474 0 1 0 3210 30 0 0 20 0 13 0 110788544 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 47452 1909 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.2 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 4726 0 0 0 17 3 0 0 16 0 13 0 110788547 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.17 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 4316 0 0 0 15 2 0 0 16 0 13 0 110788547 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 110788550 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.31 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4326 0 0 0 129 2 0 0 17 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.82 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 180 2 0 0 16 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 110788811 1762672640 47452 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.4 Current children cumulated vsize (Kb) 1721360 [startup+40.0236 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1384488/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=42.43 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 56982 0 1 0 4212 31 0 0 19 0 13 0 110788544 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071702806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 47485 1909 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.21 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 4944 0 0 0 18 3 0 0 16 0 13 0 110788547 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.2 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 4599 0 0 0 17 3 0 0 16 0 13 0 110788547 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 110788550 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.31 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4326 0 0 0 129 2 0 0 17 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.82 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 180 2 0 0 16 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 47485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.43 Current children cumulated vsize (Kb) 1721360 [startup+50.0306 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1392488/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=52.46 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 57350 0 1 0 5214 32 0 0 17 0 13 0 110788544 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 45496 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.23 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 5028 0 0 0 20 3 0 0 15 0 13 0 110788547 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.22 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 4870 0 0 0 19 3 0 0 16 0 13 0 110788547 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 110788550 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.31 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 129 2 0 0 16 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.83 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 181 2 0 0 16 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 45496 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.46 Current children cumulated vsize (Kb) 1721360 [startup+60.0377 s] /proc/loadavg: 1.00 0.99 0.93 2/76 6533 /proc/meminfo: memFree=1401128/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=62.48 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 57608 0 1 0 6216 32 0 0 25 0 13 0 110788544 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 43331 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=0.25 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 5140 0 0 0 22 3 0 0 16 0 13 0 110788547 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=0.24 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 5005 0 0 0 21 3 0 0 15 0 13 0 110788547 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.01 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 30 0 0 0 0 1 0 0 15 0 13 0 110788550 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 43331 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (Kb) 1721360 [startup+1784.32 s] /proc/loadavg: 1.01 1.01 0.96 2/76 6730 /proc/meminfo: memFree=1145320/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=1797.74 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 201306 0 1 0 179643 131 0 0 25 0 13 0 110788544 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071681559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 106912 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=12.19 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 42457 0 0 0 1194 25 0 0 16 0 13 0 110788547 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=12.28 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 45410 0 0 0 1200 28 0 0 16 0 13 0 110788547 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.45 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 249 0 0 0 26 19 0 0 16 0 13 0 110788550 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106912 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (Kb) 1721360 [startup+1785.33 s] /proc/loadavg: 1.01 1.01 0.96 2/76 6730 /proc/meminfo: memFree=1145512/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=1798.76 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 201334 0 1 0 179745 131 0 0 22 0 13 0 110788544 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071786434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 106843 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=12.21 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 42483 0 0 0 1196 25 0 0 16 0 13 0 110788547 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=12.29 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 45411 0 0 0 1201 28 0 0 17 0 13 0 110788547 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.45 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 249 0 0 0 26 19 0 0 15 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.76 Current children cumulated vsize (Kb) 1721360 [startup+1786.34 s] /proc/loadavg: 1.01 1.01 0.96 2/76 6730 /proc/meminfo: memFree=1145512/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=1799.77 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 201334 0 1 0 179846 131 0 0 25 0 13 0 110788544 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 106843 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=12.21 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 42483 0 0 0 1196 25 0 0 16 0 13 0 110788547 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=12.29 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 45411 0 0 0 1201 28 0 0 17 0 13 0 110788547 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.45 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 249 0 0 0 26 19 0 0 16 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106843 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (Kb) 1721360 [startup+1787.34 s] /proc/loadavg: 1.01 1.01 0.96 2/76 6730 /proc/meminfo: memFree=1145512/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=1800.78 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 201360 0 1 0 179947 131 0 0 25 0 13 0 110788544 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071730963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 106868 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=12.22 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 42501 0 0 0 1197 25 0 0 16 0 13 0 110788547 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=12.32 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 45418 0 0 0 1203 29 0 0 16 0 13 0 110788547 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.45 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 249 0 0 0 26 19 0 0 15 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (Kb) 1721360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.35 s] /proc/loadavg: 1.01 1.01 0.96 2/76 6730 /proc/meminfo: memFree=1145512/2055920 swapFree=4183160/4192956 [pid=6521] ppid=6519 vsize=1721360 CPUtime=1800.79 /proc/6521/stat : 6521 (java) R 6519 6521 6475 0 -1 0 201360 0 1 0 179948 131 0 0 25 0 13 0 110788544 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6521/statm: 430340 106868 1911 14 0 417087 0 [pid=6521/tid=6522] ppid=6519 vsize=1721360 CPUtime=12.22 /proc/6521/task/6522/stat : 6522 (java) S 6519 6521 6475 0 -1 64 42501 0 0 0 1197 25 0 0 16 0 13 0 110788547 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6523] ppid=6519 vsize=1721360 CPUtime=12.32 /proc/6521/task/6523/stat : 6523 (java) S 6519 6521 6475 0 -1 64 45418 0 0 0 1203 29 0 0 16 0 13 0 110788547 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6521/tid=6524] ppid=6519 vsize=1721360 CPUtime=0.45 /proc/6521/task/6524/stat : 6524 (java) S 6519 6521 6475 0 -1 64 249 0 0 0 26 19 0 0 15 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6525] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6525/stat : 6525 (java) S 6519 6521 6475 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6526] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6526/stat : 6526 (java) S 6519 6521 6475 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 110788550 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6527] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6527/stat : 6527 (java) S 6519 6521 6475 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6528] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6528/stat : 6528 (java) S 6519 6521 6475 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6529] ppid=6519 vsize=1721360 CPUtime=1.32 /proc/6521/task/6529/stat : 6529 (java) S 6519 6521 6475 0 -1 64 4328 0 0 0 130 2 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6530] ppid=6519 vsize=1721360 CPUtime=1.84 /proc/6521/task/6530/stat : 6530 (java) S 6519 6521 6475 0 -1 64 5449 0 0 0 182 2 0 0 16 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6531] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6531/stat : 6531 (java) S 6519 6521 6475 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6532] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6532/stat : 6532 (java) S 6519 6521 6475 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 110788554 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6521/tid=6533] ppid=6519 vsize=1721360 CPUtime=0 /proc/6521/task/6533/stat : 6533 (java) S 6519 6521 6475 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 110788811 1762672640 106868 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (Kb) 1721360 Sending SIGTERM to -6521 Sleeping 2 seconds Child status: 143 Real time (s): 1787.49 CPU time (s): 1800.92 CPU user time (s): 1799.54 CPU system time (s): 1.37779 CPU usage (%): 100.751 Max. virtual memory (cumulated for all children) (Kb): 1721360
Begin job on node46 on Sat Jun 3 03:45:17 UTC 2006 FILE ID= 43163-1149306317 PBS_JOBID= 307644 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node46/43163-1149306317/instance-43163-1149306317.opb 169303255 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-43163-1149306317 -o ROOT/results/node46/solver-43163-1149306317 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node46/43163-1149306317/instance-43163-1149306317.opb 169303255 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= ec9bba2d2c31efcadc0a4a76a4815e08 RANDOM SEED= 169303255 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1567576 kB Buffers: 29104 kB Cached: 388840 kB SwapCached: 4064 kB Active: 30496 kB Inactive: 396344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567576 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15064 kB Slab: 47552 kB Committed_AS: 293540 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Sat Jun 3 04:15:05 UTC 2006