Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.01 | 1796.45 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb |
MD5SUM | aef7e3722fd5816dc0cbb2acb61edf83 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 264081 |
Best CPU time to get the best result obtained on this benchmark | 1800.58 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 264081 |
Optimality of the best value was proved | NO |
Number of variables | 11503 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 835 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 9784 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529231 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node58/43868-1149262968/instance-43868-1149262968.opb 0.20 c reading problem ... 1.95 c ... done. Time 1.748 ms. 1.95 c #vars 11503 1.95 c #constraints 932 1796.40 c starts : 3 1796.40 c conflicts : 333 1796.40 c decisions : 68231 1796.40 c propagations : 177096 1796.40 c inspects : 1987321 1796.40 c learnt literals : 0 1796.40 c learnt binary clauses : 0 1796.40 c learnt ternary clauses : 0 1796.40 c learnt clauses : 332 1796.40 c root simplifications : 0 1796.40 c removed literals (reason simplification) : 0 1796.40 c reason swapping (by a shorter reason) : 0 1796.40 c Calls to reduceDB : 0 1796.40 c speed (decisions/second) : 38.02379475588056 1796.40 c non guided choices 10086 1796.40 s UNKNOWN 1796.40 c Total wall clock time (ms): 1796.198
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/node58/watcher-43868-1149262968 -o ROOT/results/node58/solver-43868-1149262968 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43868-1149262968/instance-43868-1149262968.opb 74029311 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 27963 /proc/meminfo: memFree=1470488/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1784 CPUtime=0 /proc/27963/stat : 27963 (java) D 27961 27963 27917 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 28343647 1826816 141 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/27963/statm: 446 141 106 14 0 91 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.95 0.94 2/76 27975 /proc/meminfo: memFree=1288440/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1713792 CPUtime=11.77 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 50397 0 1 0 1154 23 0 0 23 0 13 0 28343647 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071727166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428448 47282 1908 14 0 415195 0 [pid=27963/tid=27964] ppid=27961 vsize=1713792 CPUtime=0.34 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 5132 0 0 0 32 2 0 0 16 0 13 0 28343650 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1713792 CPUtime=0.33 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 4710 0 0 0 31 2 0 0 17 0 13 0 28343650 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 20 0 0 0 0 0 0 0 15 0 13 0 28343653 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1713792 CPUtime=0.86 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 2487 0 0 0 85 1 0 0 16 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1713792 CPUtime=1.05 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1483 0 0 0 105 0 0 0 15 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1713792 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 28343851 1754923008 47282 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.77 Current children cumulated vsize (Kb) 1713792 [startup+20.0108 s] /proc/loadavg: 0.94 0.96 0.94 2/76 27975 /proc/meminfo: memFree=1276288/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1713584 CPUtime=21.94 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 56341 0 1 0 2168 26 0 0 25 0 13 0 28343647 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071578728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428396 50297 1910 14 0 415143 0 [pid=27963/tid=27964] ppid=27961 vsize=1713584 CPUtime=0.42 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 8258 0 0 0 39 3 0 0 15 0 13 0 28343650 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1713584 CPUtime=0.42 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 7508 0 0 0 38 4 0 0 16 0 13 0 28343650 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 28343653 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1713584 CPUtime=0.89 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 2488 0 0 0 88 1 0 0 17 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1713584 CPUtime=1.11 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1487 0 0 0 111 0 0 0 17 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1713584 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 28343851 1754710016 50297 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.94 Current children cumulated vsize (Kb) 1713584 [startup+30.0188 s] /proc/loadavg: 0.95 0.96 0.94 2/76 27975 /proc/meminfo: memFree=1294848/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=32.07 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 57423 0 1 0 3180 27 0 0 25 0 13 0 28343647 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 45655 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=0.44 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 8450 0 0 0 41 3 0 0 17 0 13 0 28343650 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=0.44 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 7724 0 0 0 39 5 0 0 16 0 13 0 28343650 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 99 1 0 0 16 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 28343851 1755758592 45655 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.07 Current children cumulated vsize (Kb) 1714608 [startup+40.0257 s] /proc/loadavg: 0.95 0.96 0.94 2/76 27975 /proc/meminfo: memFree=1307392/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=42.1 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 57812 0 1 0 4182 28 0 0 25 0 13 0 28343647 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071578737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 42519 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=0.46 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 8623 0 0 0 43 3 0 0 17 0 13 0 28343650 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=0.46 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 7933 0 0 0 41 5 0 0 16 0 13 0 28343650 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 42519 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.1 Current children cumulated vsize (Kb) 1714608 [startup+50.0336 s] /proc/loadavg: 0.96 0.96 0.94 2/76 27975 /proc/meminfo: memFree=1318208/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=52.12 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 58577 0 1 0 5183 29 0 0 25 0 13 0 28343647 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071726989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39820 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=0.49 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 8875 0 0 0 45 4 0 0 16 0 13 0 28343650 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=0.48 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 8433 0 0 0 43 5 0 0 17 0 13 0 28343650 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.01 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 21 0 0 0 0 1 0 0 17 0 13 0 28343653 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39820 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.12 Current children cumulated vsize (Kb) 1714608 [startup+60.0406 s] /proc/loadavg: 0.97 0.96 0.94 2/76 27975 /proc/meminfo: memFree=1326976/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=62.12 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 58602 0 1 0 6183 29 0 0 25 0 13 0 28343647 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 37636 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=0.5 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 8879 0 0 0 46 4 0 0 15 0 13 0 28343650 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=0.49 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 8439 0 0 0 44 5 0 0 16 0 13 0 28343650 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.02 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 23 0 0 0 1 1 0 0 17 0 13 0 28343653 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 37636 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39195 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (Kb) 1714608 [startup+1793.38 s] /proc/loadavg: 1.00 0.99 0.94 2/76 28172 /proc/meminfo: memFree=1319752/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=1797.92 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 69912 0 1 0 179670 122 0 0 17 0 13 0 28343647 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071650678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39196 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=4.87 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 11751 0 0 0 466 21 0 0 16 0 13 0 28343650 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=4.9 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 11602 0 0 0 469 21 0 0 16 0 13 0 28343650 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.95 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 46 0 0 0 55 40 0 0 15 0 13 0 28343653 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (Kb) 1714608 [startup+1794.38 s] /proc/loadavg: 1.00 0.99 0.94 2/76 28172 /proc/meminfo: memFree=1319752/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=1798.93 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 69918 0 1 0 179771 122 0 0 17 0 13 0 28343647 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39198 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=4.87 /proc/27963/task/27964/stat : 27964 (java) R 27961 27963 27917 0 -1 64 11752 0 0 0 466 21 0 0 16 0 13 0 28343650 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=4.9 /proc/27963/task/27965/stat : 27965 (java) R 27961 27963 27917 0 -1 64 11603 0 0 0 469 21 0 0 15 0 13 0 28343650 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151727609 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.95 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 46 0 0 0 55 40 0 0 16 0 13 0 28343653 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.93 Current children cumulated vsize (Kb) 1714608 [startup+1795.39 s] /proc/loadavg: 1.00 0.99 0.94 2/76 28172 /proc/meminfo: memFree=1319752/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=1799.94 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 69922 0 1 0 179872 122 0 0 18 0 13 0 28343647 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071726993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39199 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=4.88 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 11752 0 0 0 467 21 0 0 16 0 13 0 28343650 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=4.91 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 11604 0 0 0 470 21 0 0 16 0 13 0 28343650 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.95 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 46 0 0 0 55 40 0 0 15 0 13 0 28343653 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (Kb) 1714608 [startup+1796.39 s] /proc/loadavg: 1.00 0.99 0.94 2/76 28172 /proc/meminfo: memFree=1319752/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=1800.95 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 69926 0 1 0 179973 122 0 0 19 0 13 0 28343647 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39200 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=4.88 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 11752 0 0 0 467 21 0 0 15 0 13 0 28343650 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=4.91 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 11605 0 0 0 470 21 0 0 16 0 13 0 28343650 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.95 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 46 0 0 0 55 40 0 0 15 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1714608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.4 s] /proc/loadavg: 1.00 0.99 0.94 2/76 28172 /proc/meminfo: memFree=1319752/2055920 swapFree=4192956/4192956 [pid=27963] ppid=27961 vsize=1714608 CPUtime=1800.95 /proc/27963/stat : 27963 (java) R 27961 27963 27917 0 -1 0 69926 0 1 0 179973 122 0 0 19 0 13 0 28343647 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071725781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27963/statm: 428652 39200 1910 14 0 415399 0 [pid=27963/tid=27964] ppid=27961 vsize=1714608 CPUtime=4.88 /proc/27963/task/27964/stat : 27964 (java) S 27961 27963 27917 0 -1 64 11752 0 0 0 467 21 0 0 15 0 13 0 28343650 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27965] ppid=27961 vsize=1714608 CPUtime=4.91 /proc/27963/task/27965/stat : 27965 (java) S 27961 27963 27917 0 -1 64 11605 0 0 0 470 21 0 0 16 0 13 0 28343650 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27966] ppid=27961 vsize=1714608 CPUtime=0.95 /proc/27963/task/27966/stat : 27966 (java) S 27961 27963 27917 0 -1 64 46 0 0 0 55 40 0 0 15 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27967] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27967/stat : 27967 (java) S 27961 27963 27917 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27968] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27968/stat : 27968 (java) S 27961 27963 27917 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 28343653 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27969] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27969/stat : 27969 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27970] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27970/stat : 27970 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27971] ppid=27961 vsize=1714608 CPUtime=1.01 /proc/27963/task/27971/stat : 27971 (java) S 27961 27963 27917 0 -1 64 3147 0 0 0 100 1 0 0 16 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27972] ppid=27961 vsize=1714608 CPUtime=1.13 /proc/27963/task/27972/stat : 27972 (java) S 27961 27963 27917 0 -1 64 1489 0 0 0 113 0 0 0 16 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27973] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27973/stat : 27973 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27963/tid=27974] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27974/stat : 27974 (java) S 27961 27963 27917 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 28343656 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27963/tid=27975] ppid=27961 vsize=1714608 CPUtime=0 /proc/27963/task/27975/stat : 27975 (java) S 27961 27963 27917 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 28343851 1755758592 39200 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1714608 Sending SIGTERM to -27963 Sleeping 2 seconds Child status: 143 Real time (s): 1796.45 CPU time (s): 1801.01 CPU user time (s): 1799.76 CPU system time (s): 1.25381 CPU usage (%): 100.254 Max. virtual memory (cumulated for all children) (Kb): 1714608
Begin job on node58 on Fri Jun 2 15:42:48 UTC 2006 FILE ID= 43868-1149262968 PBS_JOBID= 298765 BENCH NAME= ROOT/tmp/node58/43868-1149262968/instance-43868-1149262968.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43868-1149262968/instance-43868-1149262968.opb 74029311 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-43868-1149262968 -o ROOT/results/node58/solver-43868-1149262968 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43868-1149262968/instance-43868-1149262968.opb 74029311 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= aef7e3722fd5816dc0cbb2acb61edf83 RANDOM SEED= 74029311 /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.276 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.276 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: 1470696 kB Buffers: 32776 kB Cached: 474844 kB SwapCached: 0 kB Active: 104044 kB Inactive: 418068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1470696 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 136 kB Writeback: 0 kB Mapped: 24928 kB Slab: 49200 kB Committed_AS: 179308 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Fri Jun 2 16:12:44 UTC 2006