Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.73 | 1777.45 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb |
MD5SUM | dad6f5146620d8430edee27ea3d7a019 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.58569 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 77 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 658426 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 658426 |
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/node22/43799-1149247546/instance-43799-1149247546.opb 0.20 c reading problem ... 35.46 c ... done. Time 35.257 ms. 35.46 c #vars 155000 35.46 c #constraints 5300 1777.36 c starts : 2 1777.36 c conflicts : 181 1777.36 c decisions : 162946 1777.36 c propagations : 490327 1777.36 c inspects : 767789 1777.36 c learnt literals : 0 1777.36 c learnt binary clauses : 0 1777.36 c learnt ternary clauses : 0 1777.36 c learnt clauses : 180 1777.36 c root simplifications : 0 1777.36 c removed literals (reason simplification) : 0 1777.36 c reason swapping (by a shorter reason) : 0 1777.36 c Calls to reduceDB : 0 1777.36 c speed (decisions/second) : 93.5497594170665 1777.36 c non guided choices 99601 1777.36 s UNKNOWN 1777.36 c Total wall clock time (ms): 1777.151
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/node22/watcher-43799-1149247546 -o ROOT/results/node22/solver-43799-1149247546 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node22/43799-1149247546/instance-43799-1149247546.opb 781315994 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.93 3/64 16771 /proc/meminfo: memFree=1422528/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1784 CPUtime=0 /proc/16771/stat : 16771 (java) D 16769 16771 16725 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 86188946 1826816 141 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16771/statm: 446 141 106 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 0.93 2/75 16782 /proc/meminfo: memFree=1169272/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1715760 CPUtime=11.55 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 70154 0 1 0 1117 38 0 0 22 0 12 0 86188946 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 428940 65039 1881 14 0 415687 0 [pid=16771/tid=16772] ppid=16769 vsize=1715760 CPUtime=1.03 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 16971 0 0 0 93 10 0 0 16 0 12 0 86188949 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1715760 CPUtime=1.03 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 15580 0 0 0 93 10 0 0 16 0 12 0 86188949 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 86188955 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 86188955 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1715760 CPUtime=0.42 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 617 0 0 0 42 0 0 0 17 0 12 0 86188956 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1715760 CPUtime=0.37 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 476 0 0 0 37 0 0 0 16 0 12 0 86188956 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 86188956 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 86188956 1756938240 65039 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.55 Current children cumulated vsize (Kb) 1715760 [startup+20.0091 s] /proc/loadavg: 1.00 1.00 0.93 2/75 16782 /proc/meminfo: memFree=1180544/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1715760 CPUtime=21.64 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 71182 0 1 0 2125 39 0 0 25 0 12 0 86188946 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071424708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 428940 62279 1881 14 0 415687 0 [pid=16771/tid=16772] ppid=16769 vsize=1715760 CPUtime=1.12 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 17333 0 0 0 102 10 0 0 17 0 12 0 86188949 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1715760 CPUtime=1.12 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 16217 0 0 0 102 10 0 0 15 0 12 0 86188949 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 86188955 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 86188955 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1715760 CPUtime=0.42 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 618 0 0 0 42 0 0 0 16 0 12 0 86188956 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1715760 CPUtime=0.37 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 476 0 0 0 37 0 0 0 16 0 12 0 86188956 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 86188956 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 86188956 1756938240 62279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.64 Current children cumulated vsize (Kb) 1715760 [startup+30.0158 s] /proc/loadavg: 1.00 1.00 0.93 2/75 16782 /proc/meminfo: memFree=1205760/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1715760 CPUtime=31.73 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 72285 0 1 0 3133 40 0 0 21 0 12 0 86188946 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071452503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 428940 55997 1881 14 0 415687 0 [pid=16771/tid=16772] ppid=16769 vsize=1715760 CPUtime=1.2 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 17672 0 0 0 110 10 0 0 16 0 12 0 86188949 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1715760 CPUtime=1.2 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 16962 0 0 0 110 10 0 0 16 0 12 0 86188949 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1715760 CPUtime=0.02 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 18 0 0 0 1 1 0 0 15 0 12 0 86188952 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 86188952 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 86188955 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 86188955 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1715760 CPUtime=0.42 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 618 0 0 0 42 0 0 0 16 0 12 0 86188956 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1715760 CPUtime=0.37 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 476 0 0 0 37 0 0 0 16 0 12 0 86188956 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 86188956 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1715760 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 86188956 1756938240 55997 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.73 Current children cumulated vsize (Kb) 1715760 [startup+40.0225 s] /proc/loadavg: 1.00 1.00 0.93 2/76 16783 /proc/meminfo: memFree=1203960/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=42.01 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 74558 0 1 0 4158 43 0 0 25 0 13 0 86188946 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 429069 56514 1903 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=1.28 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 18625 0 0 0 117 11 0 0 16 0 13 0 86188949 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=1.27 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 18190 0 0 0 116 11 0 0 16 0 13 0 86188949 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.02 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 86188952 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 86188955 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=0.57 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 629 0 0 0 57 0 0 0 17 0 13 0 86188956 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.49 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 491 0 0 0 49 0 0 0 16 0 13 0 86188956 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 86192511 1757466624 56514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.01 Current children cumulated vsize (Kb) 1716276 [startup+50.0292 s] /proc/loadavg: 1.00 1.00 0.93 2/76 16783 /proc/meminfo: memFree=1199864/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=52.13 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 76955 0 1 0 5169 44 0 0 17 0 13 0 86188946 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 429069 57510 1903 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=1.31 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 19866 0 0 0 120 11 0 0 16 0 13 0 86188949 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=1.32 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 19328 0 0 0 120 12 0 0 16 0 13 0 86188949 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.02 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 86188952 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 86188955 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=0.61 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 631 0 0 0 61 0 0 0 16 0 13 0 86188956 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.55 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 496 0 0 0 55 0 0 0 17 0 13 0 86188956 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 86192511 1757466624 57510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.13 Current children cumulated vsize (Kb) 1716276 [startup+60.0358 s] /proc/loadavg: 1.00 1.00 0.93 2/76 16783 /proc/meminfo: memFree=1195704/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=62.25 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 79371 0 1 0 6180 45 0 0 25 0 13 0 86188946 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16771/statm: 429069 58577 1904 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=1.38 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 20639 0 0 0 126 12 0 0 16 0 13 0 86188949 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=1.37 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 20909 0 0 0 125 12 0 0 16 0 13 0 86188949 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.02 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 86188952 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 86188955 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=0.66 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 640 0 0 0 66 0 0 0 17 0 13 0 86188956 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.58 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 58 0 0 0 17 0 13 0 86188956 1757466624 58577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 140741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 1716276 [startup+1774.33 s] /proc/loadavg: 1.03 1.01 0.96 2/76 16783 /proc/meminfo: memFree=863416/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=1797.51 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 189474 0 1 0 179265 486 0 0 25 0 13 0 86188946 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570587 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16771/statm: 429069 141324 1908 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=23.11 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 62190 0 0 0 2069 242 0 0 16 0 13 0 86188949 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=23.03 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 60006 0 0 0 2121 182 0 0 16 0 13 0 86188949 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.54 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 101 0 0 0 33 21 0 0 15 0 13 0 86188952 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 141324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 1716276 [startup+1775.34 s] /proc/loadavg: 1.03 1.01 0.96 2/76 16783 /proc/meminfo: memFree=863032/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=1798.55 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 189559 0 1 0 179369 486 0 0 25 0 13 0 86188946 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16771/statm: 429069 141406 1908 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=23.15 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 62205 0 0 0 2073 242 0 0 17 0 13 0 86188949 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=23.06 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 60075 0 0 0 2124 182 0 0 16 0 13 0 86188949 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.54 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 101 0 0 0 33 21 0 0 16 0 13 0 86188952 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 141406 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 1716276 [startup+1776.34 s] /proc/loadavg: 1.03 1.01 0.96 2/76 16783 /proc/meminfo: memFree=859320/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=1799.6 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 190616 0 1 0 179473 487 0 0 24 0 13 0 86188946 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16771/statm: 429069 142290 1908 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=23.19 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 62711 0 0 0 2077 242 0 0 16 0 13 0 86188949 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=23.1 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 60624 0 0 0 2128 182 0 0 16 0 13 0 86188949 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.54 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 101 0 0 0 33 21 0 0 16 0 13 0 86188952 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 142290 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1716276 [startup+1777.35 s] /proc/loadavg: 1.03 1.01 0.96 2/76 16783 /proc/meminfo: memFree=859320/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=1800.62 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 190619 0 1 0 179575 487 0 0 25 0 13 0 86188946 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071570708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16771/statm: 429069 142292 1908 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=23.21 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 62712 0 0 0 2078 243 0 0 16 0 13 0 86188949 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=23.11 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 60625 0 0 0 2129 182 0 0 17 0 13 0 86188949 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.54 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 101 0 0 0 33 21 0 0 15 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1716276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.35 s] /proc/loadavg: 1.03 1.01 0.96 2/76 16783 /proc/meminfo: memFree=859320/2055920 swapFree=4183844/4192956 [pid=16771] ppid=16769 vsize=1716276 CPUtime=1800.62 /proc/16771/stat : 16771 (java) R 16769 16771 16725 0 -1 0 190619 0 1 0 179575 487 0 0 25 0 13 0 86188946 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071571227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16771/statm: 429069 142292 1908 14 0 415816 0 [pid=16771/tid=16772] ppid=16769 vsize=1716276 CPUtime=23.21 /proc/16771/task/16772/stat : 16772 (java) S 16769 16771 16725 0 -1 64 62712 0 0 0 2078 243 0 0 16 0 13 0 86188949 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16773] ppid=16769 vsize=1716276 CPUtime=23.11 /proc/16771/task/16773/stat : 16773 (java) S 16769 16771 16725 0 -1 64 60625 0 0 0 2129 182 0 0 17 0 13 0 86188949 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16774] ppid=16769 vsize=1716276 CPUtime=0.54 /proc/16771/task/16774/stat : 16774 (java) S 16769 16771 16725 0 -1 64 101 0 0 0 33 21 0 0 15 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16775] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16775/stat : 16775 (java) S 16769 16771 16725 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16776] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16776/stat : 16776 (java) S 16769 16771 16725 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 86188952 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16777] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16777/stat : 16777 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 86188955 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16778] ppid=16769 vsize=1716276 CPUtime=0.01 /proc/16771/task/16778/stat : 16778 (java) S 16769 16771 16725 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 86188955 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16779] ppid=16769 vsize=1716276 CPUtime=1.07 /proc/16771/task/16779/stat : 16779 (java) S 16769 16771 16725 0 -1 64 2967 0 0 0 106 1 0 0 16 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16780] ppid=16769 vsize=1716276 CPUtime=0.67 /proc/16771/task/16780/stat : 16780 (java) S 16769 16771 16725 0 -1 64 541 0 0 0 67 0 0 0 17 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16781] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16781/stat : 16781 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16771/tid=16782] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16782/stat : 16782 (java) S 16769 16771 16725 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 86188956 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16771/tid=16783] ppid=16769 vsize=1716276 CPUtime=0 /proc/16771/task/16783/stat : 16783 (java) S 16769 16771 16725 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 86192511 1757466624 142292 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1716276 Sending SIGTERM to -16771 Sleeping 2 seconds Child status: 143 Real time (s): 1777.45 CPU time (s): 1800.73 CPU user time (s): 1795.77 CPU system time (s): 4.96025 CPU usage (%): 101.309 Max. virtual memory (cumulated for all children) (Kb): 1718220
Begin job on node22 on Fri Jun 2 11:25:46 UTC 2006 FILE ID= 43799-1149247546 PBS_JOBID= 297868 BENCH NAME= ROOT/tmp/node22/43799-1149247546/instance-43799-1149247546.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node22/43799-1149247546/instance-43799-1149247546.opb 781315994 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-43799-1149247546 -o ROOT/results/node22/solver-43799-1149247546 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node22/43799-1149247546/instance-43799-1149247546.opb 781315994 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= dad6f5146620d8430edee27ea3d7a019 RANDOM SEED= 781315994 /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.261 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.261 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: 1422736 kB Buffers: 41028 kB Cached: 515340 kB SwapCached: 3204 kB Active: 180864 kB Inactive: 384324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1422736 kB SwapTotal: 4192956 kB SwapFree: 4183844 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14908 kB Slab: 54004 kB Committed_AS: 213520 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node22 on Fri Jun 2 11:55:24 UTC 2006